Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 1 | // $Id$ |
| 2 | //*************************************************************************** |
| 3 | // File: |
| 4 | // SparcInstrInfo.cpp |
| 5 | // |
| 6 | // Purpose: |
| 7 | // |
| 8 | // History: |
| 9 | // 10/15/01 - Vikram Adve - Created |
| 10 | //**************************************************************************/ |
| 11 | |
| 12 | |
| 13 | #include "SparcInternals.h" |
| 14 | #include "SparcInstrSelectionSupport.h" |
| 15 | #include "llvm/Target/Sparc.h" |
| 16 | #include "llvm/CodeGen/InstrSelection.h" |
| 17 | #include "llvm/CodeGen/InstrSelectionSupport.h" |
Chris Lattner | cb0a120 | 2002-02-03 07:49:49 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineCodeForMethod.h" |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 19 | #include "llvm/Function.h" |
Chris Lattner | 31bcdb8 | 2002-04-28 19:55:58 +0000 | [diff] [blame] | 20 | #include "llvm/Constants.h" |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 21 | #include "llvm/DerivedTypes.h" |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 22 | |
| 23 | |
| 24 | //************************ Internal Functions ******************************/ |
| 25 | |
| 26 | |
| 27 | static inline MachineInstr* |
Vikram S. Adve | cee9d1c | 2001-12-15 00:33:36 +0000 | [diff] [blame] | 28 | CreateIntSetInstruction(int64_t C, Value* dest, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 29 | std::vector<TmpInstruction*>& tempVec) |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 30 | { |
| 31 | MachineInstr* minstr; |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 32 | uint64_t absC = (C >= 0)? C : -C; |
| 33 | if (absC > (unsigned int) ~0) |
| 34 | { // C does not fit in 32 bits |
Chris Lattner | cb0a120 | 2002-02-03 07:49:49 +0000 | [diff] [blame] | 35 | TmpInstruction* tmpReg = new TmpInstruction(Type::IntTy); |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 36 | tempVec.push_back(tmpReg); |
| 37 | |
| 38 | minstr = new MachineInstr(SETX); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 39 | minstr->SetMachineOperandConst(0, MachineOperand::MO_SignExtendedImmed, C); |
| 40 | minstr->SetMachineOperandVal(1, MachineOperand::MO_VirtualRegister, tmpReg, |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 41 | /*isdef*/ true); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 42 | minstr->SetMachineOperandVal(2, MachineOperand::MO_VirtualRegister,dest); |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 43 | } |
Vikram S. Adve | cee9d1c | 2001-12-15 00:33:36 +0000 | [diff] [blame] | 44 | else |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 45 | { |
| 46 | minstr = new MachineInstr(SETSW); |
Vikram S. Adve | f7cedec | 2002-03-31 00:13:12 +0000 | [diff] [blame] | 47 | minstr->SetMachineOperandConst(0,MachineOperand::MO_SignExtendedImmed,C); |
| 48 | minstr->SetMachineOperandVal(1, MachineOperand::MO_VirtualRegister,dest); |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 49 | } |
Vikram S. Adve | cee9d1c | 2001-12-15 00:33:36 +0000 | [diff] [blame] | 50 | |
| 51 | return minstr; |
| 52 | } |
| 53 | |
| 54 | static inline MachineInstr* |
| 55 | CreateUIntSetInstruction(uint64_t C, Value* dest, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 56 | std::vector<TmpInstruction*>& tempVec) |
Vikram S. Adve | cee9d1c | 2001-12-15 00:33:36 +0000 | [diff] [blame] | 57 | { |
| 58 | MachineInstr* minstr; |
| 59 | if (C > (unsigned int) ~0) |
| 60 | { // C does not fit in 32 bits |
Vikram S. Adve | f7cedec | 2002-03-31 00:13:12 +0000 | [diff] [blame] | 61 | assert(dest->getType() == Type::ULongTy && "Sign extension problems"); |
Chris Lattner | cb0a120 | 2002-02-03 07:49:49 +0000 | [diff] [blame] | 62 | TmpInstruction *tmpReg = new TmpInstruction(Type::IntTy); |
Vikram S. Adve | cee9d1c | 2001-12-15 00:33:36 +0000 | [diff] [blame] | 63 | tempVec.push_back(tmpReg); |
| 64 | |
| 65 | minstr = new MachineInstr(SETX); |
Vikram S. Adve | f7cedec | 2002-03-31 00:13:12 +0000 | [diff] [blame] | 66 | minstr->SetMachineOperandConst(0,MachineOperand::MO_SignExtendedImmed,C); |
| 67 | minstr->SetMachineOperandVal(1, MachineOperand::MO_VirtualRegister, |
| 68 | tmpReg, /*isdef*/ true); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 69 | minstr->SetMachineOperandVal(2, MachineOperand::MO_VirtualRegister,dest); |
Vikram S. Adve | cee9d1c | 2001-12-15 00:33:36 +0000 | [diff] [blame] | 70 | } |
Vikram S. Adve | f7cedec | 2002-03-31 00:13:12 +0000 | [diff] [blame] | 71 | else if (dest->getType() == Type::ULongTy) |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 72 | { |
| 73 | minstr = new MachineInstr(SETUW); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 74 | minstr->SetMachineOperandConst(0, MachineOperand::MO_UnextendedImmed, C); |
Vikram S. Adve | f7cedec | 2002-03-31 00:13:12 +0000 | [diff] [blame] | 75 | minstr->SetMachineOperandVal(1, MachineOperand::MO_VirtualRegister,dest); |
| 76 | } |
| 77 | else |
| 78 | { // cast to signed type of the right length and use signed op (SETSW) |
| 79 | // to get correct sign extension |
| 80 | // |
| 81 | minstr = new MachineInstr(SETSW); |
| 82 | minstr->SetMachineOperandVal(1, MachineOperand::MO_VirtualRegister,dest); |
| 83 | |
| 84 | switch (dest->getType()->getPrimitiveID()) |
| 85 | { |
| 86 | case Type::UIntTyID: |
| 87 | minstr->SetMachineOperandConst(0, |
| 88 | MachineOperand::MO_SignExtendedImmed, |
| 89 | (int) C); |
| 90 | break; |
| 91 | case Type::UShortTyID: |
| 92 | minstr->SetMachineOperandConst(0, |
| 93 | MachineOperand::MO_SignExtendedImmed, |
| 94 | (short) C); |
| 95 | break; |
| 96 | case Type::UByteTyID: |
| 97 | minstr->SetMachineOperandConst(0, |
| 98 | MachineOperand::MO_SignExtendedImmed, |
| 99 | (char) C); |
| 100 | break; |
| 101 | default: |
| 102 | assert(0 && "Unexpected unsigned type"); |
| 103 | break; |
| 104 | } |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 105 | } |
| 106 | |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 107 | return minstr; |
| 108 | } |
| 109 | |
| 110 | //************************* External Classes *******************************/ |
| 111 | |
| 112 | //--------------------------------------------------------------------------- |
| 113 | // class UltraSparcInstrInfo |
| 114 | // |
| 115 | // Purpose: |
| 116 | // Information about individual instructions. |
| 117 | // Most information is stored in the SparcMachineInstrDesc array above. |
| 118 | // Other information is computed on demand, and most such functions |
| 119 | // default to member functions in base class MachineInstrInfo. |
| 120 | //--------------------------------------------------------------------------- |
| 121 | |
| 122 | /*ctor*/ |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 123 | UltraSparcInstrInfo::UltraSparcInstrInfo(const TargetMachine& tgt) |
| 124 | : MachineInstrInfo(tgt, SparcMachineInstrDesc, |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 125 | /*descSize = */ NUM_TOTAL_OPCODES, |
| 126 | /*numRealOpCodes = */ NUM_REAL_OPCODES) |
| 127 | { |
| 128 | } |
| 129 | |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 130 | // |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 131 | // Create an instruction sequence to put the constant `val' into |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 132 | // the virtual register `dest'. `val' may be a Constant or a |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 133 | // GlobalValue, viz., the constant address of a global variable or function. |
| 134 | // The generated instructions are returned in `minstrVec'. |
| 135 | // Any temp. registers (TmpInstruction) created are returned in `tempVec'. |
| 136 | // |
| 137 | void |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 138 | UltraSparcInstrInfo::CreateCodeToLoadConst(Function *F, Value* val, |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 139 | Instruction* dest, |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 140 | std::vector<MachineInstr*>&minstrVec, |
| 141 | std::vector<TmpInstruction*>& tempVec) const |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 142 | { |
| 143 | MachineInstr* minstr; |
| 144 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 145 | assert(isa<Constant>(val) || isa<GlobalValue>(val) && |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 146 | "I only know about constant values and global addresses"); |
| 147 | |
| 148 | // Use a "set" instruction for known constants that can go in an integer reg. |
| 149 | // Use a "load" instruction for all other constants, in particular, |
| 150 | // floating point constants and addresses of globals. |
| 151 | // |
| 152 | const Type* valType = val->getType(); |
| 153 | |
| 154 | if (valType->isIntegral() || valType == Type::BoolTy) |
| 155 | { |
Vikram S. Adve | cee9d1c | 2001-12-15 00:33:36 +0000 | [diff] [blame] | 156 | if (ConstantUInt* uval = dyn_cast<ConstantUInt>(val)) |
| 157 | { |
| 158 | uint64_t C = uval->getValue(); |
| 159 | minstr = CreateUIntSetInstruction(C, dest, tempVec); |
| 160 | } |
| 161 | else |
| 162 | { |
| 163 | bool isValidConstant; |
| 164 | int64_t C = GetConstantValueAsSignedInt(val, isValidConstant); |
| 165 | assert(isValidConstant && "Unrecognized constant"); |
| 166 | minstr = CreateIntSetInstruction(C, dest, tempVec); |
| 167 | } |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 168 | minstrVec.push_back(minstr); |
| 169 | } |
| 170 | else |
| 171 | { |
| 172 | // Make an instruction sequence to load the constant, viz: |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 173 | // SETX <addr-of-constant>, tmpReg, addrReg |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 174 | // LOAD /*addr*/ addrReg, /*offset*/ 0, dest |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 175 | // Only the SETX is needed if `val' is a GlobalValue, i.e,. it is |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 176 | // itself a constant address. Otherwise, both are needed. |
| 177 | |
| 178 | Value* addrVal; |
| 179 | int64_t zeroOffset = 0; // to avoid ambiguity with (Value*) 0 |
| 180 | |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 181 | TmpInstruction* tmpReg = |
Chris Lattner | cb0a120 | 2002-02-03 07:49:49 +0000 | [diff] [blame] | 182 | new TmpInstruction(PointerType::get(val->getType()), val); |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 183 | tempVec.push_back(tmpReg); |
| 184 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 185 | if (isa<Constant>(val)) |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 186 | { |
| 187 | // Create another TmpInstruction for the hidden integer register |
| 188 | TmpInstruction* addrReg = |
Chris Lattner | cb0a120 | 2002-02-03 07:49:49 +0000 | [diff] [blame] | 189 | new TmpInstruction(PointerType::get(val->getType()), val); |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 190 | tempVec.push_back(addrReg); |
| 191 | addrVal = addrReg; |
| 192 | } |
| 193 | else |
| 194 | addrVal = dest; |
| 195 | |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 196 | minstr = new MachineInstr(SETX); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 197 | minstr->SetMachineOperandVal(0, MachineOperand::MO_PCRelativeDisp, val); |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 198 | minstr->SetMachineOperandVal(1, MachineOperand::MO_VirtualRegister,tmpReg, |
Vikram S. Adve | a2a7094 | 2001-10-28 21:41:46 +0000 | [diff] [blame] | 199 | /*isdef*/ true); |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 200 | minstr->SetMachineOperandVal(2, MachineOperand::MO_VirtualRegister, |
| 201 | addrVal); |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 202 | minstrVec.push_back(minstr); |
| 203 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 204 | if (isa<Constant>(val)) |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 205 | { |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 206 | // Make sure constant is emitted to constant pool in assembly code. |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 207 | MachineCodeForMethod& mcinfo = MachineCodeForMethod::get(F); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 208 | mcinfo.addToConstantPool(cast<Constant>(val)); |
| 209 | |
| 210 | // Generate the load instruction |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 211 | minstr = new MachineInstr(ChooseLoadInstruction(val->getType())); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 212 | minstr->SetMachineOperandVal(0, MachineOperand::MO_VirtualRegister, |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 213 | addrVal); |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 214 | minstr->SetMachineOperandConst(1,MachineOperand::MO_SignExtendedImmed, |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 215 | zeroOffset); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 216 | minstr->SetMachineOperandVal(2, MachineOperand::MO_VirtualRegister, |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 217 | dest); |
| 218 | minstrVec.push_back(minstr); |
| 219 | } |
| 220 | } |
| 221 | } |
| 222 | |
| 223 | |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 224 | // Create an instruction sequence to copy an integer value `val' |
| 225 | // to a floating point value `dest' by copying to memory and back. |
| 226 | // val must be an integral type. dest must be a Float or Double. |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 227 | // The generated instructions are returned in `minstrVec'. |
| 228 | // Any temp. registers (TmpInstruction) created are returned in `tempVec'. |
| 229 | // |
| 230 | void |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 231 | UltraSparcInstrInfo::CreateCodeToCopyIntToFloat(Function *F, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 232 | Value* val, |
| 233 | Instruction* dest, |
| 234 | std::vector<MachineInstr*>& minstrVec, |
| 235 | std::vector<TmpInstruction*>& tempVec, |
| 236 | TargetMachine& target) const |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 237 | { |
Chris Lattner | 9b62503 | 2002-05-06 16:15:30 +0000 | [diff] [blame^] | 238 | assert((val->getType()->isIntegral() || isa<PointerType>(val->getType())) |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 239 | && "Source type must be integral"); |
Chris Lattner | 9b62503 | 2002-05-06 16:15:30 +0000 | [diff] [blame^] | 240 | assert(dest->getType()->isFloatingPoint() |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 241 | && "Dest type must be float/double"); |
| 242 | |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 243 | MachineCodeForMethod& mcinfo = MachineCodeForMethod::get(F); |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 244 | int offset = mcinfo.allocateLocalVar(target, val); |
| 245 | |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 246 | // Store instruction stores `val' to [%fp+offset]. |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 247 | // The store and load opCodes are based on the value being copied, and |
Vikram S. Adve | b9959d8 | 2001-11-15 14:59:56 +0000 | [diff] [blame] | 248 | // they use integer and float types that accomodate the |
| 249 | // larger of the source type and the destination type: |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 250 | // On SparcV9: int for float, long for double. |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 251 | // |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 252 | Type* tmpType = (dest->getType() == Type::FloatTy)? Type::IntTy |
| 253 | : Type::LongTy; |
| 254 | MachineInstr* store = new MachineInstr(ChooseStoreInstruction(tmpType)); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 255 | store->SetMachineOperandVal(0, MachineOperand::MO_VirtualRegister, val); |
| 256 | store->SetMachineOperandReg(1, target.getRegInfo().getFramePointer()); |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 257 | store->SetMachineOperandConst(2,MachineOperand::MO_SignExtendedImmed, offset); |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 258 | minstrVec.push_back(store); |
Vikram S. Adve | 30764b8 | 2001-10-18 00:01:48 +0000 | [diff] [blame] | 259 | |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 260 | // Load instruction loads [%fp+offset] to `dest'. |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 261 | // |
Vikram S. Adve | b9959d8 | 2001-11-15 14:59:56 +0000 | [diff] [blame] | 262 | MachineInstr* load =new MachineInstr(ChooseLoadInstruction(dest->getType())); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 263 | load->SetMachineOperandReg(0, target.getRegInfo().getFramePointer()); |
| 264 | load->SetMachineOperandConst(1, MachineOperand::MO_SignExtendedImmed,offset); |
| 265 | load->SetMachineOperandVal(2, MachineOperand::MO_VirtualRegister, dest); |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 266 | minstrVec.push_back(load); |
| 267 | } |
| 268 | |
| 269 | |
| 270 | // Similarly, create an instruction sequence to copy an FP value |
| 271 | // `val' to an integer value `dest' by copying to memory and back. |
| 272 | // See the previous function for information about return values. |
| 273 | // |
| 274 | void |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 275 | UltraSparcInstrInfo::CreateCodeToCopyFloatToInt(Function *F, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 276 | Value* val, |
| 277 | Instruction* dest, |
| 278 | std::vector<MachineInstr*>& minstrVec, |
| 279 | std::vector<TmpInstruction*>& tempVec, |
| 280 | TargetMachine& target) const |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 281 | { |
Chris Lattner | 9b62503 | 2002-05-06 16:15:30 +0000 | [diff] [blame^] | 282 | assert(val->getType()->isFloatingPoint() |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 283 | && "Source type must be float/double"); |
Chris Lattner | 9b62503 | 2002-05-06 16:15:30 +0000 | [diff] [blame^] | 284 | assert((dest->getType()->isIntegral() || isa<PointerType>(dest->getType())) |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 285 | && "Dest type must be integral"); |
| 286 | |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 287 | MachineCodeForMethod& mcinfo = MachineCodeForMethod::get(F); |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 288 | int offset = mcinfo.allocateLocalVar(target, val); |
| 289 | |
| 290 | // Store instruction stores `val' to [%fp+offset]. |
| 291 | // The store and load opCodes are based on the value being copied, and |
| 292 | // they use the integer type that matches the source type in size: |
| 293 | // On SparcV9: int for float, long for double. |
| 294 | // |
| 295 | Type* tmpType = (val->getType() == Type::FloatTy)? Type::IntTy |
| 296 | : Type::LongTy; |
Vikram S. Adve | b9959d8 | 2001-11-15 14:59:56 +0000 | [diff] [blame] | 297 | MachineInstr* store=new MachineInstr(ChooseStoreInstruction(val->getType())); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 298 | store->SetMachineOperandVal(0, MachineOperand::MO_VirtualRegister, val); |
| 299 | store->SetMachineOperandReg(1, target.getRegInfo().getFramePointer()); |
| 300 | store->SetMachineOperandConst(2,MachineOperand::MO_SignExtendedImmed,offset); |
Vikram S. Adve | 5b6082e | 2001-11-09 02:16:40 +0000 | [diff] [blame] | 301 | minstrVec.push_back(store); |
| 302 | |
| 303 | // Load instruction loads [%fp+offset] to `dest'. |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 304 | // |
| 305 | MachineInstr* load = new MachineInstr(ChooseLoadInstruction(tmpType)); |
Vikram S. Adve | e76af29 | 2002-03-18 03:09:15 +0000 | [diff] [blame] | 306 | load->SetMachineOperandReg(0, target.getRegInfo().getFramePointer()); |
| 307 | load->SetMachineOperandConst(1, MachineOperand::MO_SignExtendedImmed, offset); |
| 308 | load->SetMachineOperandVal(2, MachineOperand::MO_VirtualRegister, dest); |
Vikram S. Adve | b9c3863 | 2001-11-08 04:57:53 +0000 | [diff] [blame] | 309 | minstrVec.push_back(load); |
| 310 | } |