45 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=sccp -S | FileCheck %s3 4define i32 @test1(i1 %C) {5; CHECK-LABEL: define i32 @test1(6; CHECK-SAME: i1 [[C:%.*]]) {7; CHECK-NEXT: ret i32 08;9 %X = select i1 %C, i32 0, i32 010 ret i32 %X11}12 13define i32 @test2(i1 %C) {14; CHECK-LABEL: define i32 @test2(15; CHECK-SAME: i1 [[C:%.*]]) {16; CHECK-NEXT: ret i32 017;18 %X = select i1 %C, i32 0, i32 undef19 ret i32 %X20}21 22define i1 @f2(i32 %x, i1 %cmp) {23; CHECK-LABEL: define i1 @f2(24; CHECK-SAME: i32 [[X:%.*]], i1 [[CMP:%.*]]) {25; CHECK-NEXT: [[SEL_1:%.*]] = select i1 [[CMP]], i32 [[X]], i32 1026; CHECK-NEXT: [[C_1:%.*]] = icmp sgt i32 [[SEL_1]], 30027; CHECK-NEXT: [[C_2:%.*]] = icmp sgt i32 [[SEL_1]], 10028; CHECK-NEXT: [[C_3:%.*]] = icmp eq i32 [[SEL_1]], 5029; CHECK-NEXT: [[C_4:%.*]] = icmp slt i32 [[SEL_1]], 930; CHECK-NEXT: [[RES_1:%.*]] = add i1 [[C_1]], [[C_2]]31; CHECK-NEXT: [[RES_2:%.*]] = add i1 [[RES_1]], [[C_3]]32; CHECK-NEXT: [[RES_3:%.*]] = add i1 [[RES_2]], [[C_4]]33; CHECK-NEXT: ret i1 [[RES_3]]34;35 %sel.1 = select i1 %cmp, i32 %x, i32 1036 %c.1 = icmp sgt i32 %sel.1, 30037 %c.2 = icmp sgt i32 %sel.1, 10038 %c.3 = icmp eq i32 %sel.1, 5039 %c.4 = icmp slt i32 %sel.1, 940 %res.1 = add i1 %c.1, %c.241 %res.2 = add i1 %res.1, %c.342 %res.3 = add i1 %res.2, %c.443 ret i1 %res.344}45