test/Transforms/ABCD/basic.ll

   1 ; RUN: opt < %s -abcd -S | FileCheck %s
   2
   3 define void @test() {
   4 ; CHECK: @test
   5 ; CHECK-NOT: br i1 %tmp95
   6 ; CHECK: ret void
   7 entry:
   8   br label %bb19
   9
  10 bb:
  11   br label %bb1
  12
  13 bb1:
  14   %tmp7 = icmp sgt i32 %tmp94, 1
  15   br i1 %tmp7, label %bb.i.i, label %return
  16
  17 bb.i.i:
  18   br label %return
  19
  20 bb19:
  21   %tmp94 = ashr i32 undef, 3
  22   %tmp95 = icmp sgt i32 %tmp94, 16
  23   br i1 %tmp95, label %bb, label %return
  24
  25 return:
  26   ret void
  27 }