; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep or
; PR2629

define void @f(i8* %x) nounwind  {
entry:
        br label %bb

bb:
	%g1 = getelementptr i8* %x, i32 0
        %l1 = load i8* %g1, align 1
	%s1 = sub i8 %l1, 6
	%c1 = icmp ugt i8 %s1, 2
	%s2 = sub i8 %l1, 10
        %c2 = icmp ugt i8 %s2, 2
        %a1 = and i1 %c1, %c2
	br i1 %a1, label %incompatible, label %okay

okay:
        ret void

incompatible:
        ret void
}