56 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S -passes=jump-threading,correlated-propagation < %s | FileCheck %s3 4; This runs both jump threading and CVP to query values in the right order.5; The comparison should not fold.6 7define void @test(i32 %n, i1 %c, i1 %c2) {8; CHECK-LABEL: define void @test(9; CHECK-SAME: i32 [[N:%.*]], i1 [[C:%.*]], i1 [[C2:%.*]]) {10; CHECK-NEXT: entry:11; CHECK-NEXT: br label [[LOOP:%.*]]12; CHECK: loop:13; CHECK-NEXT: [[IV:%.*]] = phi i32 [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ], [ 0, [[ENTRY:%.*]] ]14; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[IV]], 015; CHECK-NEXT: call void @use(i1 [[CMP]])16; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i32 [[IV]], 117; CHECK-NEXT: br label [[LOOP2:%.*]]18; CHECK: loop2:19; CHECK-NEXT: br i1 [[C]], label [[LOOP2_LATCH:%.*]], label [[LOOP2_LATCH]]20; CHECK: loop2.latch:21; CHECK-NEXT: br i1 [[C2]], label [[LOOP_LATCH]], label [[LOOP2]]22; CHECK: loop.latch:23; CHECK-NEXT: [[EXIT_COND:%.*]] = icmp eq i32 [[IV_NEXT]], [[N]]24; CHECK-NEXT: br i1 [[EXIT_COND]], label [[EXIT:%.*]], label [[LOOP]]25; CHECK: exit:26; CHECK-NEXT: ret void27;28entry:29 br label %loop30 31loop:32 %iv = phi i32 [ %iv.next, %loop.latch ], [ 0, %entry ]33 %cmp = icmp eq i32 %iv, 034 call void @use(i1 %cmp)35 %iv.next = add nuw nsw i32 %iv, 136 br label %loop237 38loop2:39 br i1 %c, label %loop2.latch, label %loop2.split40 41loop2.split:42 br label %loop2.latch43 44loop2.latch:45 br i1 %c2, label %loop.latch, label %loop246 47loop.latch:48 %exit.cond = icmp eq i32 %iv.next, %n49 br i1 %exit.cond, label %exit, label %loop50 51exit:52 ret void53}54 55declare void @use(i1)56