| OLD | NEW |
| 1 //===- subzero/src/IceTargetLoweringX8632.h - x86-32 lowering ---*- C++ -*-===// | 1 //===- subzero/src/IceTargetLoweringX8632.h - x86-32 lowering ---*- 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 TargetLoweringX8632 class, which | 10 // This file declares the TargetLoweringX8632 class, which |
| 11 // implements the TargetLowering interface for the x86-32 | 11 // implements the TargetLowering interface for the x86-32 |
| 12 // architecture. | 12 // architecture. |
| 13 // | 13 // |
| 14 //===----------------------------------------------------------------------===// | 14 //===----------------------------------------------------------------------===// |
| 15 | 15 |
| 16 #ifndef SUBZERO_SRC_ICETARGETLOWERINGX8632_H | 16 #ifndef SUBZERO_SRC_ICETARGETLOWERINGX8632_H |
| 17 #define SUBZERO_SRC_ICETARGETLOWERINGX8632_H | 17 #define SUBZERO_SRC_ICETARGETLOWERINGX8632_H |
| 18 | 18 |
| 19 #include "IceDefs.h" | 19 #include "IceDefs.h" |
| 20 #include "IceTargetLowering.h" | 20 #include "IceTargetLowering.h" |
| 21 #include "IceInstX8632.h" | 21 #include "IceInstX8632.h" |
| 22 #include "IceRegistersX8632.h" |
| 22 | 23 |
| 23 namespace Ice { | 24 namespace Ice { |
| 24 | 25 |
| 25 class TargetX8632 : public TargetLowering { | 26 class TargetX8632 : public TargetLowering { |
| 26 public: | 27 public: |
| 27 static TargetX8632 *create(Cfg *Func) { return new TargetX8632(Func); } | 28 static TargetX8632 *create(Cfg *Func) { return new TargetX8632(Func); } |
| 28 | 29 |
| 29 virtual void translateOm1(); | 30 virtual void translateOm1(); |
| 30 virtual void translateO2(); | 31 virtual void translateO2(); |
| 31 virtual bool doBranchOpt(Inst *I, const CfgNode *NextNode); | 32 virtual bool doBranchOpt(Inst *I, const CfgNode *NextNode); |
| 32 | 33 |
| 33 virtual Variable *getPhysicalRegister(SizeT RegNum); | 34 virtual Variable *getPhysicalRegister(SizeT RegNum); |
| 34 virtual IceString getRegName(SizeT RegNum, Type Ty) const; | 35 virtual IceString getRegName(SizeT RegNum, Type Ty) const; |
| 35 virtual llvm::SmallBitVector getRegisterSet(RegSetMask Include, | 36 virtual llvm::SmallBitVector getRegisterSet(RegSetMask Include, |
| 36 RegSetMask Exclude) const; | 37 RegSetMask Exclude) const; |
| 37 virtual const llvm::SmallBitVector &getRegisterSetForType(Type Ty) const { | 38 virtual const llvm::SmallBitVector &getRegisterSetForType(Type Ty) const { |
| 38 return TypeToRegisterSet[Ty]; | 39 return TypeToRegisterSet[Ty]; |
| 39 } | 40 } |
| 40 virtual bool hasFramePointer() const { return IsEbpBasedFrame; } | 41 virtual bool hasFramePointer() const { return IsEbpBasedFrame; } |
| 41 virtual SizeT getFrameOrStackReg() const { | 42 virtual SizeT getFrameOrStackReg() const { |
| 42 return IsEbpBasedFrame ? Reg_ebp : Reg_esp; | 43 return IsEbpBasedFrame ? RegX8632::Reg_ebp : RegX8632::Reg_esp; |
| 43 } | 44 } |
| 44 virtual size_t typeWidthInBytesOnStack(Type Ty) const { | 45 virtual size_t typeWidthInBytesOnStack(Type Ty) const { |
| 45 // Round up to the next multiple of 4 bytes. In particular, i1, | 46 // Round up to the next multiple of 4 bytes. In particular, i1, |
| 46 // i8, and i16 are rounded up to 4 bytes. | 47 // i8, and i16 are rounded up to 4 bytes. |
| 47 return (typeWidthInBytes(Ty) + 3) & ~3; | 48 return (typeWidthInBytes(Ty) + 3) & ~3; |
| 48 } | 49 } |
| 49 virtual SizeT getBundleAlignLog2Bytes() const { return 5; } | 50 virtual SizeT getBundleAlignLog2Bytes() const { return 5; } |
| 50 virtual llvm::ArrayRef<uint8_t> getNonExecBundlePadding() const { | 51 virtual llvm::ArrayRef<uint8_t> getNonExecBundlePadding() const { |
| 51 static const uint8_t Padding[] = { 0xF4 }; | 52 static const uint8_t Padding[] = { 0xF4 }; |
| 52 return llvm::ArrayRef<uint8_t>(Padding, 1); | 53 return llvm::ArrayRef<uint8_t>(Padding, 1); |
| 53 } | 54 } |
| 54 virtual void emitVariable(const Variable *Var, const Cfg *Func) const; | 55 virtual void emitVariable(const Variable *Var, const Cfg *Func) const; |
| 55 virtual void lowerArguments(); | 56 virtual void lowerArguments(); |
| 56 virtual void addProlog(CfgNode *Node); | 57 virtual void addProlog(CfgNode *Node); |
| 57 virtual void addEpilog(CfgNode *Node); | 58 virtual void addEpilog(CfgNode *Node); |
| 58 virtual void emitConstants() const; | 59 virtual void emitConstants() const; |
| 59 SizeT makeNextLabelNumber() { return NextLabelNumber++; } | 60 SizeT makeNextLabelNumber() { return NextLabelNumber++; } |
| 60 // Ensure that a 64-bit Variable has been split into 2 32-bit | 61 // Ensure that a 64-bit Variable has been split into 2 32-bit |
| 61 // Variables, creating them if necessary. This is needed for all | 62 // Variables, creating them if necessary. This is needed for all |
| 62 // I64 operations, and it is needed for pushing F64 arguments for | 63 // I64 operations, and it is needed for pushing F64 arguments for |
| 63 // function calls using the 32-bit push instruction (though the | 64 // function calls using the 32-bit push instruction (though the |
| 64 // latter could be done by directly writing to the stack). | 65 // latter could be done by directly writing to the stack). |
| 65 void split64(Variable *Var); | 66 void split64(Variable *Var); |
| 66 void finishArgumentLowering(Variable *Arg, Variable *FramePtr, | 67 void finishArgumentLowering(Variable *Arg, Variable *FramePtr, |
| 67 size_t BasicFrameOffset, size_t &InArgsSizeBytes); | 68 size_t BasicFrameOffset, size_t &InArgsSizeBytes); |
| 68 Operand *loOperand(Operand *Operand); | 69 Operand *loOperand(Operand *Operand); |
| 69 Operand *hiOperand(Operand *Operand); | 70 Operand *hiOperand(Operand *Operand); |
| 70 | 71 |
| 71 enum Registers { | |
| 72 #define X(val, init, name, name16, name8, scratch, preserved, stackptr, \ | |
| 73 frameptr, isI8, isInt, isFP) \ | |
| 74 val init, | |
| 75 REGX8632_TABLE | |
| 76 #undef X | |
| 77 Reg_NUM | |
| 78 }; | |
| 79 | |
| 80 enum X86InstructionSet { | 72 enum X86InstructionSet { |
| 81 // SSE2 is the PNaCl baseline instruction set. | 73 // SSE2 is the PNaCl baseline instruction set. |
| 82 SSE2, | 74 SSE2, |
| 83 SSE4_1 | 75 SSE4_1 |
| 84 }; | 76 }; |
| 85 | 77 |
| 86 X86InstructionSet getInstructionSet() const { return InstructionSet; } | 78 X86InstructionSet getInstructionSet() const { return InstructionSet; } |
| 87 | 79 |
| 88 protected: | 80 protected: |
| 89 TargetX8632(Cfg *Func); | 81 TargetX8632(Cfg *Func); |
| (...skipping 115 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 205 } | 197 } |
| 206 void _addss(Variable *Dest, Operand *Src0) { | 198 void _addss(Variable *Dest, Operand *Src0) { |
| 207 Context.insert(InstX8632Addss::create(Func, Dest, Src0)); | 199 Context.insert(InstX8632Addss::create(Func, Dest, Src0)); |
| 208 } | 200 } |
| 209 void _and(Variable *Dest, Operand *Src0) { | 201 void _and(Variable *Dest, Operand *Src0) { |
| 210 Context.insert(InstX8632And::create(Func, Dest, Src0)); | 202 Context.insert(InstX8632And::create(Func, Dest, Src0)); |
| 211 } | 203 } |
| 212 void _blendvps(Variable *Dest, Operand *Src0, Operand *Src1) { | 204 void _blendvps(Variable *Dest, Operand *Src0, Operand *Src1) { |
| 213 Context.insert(InstX8632Blendvps::create(Func, Dest, Src0, Src1)); | 205 Context.insert(InstX8632Blendvps::create(Func, Dest, Src0, Src1)); |
| 214 } | 206 } |
| 215 void _br(InstX8632::BrCond Condition, CfgNode *TargetTrue, | 207 void _br(CondX86::BrCond Condition, CfgNode *TargetTrue, |
| 216 CfgNode *TargetFalse) { | 208 CfgNode *TargetFalse) { |
| 217 Context.insert( | 209 Context.insert( |
| 218 InstX8632Br::create(Func, TargetTrue, TargetFalse, Condition)); | 210 InstX8632Br::create(Func, TargetTrue, TargetFalse, Condition)); |
| 219 } | 211 } |
| 220 void _br(CfgNode *Target) { | 212 void _br(CfgNode *Target) { |
| 221 Context.insert(InstX8632Br::create(Func, Target)); | 213 Context.insert(InstX8632Br::create(Func, Target)); |
| 222 } | 214 } |
| 223 void _br(InstX8632::BrCond Condition, CfgNode *Target) { | 215 void _br(CondX86::BrCond Condition, CfgNode *Target) { |
| 224 Context.insert(InstX8632Br::create(Func, Target, Condition)); | 216 Context.insert(InstX8632Br::create(Func, Target, Condition)); |
| 225 } | 217 } |
| 226 void _br(InstX8632::BrCond Condition, InstX8632Label *Label) { | 218 void _br(CondX86::BrCond Condition, InstX8632Label *Label) { |
| 227 Context.insert(InstX8632Br::create(Func, Label, Condition)); | 219 Context.insert(InstX8632Br::create(Func, Label, Condition)); |
| 228 } | 220 } |
| 229 void _bsf(Variable *Dest, Operand *Src0) { | 221 void _bsf(Variable *Dest, Operand *Src0) { |
| 230 Context.insert(InstX8632Bsf::create(Func, Dest, Src0)); | 222 Context.insert(InstX8632Bsf::create(Func, Dest, Src0)); |
| 231 } | 223 } |
| 232 void _bsr(Variable *Dest, Operand *Src0) { | 224 void _bsr(Variable *Dest, Operand *Src0) { |
| 233 Context.insert(InstX8632Bsr::create(Func, Dest, Src0)); | 225 Context.insert(InstX8632Bsr::create(Func, Dest, Src0)); |
| 234 } | 226 } |
| 235 void _bswap(Variable *SrcDest) { | 227 void _bswap(Variable *SrcDest) { |
| 236 Context.insert(InstX8632Bswap::create(Func, SrcDest)); | 228 Context.insert(InstX8632Bswap::create(Func, SrcDest)); |
| 237 } | 229 } |
| 238 void _cbwdq(Variable *Dest, Operand *Src0) { | 230 void _cbwdq(Variable *Dest, Operand *Src0) { |
| 239 Context.insert(InstX8632Cbwdq::create(Func, Dest, Src0)); | 231 Context.insert(InstX8632Cbwdq::create(Func, Dest, Src0)); |
| 240 } | 232 } |
| 241 void _cmov(Variable *Dest, Operand *Src0, InstX8632::BrCond Condition) { | 233 void _cmov(Variable *Dest, Operand *Src0, CondX86::BrCond Condition) { |
| 242 Context.insert(InstX8632Cmov::create(Func, Dest, Src0, Condition)); | 234 Context.insert(InstX8632Cmov::create(Func, Dest, Src0, Condition)); |
| 243 } | 235 } |
| 244 void _cmp(Operand *Src0, Operand *Src1) { | 236 void _cmp(Operand *Src0, Operand *Src1) { |
| 245 Context.insert(InstX8632Icmp::create(Func, Src0, Src1)); | 237 Context.insert(InstX8632Icmp::create(Func, Src0, Src1)); |
| 246 } | 238 } |
| 247 void _cmpps(Variable *Dest, Operand *Src0, | 239 void _cmpps(Variable *Dest, Operand *Src0, CondX86::CmppsCond Condition) { |
| 248 InstX8632Cmpps::CmppsCond Condition) { | |
| 249 Context.insert(InstX8632Cmpps::create(Func, Dest, Src0, Condition)); | 240 Context.insert(InstX8632Cmpps::create(Func, Dest, Src0, Condition)); |
| 250 } | 241 } |
| 251 void _cmpxchg(Operand *DestOrAddr, Variable *Eax, Variable *Desired, | 242 void _cmpxchg(Operand *DestOrAddr, Variable *Eax, Variable *Desired, |
| 252 bool Locked) { | 243 bool Locked) { |
| 253 Context.insert( | 244 Context.insert( |
| 254 InstX8632Cmpxchg::create(Func, DestOrAddr, Eax, Desired, Locked)); | 245 InstX8632Cmpxchg::create(Func, DestOrAddr, Eax, Desired, Locked)); |
| 255 // Mark eax as possibly modified by cmpxchg. | 246 // Mark eax as possibly modified by cmpxchg. |
| 256 Context.insert( | 247 Context.insert( |
| 257 InstFakeDef::create(Func, Eax, llvm::dyn_cast<Variable>(DestOrAddr))); | 248 InstFakeDef::create(Func, Eax, llvm::dyn_cast<Variable>(DestOrAddr))); |
| 258 } | 249 } |
| (...skipping 252 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 511 }; | 502 }; |
| 512 | 503 |
| 513 template <> void ConstantInteger32::emit(GlobalContext *Ctx) const; | 504 template <> void ConstantInteger32::emit(GlobalContext *Ctx) const; |
| 514 template <> void ConstantInteger64::emit(GlobalContext *Ctx) const; | 505 template <> void ConstantInteger64::emit(GlobalContext *Ctx) const; |
| 515 template <> void ConstantFloat::emit(GlobalContext *Ctx) const; | 506 template <> void ConstantFloat::emit(GlobalContext *Ctx) const; |
| 516 template <> void ConstantDouble::emit(GlobalContext *Ctx) const; | 507 template <> void ConstantDouble::emit(GlobalContext *Ctx) const; |
| 517 | 508 |
| 518 } // end of namespace Ice | 509 } // end of namespace Ice |
| 519 | 510 |
| 520 #endif // SUBZERO_SRC_ICETARGETLOWERINGX8632_H | 511 #endif // SUBZERO_SRC_ICETARGETLOWERINGX8632_H |
| OLD | NEW |