blob: 91f1c0b0a986b247546b7766573f410e09bd615b [file] [log] [blame]
Dan Gohman72a13d22009-09-08 22:34:10 +00001; RUN: opt < %s -instcombine -S | not grep or
Bill Wendling3dfa1682008-08-05 22:23:59 +00002; PR2629
3
4define void @f(i8* %x) nounwind {
5entry:
6 br label %bb
7
8bb:
David Blaikie79e6c742015-02-27 19:29:02 +00009 %g1 = getelementptr i8, i8* %x, i32 0
David Blaikiea79ac142015-02-27 21:17:42 +000010 %l1 = load i8, i8* %g1, align 1
Bill Wendling3dfa1682008-08-05 22:23:59 +000011 %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
18okay:
19 ret void
20
21incompatible:
22 ret void
23}