test/Transforms/SimplifyCFG/branch-fold-test.ll

   1 ; This test ensures that the simplifycfg pass continues to constant fold
   2 ; terminator instructions.
   3
   4 ; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep br
   5
   6 define i32 @test(i32 %A, i32 %B) {
   7 J:
   8         %C = add i32 %A, 12             ; <i32> [#uses=2]
   9         br i1 true, label %L, label %K
  10 L:              ; preds = %J
  11         %D = add i32 %C, %B             ; <i32> [#uses=1]
  12         ret i32 %D
  13 K:              ; preds = %J
  14         %E = add i32 %C, %B             ; <i32> [#uses=1]
  15         ret i32 %E
  16 }
  17