test/Transforms/InstCombine/branch.ll

   1 ; Check that we fold the condition of branches of the
   2 ; form: br <condition> dest1, dest2, where dest1 == dest2.
   3 ; RUN: opt -instcombine -S < %s | FileCheck %s
   4
   5 define i32 @test(i32 %x) {
   6 ; CHECK-LABEL: @test
   7 entry:
   8 ; CHECK-NOT: icmp
   9 ; CHECK: br i1 false
  10   %cmp = icmp ult i32 %x, 7
  11   br i1 %cmp, label %merge, label %merge
  12 merge:
  13 ; CHECK-LABEL: merge:
  14 ; CHECK: ret i32 %x
  15   ret i32 %x
  16 }
  17
  18 @global = global i8 0
  19
  20 define i32 @pat(i32 %x) {
  21 ; CHECK-NOT: icmp false
  22 ; CHECK: br i1 false
  23   %y = icmp eq i32 27, ptrtoint(i8* @global to i32)
  24   br i1 %y, label %patatino, label %patatino
  25 patatino:
  26   ret i32 %x
  27 }