111 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4; Make sure instcombine don't fold select into operands. We don't want to emit5; select of two integers unless it's selecting 0 / 1.6 7define i32 @t1(i32 %c, i32 %x) {8; CHECK-LABEL: @t1(9; CHECK-NEXT: [[T1:%.*]] = icmp eq i32 [[C:%.*]], 010; CHECK-NEXT: [[T2:%.*]] = lshr i32 [[X:%.*]], 1811; CHECK-NEXT: [[T3:%.*]] = select i1 [[T1]], i32 [[T2]], i32 [[X]]12; CHECK-NEXT: ret i32 [[T3]]13;14 %t1 = icmp eq i32 %c, 015 %t2 = lshr i32 %x, 1816 %t3 = select i1 %t1, i32 %t2, i32 %x17 ret i32 %t318}19 20define i32 @t2(i32 %c, i32 %x) {21; CHECK-LABEL: @t2(22; CHECK-NEXT: [[T1:%.*]] = icmp eq i32 [[C:%.*]], 023; CHECK-NEXT: [[T2:%.*]] = and i32 [[X:%.*]], 1824; CHECK-NEXT: [[T3:%.*]] = select i1 [[T1]], i32 [[T2]], i32 [[X]]25; CHECK-NEXT: ret i32 [[T3]]26;27 %t1 = icmp eq i32 %c, 028 %t2 = and i32 %x, 1829 %t3 = select i1 %t1, i32 %t2, i32 %x30 ret i32 %t331}32 33define float @t3(float %x, float %y) {34; CHECK-LABEL: @t3(35; CHECK-NEXT: [[T1:%.*]] = fcmp ogt float [[X:%.*]], [[Y:%.*]]36; CHECK-NEXT: [[TMP1:%.*]] = fadd fast float [[X]], 1.000000e+0037; CHECK-NEXT: [[T3:%.*]] = select i1 [[T1]], float [[TMP1]], float 2.000000e+0038; CHECK-NEXT: ret float [[T3]]39;40 %t1 = fcmp ogt float %x, %y41 %t2 = select i1 %t1, float %x, float 1.042 %t3 = fadd fast float %t2, 1.043 ret float %t344}45 46define i8 @ashr_exact_poison_constant_fold(i1 %b, i8 %x) {47; CHECK-LABEL: @ashr_exact_poison_constant_fold(48; CHECK-NEXT: [[TMP1:%.*]] = ashr i8 [[X:%.*]], 349; CHECK-NEXT: [[R:%.*]] = select i1 [[B:%.*]], i8 [[TMP1]], i8 550; CHECK-NEXT: ret i8 [[R]]51;52 %s = select i1 %b, i8 %x, i8 4253 %r = ashr exact i8 %s, 354 ret i8 %r55}56 57define i8 @ashr_exact(i1 %b, i8 %x) {58; CHECK-LABEL: @ashr_exact(59; CHECK-NEXT: [[TMP1:%.*]] = ashr exact i8 [[X:%.*]], 360; CHECK-NEXT: [[R:%.*]] = select i1 [[B:%.*]], i8 [[TMP1]], i8 261; CHECK-NEXT: ret i8 [[R]]62;63 %s = select i1 %b, i8 %x, i8 1664 %r = ashr exact i8 %s, 365 ret i8 %r66}67 68define i8 @shl_nsw_nuw_poison_constant_fold(i1 %b, i8 %x) {69; CHECK-LABEL: @shl_nsw_nuw_poison_constant_fold(70; CHECK-NEXT: [[TMP1:%.*]] = shl nuw nsw i8 16, [[X:%.*]]71; CHECK-NEXT: [[R:%.*]] = select i1 [[B:%.*]], i8 -128, i8 [[TMP1]]72; CHECK-NEXT: ret i8 [[R]]73;74 %s = select i1 %b, i8 3, i8 %x75 %r = shl nsw nuw i8 16, %s76 ret i8 %r77}78 79define i8 @shl_nsw_nuw(i1 %b, i8 %x) {80; CHECK-LABEL: @shl_nsw_nuw(81; CHECK-NEXT: [[TMP1:%.*]] = shl nuw nsw i8 7, [[X:%.*]]82; CHECK-NEXT: [[R:%.*]] = select i1 [[B:%.*]], i8 56, i8 [[TMP1]]83; CHECK-NEXT: ret i8 [[R]]84;85 %s = select i1 %b, i8 3, i8 %x86 %r = shl nsw nuw i8 7, %s87 ret i8 %r88}89 90define i8 @add_nsw_poison_constant_fold(i1 %b, i8 %x) {91; CHECK-LABEL: @add_nsw_poison_constant_fold(92; CHECK-NEXT: [[TMP1:%.*]] = add nsw i8 [[X:%.*]], 6493; CHECK-NEXT: [[R:%.*]] = select i1 [[B:%.*]], i8 [[TMP1]], i8 -12794; CHECK-NEXT: ret i8 [[R]]95;96 %s = select i1 %b, i8 %x, i8 6597 %r = add nsw i8 %s, 6498 ret i8 %r99}100 101define i8 @add_nsw(i1 %b, i8 %x) {102; CHECK-LABEL: @add_nsw(103; CHECK-NEXT: [[TMP1:%.*]] = add nsw i8 [[X:%.*]], 64104; CHECK-NEXT: [[R:%.*]] = select i1 [[B:%.*]], i8 [[TMP1]], i8 71105; CHECK-NEXT: ret i8 [[R]]106;107 %s = select i1 %b, i8 %x, i8 7108 %r = add nsw i8 %s, 64109 ret i8 %r110}111