xenia-project/xenia
1
0
Fork 0
mirror of https://github.com/xenia-project/xenia.git synced 2025-12-06 07:12:03 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

[a64] Implement control sequences

Browse source 
Implements control sequences such as conditional branching, breaking, and trapping
This commit is contained in:
Wunkolo 2024-05-04 15:47:19 -07:00
parent 8257740d21
commit 725ea3d08c
1 changed files with 156 additions and 158 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

314
src/xenia/cpu/backend/a64/a64_seq_control.cc
View file

@ -35,66 +35,62 @@ EMITTER_OPCODE_TABLE(OPCODE_DEBUG_BREAK, DEBUG_BREAK);
struct DEBUG_BREAK_TRUE_I8 struct DEBUG_BREAK_TRUE_I8
: Sequence<DEBUG_BREAK_TRUE_I8, I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I8Op>> { : Sequence<DEBUG_BREAK_TRUE_I8, I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I8Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.DebugBreak();
// e.DebugBreak(); e.l(skip);
// e.L(skip);
} }
}; };
struct DEBUG_BREAK_TRUE_I16 struct DEBUG_BREAK_TRUE_I16
: Sequence<DEBUG_BREAK_TRUE_I16, : Sequence<DEBUG_BREAK_TRUE_I16,
I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I16Op>> { I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I16Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.DebugBreak();
// e.DebugBreak(); e.l(skip);
// e.L(skip);
} }
}; };
struct DEBUG_BREAK_TRUE_I32 struct DEBUG_BREAK_TRUE_I32
: Sequence<DEBUG_BREAK_TRUE_I32, : Sequence<DEBUG_BREAK_TRUE_I32,
I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I32Op>> { I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I32Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.DebugBreak();
// e.DebugBreak(); e.l(skip);
// e.L(skip);
} }
}; };
struct DEBUG_BREAK_TRUE_I64 struct DEBUG_BREAK_TRUE_I64
: Sequence<DEBUG_BREAK_TRUE_I64, : Sequence<DEBUG_BREAK_TRUE_I64,
I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I64Op>> { I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.DebugBreak();
// e.DebugBreak(); e.l(skip);
// e.L(skip);
} }
}; };
struct DEBUG_BREAK_TRUE_F32 struct DEBUG_BREAK_TRUE_F32
: Sequence<DEBUG_BREAK_TRUE_F32, : Sequence<DEBUG_BREAK_TRUE_F32,
I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, F32Op>> { I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, F32Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip); e.B(Cond::EQ, skip);
// e.DebugBreak(); e.DebugBreak();
// e.L(skip); e.l(skip);
} }
}; };
struct DEBUG_BREAK_TRUE_F64 struct DEBUG_BREAK_TRUE_F64
: Sequence<DEBUG_BREAK_TRUE_F64, : Sequence<DEBUG_BREAK_TRUE_F64,
I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, F64Op>> { I<OPCODE_DEBUG_BREAK_TRUE, VoidOp, F64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip); e.B(Cond::EQ, skip);
// e.DebugBreak(); e.DebugBreak();
// e.L(skip); e.l(skip);
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_DEBUG_BREAK_TRUE, DEBUG_BREAK_TRUE_I8, EMITTER_OPCODE_TABLE(OPCODE_DEBUG_BREAK_TRUE, DEBUG_BREAK_TRUE_I8,
@ -118,61 +114,57 @@ EMITTER_OPCODE_TABLE(OPCODE_TRAP, TRAP);
struct TRAP_TRUE_I8 struct TRAP_TRUE_I8
: Sequence<TRAP_TRUE_I8, I<OPCODE_TRAP_TRUE, VoidOp, I8Op>> { : Sequence<TRAP_TRUE_I8, I<OPCODE_TRAP_TRUE, VoidOp, I8Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Trap(i.instr->flags);
// e.Trap(i.instr->flags); e.l(skip);
// e.L(skip);
} }
}; };
struct TRAP_TRUE_I16 struct TRAP_TRUE_I16
: Sequence<TRAP_TRUE_I16, I<OPCODE_TRAP_TRUE, VoidOp, I16Op>> { : Sequence<TRAP_TRUE_I16, I<OPCODE_TRAP_TRUE, VoidOp, I16Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Trap(i.instr->flags);
// e.Trap(i.instr->flags); e.l(skip);
// e.L(skip);
} }
}; };
struct TRAP_TRUE_I32 struct TRAP_TRUE_I32
: Sequence<TRAP_TRUE_I32, I<OPCODE_TRAP_TRUE, VoidOp, I32Op>> { : Sequence<TRAP_TRUE_I32, I<OPCODE_TRAP_TRUE, VoidOp, I32Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Trap(i.instr->flags);
// e.Trap(i.instr->flags); e.l(skip);
// e.L(skip);
} }
}; };
struct TRAP_TRUE_I64 struct TRAP_TRUE_I64
: Sequence<TRAP_TRUE_I64, I<OPCODE_TRAP_TRUE, VoidOp, I64Op>> { : Sequence<TRAP_TRUE_I64, I<OPCODE_TRAP_TRUE, VoidOp, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Trap(i.instr->flags);
// e.Trap(i.instr->flags); e.l(skip);
// e.L(skip);
} }
}; };
struct TRAP_TRUE_F32 struct TRAP_TRUE_F32
: Sequence<TRAP_TRUE_F32, I<OPCODE_TRAP_TRUE, VoidOp, F32Op>> { : Sequence<TRAP_TRUE_F32, I<OPCODE_TRAP_TRUE, VoidOp, F32Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip); e.B(Cond::EQ, skip);
// e.Trap(i.instr->flags); e.Trap(i.instr->flags);
// e.L(skip); e.l(skip);
} }
}; };
struct TRAP_TRUE_F64 struct TRAP_TRUE_F64
: Sequence<TRAP_TRUE_F64, I<OPCODE_TRAP_TRUE, VoidOp, F64Op>> { : Sequence<TRAP_TRUE_F64, I<OPCODE_TRAP_TRUE, VoidOp, F64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip); e.B(Cond::EQ, skip);
// e.Trap(i.instr->flags); e.Trap(i.instr->flags);
// e.L(skip); e.l(skip);
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_TRAP_TRUE, TRAP_TRUE_I8, TRAP_TRUE_I16, EMITTER_OPCODE_TABLE(OPCODE_TRAP_TRUE, TRAP_TRUE_I8, TRAP_TRUE_I16,
@ -197,66 +189,62 @@ struct CALL_TRUE_I8
: Sequence<CALL_TRUE_I8, I<OPCODE_CALL_TRUE, VoidOp, I8Op, SymbolOp>> { : Sequence<CALL_TRUE_I8, I<OPCODE_CALL_TRUE, VoidOp, I8Op, SymbolOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
assert_true(i.src2.value->is_guest()); assert_true(i.src2.value->is_guest());
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value));
// e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value)); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_TRUE_I16 struct CALL_TRUE_I16
: Sequence<CALL_TRUE_I16, I<OPCODE_CALL_TRUE, VoidOp, I16Op, SymbolOp>> { : Sequence<CALL_TRUE_I16, I<OPCODE_CALL_TRUE, VoidOp, I16Op, SymbolOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
assert_true(i.src2.value->is_guest()); assert_true(i.src2.value->is_guest());
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value));
// e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value)); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_TRUE_I32 struct CALL_TRUE_I32
: Sequence<CALL_TRUE_I32, I<OPCODE_CALL_TRUE, VoidOp, I32Op, SymbolOp>> { : Sequence<CALL_TRUE_I32, I<OPCODE_CALL_TRUE, VoidOp, I32Op, SymbolOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
assert_true(i.src2.value->is_guest()); assert_true(i.src2.value->is_guest());
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value));
// e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value)); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_TRUE_I64 struct CALL_TRUE_I64
: Sequence<CALL_TRUE_I64, I<OPCODE_CALL_TRUE, VoidOp, I64Op, SymbolOp>> { : Sequence<CALL_TRUE_I64, I<OPCODE_CALL_TRUE, VoidOp, I64Op, SymbolOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
assert_true(i.src2.value->is_guest()); assert_true(i.src2.value->is_guest());
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip); e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value));
// e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value)); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_TRUE_F32 struct CALL_TRUE_F32
: Sequence<CALL_TRUE_F32, I<OPCODE_CALL_TRUE, VoidOp, F32Op, SymbolOp>> { : Sequence<CALL_TRUE_F32, I<OPCODE_CALL_TRUE, VoidOp, F32Op, SymbolOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
assert_true(i.src2.value->is_guest()); assert_true(i.src2.value->is_guest());
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip); e.B(Cond::EQ, skip);
// e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value)); e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value));
// e.L(skip); e.l(skip);
} }
}; };
struct CALL_TRUE_F64 struct CALL_TRUE_F64
: Sequence<CALL_TRUE_F64, I<OPCODE_CALL_TRUE, VoidOp, F64Op, SymbolOp>> { : Sequence<CALL_TRUE_F64, I<OPCODE_CALL_TRUE, VoidOp, F64Op, SymbolOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
assert_true(i.src2.value->is_guest()); assert_true(i.src2.value->is_guest());
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip); e.B(Cond::EQ, skip);
// e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value)); e.Call(i.instr, static_cast<GuestFunction*>(i.src2.value));
// e.L(skip); e.l(skip);
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_CALL_TRUE, CALL_TRUE_I8, CALL_TRUE_I16, EMITTER_OPCODE_TABLE(OPCODE_CALL_TRUE, CALL_TRUE_I8, CALL_TRUE_I16,
@ -281,66 +269,62 @@ struct CALL_INDIRECT_TRUE_I8
: Sequence<CALL_INDIRECT_TRUE_I8, : Sequence<CALL_INDIRECT_TRUE_I8,
I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I8Op, I64Op>> { I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I8Op, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip, CodeGenerator::T_NEAR); e.CallIndirect(i.instr, i.src2);
// e.CallIndirect(i.instr, i.src2); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_INDIRECT_TRUE_I16 struct CALL_INDIRECT_TRUE_I16
: Sequence<CALL_INDIRECT_TRUE_I16, : Sequence<CALL_INDIRECT_TRUE_I16,
I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I16Op, I64Op>> { I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I16Op, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip, CodeGenerator::T_NEAR); e.CallIndirect(i.instr, i.src2);
// e.CallIndirect(i.instr, i.src2); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_INDIRECT_TRUE_I32 struct CALL_INDIRECT_TRUE_I32
: Sequence<CALL_INDIRECT_TRUE_I32, : Sequence<CALL_INDIRECT_TRUE_I32,
I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I32Op, I64Op>> { I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I32Op, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip, CodeGenerator::T_NEAR); e.CallIndirect(i.instr, i.src2);
// e.CallIndirect(i.instr, i.src2); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_INDIRECT_TRUE_I64 struct CALL_INDIRECT_TRUE_I64
: Sequence<CALL_INDIRECT_TRUE_I64, : Sequence<CALL_INDIRECT_TRUE_I64,
I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I64Op, I64Op>> { I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, I64Op, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.CBZ(i.src1, skip);
// e.jz(skip, CodeGenerator::T_NEAR); e.CallIndirect(i.instr, i.src2);
// e.CallIndirect(i.instr, i.src2); e.l(skip);
// e.L(skip);
} }
}; };
struct CALL_INDIRECT_TRUE_F32 struct CALL_INDIRECT_TRUE_F32
: Sequence<CALL_INDIRECT_TRUE_F32, : Sequence<CALL_INDIRECT_TRUE_F32,
I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, F32Op, I64Op>> { I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, F32Op, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip, CodeGenerator::T_NEAR); e.B(Cond::EQ, skip);
// e.CallIndirect(i.instr, i.src2); e.CallIndirect(i.instr, i.src2);
// e.L(skip); e.l(skip);
} }
}; };
struct CALL_INDIRECT_TRUE_F64 struct CALL_INDIRECT_TRUE_F64
: Sequence<CALL_INDIRECT_TRUE_F64, : Sequence<CALL_INDIRECT_TRUE_F64,
I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, F64Op, I64Op>> { I<OPCODE_CALL_INDIRECT_TRUE, VoidOp, F64Op, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label skip;
// Xbyak::Label skip; e.FCMP(i.src1, 0);
// e.jz(skip, CodeGenerator::T_NEAR); e.B(Cond::EQ, skip);
// e.CallIndirect(i.instr, i.src2); e.CallIndirect(i.instr, i.src2);
// e.L(skip); e.l(skip);
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_CALL_INDIRECT_TRUE, CALL_INDIRECT_TRUE_I8, EMITTER_OPCODE_TABLE(OPCODE_CALL_INDIRECT_TRUE, CALL_INDIRECT_TRUE_I8,
@ -367,7 +351,7 @@ struct RETURN : Sequence<RETURN, I<OPCODE_RETURN, VoidOp>> {
// If this is the last instruction in the last block, just let us // If this is the last instruction in the last block, just let us
// fall through. // fall through.
if (i.instr->next || i.instr->block->next) { if (i.instr->next || i.instr->block->next) {
// e.jmp(e.epilog_label(), CodeGenerator::T_NEAR); e.B(e.epilog_label());
} }
} }
}; };
@ -379,43 +363,39 @@ EMITTER_OPCODE_TABLE(OPCODE_RETURN, RETURN);
struct RETURN_TRUE_I8 struct RETURN_TRUE_I8
: Sequence<RETURN_TRUE_I8, I<OPCODE_RETURN_TRUE, VoidOp, I8Op>> { : Sequence<RETURN_TRUE_I8, I<OPCODE_RETURN_TRUE, VoidOp, I8Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); e.CBNZ(i.src1, e.epilog_label());
// e.jnz(e.epilog_label(), CodeGenerator::T_NEAR);
} }
}; };
struct RETURN_TRUE_I16 struct RETURN_TRUE_I16
: Sequence<RETURN_TRUE_I16, I<OPCODE_RETURN_TRUE, VoidOp, I16Op>> { : Sequence<RETURN_TRUE_I16, I<OPCODE_RETURN_TRUE, VoidOp, I16Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); e.CBNZ(i.src1, e.epilog_label());
// e.jnz(e.epilog_label(), CodeGenerator::T_NEAR);
} }
}; };
struct RETURN_TRUE_I32 struct RETURN_TRUE_I32
: Sequence<RETURN_TRUE_I32, I<OPCODE_RETURN_TRUE, VoidOp, I32Op>> { : Sequence<RETURN_TRUE_I32, I<OPCODE_RETURN_TRUE, VoidOp, I32Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); e.CBNZ(i.src1, e.epilog_label());
// e.jnz(e.epilog_label(), CodeGenerator::T_NEAR);
} }
}; };
struct RETURN_TRUE_I64 struct RETURN_TRUE_I64
: Sequence<RETURN_TRUE_I64, I<OPCODE_RETURN_TRUE, VoidOp, I64Op>> { : Sequence<RETURN_TRUE_I64, I<OPCODE_RETURN_TRUE, VoidOp, I64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); e.CBNZ(i.src1, e.epilog_label());
// e.jnz(e.epilog_label(), CodeGenerator::T_NEAR);
} }
}; };
struct RETURN_TRUE_F32 struct RETURN_TRUE_F32
: Sequence<RETURN_TRUE_F32, I<OPCODE_RETURN_TRUE, VoidOp, F32Op>> { : Sequence<RETURN_TRUE_F32, I<OPCODE_RETURN_TRUE, VoidOp, F32Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); e.FCMP(i.src1, 0);
// e.jnz(e.epilog_label(), CodeGenerator::T_NEAR); e.B(Cond::NE, e.epilog_label());
} }
}; };
struct RETURN_TRUE_F64 struct RETURN_TRUE_F64
: Sequence<RETURN_TRUE_F64, I<OPCODE_RETURN_TRUE, VoidOp, F64Op>> { : Sequence<RETURN_TRUE_F64, I<OPCODE_RETURN_TRUE, VoidOp, F64Op>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); e.FCMP(i.src1, 0);
// e.jnz(e.epilog_label(), CodeGenerator::T_NEAR); e.B(Cond::NE, e.epilog_label());
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_RETURN_TRUE, RETURN_TRUE_I8, RETURN_TRUE_I16, EMITTER_OPCODE_TABLE(OPCODE_RETURN_TRUE, RETURN_TRUE_I8, RETURN_TRUE_I16,
@ -439,7 +419,9 @@ EMITTER_OPCODE_TABLE(OPCODE_SET_RETURN_ADDRESS, SET_RETURN_ADDRESS);
// ============================================================================ // ============================================================================
struct BRANCH : Sequence<BRANCH, I<OPCODE_BRANCH, VoidOp, LabelOp>> { struct BRANCH : Sequence<BRANCH, I<OPCODE_BRANCH, VoidOp, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.jmp(i.src1.value->name, e.T_NEAR); oaknut::Label* label = e.lookup_label(i.src1.value->name);
assert_not_null(label);
e.B(*label);
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_BRANCH, BRANCH); EMITTER_OPCODE_TABLE(OPCODE_BRANCH, BRANCH);
@ -450,43 +432,51 @@ EMITTER_OPCODE_TABLE(OPCODE_BRANCH, BRANCH);
struct BRANCH_TRUE_I8 struct BRANCH_TRUE_I8
: Sequence<BRANCH_TRUE_I8, I<OPCODE_BRANCH_TRUE, VoidOp, I8Op, LabelOp>> { : Sequence<BRANCH_TRUE_I8, I<OPCODE_BRANCH_TRUE, VoidOp, I8Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jnz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBNZ(i.src1, *label);
} }
}; };
struct BRANCH_TRUE_I16 struct BRANCH_TRUE_I16
: Sequence<BRANCH_TRUE_I16, I<OPCODE_BRANCH_TRUE, VoidOp, I16Op, LabelOp>> { : Sequence<BRANCH_TRUE_I16, I<OPCODE_BRANCH_TRUE, VoidOp, I16Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jnz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBNZ(i.src1, *label);
} }
}; };
struct BRANCH_TRUE_I32 struct BRANCH_TRUE_I32
: Sequence<BRANCH_TRUE_I32, I<OPCODE_BRANCH_TRUE, VoidOp, I32Op, LabelOp>> { : Sequence<BRANCH_TRUE_I32, I<OPCODE_BRANCH_TRUE, VoidOp, I32Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jnz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBNZ(i.src1, *label);
} }
}; };
struct BRANCH_TRUE_I64 struct BRANCH_TRUE_I64
: Sequence<BRANCH_TRUE_I64, I<OPCODE_BRANCH_TRUE, VoidOp, I64Op, LabelOp>> { : Sequence<BRANCH_TRUE_I64, I<OPCODE_BRANCH_TRUE, VoidOp, I64Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jnz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBNZ(i.src1, *label);
} }
}; };
struct BRANCH_TRUE_F32 struct BRANCH_TRUE_F32
: Sequence<BRANCH_TRUE_F32, I<OPCODE_BRANCH_TRUE, VoidOp, F32Op, LabelOp>> { : Sequence<BRANCH_TRUE_F32, I<OPCODE_BRANCH_TRUE, VoidOp, F32Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jnz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.FCMP(i.src1, 0);
e.B(Cond::NE, *label);
} }
}; };
struct BRANCH_TRUE_F64 struct BRANCH_TRUE_F64
: Sequence<BRANCH_TRUE_F64, I<OPCODE_BRANCH_TRUE, VoidOp, F64Op, LabelOp>> { : Sequence<BRANCH_TRUE_F64, I<OPCODE_BRANCH_TRUE, VoidOp, F64Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jnz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.FCMP(i.src1, 0);
e.B(Cond::NE, *label);
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_BRANCH_TRUE, BRANCH_TRUE_I8, BRANCH_TRUE_I16, EMITTER_OPCODE_TABLE(OPCODE_BRANCH_TRUE, BRANCH_TRUE_I8, BRANCH_TRUE_I16,
@ -499,48 +489,56 @@ EMITTER_OPCODE_TABLE(OPCODE_BRANCH_TRUE, BRANCH_TRUE_I8, BRANCH_TRUE_I16,
struct BRANCH_FALSE_I8 struct BRANCH_FALSE_I8
: Sequence<BRANCH_FALSE_I8, I<OPCODE_BRANCH_FALSE, VoidOp, I8Op, LabelOp>> { : Sequence<BRANCH_FALSE_I8, I<OPCODE_BRANCH_FALSE, VoidOp, I8Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBZ(i.src1, *label);
} }
}; };
struct BRANCH_FALSE_I16 struct BRANCH_FALSE_I16
: Sequence<BRANCH_FALSE_I16, : Sequence<BRANCH_FALSE_I16,
I<OPCODE_BRANCH_FALSE, VoidOp, I16Op, LabelOp>> { I<OPCODE_BRANCH_FALSE, VoidOp, I16Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBZ(i.src1, *label);
} }
}; };
struct BRANCH_FALSE_I32 struct BRANCH_FALSE_I32
: Sequence<BRANCH_FALSE_I32, : Sequence<BRANCH_FALSE_I32,
I<OPCODE_BRANCH_FALSE, VoidOp, I32Op, LabelOp>> { I<OPCODE_BRANCH_FALSE, VoidOp, I32Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBZ(i.src1, *label);
} }
}; };
struct BRANCH_FALSE_I64 struct BRANCH_FALSE_I64
: Sequence<BRANCH_FALSE_I64, : Sequence<BRANCH_FALSE_I64,
I<OPCODE_BRANCH_FALSE, VoidOp, I64Op, LabelOp>> { I<OPCODE_BRANCH_FALSE, VoidOp, I64Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.test(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.CBZ(i.src1, *label);
} }
}; };
struct BRANCH_FALSE_F32 struct BRANCH_FALSE_F32
: Sequence<BRANCH_FALSE_F32, : Sequence<BRANCH_FALSE_F32,
I<OPCODE_BRANCH_FALSE, VoidOp, F32Op, LabelOp>> { I<OPCODE_BRANCH_FALSE, VoidOp, F32Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.FCMP(i.src1, 0);
e.B(Cond::NE, *label);
} }
}; };
struct BRANCH_FALSE_F64 struct BRANCH_FALSE_F64
: Sequence<BRANCH_FALSE_F64, : Sequence<BRANCH_FALSE_F64,
I<OPCODE_BRANCH_FALSE, VoidOp, F64Op, LabelOp>> { I<OPCODE_BRANCH_FALSE, VoidOp, F64Op, LabelOp>> {
static void Emit(A64Emitter& e, const EmitArgType& i) { static void Emit(A64Emitter& e, const EmitArgType& i) {
// e.vptest(i.src1, i.src1); oaknut::Label* label = e.lookup_label(i.src2.value->name);
// e.jz(i.src2.value->name, e.T_NEAR); assert_not_null(label);
e.FCMP(i.src1, 0);
e.B(Cond::NE, *label);
} }
}; };
EMITTER_OPCODE_TABLE(OPCODE_BRANCH_FALSE, BRANCH_FALSE_I8, BRANCH_FALSE_I16, EMITTER_OPCODE_TABLE(OPCODE_BRANCH_FALSE, BRANCH_FALSE_I8, BRANCH_FALSE_I16,