| OLD | NEW |
| 1 //===- subzero/src/IceInstX8632.h - Low-level x86 instructions --*- C++ -*-===// | 1 //===- subzero/src/IceInstX8632.h - Low-level x86 instructions --*- C++ -*-===// |
| 2 // | 2 // |
| 3 // The Subzero Code Generator | 3 // The Subzero Code Generator |
| 4 // | 4 // |
| 5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
| 6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
| 7 // | 7 // |
| 8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
| 9 // | 9 // |
| 10 // This file declares the InstX8632 and OperandX8632 classes and | 10 // This file declares the InstX8632 and OperandX8632 classes and |
| (...skipping 459 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 470 } | 470 } |
| 471 InstX8632InplaceopGPR(const InstX8632InplaceopGPR &) = delete; | 471 InstX8632InplaceopGPR(const InstX8632InplaceopGPR &) = delete; |
| 472 InstX8632InplaceopGPR &operator=(const InstX8632InplaceopGPR &) = delete; | 472 InstX8632InplaceopGPR &operator=(const InstX8632InplaceopGPR &) = delete; |
| 473 ~InstX8632InplaceopGPR() override {} | 473 ~InstX8632InplaceopGPR() override {} |
| 474 static const char *Opcode; | 474 static const char *Opcode; |
| 475 static const x86::AssemblerX86::GPREmitterOneOp Emitter; | 475 static const x86::AssemblerX86::GPREmitterOneOp Emitter; |
| 476 }; | 476 }; |
| 477 | 477 |
| 478 // Emit a two-operand (GPR) instruction, where the dest operand is a | 478 // Emit a two-operand (GPR) instruction, where the dest operand is a |
| 479 // Variable that's guaranteed to be a register. | 479 // Variable that's guaranteed to be a register. |
| 480 template <bool VarCanBeByte = true, bool SrcCanBeByte = true> |
| 480 void emitIASRegOpTyGPR(const Cfg *Func, Type Ty, const Variable *Dst, | 481 void emitIASRegOpTyGPR(const Cfg *Func, Type Ty, const Variable *Dst, |
| 481 const Operand *Src, | 482 const Operand *Src, |
| 482 const x86::AssemblerX86::GPREmitterRegOp &Emitter); | 483 const x86::AssemblerX86::GPREmitterRegOp &Emitter); |
| 483 | 484 |
| 484 // Instructions of the form x := op(y) | 485 // Instructions of the form x := op(y). |
| 485 template <InstX8632::InstKindX8632 K> | 486 template <InstX8632::InstKindX8632 K> |
| 486 class InstX8632UnaryopGPR : public InstX8632 { | 487 class InstX8632UnaryopGPR : public InstX8632 { |
| 487 public: | 488 public: |
| 488 static InstX8632UnaryopGPR *create(Cfg *Func, Variable *Dest, Operand *Src) { | 489 static InstX8632UnaryopGPR *create(Cfg *Func, Variable *Dest, Operand *Src) { |
| 489 return new (Func->allocate<InstX8632UnaryopGPR>()) | 490 return new (Func->allocate<InstX8632UnaryopGPR>()) |
| 490 InstX8632UnaryopGPR(Func, Dest, Src); | 491 InstX8632UnaryopGPR(Func, Dest, Src); |
| 491 } | 492 } |
| 492 void emit(const Cfg *Func) const override { | 493 void emit(const Cfg *Func) const override { |
| 493 Ostream &Str = Func->getContext()->getStrEmit(); | 494 Ostream &Str = Func->getContext()->getStrEmit(); |
| 494 assert(getSrcSize() == 1); | 495 assert(getSrcSize() == 1); |
| 495 Str << "\t" << Opcode << "\t"; | 496 Str << "\t" << Opcode << "\t"; |
| 496 getDest()->emit(Func); | 497 getDest()->emit(Func); |
| 497 Str << ", "; | 498 Str << ", "; |
| 498 getSrc(0)->emit(Func); | 499 getSrc(0)->emit(Func); |
| 499 Str << "\n"; | 500 Str << "\n"; |
| 500 } | 501 } |
| 501 void emitIAS(const Cfg *Func) const override { | 502 void emitIAS(const Cfg *Func) const override { |
| 502 assert(getSrcSize() == 1); | 503 assert(getSrcSize() == 1); |
| 503 const Variable *Var = getDest(); | 504 const Variable *Var = getDest(); |
| 504 Type Ty = Var->getType(); | 505 Type Ty = Var->getType(); |
| 505 const Operand *Src = getSrc(0); | 506 const Operand *Src = getSrc(0); |
| 506 emitIASRegOpTyGPR(Func, Ty, Var, Src, Emitter); | 507 emitIASRegOpTyGPR(Func, Ty, Var, Src, Emitter); |
| 507 } | 508 } |
| 508 void dump(const Cfg *Func) const override { | 509 void dump(const Cfg *Func) const override { |
| 509 Ostream &Str = Func->getContext()->getStrDump(); | 510 Ostream &Str = Func->getContext()->getStrDump(); |
| 510 dumpDest(Func); | 511 dumpDest(Func); |
| 511 Str << " = " << Opcode << "." << getDest()->getType() << " "; | 512 Str << " = " << Opcode << "." << getSrc(0)->getType() << " "; |
| 512 dumpSources(Func); | 513 dumpSources(Func); |
| 513 } | 514 } |
| 514 static bool classof(const Inst *Inst) { return isClassof(Inst, K); } | 515 static bool classof(const Inst *Inst) { return isClassof(Inst, K); } |
| 515 | 516 |
| 516 private: | 517 private: |
| 517 InstX8632UnaryopGPR(Cfg *Func, Variable *Dest, Operand *Src) | 518 InstX8632UnaryopGPR(Cfg *Func, Variable *Dest, Operand *Src) |
| 518 : InstX8632(Func, K, 1, Dest) { | 519 : InstX8632(Func, K, 1, Dest) { |
| 519 addSource(Src); | 520 addSource(Src); |
| 520 } | 521 } |
| 521 InstX8632UnaryopGPR(const InstX8632UnaryopGPR &) = delete; | 522 InstX8632UnaryopGPR(const InstX8632UnaryopGPR &) = delete; |
| (...skipping 340 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 862 static const char *Opcode; | 863 static const char *Opcode; |
| 863 }; | 864 }; |
| 864 | 865 |
| 865 typedef InstX8632InplaceopGPR<InstX8632::Bswap> InstX8632Bswap; | 866 typedef InstX8632InplaceopGPR<InstX8632::Bswap> InstX8632Bswap; |
| 866 typedef InstX8632InplaceopGPR<InstX8632::Neg> InstX8632Neg; | 867 typedef InstX8632InplaceopGPR<InstX8632::Neg> InstX8632Neg; |
| 867 typedef InstX8632UnaryopGPR<InstX8632::Bsf> InstX8632Bsf; | 868 typedef InstX8632UnaryopGPR<InstX8632::Bsf> InstX8632Bsf; |
| 868 typedef InstX8632UnaryopGPR<InstX8632::Bsr> InstX8632Bsr; | 869 typedef InstX8632UnaryopGPR<InstX8632::Bsr> InstX8632Bsr; |
| 869 typedef InstX8632UnaryopGPR<InstX8632::Lea> InstX8632Lea; | 870 typedef InstX8632UnaryopGPR<InstX8632::Lea> InstX8632Lea; |
| 870 // Cbwdq instruction - wrapper for cbw, cwd, and cdq | 871 // Cbwdq instruction - wrapper for cbw, cwd, and cdq |
| 871 typedef InstX8632UnaryopGPR<InstX8632::Cbwdq> InstX8632Cbwdq; | 872 typedef InstX8632UnaryopGPR<InstX8632::Cbwdq> InstX8632Cbwdq; |
| 873 typedef InstX8632UnaryopGPR<InstX8632::Movsx> InstX8632Movsx; |
| 874 typedef InstX8632UnaryopGPR<InstX8632::Movzx> InstX8632Movzx; |
| 872 typedef InstX8632UnaryopXmm<InstX8632::Movd> InstX8632Movd; | 875 typedef InstX8632UnaryopXmm<InstX8632::Movd> InstX8632Movd; |
| 873 typedef InstX8632UnaryopXmm<InstX8632::Sqrtss> InstX8632Sqrtss; | 876 typedef InstX8632UnaryopXmm<InstX8632::Sqrtss> InstX8632Sqrtss; |
| 874 // Move/assignment instruction - wrapper for mov/movss/movsd. | 877 // Move/assignment instruction - wrapper for mov/movss/movsd. |
| 875 typedef InstX8632Movlike<InstX8632::Mov> InstX8632Mov; | 878 typedef InstX8632Movlike<InstX8632::Mov> InstX8632Mov; |
| 876 // Move packed - copy 128 bit values between XMM registers, or mem128 | 879 // Move packed - copy 128 bit values between XMM registers, or mem128 |
| 877 // and XMM registers. | 880 // and XMM registers. |
| 878 typedef InstX8632Movlike<InstX8632::Movp> InstX8632Movp; | 881 typedef InstX8632Movlike<InstX8632::Movp> InstX8632Movp; |
| 879 // Movq - copy between XMM registers, or mem64 and XMM registers. | 882 // Movq - copy between XMM registers, or mem64 and XMM registers. |
| 880 typedef InstX8632Movlike<InstX8632::Movq> InstX8632Movq; | 883 typedef InstX8632Movlike<InstX8632::Movq> InstX8632Movq; |
| 881 typedef InstX8632BinopGPR<InstX8632::Add> InstX8632Add; | 884 typedef InstX8632BinopGPR<InstX8632::Add> InstX8632Add; |
| (...skipping 402 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1284 void dump(const Cfg *Func) const override; | 1287 void dump(const Cfg *Func) const override; |
| 1285 static bool classof(const Inst *Inst) { return isClassof(Inst, StoreQ); } | 1288 static bool classof(const Inst *Inst) { return isClassof(Inst, StoreQ); } |
| 1286 | 1289 |
| 1287 private: | 1290 private: |
| 1288 InstX8632StoreQ(Cfg *Func, Variable *Value, OperandX8632Mem *Mem); | 1291 InstX8632StoreQ(Cfg *Func, Variable *Value, OperandX8632Mem *Mem); |
| 1289 InstX8632StoreQ(const InstX8632StoreQ &) = delete; | 1292 InstX8632StoreQ(const InstX8632StoreQ &) = delete; |
| 1290 InstX8632StoreQ &operator=(const InstX8632StoreQ &) = delete; | 1293 InstX8632StoreQ &operator=(const InstX8632StoreQ &) = delete; |
| 1291 ~InstX8632StoreQ() override {} | 1294 ~InstX8632StoreQ() override {} |
| 1292 }; | 1295 }; |
| 1293 | 1296 |
| 1294 // Movsx - copy from a narrower integer type to a wider integer | |
| 1295 // type, with sign extension. | |
| 1296 class InstX8632Movsx : public InstX8632 { | |
| 1297 public: | |
| 1298 static InstX8632Movsx *create(Cfg *Func, Variable *Dest, Operand *Source) { | |
| 1299 return new (Func->allocate<InstX8632Movsx>()) | |
| 1300 InstX8632Movsx(Func, Dest, Source); | |
| 1301 } | |
| 1302 void emit(const Cfg *Func) const override; | |
| 1303 void dump(const Cfg *Func) const override; | |
| 1304 static bool classof(const Inst *Inst) { return isClassof(Inst, Movsx); } | |
| 1305 | |
| 1306 private: | |
| 1307 InstX8632Movsx(Cfg *Func, Variable *Dest, Operand *Source); | |
| 1308 InstX8632Movsx(const InstX8632Movsx &) = delete; | |
| 1309 InstX8632Movsx &operator=(const InstX8632Movsx &) = delete; | |
| 1310 ~InstX8632Movsx() override {} | |
| 1311 }; | |
| 1312 | |
| 1313 // Movzx - copy from a narrower integer type to a wider integer | |
| 1314 // type, with zero extension. | |
| 1315 class InstX8632Movzx : public InstX8632 { | |
| 1316 public: | |
| 1317 static InstX8632Movzx *create(Cfg *Func, Variable *Dest, Operand *Source) { | |
| 1318 return new (Func->allocate<InstX8632Movzx>()) | |
| 1319 InstX8632Movzx(Func, Dest, Source); | |
| 1320 } | |
| 1321 void emit(const Cfg *Func) const override; | |
| 1322 void dump(const Cfg *Func) const override; | |
| 1323 static bool classof(const Inst *Inst) { return isClassof(Inst, Movzx); } | |
| 1324 | |
| 1325 private: | |
| 1326 InstX8632Movzx(Cfg *Func, Variable *Dest, Operand *Source); | |
| 1327 InstX8632Movzx(const InstX8632Movzx &) = delete; | |
| 1328 InstX8632Movzx &operator=(const InstX8632Movzx &) = delete; | |
| 1329 ~InstX8632Movzx() override {} | |
| 1330 }; | |
| 1331 | |
| 1332 // Nop instructions of varying length | 1297 // Nop instructions of varying length |
| 1333 class InstX8632Nop : public InstX8632 { | 1298 class InstX8632Nop : public InstX8632 { |
| 1334 public: | 1299 public: |
| 1335 // TODO: Replace with enum. | 1300 // TODO: Replace with enum. |
| 1336 typedef unsigned NopVariant; | 1301 typedef unsigned NopVariant; |
| 1337 | 1302 |
| 1338 static InstX8632Nop *create(Cfg *Func, NopVariant Variant) { | 1303 static InstX8632Nop *create(Cfg *Func, NopVariant Variant) { |
| 1339 return new (Func->allocate<InstX8632Nop>()) InstX8632Nop(Func, Variant); | 1304 return new (Func->allocate<InstX8632Nop>()) InstX8632Nop(Func, Variant); |
| 1340 } | 1305 } |
| 1341 void emit(const Cfg *Func) const override; | 1306 void emit(const Cfg *Func) const override; |
| (...skipping 182 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1524 template <> void InstX8632Cbwdq::emitIAS(const Cfg *Func) const; | 1489 template <> void InstX8632Cbwdq::emitIAS(const Cfg *Func) const; |
| 1525 template <> void InstX8632Div::emitIAS(const Cfg *Func) const; | 1490 template <> void InstX8632Div::emitIAS(const Cfg *Func) const; |
| 1526 template <> void InstX8632Idiv::emitIAS(const Cfg *Func) const; | 1491 template <> void InstX8632Idiv::emitIAS(const Cfg *Func) const; |
| 1527 template <> void InstX8632Imul::emitIAS(const Cfg *Func) const; | 1492 template <> void InstX8632Imul::emitIAS(const Cfg *Func) const; |
| 1528 template <> void InstX8632Insertps::emitIAS(const Cfg *Func) const; | 1493 template <> void InstX8632Insertps::emitIAS(const Cfg *Func) const; |
| 1529 template <> void InstX8632Movd::emitIAS(const Cfg *Func) const; | 1494 template <> void InstX8632Movd::emitIAS(const Cfg *Func) const; |
| 1530 template <> void InstX8632MovssRegs::emitIAS(const Cfg *Func) const; | 1495 template <> void InstX8632MovssRegs::emitIAS(const Cfg *Func) const; |
| 1531 template <> void InstX8632Pblendvb::emitIAS(const Cfg *Func) const; | 1496 template <> void InstX8632Pblendvb::emitIAS(const Cfg *Func) const; |
| 1532 template <> void InstX8632Pextr::emitIAS(const Cfg *Func) const; | 1497 template <> void InstX8632Pextr::emitIAS(const Cfg *Func) const; |
| 1533 template <> void InstX8632Pinsr::emitIAS(const Cfg *Func) const; | 1498 template <> void InstX8632Pinsr::emitIAS(const Cfg *Func) const; |
| 1499 template <> void InstX8632Movsx::emitIAS(const Cfg *Func) const; |
| 1500 template <> void InstX8632Movzx::emitIAS(const Cfg *Func) const; |
| 1534 template <> void InstX8632Pmull::emitIAS(const Cfg *Func) const; | 1501 template <> void InstX8632Pmull::emitIAS(const Cfg *Func) const; |
| 1535 template <> void InstX8632Pshufd::emitIAS(const Cfg *Func) const; | 1502 template <> void InstX8632Pshufd::emitIAS(const Cfg *Func) const; |
| 1536 template <> void InstX8632Shufps::emitIAS(const Cfg *Func) const; | 1503 template <> void InstX8632Shufps::emitIAS(const Cfg *Func) const; |
| 1537 | 1504 |
| 1538 } // end of namespace Ice | 1505 } // end of namespace Ice |
| 1539 | 1506 |
| 1540 #endif // SUBZERO_SRC_ICEINSTX8632_H | 1507 #endif // SUBZERO_SRC_ICEINSTX8632_H |
| OLD | NEW |