94 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv64 -mattr=+m -verify-machineinstrs < %s | FileCheck %s3 4define signext i32 @addw(i32 signext %s, i32 signext %n, i32 signext %k) nounwind {5; CHECK-LABEL: addw:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: bge a0, a1, .LBB0_28; CHECK-NEXT: # %bb.1: # %for.body.preheader9; CHECK-NEXT: not a2, a010; CHECK-NEXT: addi a3, a0, 111; CHECK-NEXT: add a2, a2, a112; CHECK-NEXT: sub a1, a1, a013; CHECK-NEXT: addi a1, a1, -214; CHECK-NEXT: mul a3, a2, a315; CHECK-NEXT: slli a1, a1, 3216; CHECK-NEXT: slli a2, a2, 3217; CHECK-NEXT: mulhu a1, a2, a118; CHECK-NEXT: srli a1, a1, 119; CHECK-NEXT: add a0, a3, a020; CHECK-NEXT: addw a0, a0, a121; CHECK-NEXT: ret22; CHECK-NEXT: .LBB0_2:23; CHECK-NEXT: li a0, 024; CHECK-NEXT: ret25entry:26 %cmp6 = icmp slt i32 %s, %n27 br i1 %cmp6, label %for.body.preheader, label %for.cond.cleanup28 29for.body.preheader: ; preds = %entry30 %0 = xor i32 %s, -131 %1 = add i32 %0, %n32 %2 = add i32 %s, 133 %3 = mul i32 %1, %234 %4 = zext i32 %1 to i3335 %5 = add i32 %n, -236 %6 = sub i32 %5, %s37 %7 = zext i32 %6 to i3338 %8 = mul i33 %4, %739 %9 = lshr i33 %8, 140 %10 = trunc i33 %9 to i3241 %11 = add i32 %3, %s42 %12 = add i32 %11, %1043 br label %for.cond.cleanup44 45for.cond.cleanup: ; preds = %for.body.preheader, %entry46 %sum.0.lcssa = phi i32 [ 0, %entry ], [ %12, %for.body.preheader ]47 ret i32 %sum.0.lcssa48}49 50define signext i32 @subw(i32 signext %s, i32 signext %n, i32 signext %k) nounwind {51; CHECK-LABEL: subw:52; CHECK: # %bb.0: # %entry53; CHECK-NEXT: bge a0, a1, .LBB1_254; CHECK-NEXT: # %bb.1: # %for.body.preheader55; CHECK-NEXT: not a2, a056; CHECK-NEXT: sub a3, a1, a057; CHECK-NEXT: add a1, a2, a158; CHECK-NEXT: addi a3, a3, -259; CHECK-NEXT: mul a2, a1, a260; CHECK-NEXT: slli a3, a3, 3261; CHECK-NEXT: slli a1, a1, 3262; CHECK-NEXT: mulhu a1, a1, a363; CHECK-NEXT: srli a1, a1, 164; CHECK-NEXT: sub a0, a2, a065; CHECK-NEXT: subw a0, a0, a166; CHECK-NEXT: ret67; CHECK-NEXT: .LBB1_2:68; CHECK-NEXT: li a0, 069; CHECK-NEXT: ret70entry:71 %cmp6 = icmp slt i32 %s, %n72 br i1 %cmp6, label %for.body.preheader, label %for.cond.cleanup73 74for.body.preheader: ; preds = %entry75 %0 = xor i32 %s, -176 %1 = add i32 %0, %n77 %2 = xor i32 %s, -178 %3 = mul i32 %1, %279 %4 = zext i32 %1 to i3380 %5 = add i32 %n, -281 %6 = sub i32 %5, %s82 %7 = zext i32 %6 to i3383 %8 = mul i33 %4, %784 %9 = lshr i33 %8, 185 %10 = trunc i33 %9 to i3286 %11 = sub i32 %3, %s87 %12 = sub i32 %11, %1088 br label %for.cond.cleanup89 90for.cond.cleanup: ; preds = %for.body.preheader, %entry91 %sum.0.lcssa = phi i32 [ 0, %entry ], [ %12, %for.body.preheader ]92 ret i32 %sum.0.lcssa93}94