test/Transforms/InstCombine/2008-08-05-And.ll

   1 ; RUN: opt < %s -instcombine -S | not grep or
   2 ; PR2629
   3
   4 define void @f(i8* %x) nounwind  {
   5 entry:
   6         br label %bb
   7
   8 bb:
   9         %g1 = getelementptr i8, i8* %x, i32 0
  10         %l1 = load i8, i8* %g1, align 1
  11         %s1 = sub i8 %l1, 6
  12         %c1 = icmp ugt i8 %s1, 2
  13         %s2 = sub i8 %l1, 10
  14         %c2 = icmp ugt i8 %s2, 2
  15         %a1 = and i1 %c1, %c2
  16         br i1 %a1, label %incompatible, label %okay
  17
  18 okay:
  19         ret void
  20
  21 incompatible:
  22         ret void
  23 }