Preparing some control instructions for proper emitting.

This commit is contained in:
Ben Vanik 2013-05-24 03:51:58 -07:00
parent bf8f068fa5
commit b8323c3055
2 changed files with 369 additions and 372 deletions

View File

@ -75,6 +75,7 @@ int XeEmitBranchTo(
XEASSERTALWAYS(); XEASSERTALWAYS();
} else { } else {
//e.TraceBranch(cia); //e.TraceBranch(cia);
//e.SpillRegisters();
//c.jmp(e.GetBlockLabel(fn_block->outgoing_address)); //c.jmp(e.GetBlockLabel(fn_block->outgoing_address));
} }
return 0; return 0;
@ -184,404 +185,399 @@ XEEMITTER(bx, 0x48000000, I )(X64Emitter& e, X86Compiler& c, InstrDat
return XeEmitBranchTo(e, c, "bx", i.address, i.I.LK); return XeEmitBranchTo(e, c, "bx", i.address, i.I.LK);
} }
// XEEMITTER(bcx, 0x40000000, B )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(bcx, 0x40000000, B )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// // if ¬BO[2] then // if ¬BO[2] then
// // CTR <- CTR - 1 // CTR <- CTR - 1
// // ctr_ok <- BO[2] | ((CTR[0:63] != 0) XOR BO[3]) // ctr_ok <- BO[2] | ((CTR[0:63] != 0) XOR BO[3])
// // cond_ok <- BO[0] | (CR[BI+32] ≡ BO[1]) // cond_ok <- BO[0] | (CR[BI+32] ≡ BO[1])
// // if ctr_ok & cond_ok then // if ctr_ok & cond_ok then
// // if AA then // if AA then
// // NIA <- EXTS(BD || 0b00) // NIA <- EXTS(BD || 0b00)
// // else // else
// // NIA <- CIA + EXTS(BD || 0b00) // NIA <- CIA + EXTS(BD || 0b00)
// // if LK then // if LK then
// // LR <- CIA + 4 // LR <- CIA + 4
// // NOTE: the condition bits are reversed! // NOTE: the condition bits are reversed!
// // 01234 (docs) // 01234 (docs)
// // 43210 (real) // 43210 (real)
// // TODO(benvanik): this may be wrong and overwrite LRs when not desired! // // TODO(benvanik): this may be wrong and overwrite LRs when not desired!
// // The docs say always, though... // // The docs say always, though...
// if (i.B.LK) { // if (i.B.LK) {
// e.update_lr_value(e.get_uint64(i.address + 4)); // e.update_lr_value(e.get_uint64(i.address + 4));
// } // }
// jit_value_t ctr_ok = NULL; // jit_value_t ctr_ok = NULL;
// if (XESELECTBITS(i.B.BO, 2, 2)) { // if (XESELECTBITS(i.B.BO, 2, 2)) {
// // Ignore ctr. // // Ignore ctr.
// } else { // } else {
// // Decrement counter. // // Decrement counter.
// jit_value_t ctr = e.ctr_value(); // jit_value_t ctr = e.ctr_value();
// ctr = jit_insn_sub(f, ctr, e.get_int64(1)); // ctr = jit_insn_sub(f, ctr, e.get_int64(1));
// e.update_ctr_value(ctr); // e.update_ctr_value(ctr);
// // Ctr check. // // Ctr check.
// if (XESELECTBITS(i.B.BO, 1, 1)) { // if (XESELECTBITS(i.B.BO, 1, 1)) {
// ctr_ok = jit_insn_eq(f, ctr, e.get_int64(0)); // ctr_ok = jit_insn_eq(f, ctr, e.get_int64(0));
// } else { // } else {
// ctr_ok = jit_insn_ne(f, ctr, e.get_int64(0)); // ctr_ok = jit_insn_ne(f, ctr, e.get_int64(0));
// } // }
// } // }
// jit_value_t cond_ok = NULL; // jit_value_t cond_ok = NULL;
// if (XESELECTBITS(i.B.BO, 4, 4)) { // if (XESELECTBITS(i.B.BO, 4, 4)) {
// // Ignore cond. // // Ignore cond.
// } else { // } else {
// jit_value_t cr = e.cr_value(i.B.BI >> 2); // jit_value_t cr = e.cr_value(i.B.BI >> 2);
// cr = jit_insn_and(f, cr, e.get_uint32(1 << (i.B.BI & 3))); // cr = jit_insn_and(f, cr, e.get_uint32(1 << (i.B.BI & 3)));
// if (XESELECTBITS(i.B.BO, 3, 3)) { // if (XESELECTBITS(i.B.BO, 3, 3)) {
// cond_ok = jit_insn_ne(f, cr, e.get_int64(0)); // cond_ok = jit_insn_ne(f, cr, e.get_int64(0));
// } else { // } else {
// cond_ok = jit_insn_eq(f, cr, e.get_int64(0)); // cond_ok = jit_insn_eq(f, cr, e.get_int64(0));
// } // }
// } // }
// // We do a bit of optimization here to make the llvm assembly easier to read. // // We do a bit of optimization here to make the llvm assembly easier to read.
// jit_value_t ok = NULL; // jit_value_t ok = NULL;
// if (ctr_ok && cond_ok) { // if (ctr_ok && cond_ok) {
// ok = jit_insn_and(f, ctr_ok, cond_ok); // ok = jit_insn_and(f, ctr_ok, cond_ok);
// } else if (ctr_ok) { // } else if (ctr_ok) {
// ok = ctr_ok; // ok = ctr_ok;
// } else if (cond_ok) { // } else if (cond_ok) {
// ok = cond_ok; // ok = cond_ok;
// } // }
// uint32_t nia; // uint32_t nia;
// if (i.B.AA) { // if (i.B.AA) {
// nia = XEEXTS26(i.B.BD << 2); // nia = XEEXTS26(i.B.BD << 2);
// } else { // } else {
// nia = i.address + XEEXTS26(i.B.BD << 2); // nia = i.address + XEEXTS26(i.B.BD << 2);
// } // }
// if (XeEmitBranchTo(e, c, "bcx", i.address, i.B.LK, ok)) { // if (XeEmitBranchTo(e, c, "bcx", i.address, i.B.LK, ok)) {
// return 1; // return 1;
// } // }
// return 0; return 0;
// } }
// XEEMITTER(bcctrx, 0x4C000420, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(bcctrx, 0x4C000420, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// // cond_ok <- BO[0] | (CR[BI+32] ≡ BO[1]) // cond_ok <- BO[0] | (CR[BI+32] ≡ BO[1])
// // if cond_ok then // if cond_ok then
// // NIA <- CTR[0:61] || 0b00 // NIA <- CTR[0:61] || 0b00
// // if LK then // if LK then
// // LR <- CIA + 4 // LR <- CIA + 4
// // NOTE: the condition bits are reversed! // NOTE: the condition bits are reversed!
// // 01234 (docs) // 01234 (docs)
// // 43210 (real) // 43210 (real)
// // TODO(benvanik): this may be wrong and overwrite LRs when not desired! // // TODO(benvanik): this may be wrong and overwrite LRs when not desired!
// // The docs say always, though... // // The docs say always, though...
// if (i.XL.LK) { // if (i.XL.LK) {
// e.update_lr_value(e.get_uint64(i.address + 4)); // e.update_lr_value(e.get_uint64(i.address + 4));
// } // }
// jit_value_t cond_ok = NULL; // jit_value_t cond_ok = NULL;
// if (XESELECTBITS(i.XL.BO, 4, 4)) { // if (XESELECTBITS(i.XL.BO, 4, 4)) {
// // Ignore cond. // // Ignore cond.
// } else { // } else {
// jit_value_t cr = e.cr_value(i.XL.BI >> 2); // jit_value_t cr = e.cr_value(i.XL.BI >> 2);
// cr = jit_insn_and(f, cr, e.get_uint64(1 << (i.XL.BI & 3))); // cr = jit_insn_and(f, cr, e.get_uint64(1 << (i.XL.BI & 3)));
// if (XESELECTBITS(i.XL.BO, 3, 3)) { // if (XESELECTBITS(i.XL.BO, 3, 3)) {
// cond_ok = jit_insn_ne(f, cr, e.get_int64(0)); // cond_ok = jit_insn_ne(f, cr, e.get_int64(0));
// } else { // } else {
// cond_ok = jit_insn_eq(f, cr, e.get_int64(0)); // cond_ok = jit_insn_eq(f, cr, e.get_int64(0));
// } // }
// } // }
// // We do a bit of optimization here to make the llvm assembly easier to read. // // We do a bit of optimization here to make the llvm assembly easier to read.
// jit_value_t ok = NULL; // jit_value_t ok = NULL;
// if (cond_ok) { // if (cond_ok) {
// ok = cond_ok; // ok = cond_ok;
// } // }
// if (XeEmitBranchTo(e, c, "bcctrx", i.address, i.XL.LK, ok)) { // if (XeEmitBranchTo(e, c, "bcctrx", i.address, i.XL.LK, ok)) {
// return 1; // return 1;
// } // }
// return 0; return 0;
// } }
// XEEMITTER(bclrx, 0x4C000020, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(bclrx, 0x4C000020, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// // if ¬BO[2] then // if ¬BO[2] then
// // CTR <- CTR - 1 // CTR <- CTR - 1
// // ctr_ok <- BO[2] | ((CTR[0:63] != 0) XOR BO[3] // ctr_ok <- BO[2] | ((CTR[0:63] != 0) XOR BO[3]
// // cond_ok <- BO[0] | (CR[BI+32] ≡ BO[1]) // cond_ok <- BO[0] | (CR[BI+32] ≡ BO[1])
// // if ctr_ok & cond_ok then // if ctr_ok & cond_ok then
// // NIA <- LR[0:61] || 0b00 // NIA <- LR[0:61] || 0b00
// // if LK then // if LK then
// // LR <- CIA + 4 // LR <- CIA + 4
// // NOTE: the condition bits are reversed! // NOTE: the condition bits are reversed!
// // 01234 (docs) // 01234 (docs)
// // 43210 (real) // 43210 (real)
// // TODO(benvanik): this may be wrong and overwrite LRs when not desired! // // TODO(benvanik): this may be wrong and overwrite LRs when not desired!
// // The docs say always, though... // // The docs say always, though...
// if (i.XL.LK) { // if (i.XL.LK) {
// e.update_lr_value(e.get_uint64(i.address + 4)); // e.update_lr_value(e.get_uint64(i.address + 4));
// } // }
// jit_value_t ctr_ok = NULL; // jit_value_t ctr_ok = NULL;
// if (XESELECTBITS(i.XL.BO, 2, 2)) { // if (XESELECTBITS(i.XL.BO, 2, 2)) {
// // Ignore ctr. // // Ignore ctr.
// } else { // } else {
// // Decrement counter. // // Decrement counter.
// jit_value_t ctr = e.ctr_value(); // jit_value_t ctr = e.ctr_value();
// ctr = jit_insn_sub(f, ctr, e.get_int64(1)); // ctr = jit_insn_sub(f, ctr, e.get_int64(1));
// // Ctr check. // // Ctr check.
// if (XESELECTBITS(i.XL.BO, 1, 1)) { // if (XESELECTBITS(i.XL.BO, 1, 1)) {
// ctr_ok = jit_insn_eq(f, ctr, e.get_int64(0)); // ctr_ok = jit_insn_eq(f, ctr, e.get_int64(0));
// } else { // } else {
// ctr_ok = jit_insn_ne(f, ctr, e.get_int64(0)); // ctr_ok = jit_insn_ne(f, ctr, e.get_int64(0));
// } // }
// } // }
// jit_value_t cond_ok = NULL; // jit_value_t cond_ok = NULL;
// if (XESELECTBITS(i.XL.BO, 4, 4)) { // if (XESELECTBITS(i.XL.BO, 4, 4)) {
// // Ignore cond. // // Ignore cond.
// } else { // } else {
// jit_value_t cr = e.cr_value(i.XL.BI >> 2); // jit_value_t cr = e.cr_value(i.XL.BI >> 2);
// cr = jit_insn_and(f, cr, e.get_uint32(1 << (i.XL.BI & 3))); // cr = jit_insn_and(f, cr, e.get_uint32(1 << (i.XL.BI & 3)));
// if (XESELECTBITS(i.XL.BO, 3, 3)) { // if (XESELECTBITS(i.XL.BO, 3, 3)) {
// cond_ok = jit_insn_ne(f, cr, e.get_int64(0)); // cond_ok = jit_insn_ne(f, cr, e.get_int64(0));
// } else { // } else {
// cond_ok = jit_insn_eq(f, cr, e.get_int64(0)); // cond_ok = jit_insn_eq(f, cr, e.get_int64(0));
// } // }
// } // }
// // We do a bit of optimization here to make the llvm assembly easier to read. // // We do a bit of optimization here to make the llvm assembly easier to read.
// jit_value_t ok = NULL; // jit_value_t ok = NULL;
// if (ctr_ok && cond_ok) { // if (ctr_ok && cond_ok) {
// ok = jit_insn_and(f, ctr_ok, cond_ok); // ok = jit_insn_and(f, ctr_ok, cond_ok);
// } else if (ctr_ok) { // } else if (ctr_ok) {
// ok = ctr_ok; // ok = ctr_ok;
// } else if (cond_ok) { // } else if (cond_ok) {
// ok = cond_ok; // ok = cond_ok;
// } // }
// if (XeEmitBranchTo(e, c, "bclrx", i.address, i.XL.LK, ok)) { // if (XeEmitBranchTo(e, c, "bclrx", i.address, i.XL.LK, ok)) {
// return 1; // return 1;
// } // }
// return 0; return 0;
// } }
// // Condition register logical (A-23) // Condition register logical (A-23)
// XEEMITTER(crand, 0x4C000202, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(crand, 0x4C000202, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(crandc, 0x4C000102, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(crandc, 0x4C000102, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(creqv, 0x4C000242, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(creqv, 0x4C000242, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(crnand, 0x4C0001C2, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(crnand, 0x4C0001C2, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(crnor, 0x4C000042, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(crnor, 0x4C000042, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(cror, 0x4C000382, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(cror, 0x4C000382, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(crorc, 0x4C000342, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(crorc, 0x4C000342, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(crxor, 0x4C000182, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(crxor, 0x4C000182, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// XEEMITTER(mcrf, 0x4C000000, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(mcrf, 0x4C000000, XL )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// // System linkage (A-24) // System linkage (A-24)
// XEEMITTER(sc, 0x44000002, SC )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(sc, 0x44000002, SC )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// XEINSTRNOTIMPLEMENTED(); XEINSTRNOTIMPLEMENTED();
// return 1; return 1;
// } }
// // Trap (A-25) // Trap (A-25)
// int XeEmitTrap(X64Emitter& e, X86Compiler& c, InstrData& i, int XeEmitTrap(X64Emitter& e, X86Compiler& c, InstrData& i,
// jit_value_t va, jit_value_t vb, uint32_t TO) { GpVar& va, GpVar& vb, uint32_t TO) {
// // if (a < b) & TO[0] then TRAP // if (a < b) & TO[0] then TRAP
// // if (a > b) & TO[1] then TRAP // if (a > b) & TO[1] then TRAP
// // if (a = b) & TO[2] then TRAP // if (a = b) & TO[2] then TRAP
// // if (a <u b) & TO[3] then TRAP // if (a <u b) & TO[3] then TRAP
// // if (a >u b) & TO[4] then TRAP // if (a >u b) & TO[4] then TRAP
// // Bits swapped: // Bits swapped:
// // 01234 // 01234
// // 43210 // 43210
// if (!TO) { if (!TO) {
// return 0; return 0;
// } }
// // TODO(benvanik): port from LLVM // TODO(benvanik): port from LLVM
// XEASSERTALWAYS(); XEASSERTALWAYS();
// // BasicBlock* after_bb = BasicBlock::Create(*e.context(), "", e.fn(), // BasicBlock* after_bb = BasicBlock::Create(*e.context(), "", e.fn(),
// // e.GetNextBasicBlock()); // e.GetNextBasicBlock());
// // BasicBlock* trap_bb = BasicBlock::Create(*e.context(), "", e.fn(), // BasicBlock* trap_bb = BasicBlock::Create(*e.context(), "", e.fn(),
// // after_bb); // after_bb);
// // // Create the basic blocks (so we can chain). // // Create the basic blocks (so we can chain).
// // std::vector<BasicBlock*> bbs; // std::vector<BasicBlock*> bbs;
// // if (TO & (1 << 4)) { // if (TO & (1 << 4)) {
// // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb)); // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb));
// // } // }
// // if (TO & (1 << 3)) { // if (TO & (1 << 3)) {
// // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb)); // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb));
// // } // }
// // if (TO & (1 << 2)) { // if (TO & (1 << 2)) {
// // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb)); // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb));
// // } // }
// // if (TO & (1 << 1)) { // if (TO & (1 << 1)) {
// // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb)); // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb));
// // } // }
// // if (TO & (1 << 0)) { // if (TO & (1 << 0)) {
// // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb)); // bbs.push_back(BasicBlock::Create(*e.context(), "", e.fn(), trap_bb));
// // } // }
// // bbs.push_back(after_bb); // bbs.push_back(after_bb);
// // // Jump to the first bb. // // Jump to the first bb.
// // b.CreateBr(bbs.front()); // b.CreateBr(bbs.front());
// // // Setup each basic block. // // Setup each basic block.
// // std::vector<BasicBlock*>::iterator it = bbs.begin(); // std::vector<BasicBlock*>::iterator it = bbs.begin();
// // if (TO & (1 << 4)) { // if (TO & (1 << 4)) {
// // // a < b // // a < b
// // BasicBlock* bb = *(it++); // BasicBlock* bb = *(it++);
// // b.SetInsertPoint(bb); // b.SetInsertPoint(bb);
// // jit_value_t cmp = b.CreateICmpSLT(va, vb); // jit_value_t cmp = b.CreateICmpSLT(va, vb);
// // b.CreateCondBr(cmp, trap_bb, *it); // b.CreateCondBr(cmp, trap_bb, *it);
// // } // }
// // if (TO & (1 << 3)) { // if (TO & (1 << 3)) {
// // // a > b // // a > b
// // BasicBlock* bb = *(it++); // BasicBlock* bb = *(it++);
// // b.SetInsertPoint(bb); // b.SetInsertPoint(bb);
// // jit_value_t cmp = b.CreateICmpSGT(va, vb); // jit_value_t cmp = b.CreateICmpSGT(va, vb);
// // b.CreateCondBr(cmp, trap_bb, *it); // b.CreateCondBr(cmp, trap_bb, *it);
// // } // }
// // if (TO & (1 << 2)) { // if (TO & (1 << 2)) {
// // // a = b // // a = b
// // BasicBlock* bb = *(it++); // BasicBlock* bb = *(it++);
// // b.SetInsertPoint(bb); // b.SetInsertPoint(bb);
// // jit_value_t cmp = b.CreateICmpEQ(va, vb); // jit_value_t cmp = b.CreateICmpEQ(va, vb);
// // b.CreateCondBr(cmp, trap_bb, *it); // b.CreateCondBr(cmp, trap_bb, *it);
// // } // }
// // if (TO & (1 << 1)) { // if (TO & (1 << 1)) {
// // // a <u b // // a <u b
// // BasicBlock* bb = *(it++); // BasicBlock* bb = *(it++);
// // b.SetInsertPoint(bb); // b.SetInsertPoint(bb);
// // jit_value_t cmp = b.CreateICmpULT(va, vb); // jit_value_t cmp = b.CreateICmpULT(va, vb);
// // b.CreateCondBr(cmp, trap_bb, *it); // b.CreateCondBr(cmp, trap_bb, *it);
// // } // }
// // if (TO & (1 << 0)) { // if (TO & (1 << 0)) {
// // // a >u b // // a >u b
// // BasicBlock* bb = *(it++); // BasicBlock* bb = *(it++);
// // b.SetInsertPoint(bb); // b.SetInsertPoint(bb);
// // jit_value_t cmp = b.CreateICmpUGT(va, vb); // jit_value_t cmp = b.CreateICmpUGT(va, vb);
// // b.CreateCondBr(cmp, trap_bb, *it); // b.CreateCondBr(cmp, trap_bb, *it);
// // } // }
// // // Create trap BB. // // Create trap BB.
// // b.SetInsertPoint(trap_bb); // b.SetInsertPoint(trap_bb);
// // e.SpillRegisters(); // e.SpillRegisters();
// // // TODO(benvanik): use @llvm.debugtrap? could make debugging better // // TODO(benvanik): use @llvm.debugtrap? could make debugging better
// // b.CreateCall2(e.gen_module()->getFunction("XeTrap"), // b.CreateCall2(e.gen_module()->getFunction("XeTrap"),
// // e.fn()->arg_begin(), // e.fn()->arg_begin(),
// // e.get_uint64(i.address)); // e.get_uint64(i.address));
// // b.CreateBr(after_bb); // b.CreateBr(after_bb);
// // // Resume. // // Resume.
// // b.SetInsertPoint(after_bb); // b.SetInsertPoint(after_bb);
// return 0; return 0;
// } }
// XEEMITTER(td, 0x7C000088, X )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(td, 0x7C000088, X )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// // a <- (RA) // a <- (RA)
// // b <- (RB) // b <- (RB)
// // if (a < b) & TO[0] then TRAP // if (a < b) & TO[0] then TRAP
// // if (a > b) & TO[1] then TRAP // if (a > b) & TO[1] then TRAP
// // if (a = b) & TO[2] then TRAP // if (a = b) & TO[2] then TRAP
// // if (a <u b) & TO[3] then TRAP // if (a <u b) & TO[3] then TRAP
// // if (a >u b) & TO[4] then TRAP // if (a >u b) & TO[4] then TRAP
// return XeEmitTrap(e, f, i, GpVar va = e.gpr_value(i.X.RA);
// e.gpr_value(i.X.RA), GpVar vb = e.gpr_value(i.X.RA);
// e.gpr_value(i.X.RB), return XeEmitTrap(e, c, i, va, vb, i.X.RT);
// i.X.RT); }
// }
// XEEMITTER(tdi, 0x08000000, D )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(tdi, 0x08000000, D )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// // a <- (RA) // a <- (RA)
// // if (a < EXTS(SI)) & TO[0] then TRAP // if (a < EXTS(SI)) & TO[0] then TRAP
// // if (a > EXTS(SI)) & TO[1] then TRAP // if (a > EXTS(SI)) & TO[1] then TRAP
// // if (a = EXTS(SI)) & TO[2] then TRAP // if (a = EXTS(SI)) & TO[2] then TRAP
// // if (a <u EXTS(SI)) & TO[3] then TRAP // if (a <u EXTS(SI)) & TO[3] then TRAP
// // if (a >u EXTS(SI)) & TO[4] then TRAP // if (a >u EXTS(SI)) & TO[4] then TRAP
// return XeEmitTrap(e, f, i, GpVar va = e.gpr_value(i.D.RA);
// e.gpr_value(i.D.RA), GpVar vb(c.newGpVar());
// e.get_int64(XEEXTS16(i.D.DS)), c.mov(vb, imm(XEEXTS16(i.D.DS)));
// i.D.RT); return XeEmitTrap(e, c, i, va, vb, i.D.RT);
// } }
// XEEMITTER(tw, 0x7C000008, X )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(tw, 0x7C000008, X )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// // a <- EXTS((RA)[32:63]) // a <- EXTS((RA)[32:63])
// // b <- EXTS((RB)[32:63]) // b <- EXTS((RB)[32:63])
// // if (a < b) & TO[0] then TRAP // if (a < b) & TO[0] then TRAP
// // if (a > b) & TO[1] then TRAP // if (a > b) & TO[1] then TRAP
// // if (a = b) & TO[2] then TRAP // if (a = b) & TO[2] then TRAP
// // if (a <u b) & TO[3] then TRAP // if (a <u b) & TO[3] then TRAP
// // if (a >u b) & TO[4] then TRAP // if (a >u b) & TO[4] then TRAP
// return XeEmitTrap(e, f, i, GpVar va = e.sign_extend(e.trunc(e.gpr_value(i.X.RA), 4), 8);
// e.sign_extend(e.trunc_to_int(e.gpr_value(i.X.RA)), GpVar vb = e.sign_extend(e.trunc(e.gpr_value(i.X.RA), 4), 8);
// jit_type_nint), return XeEmitTrap(e, c, i, va, vb, i.X.RT);
// e.sign_extend(e.trunc_to_int(e.gpr_value(i.X.RB)), }
// jit_type_nint),
// i.X.RT);
// }
// XEEMITTER(twi, 0x0C000000, D )(X64Emitter& e, X86Compiler& c, InstrData& i) { XEEMITTER(twi, 0x0C000000, D )(X64Emitter& e, X86Compiler& c, InstrData& i) {
// // a <- EXTS((RA)[32:63]) // a <- EXTS((RA)[32:63])
// // if (a < EXTS(SI)) & TO[0] then TRAP // if (a < EXTS(SI)) & TO[0] then TRAP
// // if (a > EXTS(SI)) & TO[1] then TRAP // if (a > EXTS(SI)) & TO[1] then TRAP
// // if (a = EXTS(SI)) & TO[2] then TRAP // if (a = EXTS(SI)) & TO[2] then TRAP
// // if (a <u EXTS(SI)) & TO[3] then TRAP // if (a <u EXTS(SI)) & TO[3] then TRAP
// // if (a >u EXTS(SI)) & TO[4] then TRAP // if (a >u EXTS(SI)) & TO[4] then TRAP
// return XeEmitTrap(e, f, i, GpVar va = e.sign_extend(e.trunc(e.gpr_value(i.D.RA), 4), 8);
// e.sign_extend(e.trunc_to_int(e.gpr_value(i.D.RA)), GpVar vb(c.newGpVar());
// jit_type_nint), c.mov(vb, imm(XEEXTS16(i.D.DS)));
// e.get_int64(XEEXTS16(i.D.DS)), return XeEmitTrap(e, c, i, va, vb, i.D.RT);
// i.D.RT); }
// }
// Processor control (A-26) // Processor control (A-26)
@ -667,23 +663,23 @@ XEEMITTER(mtspr, 0x7C0003A6, XFX)(X64Emitter& e, X86Compiler& c, InstrDat
void X64RegisterEmitCategoryControl() { void X64RegisterEmitCategoryControl() {
XEREGISTERINSTR(bx, 0x48000000); XEREGISTERINSTR(bx, 0x48000000);
// XEREGISTERINSTR(bcx, 0x40000000); XEREGISTERINSTR(bcx, 0x40000000);
// XEREGISTERINSTR(bcctrx, 0x4C000420); XEREGISTERINSTR(bcctrx, 0x4C000420);
// XEREGISTERINSTR(bclrx, 0x4C000020); XEREGISTERINSTR(bclrx, 0x4C000020);
// XEREGISTERINSTR(crand, 0x4C000202); XEREGISTERINSTR(crand, 0x4C000202);
// XEREGISTERINSTR(crandc, 0x4C000102); XEREGISTERINSTR(crandc, 0x4C000102);
// XEREGISTERINSTR(creqv, 0x4C000242); XEREGISTERINSTR(creqv, 0x4C000242);
// XEREGISTERINSTR(crnand, 0x4C0001C2); XEREGISTERINSTR(crnand, 0x4C0001C2);
// XEREGISTERINSTR(crnor, 0x4C000042); XEREGISTERINSTR(crnor, 0x4C000042);
// XEREGISTERINSTR(cror, 0x4C000382); XEREGISTERINSTR(cror, 0x4C000382);
// XEREGISTERINSTR(crorc, 0x4C000342); XEREGISTERINSTR(crorc, 0x4C000342);
// XEREGISTERINSTR(crxor, 0x4C000182); XEREGISTERINSTR(crxor, 0x4C000182);
// XEREGISTERINSTR(mcrf, 0x4C000000); XEREGISTERINSTR(mcrf, 0x4C000000);
// XEREGISTERINSTR(sc, 0x44000002); XEREGISTERINSTR(sc, 0x44000002);
// XEREGISTERINSTR(td, 0x7C000088); XEREGISTERINSTR(td, 0x7C000088);
// XEREGISTERINSTR(tdi, 0x08000000); XEREGISTERINSTR(tdi, 0x08000000);
// XEREGISTERINSTR(tw, 0x7C000008); XEREGISTERINSTR(tw, 0x7C000008);
// XEREGISTERINSTR(twi, 0x0C000000); XEREGISTERINSTR(twi, 0x0C000000);
XEREGISTERINSTR(mfcr, 0x7C000026); XEREGISTERINSTR(mfcr, 0x7C000026);
XEREGISTERINSTR(mfspr, 0x7C0002A6); XEREGISTERINSTR(mfspr, 0x7C0002A6);
XEREGISTERINSTR(mftb, 0x7C0002E6); XEREGISTERINSTR(mftb, 0x7C0002E6);

View File

@ -1471,7 +1471,6 @@ void X64Emitter::update_fpr_value(uint32_t n, GpVar& value) {
// return jit_value_create_nint_constant(fn_, jit_type_nuint, value); // return jit_value_create_nint_constant(fn_, jit_type_nuint, value);
// } // }
#if 0
GpVar X64Emitter::sign_extend(GpVar& value, int size) { GpVar X64Emitter::sign_extend(GpVar& value, int size) {
X86Compiler& c = compiler_; X86Compiler& c = compiler_;
@ -1489,25 +1488,27 @@ GpVar X64Emitter::sign_extend(GpVar& value, int size) {
GpVar tmp; GpVar tmp;
switch (size) { switch (size) {
case 1: case 1:
tmp = c.newGpVar(kX86VarTypeGpd); XEASSERTALWAYS();
return value.r8(); return value;
case 2: case 2:
tmp = c.newGpVar(kX86VarTypeGpd); XEASSERTALWAYS();
return value.r16(); return value;
case 4: case 4:
tmp = c.newGpVar(kX86VarTypeGpd); XEASSERTALWAYS();
return value.r32(); return value;
default: default:
case 8: case 8:
tmp = c.newGpVar(kX86VarTypeGpq); tmp = c.newGpVar(kX86VarTypeGpq);
c.mov(tmp, value); c.mov(tmp, value);
if (value.getSize() == 4) { switch (value.getSize()) {
c.cdqe(value); case 1: c.cbw(value); // b->w->d->q
case 2: c.cwde(value); // w->d->q
case 4: c.cdqe(value); // d->q
break;
} }
return value.r64(); return value;
} }
} }
#endif
GpVar X64Emitter::zero_extend(GpVar& value, int size) { GpVar X64Emitter::zero_extend(GpVar& value, int size) {
X86Compiler& c = compiler_; X86Compiler& c = compiler_;