1 ; RUN: opt -correlated-propagation -S < %s | FileCheck %s 2 3 declare i32 @foo() 4 5 define i32 @test1(i32 %a) nounwind { 6 %a.off = add i32 %a, -8 7 %cmp = icmp ult i32 %a.off, 8 8 br i1 %cmp, label %then, label %else 9 10 then: 11 %dead = icmp eq i32 %a, 7 12 br i1 %dead, label %end, label %else 13 14 else: 15 ret i32 1 16 17 end: 18 ret i32 2 19 20 ; CHECK: @test1 21 ; CHECK: then: 22 ; CHECK-NEXT: br i1 false, label %end, label %else 23 } 24 25 define i32 @test2(i32 %a) nounwind { 26 %a.off = add i32 %a, -8 27 %cmp = icmp ult i32 %a.off, 8 28 br i1 %cmp, label %then, label %else 29 30 then: 31 %dead = icmp ugt i32 %a, 15 32 br i1 %dead, label %end, label %else 33 34 else: 35 ret i32 1 36 37 end: 38 ret i32 2 39 40 ; CHECK: @test2 41 ; CHECK: then: 42 ; CHECK-NEXT: br i1 false, label %end, label %else 43 } 44
