test/Transforms/SimplifyCFG/branch-cond-prop.ll

   1 ; RUN: opt < %s -simplifycfg -S | not grep call
   2
   3 declare void @bar()
   4
   5 define void @test(i32 %X, i32 %Y) {
   6 entry:
   7         %tmp.2 = icmp slt i32 %X, %Y            ; <i1> [#uses=2]
   8         br i1 %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock
   9 shortcirc_next:         ; preds = %entry
  10         br i1 %tmp.2, label %UnifiedReturnBlock, label %then
  11 then:           ; preds = %shortcirc_next
  12         call void @bar( )
  13         ret void
  14 UnifiedReturnBlock:             ; preds = %shortcirc_next, %entry
  15         ret void
  16 }
  17