41 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s3 4define void @trunc_one_add(ptr %a, i8 %b) {5; CHECK-LABEL: @trunc_one_add(6; CHECK-NEXT: [[ZEXT:%.*]] = zext i8 [[B:%.*]] to i167; CHECK-NEXT: [[SHR:%.*]] = lshr i16 [[ZEXT]], 18; CHECK-NEXT: [[ADD:%.*]] = add i16 [[ZEXT]], [[SHR]]9; CHECK-NEXT: store i16 [[ADD]], ptr [[A:%.*]], align 210; CHECK-NEXT: ret void11;12 %zext = zext i8 %b to i3213 %shr = lshr i32 %zext, 114 %add = add nsw i32 %zext, %shr15 %trunc = trunc i32 %add to i1616 store i16 %trunc, ptr %a, align 217 ret void18}19 20define void @trunc_two_adds(ptr %a, i8 %b, i8 %c) {21; CHECK-LABEL: @trunc_two_adds(22; CHECK-NEXT: [[ZEXT1:%.*]] = zext i8 [[B:%.*]] to i1623; CHECK-NEXT: [[ZEXT2:%.*]] = zext i8 [[C:%.*]] to i1624; CHECK-NEXT: [[ADD1:%.*]] = add i16 [[ZEXT1]], [[ZEXT2]]25; CHECK-NEXT: [[SHR1:%.*]] = lshr i16 [[ADD1]], 126; CHECK-NEXT: [[ADD2:%.*]] = add i16 [[ADD1]], [[SHR1]]27; CHECK-NEXT: [[SHR2:%.*]] = lshr i16 [[ADD2]], 228; CHECK-NEXT: store i16 [[SHR2]], ptr [[A:%.*]], align 229; CHECK-NEXT: ret void30;31 %zext1 = zext i8 %b to i3232 %zext2 = zext i8 %c to i3233 %add1 = add nuw nsw i32 %zext1, %zext234 %shr1 = lshr i32 %add1, 135 %add2 = add nuw nsw i32 %add1, %shr136 %shr2 = lshr i32 %add2, 237 %trunc = trunc i32 %shr2 to i1638 store i16 %trunc, ptr %a, align 239 ret void40}41