101 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -mtriple=thumbv6m-none-eabi -loop-reduce %s -S -o - | FileCheck %s3 4target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"5 6%struct.arm_matrix_instance_q15 = type { i16, i16, ptr }7 8define i32 @arm_mat_add_q15(ptr nocapture readonly %pSrcA, ptr nocapture readonly %pSrcB, ptr nocapture readonly %pDst) {9; CHECK-LABEL: @arm_mat_add_q15(10; CHECK-NEXT: entry:11; CHECK-NEXT: [[NUMROWS:%.*]] = getelementptr inbounds [[STRUCT_ARM_MATRIX_INSTANCE_Q15:%.*]], ptr [[PSRCA:%.*]], i32 0, i32 012; CHECK-NEXT: [[I0:%.*]] = load i16, ptr [[NUMROWS]], align 413; CHECK-NEXT: [[NUMCOLS:%.*]] = getelementptr inbounds [[STRUCT_ARM_MATRIX_INSTANCE_Q15]], ptr [[PSRCA]], i32 0, i32 114; CHECK-NEXT: [[I1:%.*]] = load i16, ptr [[NUMCOLS]], align 215; CHECK-NEXT: [[MUL:%.*]] = mul i16 [[I1]], [[I0]]16; CHECK-NEXT: [[CMP22:%.*]] = icmp eq i16 [[MUL]], 017; CHECK-NEXT: br i1 [[CMP22]], label [[WHILE_END:%.*]], label [[WHILE_BODY_PREHEADER:%.*]]18; CHECK: while.body.preheader:19; CHECK-NEXT: [[CONV5:%.*]] = zext i16 [[MUL]] to i3220; CHECK-NEXT: [[PDATA2:%.*]] = getelementptr inbounds [[STRUCT_ARM_MATRIX_INSTANCE_Q15]], ptr [[PDST:%.*]], i32 0, i32 221; CHECK-NEXT: [[I2:%.*]] = load ptr, ptr [[PDATA2]], align 422; CHECK-NEXT: [[PDATA1:%.*]] = getelementptr inbounds [[STRUCT_ARM_MATRIX_INSTANCE_Q15]], ptr [[PSRCB:%.*]], i32 0, i32 223; CHECK-NEXT: [[I3:%.*]] = load ptr, ptr [[PDATA1]], align 424; CHECK-NEXT: [[PDATA:%.*]] = getelementptr inbounds [[STRUCT_ARM_MATRIX_INSTANCE_Q15]], ptr [[PSRCA]], i32 0, i32 225; CHECK-NEXT: [[I4:%.*]] = load ptr, ptr [[PDATA]], align 426; CHECK-NEXT: br label [[WHILE_BODY:%.*]]27; CHECK: while.body:28; CHECK-NEXT: [[PINA_026:%.*]] = phi ptr [ [[INCDEC_PTR:%.*]], [[WHILE_BODY]] ], [ [[I4]], [[WHILE_BODY_PREHEADER]] ]29; CHECK-NEXT: [[BLKCNT_025:%.*]] = phi i32 [ [[DEC:%.*]], [[WHILE_BODY]] ], [ [[CONV5]], [[WHILE_BODY_PREHEADER]] ]30; CHECK-NEXT: [[PINB_024:%.*]] = phi ptr [ [[INCDEC_PTR8:%.*]], [[WHILE_BODY]] ], [ [[I3]], [[WHILE_BODY_PREHEADER]] ]31; CHECK-NEXT: [[POUT_023:%.*]] = phi ptr [ [[INCDEC_PTR11:%.*]], [[WHILE_BODY]] ], [ [[I2]], [[WHILE_BODY_PREHEADER]] ]32; CHECK-NEXT: [[INCDEC_PTR]] = getelementptr inbounds i16, ptr [[PINA_026]], i32 133; CHECK-NEXT: [[I5:%.*]] = load i16, ptr [[PINA_026]], align 234; CHECK-NEXT: [[CONV7:%.*]] = sext i16 [[I5]] to i3235; CHECK-NEXT: [[INCDEC_PTR8]] = getelementptr inbounds i16, ptr [[PINB_024]], i32 136; CHECK-NEXT: [[I6:%.*]] = load i16, ptr [[PINB_024]], align 237; CHECK-NEXT: [[CONV9:%.*]] = sext i16 [[I6]] to i3238; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[CONV9]], [[CONV7]]39; CHECK-NEXT: [[I7:%.*]] = icmp sgt i32 [[ADD]], -3276840; CHECK-NEXT: [[SPEC_SELECT_I:%.*]] = select i1 [[I7]], i32 [[ADD]], i32 -3276841; CHECK-NEXT: [[I8:%.*]] = icmp slt i32 [[SPEC_SELECT_I]], 3276742; CHECK-NEXT: [[CALL21:%.*]] = select i1 [[I8]], i32 [[SPEC_SELECT_I]], i32 3276743; CHECK-NEXT: [[CONV10:%.*]] = trunc i32 [[CALL21]] to i1644; CHECK-NEXT: [[INCDEC_PTR11]] = getelementptr inbounds i16, ptr [[POUT_023]], i32 145; CHECK-NEXT: store i16 [[CONV10]], ptr [[POUT_023]], align 246; CHECK-NEXT: [[DEC]] = add nsw i32 [[BLKCNT_025]], -147; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[DEC]], 048; CHECK-NEXT: br i1 [[CMP]], label [[WHILE_END_LOOPEXIT:%.*]], label [[WHILE_BODY]]49; CHECK: while.end.loopexit:50; CHECK-NEXT: br label [[WHILE_END]]51; CHECK: while.end:52; CHECK-NEXT: ret i32 053;54entry:55 %numRows = getelementptr inbounds %struct.arm_matrix_instance_q15, ptr %pSrcA, i32 0, i32 056 %i0 = load i16, ptr %numRows, align 457 %numCols = getelementptr inbounds %struct.arm_matrix_instance_q15, ptr %pSrcA, i32 0, i32 158 %i1 = load i16, ptr %numCols, align 259 %mul = mul i16 %i1, %i060 %cmp22 = icmp eq i16 %mul, 061 br i1 %cmp22, label %while.end, label %while.body.preheader62 63while.body.preheader: ; preds = %entry64 %conv5 = zext i16 %mul to i3265 %pData2 = getelementptr inbounds %struct.arm_matrix_instance_q15, ptr %pDst, i32 0, i32 266 %i2 = load ptr, ptr %pData2, align 467 %pData1 = getelementptr inbounds %struct.arm_matrix_instance_q15, ptr %pSrcB, i32 0, i32 268 %i3 = load ptr, ptr %pData1, align 469 %pData = getelementptr inbounds %struct.arm_matrix_instance_q15, ptr %pSrcA, i32 0, i32 270 %i4 = load ptr, ptr %pData, align 471 br label %while.body72 73while.body: ; preds = %while.body.preheader, %while.body74 %pInA.026 = phi ptr [ %incdec.ptr, %while.body ], [ %i4, %while.body.preheader ]75 %blkCnt.025 = phi i32 [ %dec, %while.body ], [ %conv5, %while.body.preheader ]76 %pInB.024 = phi ptr [ %incdec.ptr8, %while.body ], [ %i3, %while.body.preheader ]77 %pOut.023 = phi ptr [ %incdec.ptr11, %while.body ], [ %i2, %while.body.preheader ]78 %incdec.ptr = getelementptr inbounds i16, ptr %pInA.026, i32 179 %i5 = load i16, ptr %pInA.026, align 280 %conv7 = sext i16 %i5 to i3281 %incdec.ptr8 = getelementptr inbounds i16, ptr %pInB.024, i32 182 %i6 = load i16, ptr %pInB.024, align 283 %conv9 = sext i16 %i6 to i3284 %add = add nsw i32 %conv9, %conv785 %i7 = icmp sgt i32 %add, -3276886 %spec.select.i = select i1 %i7, i32 %add, i32 -3276887 %i8 = icmp slt i32 %spec.select.i, 3276788 %call21 = select i1 %i8, i32 %spec.select.i, i32 3276789 %conv10 = trunc i32 %call21 to i1690 %incdec.ptr11 = getelementptr inbounds i16, ptr %pOut.023, i32 191 store i16 %conv10, ptr %pOut.023, align 292 %dec = add nsw i32 %blkCnt.025, -193 %cmp = icmp eq i32 %dec, 094 br i1 %cmp, label %while.end, label %while.body95 96while.end: ; preds = %while.body, %entry97 ret i32 098}99 100 101