test/Transforms/InstCombine/2006-12-08-ICmp-Combining.ll

   1 ; RUN: opt < %s -instcombine -S | \
   2 ; RUN:    grep {%bothcond =}
   3
   4 define i1 @Doit_bb(i32 %i.0) {
   5 bb:
   6         %tmp = icmp sgt i32 %i.0, 0             ; <i1> [#uses=1]
   7         %tmp.not = xor i1 %tmp, true            ; <i1> [#uses=1]
   8         %tmp2 = icmp sgt i32 %i.0, 8            ; <i1> [#uses=1]
   9         %bothcond = or i1 %tmp.not, %tmp2               ; <i1> [#uses=1]
  10         br i1 %bothcond, label %exitTrue, label %exitFalse
  11
  12 exitTrue:               ; preds = %bb
  13         ret i1 true
  14
  15 exitFalse:              ; preds = %bb
  16         ret i1 false
  17 }
  18