test/Transforms/InstCombine/canonicalize_branch.ll

   1 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
   2 ; RUN:    not grep {icmp ne\|icmp ule\|icmp uge}
   3
   4 define i32 @test1(i32 %X, i32 %Y) {
   5         %C = icmp ne i32 %X, %Y         ; <i1> [#uses=1]
   6         br i1 %C, label %T, label %F
   7
   8 T:              ; preds = %0
   9         ret i32 12
  10
  11 F:              ; preds = %0
  12         ret i32 123
  13 }
  14
  15 define i32 @test2(i32 %X, i32 %Y) {
  16         %C = icmp ule i32 %X, %Y                ; <i1> [#uses=1]
  17         br i1 %C, label %T, label %F
  18
  19 T:              ; preds = %0
  20         ret i32 12
  21
  22 F:              ; preds = %0
  23         ret i32 123
  24 }
  25
  26 define i32 @test3(i32 %X, i32 %Y) {
  27         %C = icmp uge i32 %X, %Y                ; <i1> [#uses=1]
  28         br i1 %C, label %T, label %F
  29
  30 T:              ; preds = %0
  31         ret i32 12
  32
  33 F:              ; preds = %0
  34         ret i32 123
  35 }
  36