140 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4; The pattern:5; add(add A, 1), (sext(icmp ne A, 0))6; is transformed into:7; umax(A, 1)8 9define i32 @add_sext_icmp(i32 %A) {10; CHECK-LABEL: define i32 @add_sext_icmp(11; CHECK-SAME: i32 [[A:%.*]]) {12; CHECK-NEXT: [[ADD2:%.*]] = call i32 @llvm.umax.i32(i32 [[A]], i32 1)13; CHECK-NEXT: ret i32 [[ADD2]]14;15 %add1 = add i32 %A, 116 %icmp = icmp ne i32 %A, 017 %sext = sext i1 %icmp to i3218 %add2 = add i32 %add1, %sext19 ret i32 %add220}21 22define i32 @add_sext_icmp_commutative(i32 %A) {23; CHECK-LABEL: define i32 @add_sext_icmp_commutative(24; CHECK-SAME: i32 [[A:%.*]]) {25; CHECK-NEXT: [[ADD2:%.*]] = call i32 @llvm.umax.i32(i32 [[A]], i32 1)26; CHECK-NEXT: ret i32 [[ADD2]]27;28 %add1 = add i32 %A, 129 %icmp = icmp ne i32 %A, 030 %sext = sext i1 %icmp to i3231 %add2 = add i32 %sext, %add132 ret i32 %add233}34 35; Negative test36 37define i32 @add_sext_icmp_negative_constant(i32 %A) {38; CHECK-LABEL: define i32 @add_sext_icmp_negative_constant(39; CHECK-SAME: i32 [[A:%.*]]) {40; CHECK-NEXT: [[ADD1:%.*]] = add i32 [[A]], 241; CHECK-NEXT: [[ICMP:%.*]] = icmp ne i32 [[A]], 042; CHECK-NEXT: [[SEXT:%.*]] = sext i1 [[ICMP]] to i3243; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[ADD1]], [[SEXT]]44; CHECK-NEXT: ret i32 [[ADD2]]45;46 %add1 = add i32 %A, 247 %icmp = icmp ne i32 %A, 048 %sext = sext i1 %icmp to i3249 %add2 = add i32 %add1, %sext50 ret i32 %add251}52 53define i32 @add_sext_icmp_negative_pred(i32 %A) {54; CHECK-LABEL: define i32 @add_sext_icmp_negative_pred(55; CHECK-SAME: i32 [[A:%.*]]) {56; CHECK-NEXT: [[ADD1:%.*]] = add i32 [[A]], 157; CHECK-NEXT: [[ICMP:%.*]] = icmp eq i32 [[A]], 058; CHECK-NEXT: [[SEXT:%.*]] = sext i1 [[ICMP]] to i3259; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[ADD1]], [[SEXT]]60; CHECK-NEXT: ret i32 [[ADD2]]61;62 %add1 = add i32 %A, 163 %icmp = icmp eq i32 %A, 064 %sext = sext i1 %icmp to i3265 %add2 = add i32 %add1, %sext66 ret i32 %add267}68 69; multi-use test70 71define i32 @add_sext_icmp_multi_use_add2(i32 %A) {72; CHECK-LABEL: define i32 @add_sext_icmp_multi_use_add2(73; CHECK-SAME: i32 [[A:%.*]]) {74; CHECK-NEXT: [[ADD2:%.*]] = call i32 @llvm.umax.i32(i32 [[A]], i32 1)75; CHECK-NEXT: call void @use(i32 [[ADD2]])76; CHECK-NEXT: ret i32 [[ADD2]]77;78 %add1 = add i32 %A, 179 %icmp = icmp ne i32 %A, 080 %sext = sext i1 %icmp to i3281 %add2 = add i32 %add1, %sext82 call void @use(i32 %add2)83 ret i32 %add284}85 86define i32 @add_sext_icmp_multi_use_sext(i32 %A) {87; CHECK-LABEL: define i32 @add_sext_icmp_multi_use_sext(88; CHECK-SAME: i32 [[A:%.*]]) {89; CHECK-NEXT: [[ADD1:%.*]] = add i32 [[A]], 190; CHECK-NEXT: [[ICMP:%.*]] = icmp ne i32 [[A]], 091; CHECK-NEXT: [[SEXT:%.*]] = sext i1 [[ICMP]] to i3292; CHECK-NEXT: call void @use(i32 [[SEXT]])93; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[ADD1]], [[SEXT]]94; CHECK-NEXT: ret i32 [[ADD2]]95;96 %add1 = add i32 %A, 197 %icmp = icmp ne i32 %A, 098 %sext = sext i1 %icmp to i3299 call void @use(i32 %sext)100 %add2 = add i32 %add1, %sext101 ret i32 %add2102}103 104define i32 @add_sext_icmp_multi_use_icmp(i32 %A) {105; CHECK-LABEL: define i32 @add_sext_icmp_multi_use_icmp(106; CHECK-SAME: i32 [[A:%.*]]) {107; CHECK-NEXT: [[ADD1:%.*]] = add i32 [[A]], 1108; CHECK-NEXT: [[ICMP:%.*]] = icmp ne i32 [[A]], 0109; CHECK-NEXT: call void @use(i1 [[ICMP]])110; CHECK-NEXT: [[SEXT:%.*]] = sext i1 [[ICMP]] to i32111; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[ADD1]], [[SEXT]]112; CHECK-NEXT: ret i32 [[ADD2]]113;114 %add1 = add i32 %A, 1115 %icmp = icmp ne i32 %A, 0116 call void @use(i1 %icmp)117 %sext = sext i1 %icmp to i32118 %add2 = add i32 %add1, %sext119 ret i32 %add2120}121 122define i32 @add_sext_icmp_multi_use_add1(i32 %A) {123; CHECK-LABEL: define i32 @add_sext_icmp_multi_use_add1(124; CHECK-SAME: i32 [[A:%.*]]) {125; CHECK-NEXT: [[ADD1:%.*]] = add i32 [[A]], 1126; CHECK-NEXT: call void @use(i32 [[ADD1]])127; CHECK-NEXT: [[ADD2:%.*]] = call i32 @llvm.umax.i32(i32 [[A]], i32 1)128; CHECK-NEXT: ret i32 [[ADD2]]129;130 %add1 = add i32 %A, 1131 call void @use(i32 %add1)132 %icmp = icmp ne i32 %A, 0133 %sext = sext i1 %icmp to i32134 %add2 = add i32 %add1, %sext135 ret i32 %add2136}137 138declare void @use(i32)139 140