[llvm] [RISCV][GISel] Lower G_SADDE (PR #156865)
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 8 08:47:10 PDT 2025
================
@@ -9288,6 +9290,35 @@ LegalizerHelper::lowerSADDO_SSUBO(MachineInstr &MI) {
return Legalized;
}
+LegalizerHelper::LegalizeResult LegalizerHelper::lowerSADDE(MachineInstr &MI) {
+ auto [Res, OvOut, LHS, RHS, CarryIn] = MI.getFirst5Regs();
+ const LLT Ty = MRI.getType(Res);
+ const LLT BoolTy = MRI.getType(OvOut);
+
+ // Step 1: tmp = LHS + RHS
+ auto Tmp = MIRBuilder.buildAdd(Ty, LHS, RHS);
+
+ // ov0 = (tmp < lhs) XOR (rhs < 0)
+ auto TmpLtLHS = MIRBuilder.buildICmp(CmpInst::ICMP_SLT, BoolTy, Tmp, LHS);
+ auto Zero = MIRBuilder.buildConstant(Ty, 0);
+ auto RHSLt0 = MIRBuilder.buildICmp(CmpInst::ICMP_SLT, BoolTy, RHS, Zero);
+ auto Ov0 = MIRBuilder.buildXor(BoolTy, TmpLtLHS, RHSLt0);
+
+ // Step 2: sum = tmp + zext(CarryIn)
+ auto CarryInZ = MIRBuilder.buildZExt(Ty, CarryIn);
+ MIRBuilder.buildAdd(Res, Tmp, CarryInZ);
+
+ // ov1 = CarryIn & (sum < tmp)
+ auto SumLtTmp = MIRBuilder.buildICmp(CmpInst::ICMP_SLT, BoolTy, Res, Tmp);
+ auto Ov1 = MIRBuilder.buildAnd(BoolTy, SumLtTmp, CarryIn);
+
+ // ov = ov0 | ov1
+ MIRBuilder.buildOr(OvOut, Ov0, Ov1);
+
+ MI.eraseFromParent();
----------------
topperc wrote:
I'm not sure about the ov flag here.
I think the it should be
tmp = LHS + RHS
sum = tmp + zext(CarryIn)
ov = (sum < lhs) ^ (rhs < 0)
Is what you have equivalent?
https://github.com/llvm/llvm-project/pull/156865
More information about the llvm-commits
mailing list