Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 79e917d117b9caec749360614795cd857c21419a / . / llvm / test / Transforms / InstCombine / call-guard.ll
blob: 8101f4571de9b39aaa1b1e22b1df71c02473ebfa [file] [log] [blame]
Artur Pilipenkoe812ca02017-01-25 14:12:12 +0000[diff] [blame]1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3declare void @llvm.experimental.guard(i1, ...)
4
Sanjoy Dase0e57952017-02-01 16:34:55 +0000[diff] [blame]5define void @test_guard_adjacent_same_cond(i1 %A) {
6; CHECK-LABEL: @test_guard_adjacent_same_cond(
Artur Pilipenkoe812ca02017-01-25 14:12:12 +0000[diff] [blame]7; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %A) [ "deopt"() ]
8; CHECK-NEXT: ret void
9 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
10 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
11 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
12 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
13 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
14 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
15 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
16 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
17 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
18 call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
19 ret void
20}
21
Sanjoy Dase0e57952017-02-01 16:34:55 +0000[diff] [blame]22define void @test_guard_adjacent_diff_cond(i1 %A, i1 %B, i1 %C) {
23; CHECK-LABEL: @test_guard_adjacent_diff_cond(
24; CHECK-NEXT: %1 = and i1 %A, %B
25; CHECK-NEXT: %2 = and i1 %1, %C
26; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %2, i32 123) [ "deopt"() ]
Artur Pilipenkoe812ca02017-01-25 14:12:12 +0000[diff] [blame]27; CHECK-NEXT: ret void
Sanjoy Dase0e57952017-02-01 16:34:55 +0000[diff] [blame]28 call void(i1, ...) @llvm.experimental.guard( i1 %A, i32 123 )[ "deopt"() ]
29 call void(i1, ...) @llvm.experimental.guard( i1 %B, i32 456 )[ "deopt"() ]
30 call void(i1, ...) @llvm.experimental.guard( i1 %C, i32 789 )[ "deopt"() ]
Artur Pilipenkoe812ca02017-01-25 14:12:12 +0000[diff] [blame]31 ret void
32}
Philip Reames79e917d2018-05-09 22:56:32 +0000[diff] [blame^]33
34; This version tests for the common form where the conditions are
35; between the guards
36define void @test_guard_adjacent_diff_cond2(i32 %V1, i32 %V2) {
37; CHECK-LABEL: @test_guard_adjacent_diff_cond2(
38; CHECK-NEXT: %1 = and i32 %V1, %V2
39; CHECK-NEXT: %2 = icmp slt i32 %1, 0
40; CHECK-NEXT: %and = and i32 %V1, 255
41; CHECK-NEXT: %C = icmp ult i32 %and, 129
42; CHECK-NEXT: %3 = and i1 %2, %C
43; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %3, i32 123) [ "deopt"() ]
44; CHECK-NEXT: ret void
45 %A = icmp slt i32 %V1, 0
46 call void(i1, ...) @llvm.experimental.guard( i1 %A, i32 123 )[ "deopt"() ]
47 %B = icmp slt i32 %V2, 0
48 call void(i1, ...) @llvm.experimental.guard( i1 %B, i32 456 )[ "deopt"() ]
49 %and = and i32 %V1, 255
50 %C = icmp sle i32 %and, 128
51 call void(i1, ...) @llvm.experimental.guard( i1 %C, i32 789 )[ "deopt"() ]
52 ret void
53}
54
55; Might not be legal to hoist the load above the first guard since the
56; guard might control dereferenceability
57define void @negative_load(i32 %V1, i32* %P) {
58; CHECK-LABEL: @negative_load
59; CHECK: @llvm.experimental.guard
60; CHECK: @llvm.experimental.guard
61 %A = icmp slt i32 %V1, 0
62 call void(i1, ...) @llvm.experimental.guard( i1 %A, i32 123 )[ "deopt"() ]
63 %V2 = load i32, i32* %P
64 %B = icmp slt i32 %V2, 0
65 call void(i1, ...) @llvm.experimental.guard( i1 %B, i32 456 )[ "deopt"() ]
66 ret void
67}
68
69define void @deref_load(i32 %V1, i32* dereferenceable(4) %P) {
70; CHECK-LABEL: @deref_load
71; CHECK-NEXT: %V2 = load i32, i32* %P, align 4
72; CHECK-NEXT: %1 = and i32 %V2, %V1
73; CHECK-NEXT: %2 = icmp slt i32 %1, 0
74; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %2, i32 123) [ "deopt"() ]
75 %A = icmp slt i32 %V1, 0
76 call void(i1, ...) @llvm.experimental.guard( i1 %A, i32 123 )[ "deopt"() ]
77 %V2 = load i32, i32* %P
78 %B = icmp slt i32 %V2, 0
79 call void(i1, ...) @llvm.experimental.guard( i1 %B, i32 456 )[ "deopt"() ]
80 ret void
81}
82
83; The divide might fault above the guard
84define void @negative_div(i32 %V1, i32 %D) {
85; CHECK-LABEL: @negative_div
86; CHECK: @llvm.experimental.guard
87; CHECK: @llvm.experimental.guard
88 %A = icmp slt i32 %V1, 0
89 call void(i1, ...) @llvm.experimental.guard( i1 %A, i32 123 )[ "deopt"() ]
90 %V2 = udiv i32 %V1, %D
91 %B = icmp slt i32 %V2, 0
92 call void(i1, ...) @llvm.experimental.guard( i1 %B, i32 456 )[ "deopt"() ]
93 ret void
94}
95
96; Highlight the limit of the window in a case which would otherwise be mergable
97define void @negative_window(i32 %V1, i32 %a, i32 %b, i32 %c, i32 %d) {
98; CHECK-LABEL: @negative_window
99; CHECK: @llvm.experimental.guard
100; CHECK: @llvm.experimental.guard
101 %A = icmp slt i32 %V1, 0
102 call void(i1, ...) @llvm.experimental.guard( i1 %A, i32 123 )[ "deopt"() ]
103 %V2 = add i32 %a, %b
104 %V3 = add i32 %V2, %c
105 %V4 = add i32 %V3, %d
106 %B = icmp slt i32 %V4, 0
107 call void(i1, ...) @llvm.experimental.guard( i1 %B, i32 456 )[ "deopt"() ]
108 ret void
109}
110