test/Transforms/PredicateSimplifier/2007-03-17-OpsToDefVRP.ll

   1 ; RUN: opt < %s -predsimplify -S | grep -v %c
   2 define void @foo(i8* %X, i8* %Y) {
   3 entry:
   4   %A = load i8* %X
   5   %B = load i8* %Y
   6   %a = icmp ult i8 %B, 10
   7   br i1 %a, label %cond_true, label %URB
   8 cond_true:
   9   %b = icmp eq i8 %A, %B
  10   br i1 %b, label %cond_true2, label %URB
  11 cond_true2:
  12   %c = icmp ult i8 %A, 11
  13   call i8 @bar(i1 %c)
  14   ret void
  15 URB:
  16   ret void
  17 }
  18
  19 declare i8 @bar(i1)