test/Transforms/JumpThreading/and-and-cond.ll

   1 ; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg  -S | grep {ret i32 %v1}
   2 ; There should be no uncond branches left.
   3 ; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg  -S | not grep {br label}
   4
   5 declare i32 @f1()
   6 declare i32 @f2()
   7 declare void @f3()
   8
   9 define i32 @test(i1 %cond, i1 %cond2, i1 %cond3) {
  10         br i1 %cond, label %T1, label %F1
  11
  12 T1:
  13         %v1 = call i32 @f1()
  14         br label %Merge
  15
  16 F1:
  17         %v2 = call i32 @f2()
  18         br label %Merge
  19
  20 Merge:
  21         %A = phi i1 [true, %T1], [false, %F1]
  22         %B = phi i32 [%v1, %T1], [%v2, %F1]
  23         %C = and i1 %A, %cond2
  24         %D = and i1 %C, %cond3
  25         br i1 %D, label %T2, label %F2
  26
  27 T2:
  28         call void @f3()
  29         ret i32 %B
  30
  31 F2:
  32         ret i32 %B
  33 }