1 ; RUN: opt < %s -correlated-propagation -S | FileCheck %s 2 ; PR2581 3 4 ; CHECK-LABEL: @test1( 5 define i32 @test1(i1 %C) nounwind { 6 br i1 %C, label %exit, label %body 7 8 body: ; preds = %0 9 ; CHECK-NOT: select 10 %A = select i1 %C, i32 10, i32 11 ; <i32> [#uses=1] 11 ; CHECK: ret i32 11 12 ret i32 %A 13 14 exit: ; preds = %0 15 ; CHECK: ret i32 10 16 ret i32 10 17 } 18 19 ; PR4420 20 declare i1 @ext() 21 ; CHECK-LABEL: @test2( 22 define i1 @test2() { 23 entry: 24 %cond = tail call i1 @ext() ; <i1> [#uses=2] 25 br i1 %cond, label %bb1, label %bb2 26 27 bb1: ; preds = %entry 28 %cond2 = tail call i1 @ext() ; <i1> [#uses=1] 29 br i1 %cond2, label %bb3, label %bb2 30 31 bb2: ; preds = %bb1, %entry 32 ; CHECK-NOT: phi i1 33 %cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ] ; <i1> [#uses=1] 34 ; CHECK: ret i1 false 35 ret i1 %cond_merge 36 37 bb3: ; preds = %bb1 38 %res = tail call i1 @ext() ; <i1> [#uses=1] 39 ; CHECK: ret i1 %res 40 ret i1 %res 41 } 42 43 ; PR4855 44 @gv = internal constant i8 7 45 ; CHECK-LABEL: @test3( 46 define i8 @test3(i8* %a) nounwind { 47 entry: 48 %cond = icmp eq i8* %a, @gv 49 br i1 %cond, label %bb2, label %bb 50 51 bb: ; preds = %entry 52 ret i8 0 53 54 bb2: ; preds = %entry 55 ; CHECK: %should_be_const = load i8* @gv 56 %should_be_const = load i8* %a 57 ret i8 %should_be_const 58 } 59 60 ; PR1757 61 ; CHECK-LABEL: @test4( 62 define i32 @test4(i32) { 63 EntryBlock: 64 ; CHECK: icmp sgt i32 %0, 2 65 %.demorgan = icmp sgt i32 %0, 2 66 br i1 %.demorgan, label %GreaterThanTwo, label %LessThanOrEqualToTwo 67 68 GreaterThanTwo: 69 ; CHECK-NOT: icmp eq i32 %0, 2 70 icmp eq i32 %0, 2 71 ; CHECK: br i1 false 72 br i1 %1, label %Impossible, label %NotTwoAndGreaterThanTwo 73 74 NotTwoAndGreaterThanTwo: 75 ret i32 2 76 77 Impossible: 78 ret i32 1 79 80 LessThanOrEqualToTwo: 81 ret i32 0 82 } 83 84 declare i32* @f(i32*) 85 define void @test5(i32* %x, i32* %y) { 86 ; CHECK-LABEL: @test5( 87 entry: 88 %pre = icmp eq i32* %x, null 89 br i1 %pre, label %return, label %loop 90 91 loop: 92 %phi = phi i32* [ %sel, %loop ], [ %x, %entry ] 93 ; CHECK: %phi = phi i32* [ %f, %loop ], [ %x, %entry ] 94 %f = tail call i32* @f(i32* %phi) 95 %cmp1 = icmp ne i32* %f, %y 96 %sel = select i1 %cmp1, i32* %f, i32* null 97 %cmp2 = icmp eq i32* %sel, null 98 br i1 %cmp2, label %return, label %loop 99 100 return: 101 ret void 102 } 103 104 define i32 @switch1(i32 %s) { 105 ; CHECK-LABEL: @switch1( 106 entry: 107 %cmp = icmp slt i32 %s, 0 108 br i1 %cmp, label %negative, label %out 109 110 negative: 111 switch i32 %s, label %out [ 112 ; CHECK: switch i32 %s, label %out 113 i32 0, label %out 114 ; CHECK-NOT: i32 0 115 i32 1, label %out 116 ; CHECK-NOT: i32 1 117 i32 -1, label %next 118 ; CHECK: i32 -1, label %next 119 i32 -2, label %next 120 ; CHECK: i32 -2, label %next 121 i32 2, label %out 122 ; CHECK-NOT: i32 2 123 i32 3, label %out 124 ; CHECK-NOT: i32 3 125 ] 126 127 out: 128 %p = phi i32 [ 1, %entry ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ] 129 ret i32 %p 130 131 next: 132 %q = phi i32 [ 0, %negative ], [ 0, %negative ] 133 ret i32 %q 134 } 135 136 define i32 @switch2(i32 %s) { 137 ; CHECK-LABEL: @switch2( 138 entry: 139 %cmp = icmp sgt i32 %s, 0 140 br i1 %cmp, label %positive, label %out 141 142 positive: 143 switch i32 %s, label %out [ 144 i32 0, label %out 145 i32 -1, label %next 146 i32 -2, label %next 147 ] 148 ; CHECK: br label %out 149 150 out: 151 %p = phi i32 [ -1, %entry ], [ 1, %positive ], [ 1, %positive ] 152 ret i32 %p 153 154 next: 155 %q = phi i32 [ 0, %positive ], [ 0, %positive ] 156 ret i32 %q 157 } 158 159 define i32 @switch3(i32 %s) { 160 ; CHECK-LABEL: @switch3( 161 entry: 162 %cmp = icmp sgt i32 %s, 0 163 br i1 %cmp, label %positive, label %out 164 165 positive: 166 switch i32 %s, label %out [ 167 i32 -1, label %out 168 i32 -2, label %next 169 i32 -3, label %next 170 ] 171 ; CHECK: br label %out 172 173 out: 174 %p = phi i32 [ -1, %entry ], [ 1, %positive ], [ 1, %positive ] 175 ret i32 %p 176 177 next: 178 %q = phi i32 [ 0, %positive ], [ 0, %positive ] 179 ret i32 %q 180 } 181 182 define void @switch4(i32 %s) { 183 ; CHECK-LABEL: @switch4( 184 entry: 185 %cmp = icmp eq i32 %s, 0 186 br i1 %cmp, label %zero, label %out 187 188 zero: 189 switch i32 %s, label %out [ 190 i32 0, label %next 191 i32 1, label %out 192 i32 -1, label %out 193 ] 194 ; CHECK: br label %next 195 196 out: 197 ret void 198 199 next: 200 ret void 201 } 202
