llvm/test/Transforms/Util/PredicateInfo/ordering.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt -passes=print-predicateinfo -debug < %s 2>&1 | FileCheck %s
   3
   4 declare void @use(i32)
   5 declare void @use.i1(i1)
   6
   7 ; Make sure we are visiting the values to build predicate infos for in a
   8 ; deterministic order.
   9 define i32 @test12(i32 %x, i32 %y, i1 %c1) {
  10 ; CHECK: Visiting   %lcmp = icmp eq i32 %x, 0
  11 ; CHECK: Visiting i32 %x
  12 ; CHECK: Visiting   %lcmp2 = icmp slt i32 %y, 1000
  13 ; CHECK: Visiting i32 %y
  14 ; CHECK: Visiting   %lcmp3 = icmp slt i32 %y.0, 900
  15 ; CHECK: Visiting   %lcmp4 = icmp slt i32 %y.0.1, 700
  16 ; CHECK: Visiting   %lcmp5 = icmp slt i32 %y.0.1.2, 700
  17 ; CHECK: Visiting   %lcmp6 = icmp slt i32 %y.0.1.2.3, 700
  18 ; CHECK: Visiting   %lcmp7 = icmp slt i32 %y.0.1.2.3.4, 700
  19 ; CHECK: Visiting   %rcmp = icmp eq i32 %x, 0
  20 entry:
  21   br i1 %c1, label %left, label %right
  22
  23 left:
  24   %lcmp = icmp eq i32 %x, 0
  25   br i1 %lcmp, label %left_cond_true, label %left_cond_false
  26
  27 left_cond_true:
  28   %lcmp2 = icmp slt i32 %y, 1000
  29   br i1 %lcmp2, label %left_cond_true2, label %left_ret
  30
  31 left_cond_true2:
  32   call void @use(i32 %y)
  33   %lcmp3 = icmp slt i32 %y, 900
  34   br i1 %lcmp3, label %left_cond_true3, label %left_ret
  35
  36 left_cond_true3:
  37   call void @use(i32 %y)
  38   %lcmp4 = icmp slt i32 %y, 700
  39   br i1 %lcmp4, label %left_cond_true4, label %left_ret
  40
  41 left_cond_true4:
  42   call void @use(i32 %y)
  43   %lcmp5 = icmp slt i32 %y, 700
  44   br i1 %lcmp5, label %left_cond_true5, label %left_ret
  45
  46 left_cond_true5:
  47   call void @use(i32 %y)
  48   %lcmp6 = icmp slt i32 %y, 700
  49   br i1 %lcmp6, label %left_cond_true6, label %left_ret
  50
  51 left_cond_true6:
  52   call void @use(i32 %y)
  53   %lcmp7 = icmp slt i32 %y, 700
  54   br i1 %lcmp7, label %left_cond_true7, label %left_ret
  55
  56 left_cond_true7:
  57   call void @use.i1(i1 %lcmp)
  58   call void @use.i1(i1 %lcmp2)
  59   call void @use.i1(i1 %lcmp3)
  60   call void @use.i1(i1 %lcmp4)
  61   call void @use.i1(i1 %lcmp5)
  62   call void @use.i1(i1 %lcmp6)
  63   call void @use.i1(i1 %lcmp7)
  64   ret i32 %y
  65
  66 left_cond_false:
  67   br label %left_ret
  68
  69 left_ret:
  70   %lres = phi i32 [ %x, %left_cond_true ], [ %x, %left_cond_false ], [ %x, %left_cond_true2 ], [ %x, %left_cond_true3 ], [ %x, %left_cond_true4 ], [ %x, %left_cond_true5 ], [ %x, %left_cond_true6 ]
  71
  72   ret i32 %lres
  73
  74 right:
  75   %rcmp = icmp eq i32 %x, 0
  76   br i1 %rcmp, label %right_cond_true, label %right_cond_false
  77
  78 right_cond_true:
  79   call void @use.i1(i1 %rcmp)
  80   br label %right_ret
  81
  82 right_cond_false:
  83   br label %right_ret
  84
  85 right_ret:
  86   %rres = phi i32 [ %x, %right_cond_true ], [ %x, %right_cond_false ]
  87   ret i32 %rres
  88 }