; 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
}