emit_arm64_saturation: Implement SignedSaturatedAddWithFlag32
This commit is contained in:
parent
babfb7d7b8
commit
726e116e28
1 changed files with 16 additions and 4 deletions
|
@ -20,10 +20,22 @@ using namespace oaknut::util;
|
||||||
|
|
||||||
template<>
|
template<>
|
||||||
void EmitIR<IR::Opcode::SignedSaturatedAddWithFlag32>(oaknut::CodeGenerator& code, EmitContext& ctx, IR::Inst* inst) {
|
void EmitIR<IR::Opcode::SignedSaturatedAddWithFlag32>(oaknut::CodeGenerator& code, EmitContext& ctx, IR::Inst* inst) {
|
||||||
(void)code;
|
const auto overflow_inst = inst->GetAssociatedPseudoOperation(IR::Opcode::GetOverflowFromOp);
|
||||||
(void)ctx;
|
ASSERT(overflow_inst);
|
||||||
(void)inst;
|
|
||||||
ASSERT_FALSE("Unimplemented");
|
auto args = ctx.reg_alloc.GetArgumentInfo(inst);
|
||||||
|
auto Wresult = ctx.reg_alloc.WriteW(inst);
|
||||||
|
auto Wa = ctx.reg_alloc.ReadW(args[0]);
|
||||||
|
auto Wb = ctx.reg_alloc.ReadW(args[1]);
|
||||||
|
auto Woverflow = ctx.reg_alloc.WriteW(overflow_inst);
|
||||||
|
RegAlloc::Realize(Wresult, Wa, Wb, Woverflow);
|
||||||
|
ctx.reg_alloc.SpillFlags();
|
||||||
|
|
||||||
|
code.ADDS(Wresult, *Wa, Wb);
|
||||||
|
code.ASR(Wscratch0, Wresult, 31);
|
||||||
|
code.EOR(Wscratch0, Wscratch0, 0x8000'0000);
|
||||||
|
code.CSEL(Wresult, Wresult, Wscratch0, VC);
|
||||||
|
code.CSET(Woverflow, VS);
|
||||||
}
|
}
|
||||||
|
|
||||||
template<>
|
template<>
|
||||||
|
|
Loading…
Reference in a new issue