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

   1 ; RUN: llvm-as < %s | opt -simplifycfg -instcombine -simplifycfg | llvm-dis | not grep call
   2
   3 declare void %bar()
   4
   5 void %test(int %X, int %Y) {
   6 entry:
   7         %tmp.2 = setne int %X, %Y
   8         br bool %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock
   9
  10 shortcirc_next:
  11         %tmp.3 = setne int %X, %Y
  12         br bool %tmp.3, label %UnifiedReturnBlock, label %then
  13
  14 then:
  15         call void %bar( )
  16         ret void
  17
  18 UnifiedReturnBlock:             ; preds = %entry, %shortcirc_next
  19         ret void
  20 }
  21