1; RUN: opt < %s -ipsccp -S | FileCheck %s 2 3; Constant range for %a is [1, 48) and for %b is [301, 1000) 4; CHECK-LABEL: f1 5; CHECK: ret i32 undef 6define internal i32 @f1(i32 %a, i32 %b) { 7entry: 8 %cmp.a = icmp sgt i32 %a, 300 9 %cmp.b = icmp sgt i32 %b, 300 10 %cmp.a2 = icmp ugt i32 %a, 300 11 %cmp.b2 = icmp ugt i32 %b, 300 12 13 %a.1 = select i1 %cmp.a, i32 1, i32 2 14 %b.1 = select i1 %cmp.b, i32 1, i32 2 15 %a.2 = select i1 %cmp.a2, i32 1, i32 2 16 %b.2 = select i1 %cmp.b2, i32 1, i32 2 17 %res1 = add i32 %a.1, %b.1 18 %res2 = add i32 %a.2, %b.2 19 %res3 = add i32 %res1, %res2 20 ret i32 %res3 21} 22 23; Constant range for %x is [47, 302) 24; CHECK-LABEL: f2 25; CHECK: %cmp = icmp sgt i32 %x, 300 26; CHECK: %res1 = select i1 %cmp, i32 1, i32 2 27; CHECK-NEXT: %res4 = select i1 %cmp4, i32 3, i32 4 28; CHECK-NEXT: %res6 = add i32 %res1, 3 29; CHECK-NEXT: %res7 = add i32 5, %res4 30; CHECK-NEXT: %res = add i32 %res6, 5 31; CHECK-NEXT: ret i32 %res 32define internal i32 @f2(i32 %x) { 33entry: 34 %cmp = icmp sgt i32 %x, 300 35 %cmp2 = icmp ne i32 %x, 10 36 %cmp3 = icmp sge i32 %x, 47 37 %cmp4 = icmp ugt i32 %x, 300 38 %cmp5 = icmp uge i32 %x, 47 39 %res1 = select i1 %cmp, i32 1, i32 2 40 %res2 = select i1 %cmp2, i32 3, i32 4 41 %res3 = select i1 %cmp3, i32 5, i32 6 42 %res4 = select i1 %cmp4, i32 3, i32 4 43 %res5 = select i1 %cmp5, i32 5, i32 6 44 45 %res6 = add i32 %res1, %res2 46 %res7 = add i32 %res3, %res4 47 %res = add i32 %res6, %res5 48 ret i32 %res 49} 50 51define i32 @caller1() { 52entry: 53 %call1 = tail call i32 @f1(i32 1, i32 301) 54 %call2 = tail call i32 @f1(i32 47, i32 999) 55 %call3 = tail call i32 @f2(i32 47) 56 %call4 = tail call i32 @f2(i32 301) 57 %res.1 = add nsw i32 12, %call3 58 %res.2 = add nsw i32 %res.1, %call4 59 ret i32 %res.2 60} 61 62; x is overdefined, because constant ranges are only used for parameter 63; values. 64; CHECK-LABEL: f3 65; CHECK: %cmp = icmp sgt i32 %x, 300 66; CHECK: %res = select i1 %cmp, i32 1, i32 2 67; CHECK: ret i32 %res 68define internal i32 @f3(i32 %x) { 69entry: 70 %cmp = icmp sgt i32 %x, 300 71 %res = select i1 %cmp, i32 1, i32 2 72 ret i32 %res 73} 74 75; The phi node could be converted in a ConstantRange. 76define i32 @caller2(i1 %cmp) { 77entry: 78 br i1 %cmp, label %if.true, label %end 79 80if.true: 81 br label %end 82 83end: 84 %res = phi i32 [ 0, %entry], [ 1, %if.true ] 85 %call1 = tail call i32 @f3(i32 %res) 86 ret i32 %call1 87} 88 89; CHECK-LABEL: f4 90; CHECK: %cmp = icmp sgt i32 %x, 300 91; CHECK: %res = select i1 %cmp, i32 1, i32 2 92; CHECK: ret i32 %res 93define internal i32 @f4(i32 %x) { 94entry: 95 %cmp = icmp sgt i32 %x, 300 96 %res = select i1 %cmp, i32 1, i32 2 97 ret i32 %res 98} 99 100; ICmp could introduce bounds on ConstantRanges. 101define i32 @caller3(i32 %x) { 102entry: 103 %cmp = icmp sgt i32 %x, 300 104 br i1 %cmp, label %if.true, label %end 105 106if.true: 107 %x.1 = tail call i32 @f4(i32 %x) 108 br label %end 109 110end: 111 %res = phi i32 [ 0, %entry], [ %x.1, %if.true ] 112 ret i32 %res 113} 114 115; Check to make sure we do not attempt to access lattice values in unreachable 116; blocks. 117define i32 @test_unreachable() { 118entry: 119 call i1 @test_unreachable_callee(i32 1) 120 call i1 @test_unreachable_callee(i32 2) 121 ret i32 1 122} 123 124define internal i1 @test_unreachable_callee(i32 %a) { 125entry: 126 ret i1 true 127 128unreachablebb: 129 %cmp = icmp eq i32 undef, %a 130 unreachable 131} 132 133; Check that we do not attempt to get range info for non-integer types and 134; crash. 135define double @test_struct({ double, double } %test) { 136 %v = extractvalue { double, double } %test, 0 137 %r = fmul double %v, %v 138 ret double %r 139} 140 141; Constant range for %x is [47, 302) 142; CHECK-LABEL: @f5 143; CHECK-NEXT: entry: 144; CHECK-NEXT: %cmp = icmp sgt i32 %x, undef 145; CHECK-NEXT: %res1 = select i1 %cmp, i32 1, i32 2 146; CHECK-NEXT: %res = add i32 %res1, 3 147; CHECK-NEXT: ret i32 %res 148define internal i32 @f5(i32 %x) { 149entry: 150 %cmp = icmp sgt i32 %x, undef 151 %cmp2 = icmp ne i32 undef, %x 152 %res1 = select i1 %cmp, i32 1, i32 2 153 %res2 = select i1 %cmp2, i32 3, i32 4 154 155 %res = add i32 %res1, %res2 156 ret i32 %res 157} 158 159define i32 @caller4() { 160entry: 161 %call1 = tail call i32 @f5(i32 47) 162 %call2 = tail call i32 @f5(i32 301) 163 %res = add nsw i32 %call1, %call2 164 ret i32 %res 165} 166 167; Make sure we do re-evaluate the function after ParamState changes. 168; CHECK-LABEL: @recursive_f 169; CHECK-LABEL: entry: 170; CHECK: %cmp = icmp eq i32 %i, 0 171; CHECK-NEXT: br i1 %cmp, label %if.then, label %if.else 172define internal i32 @recursive_f(i32 %i) { 173entry: 174 %cmp = icmp eq i32 %i, 0 175 br i1 %cmp, label %if.then, label %if.else 176 177if.then: ; preds = %entry 178 br label %return 179 180if.else: ; preds = %entry 181 %sub = sub nsw i32 %i, 1 182 %call = call i32 @recursive_f(i32 %sub) 183 %add = add i32 %i, %call 184 br label %return 185 186return: ; preds = %if.else, %if.then 187 %retval.0 = phi i32 [ 0, %if.then ], [ %add, %if.else ] 188 ret i32 %retval.0 189} 190 191; CHECK-LABEL: @caller5 192; CHECK: %call = call i32 @recursive_f(i32 42) 193; CHECK-NEXT: ret i32 %call 194define i32 @caller5() { 195entry: 196 %call = call i32 @recursive_f(i32 42) 197 ret i32 %call 198} 199