; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \ | |
; RUN: grep {%bothcond =} | |
define i1 @Doit_bb(i32 %i.0) { | |
bb: | |
%tmp = icmp sgt i32 %i.0, 0 ; <i1> [#uses=1] | |
%tmp.not = xor i1 %tmp, true ; <i1> [#uses=1] | |
%tmp2 = icmp sgt i32 %i.0, 8 ; <i1> [#uses=1] | |
%bothcond = or i1 %tmp.not, %tmp2 ; <i1> [#uses=1] | |
br i1 %bothcond, label %exitTrue, label %exitFalse | |
exitTrue: ; preds = %bb | |
ret i1 true | |
exitFalse: ; preds = %bb | |
ret i1 false | |
} | |