89 lines · plain
1; REQUIRES: asserts2; RUN: opt -passes=print-predicateinfo -debug < %s 2>&1 | FileCheck %s3 4declare void @use(i32)5declare void @use.i1(i1)6 7; Make sure we are visiting the values to build predicate infos for in a8; deterministic order.9define i32 @test12(i32 %x, i32 %y, i1 %c1) {10; CHECK: Visiting %lcmp = icmp eq i32 %x, 011; CHECK: Visiting i32 %x12; CHECK: Visiting %lcmp2 = icmp slt i32 %y, 100013; CHECK: Visiting i32 %y14; CHECK: Visiting %lcmp3 = icmp slt i32 %y.0, 90015; CHECK: Visiting %lcmp4 = icmp slt i32 %y.0.1, 70016; CHECK: Visiting %lcmp5 = icmp slt i32 %y.0.1.2, 70017; CHECK: Visiting %lcmp6 = icmp slt i32 %y.0.1.2.3, 70018; CHECK: Visiting %lcmp7 = icmp slt i32 %y.0.1.2.3.4, 70019; CHECK: Visiting %rcmp = icmp eq i32 %x, 020entry:21 br i1 %c1, label %left, label %right22 23left:24 %lcmp = icmp eq i32 %x, 025 br i1 %lcmp, label %left_cond_true, label %left_cond_false26 27left_cond_true:28 %lcmp2 = icmp slt i32 %y, 100029 br i1 %lcmp2, label %left_cond_true2, label %left_ret30 31left_cond_true2:32 call void @use(i32 %y)33 %lcmp3 = icmp slt i32 %y, 90034 br i1 %lcmp3, label %left_cond_true3, label %left_ret35 36left_cond_true3:37 call void @use(i32 %y)38 %lcmp4 = icmp slt i32 %y, 70039 br i1 %lcmp4, label %left_cond_true4, label %left_ret40 41left_cond_true4:42 call void @use(i32 %y)43 %lcmp5 = icmp slt i32 %y, 70044 br i1 %lcmp5, label %left_cond_true5, label %left_ret45 46left_cond_true5:47 call void @use(i32 %y)48 %lcmp6 = icmp slt i32 %y, 70049 br i1 %lcmp6, label %left_cond_true6, label %left_ret50 51left_cond_true6:52 call void @use(i32 %y)53 %lcmp7 = icmp slt i32 %y, 70054 br i1 %lcmp7, label %left_cond_true7, label %left_ret55 56left_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 %y65 66left_cond_false:67 br label %left_ret68 69left_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 %lres73 74right:75 %rcmp = icmp eq i32 %x, 076 br i1 %rcmp, label %right_cond_true, label %right_cond_false77 78right_cond_true:79 call void @use.i1(i1 %rcmp)80 br label %right_ret81 82right_cond_false:83 br label %right_ret84 85right_ret:86 %rres = phi i32 [ %x, %right_cond_true ], [ %x, %right_cond_false ]87 ret i32 %rres88}89