test/Transforms/PredicateSimplifier/predsimplify.reg3.ll

   1 ; RUN: opt < %s -predsimplify -simplifycfg -S | grep pass
   2
   3 define void @regtest(i32 %x) {
   4 entry:
   5         %A = icmp eq i32 %x, 0          ; <i1> [#uses=1]
   6         br i1 %A, label %middle, label %after
   7 middle:         ; preds = %entry
   8         br label %after
   9 after:          ; preds = %middle, %entry
  10         %B = icmp eq i32 %x, 0          ; <i1> [#uses=1]
  11         br i1 %B, label %then, label %else
  12 then:           ; preds = %after
  13         br label %end
  14 else:           ; preds = %after
  15         call void (...)* @pass( )
  16         br label %end
  17 end:            ; preds = %else, %then
  18         ret void
  19 }
  20
  21 declare void @pass(...)
  22