Jia Liu | b22310f | 2012-02-18 12:03:15 +0000 | [diff] [blame] | 1 | //===-- ARMExpandPseudoInsts.cpp - Expand pseudo instructions -------------===// |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Bob Wilson | 359f8ba | 2010-09-08 23:39:54 +0000 | [diff] [blame] | 10 | // This file contains a pass that expands pseudo instructions into target |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 11 | // instructions to allow proper scheduling, if-conversion, and other late |
| 12 | // optimizations. This pass should be run after register allocation but before |
Bob Wilson | 359f8ba | 2010-09-08 23:39:54 +0000 | [diff] [blame] | 13 | // the post-regalloc scheduling pass. |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
| 17 | #define DEBUG_TYPE "arm-pseudo" |
| 18 | #include "ARM.h" |
| 19 | #include "ARMBaseInstrInfo.h" |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 20 | #include "ARMBaseRegisterInfo.h" |
Tim Northover | 72360d2 | 2013-12-02 10:35:41 +0000 | [diff] [blame^] | 21 | #include "ARMConstantPoolValue.h" |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 22 | #include "ARMMachineFunctionInfo.h" |
Evan Cheng | a20cde3 | 2011-07-20 23:34:39 +0000 | [diff] [blame] | 23 | #include "MCTargetDesc/ARMAddressingModes.h" |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 24 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 26 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Tim Northover | 72360d2 | 2013-12-02 10:35:41 +0000 | [diff] [blame^] | 27 | #include "llvm/IR/GlobalValue.h" |
Jakob Stoklund Olesen | 9c3badc | 2011-07-29 00:27:32 +0000 | [diff] [blame] | 28 | #include "llvm/Support/CommandLine.h" |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 29 | #include "llvm/Support/raw_ostream.h" // FIXME: for debug only. remove! |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 30 | #include "llvm/Target/TargetFrameLowering.h" |
| 31 | #include "llvm/Target/TargetRegisterInfo.h" |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 32 | using namespace llvm; |
| 33 | |
Benjamin Kramer | 4938edb | 2011-08-19 01:42:18 +0000 | [diff] [blame] | 34 | static cl::opt<bool> |
Jakob Stoklund Olesen | 9c3badc | 2011-07-29 00:27:32 +0000 | [diff] [blame] | 35 | VerifyARMPseudo("verify-arm-pseudo-expand", cl::Hidden, |
| 36 | cl::desc("Verify machine code after expanding ARM pseudos")); |
| 37 | |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 38 | namespace { |
| 39 | class ARMExpandPseudo : public MachineFunctionPass { |
| 40 | public: |
| 41 | static char ID; |
Owen Anderson | a7aed18 | 2010-08-06 18:33:48 +0000 | [diff] [blame] | 42 | ARMExpandPseudo() : MachineFunctionPass(ID) {} |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 43 | |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 44 | const ARMBaseInstrInfo *TII; |
Evan Cheng | 2f736c9 | 2010-05-13 00:17:02 +0000 | [diff] [blame] | 45 | const TargetRegisterInfo *TRI; |
Evan Cheng | f478cf9 | 2010-11-12 23:03:38 +0000 | [diff] [blame] | 46 | const ARMSubtarget *STI; |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 47 | ARMFunctionInfo *AFI; |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 48 | |
| 49 | virtual bool runOnMachineFunction(MachineFunction &Fn); |
| 50 | |
| 51 | virtual const char *getPassName() const { |
| 52 | return "ARM pseudo instruction expansion pass"; |
| 53 | } |
| 54 | |
| 55 | private: |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 56 | void TransferImpOps(MachineInstr &OldMI, |
| 57 | MachineInstrBuilder &UseMI, MachineInstrBuilder &DefMI); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 58 | bool ExpandMI(MachineBasicBlock &MBB, |
| 59 | MachineBasicBlock::iterator MBBI); |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 60 | bool ExpandMBB(MachineBasicBlock &MBB); |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 61 | void ExpandVLD(MachineBasicBlock::iterator &MBBI); |
| 62 | void ExpandVST(MachineBasicBlock::iterator &MBBI); |
| 63 | void ExpandLaneOp(MachineBasicBlock::iterator &MBBI); |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 64 | void ExpandVTBL(MachineBasicBlock::iterator &MBBI, |
Jim Grosbach | 4a5c887 | 2011-12-15 22:27:11 +0000 | [diff] [blame] | 65 | unsigned Opc, bool IsExt); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 66 | void ExpandMOV32BitImm(MachineBasicBlock &MBB, |
| 67 | MachineBasicBlock::iterator &MBBI); |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 68 | }; |
| 69 | char ARMExpandPseudo::ID = 0; |
| 70 | } |
| 71 | |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 72 | /// TransferImpOps - Transfer implicit operands on the pseudo instruction to |
| 73 | /// the instructions created from the expansion. |
| 74 | void ARMExpandPseudo::TransferImpOps(MachineInstr &OldMI, |
| 75 | MachineInstrBuilder &UseMI, |
| 76 | MachineInstrBuilder &DefMI) { |
Evan Cheng | 6cc775f | 2011-06-28 19:10:37 +0000 | [diff] [blame] | 77 | const MCInstrDesc &Desc = OldMI.getDesc(); |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 78 | for (unsigned i = Desc.getNumOperands(), e = OldMI.getNumOperands(); |
| 79 | i != e; ++i) { |
| 80 | const MachineOperand &MO = OldMI.getOperand(i); |
| 81 | assert(MO.isReg() && MO.getReg()); |
| 82 | if (MO.isUse()) |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 83 | UseMI.addOperand(MO); |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 84 | else |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 85 | DefMI.addOperand(MO); |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 86 | } |
| 87 | } |
| 88 | |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 89 | namespace { |
| 90 | // Constants for register spacing in NEON load/store instructions. |
| 91 | // For quad-register load-lane and store-lane pseudo instructors, the |
| 92 | // spacing is initially assumed to be EvenDblSpc, and that is changed to |
| 93 | // OddDblSpc depending on the lane number operand. |
| 94 | enum NEONRegSpacing { |
| 95 | SingleSpc, |
| 96 | EvenDblSpc, |
| 97 | OddDblSpc |
| 98 | }; |
| 99 | |
| 100 | // Entries for NEON load/store information table. The table is sorted by |
| 101 | // PseudoOpc for fast binary-search lookups. |
| 102 | struct NEONLdStTableEntry { |
Craig Topper | ca658c2 | 2012-03-11 07:16:55 +0000 | [diff] [blame] | 103 | uint16_t PseudoOpc; |
| 104 | uint16_t RealOpc; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 105 | bool IsLoad; |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 106 | bool isUpdating; |
| 107 | bool hasWritebackOperand; |
Craig Topper | 980739a | 2012-09-20 06:14:08 +0000 | [diff] [blame] | 108 | uint8_t RegSpacing; // One of type NEONRegSpacing |
| 109 | uint8_t NumRegs; // D registers loaded or stored |
| 110 | uint8_t RegElts; // elements per D register; used for lane ops |
Jim Grosbach | 2f2e3c4 | 2011-10-21 18:54:25 +0000 | [diff] [blame] | 111 | // FIXME: Temporary flag to denote whether the real instruction takes |
| 112 | // a single register (like the encoding) or all of the registers in |
| 113 | // the list (like the asm syntax and the isel DAG). When all definitions |
| 114 | // are converted to take only the single encoded register, this will |
| 115 | // go away. |
| 116 | bool copyAllListRegs; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 117 | |
| 118 | // Comparison methods for binary search of the table. |
| 119 | bool operator<(const NEONLdStTableEntry &TE) const { |
| 120 | return PseudoOpc < TE.PseudoOpc; |
| 121 | } |
| 122 | friend bool operator<(const NEONLdStTableEntry &TE, unsigned PseudoOpc) { |
| 123 | return TE.PseudoOpc < PseudoOpc; |
| 124 | } |
Chandler Carruth | 88c54b8 | 2010-10-23 08:10:43 +0000 | [diff] [blame] | 125 | friend bool LLVM_ATTRIBUTE_UNUSED operator<(unsigned PseudoOpc, |
| 126 | const NEONLdStTableEntry &TE) { |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 127 | return PseudoOpc < TE.PseudoOpc; |
| 128 | } |
| 129 | }; |
| 130 | } |
| 131 | |
| 132 | static const NEONLdStTableEntry NEONLdStTable[] = { |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 133 | { ARM::VLD1LNq16Pseudo, ARM::VLD1LNd16, true, false, false, EvenDblSpc, 1, 4 ,true}, |
| 134 | { ARM::VLD1LNq16Pseudo_UPD, ARM::VLD1LNd16_UPD, true, true, true, EvenDblSpc, 1, 4 ,true}, |
| 135 | { ARM::VLD1LNq32Pseudo, ARM::VLD1LNd32, true, false, false, EvenDblSpc, 1, 2 ,true}, |
| 136 | { ARM::VLD1LNq32Pseudo_UPD, ARM::VLD1LNd32_UPD, true, true, true, EvenDblSpc, 1, 2 ,true}, |
| 137 | { ARM::VLD1LNq8Pseudo, ARM::VLD1LNd8, true, false, false, EvenDblSpc, 1, 8 ,true}, |
| 138 | { ARM::VLD1LNq8Pseudo_UPD, ARM::VLD1LNd8_UPD, true, true, true, EvenDblSpc, 1, 8 ,true}, |
Bob Wilson | dc44990 | 2010-11-01 22:04:05 +0000 | [diff] [blame] | 139 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 140 | { ARM::VLD1d64QPseudo, ARM::VLD1d64Q, true, false, false, SingleSpc, 4, 1 ,false}, |
| 141 | { ARM::VLD1d64TPseudo, ARM::VLD1d64T, true, false, false, SingleSpc, 3, 1 ,false}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 142 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 143 | { ARM::VLD2LNd16Pseudo, ARM::VLD2LNd16, true, false, false, SingleSpc, 2, 4 ,true}, |
| 144 | { ARM::VLD2LNd16Pseudo_UPD, ARM::VLD2LNd16_UPD, true, true, true, SingleSpc, 2, 4 ,true}, |
| 145 | { ARM::VLD2LNd32Pseudo, ARM::VLD2LNd32, true, false, false, SingleSpc, 2, 2 ,true}, |
| 146 | { ARM::VLD2LNd32Pseudo_UPD, ARM::VLD2LNd32_UPD, true, true, true, SingleSpc, 2, 2 ,true}, |
| 147 | { ARM::VLD2LNd8Pseudo, ARM::VLD2LNd8, true, false, false, SingleSpc, 2, 8 ,true}, |
| 148 | { ARM::VLD2LNd8Pseudo_UPD, ARM::VLD2LNd8_UPD, true, true, true, SingleSpc, 2, 8 ,true}, |
| 149 | { ARM::VLD2LNq16Pseudo, ARM::VLD2LNq16, true, false, false, EvenDblSpc, 2, 4 ,true}, |
| 150 | { ARM::VLD2LNq16Pseudo_UPD, ARM::VLD2LNq16_UPD, true, true, true, EvenDblSpc, 2, 4 ,true}, |
| 151 | { ARM::VLD2LNq32Pseudo, ARM::VLD2LNq32, true, false, false, EvenDblSpc, 2, 2 ,true}, |
| 152 | { ARM::VLD2LNq32Pseudo_UPD, ARM::VLD2LNq32_UPD, true, true, true, EvenDblSpc, 2, 2 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 153 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 154 | { ARM::VLD2q16Pseudo, ARM::VLD2q16, true, false, false, SingleSpc, 4, 4 ,false}, |
Jim Grosbach | d146a02 | 2011-12-09 21:28:25 +0000 | [diff] [blame] | 155 | { ARM::VLD2q16PseudoWB_fixed, ARM::VLD2q16wb_fixed, true, true, false, SingleSpc, 4, 4 ,false}, |
| 156 | { ARM::VLD2q16PseudoWB_register, ARM::VLD2q16wb_register, true, true, true, SingleSpc, 4, 4 ,false}, |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 157 | { ARM::VLD2q32Pseudo, ARM::VLD2q32, true, false, false, SingleSpc, 4, 2 ,false}, |
Jim Grosbach | d146a02 | 2011-12-09 21:28:25 +0000 | [diff] [blame] | 158 | { ARM::VLD2q32PseudoWB_fixed, ARM::VLD2q32wb_fixed, true, true, false, SingleSpc, 4, 2 ,false}, |
| 159 | { ARM::VLD2q32PseudoWB_register, ARM::VLD2q32wb_register, true, true, true, SingleSpc, 4, 2 ,false}, |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 160 | { ARM::VLD2q8Pseudo, ARM::VLD2q8, true, false, false, SingleSpc, 4, 8 ,false}, |
Jim Grosbach | d146a02 | 2011-12-09 21:28:25 +0000 | [diff] [blame] | 161 | { ARM::VLD2q8PseudoWB_fixed, ARM::VLD2q8wb_fixed, true, true, false, SingleSpc, 4, 8 ,false}, |
| 162 | { ARM::VLD2q8PseudoWB_register, ARM::VLD2q8wb_register, true, true, true, SingleSpc, 4, 8 ,false}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 163 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 164 | { ARM::VLD3DUPd16Pseudo, ARM::VLD3DUPd16, true, false, false, SingleSpc, 3, 4,true}, |
| 165 | { ARM::VLD3DUPd16Pseudo_UPD, ARM::VLD3DUPd16_UPD, true, true, true, SingleSpc, 3, 4,true}, |
| 166 | { ARM::VLD3DUPd32Pseudo, ARM::VLD3DUPd32, true, false, false, SingleSpc, 3, 2,true}, |
| 167 | { ARM::VLD3DUPd32Pseudo_UPD, ARM::VLD3DUPd32_UPD, true, true, true, SingleSpc, 3, 2,true}, |
| 168 | { ARM::VLD3DUPd8Pseudo, ARM::VLD3DUPd8, true, false, false, SingleSpc, 3, 8,true}, |
| 169 | { ARM::VLD3DUPd8Pseudo_UPD, ARM::VLD3DUPd8_UPD, true, true, true, SingleSpc, 3, 8,true}, |
Bob Wilson | 77ab165 | 2010-11-29 19:35:29 +0000 | [diff] [blame] | 170 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 171 | { ARM::VLD3LNd16Pseudo, ARM::VLD3LNd16, true, false, false, SingleSpc, 3, 4 ,true}, |
| 172 | { ARM::VLD3LNd16Pseudo_UPD, ARM::VLD3LNd16_UPD, true, true, true, SingleSpc, 3, 4 ,true}, |
| 173 | { ARM::VLD3LNd32Pseudo, ARM::VLD3LNd32, true, false, false, SingleSpc, 3, 2 ,true}, |
| 174 | { ARM::VLD3LNd32Pseudo_UPD, ARM::VLD3LNd32_UPD, true, true, true, SingleSpc, 3, 2 ,true}, |
| 175 | { ARM::VLD3LNd8Pseudo, ARM::VLD3LNd8, true, false, false, SingleSpc, 3, 8 ,true}, |
| 176 | { ARM::VLD3LNd8Pseudo_UPD, ARM::VLD3LNd8_UPD, true, true, true, SingleSpc, 3, 8 ,true}, |
| 177 | { ARM::VLD3LNq16Pseudo, ARM::VLD3LNq16, true, false, false, EvenDblSpc, 3, 4 ,true}, |
| 178 | { ARM::VLD3LNq16Pseudo_UPD, ARM::VLD3LNq16_UPD, true, true, true, EvenDblSpc, 3, 4 ,true}, |
| 179 | { ARM::VLD3LNq32Pseudo, ARM::VLD3LNq32, true, false, false, EvenDblSpc, 3, 2 ,true}, |
| 180 | { ARM::VLD3LNq32Pseudo_UPD, ARM::VLD3LNq32_UPD, true, true, true, EvenDblSpc, 3, 2 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 181 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 182 | { ARM::VLD3d16Pseudo, ARM::VLD3d16, true, false, false, SingleSpc, 3, 4 ,true}, |
| 183 | { ARM::VLD3d16Pseudo_UPD, ARM::VLD3d16_UPD, true, true, true, SingleSpc, 3, 4 ,true}, |
| 184 | { ARM::VLD3d32Pseudo, ARM::VLD3d32, true, false, false, SingleSpc, 3, 2 ,true}, |
| 185 | { ARM::VLD3d32Pseudo_UPD, ARM::VLD3d32_UPD, true, true, true, SingleSpc, 3, 2 ,true}, |
| 186 | { ARM::VLD3d8Pseudo, ARM::VLD3d8, true, false, false, SingleSpc, 3, 8 ,true}, |
| 187 | { ARM::VLD3d8Pseudo_UPD, ARM::VLD3d8_UPD, true, true, true, SingleSpc, 3, 8 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 188 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 189 | { ARM::VLD3q16Pseudo_UPD, ARM::VLD3q16_UPD, true, true, true, EvenDblSpc, 3, 4 ,true}, |
| 190 | { ARM::VLD3q16oddPseudo, ARM::VLD3q16, true, false, false, OddDblSpc, 3, 4 ,true}, |
| 191 | { ARM::VLD3q16oddPseudo_UPD, ARM::VLD3q16_UPD, true, true, true, OddDblSpc, 3, 4 ,true}, |
| 192 | { ARM::VLD3q32Pseudo_UPD, ARM::VLD3q32_UPD, true, true, true, EvenDblSpc, 3, 2 ,true}, |
| 193 | { ARM::VLD3q32oddPseudo, ARM::VLD3q32, true, false, false, OddDblSpc, 3, 2 ,true}, |
| 194 | { ARM::VLD3q32oddPseudo_UPD, ARM::VLD3q32_UPD, true, true, true, OddDblSpc, 3, 2 ,true}, |
| 195 | { ARM::VLD3q8Pseudo_UPD, ARM::VLD3q8_UPD, true, true, true, EvenDblSpc, 3, 8 ,true}, |
| 196 | { ARM::VLD3q8oddPseudo, ARM::VLD3q8, true, false, false, OddDblSpc, 3, 8 ,true}, |
| 197 | { ARM::VLD3q8oddPseudo_UPD, ARM::VLD3q8_UPD, true, true, true, OddDblSpc, 3, 8 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 198 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 199 | { ARM::VLD4DUPd16Pseudo, ARM::VLD4DUPd16, true, false, false, SingleSpc, 4, 4,true}, |
| 200 | { ARM::VLD4DUPd16Pseudo_UPD, ARM::VLD4DUPd16_UPD, true, true, true, SingleSpc, 4, 4,true}, |
| 201 | { ARM::VLD4DUPd32Pseudo, ARM::VLD4DUPd32, true, false, false, SingleSpc, 4, 2,true}, |
| 202 | { ARM::VLD4DUPd32Pseudo_UPD, ARM::VLD4DUPd32_UPD, true, true, true, SingleSpc, 4, 2,true}, |
| 203 | { ARM::VLD4DUPd8Pseudo, ARM::VLD4DUPd8, true, false, false, SingleSpc, 4, 8,true}, |
| 204 | { ARM::VLD4DUPd8Pseudo_UPD, ARM::VLD4DUPd8_UPD, true, true, true, SingleSpc, 4, 8,true}, |
Bob Wilson | 431ac4ef | 2010-11-30 00:00:35 +0000 | [diff] [blame] | 205 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 206 | { ARM::VLD4LNd16Pseudo, ARM::VLD4LNd16, true, false, false, SingleSpc, 4, 4 ,true}, |
| 207 | { ARM::VLD4LNd16Pseudo_UPD, ARM::VLD4LNd16_UPD, true, true, true, SingleSpc, 4, 4 ,true}, |
| 208 | { ARM::VLD4LNd32Pseudo, ARM::VLD4LNd32, true, false, false, SingleSpc, 4, 2 ,true}, |
| 209 | { ARM::VLD4LNd32Pseudo_UPD, ARM::VLD4LNd32_UPD, true, true, true, SingleSpc, 4, 2 ,true}, |
| 210 | { ARM::VLD4LNd8Pseudo, ARM::VLD4LNd8, true, false, false, SingleSpc, 4, 8 ,true}, |
| 211 | { ARM::VLD4LNd8Pseudo_UPD, ARM::VLD4LNd8_UPD, true, true, true, SingleSpc, 4, 8 ,true}, |
| 212 | { ARM::VLD4LNq16Pseudo, ARM::VLD4LNq16, true, false, false, EvenDblSpc, 4, 4 ,true}, |
| 213 | { ARM::VLD4LNq16Pseudo_UPD, ARM::VLD4LNq16_UPD, true, true, true, EvenDblSpc, 4, 4 ,true}, |
| 214 | { ARM::VLD4LNq32Pseudo, ARM::VLD4LNq32, true, false, false, EvenDblSpc, 4, 2 ,true}, |
| 215 | { ARM::VLD4LNq32Pseudo_UPD, ARM::VLD4LNq32_UPD, true, true, true, EvenDblSpc, 4, 2 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 216 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 217 | { ARM::VLD4d16Pseudo, ARM::VLD4d16, true, false, false, SingleSpc, 4, 4 ,true}, |
| 218 | { ARM::VLD4d16Pseudo_UPD, ARM::VLD4d16_UPD, true, true, true, SingleSpc, 4, 4 ,true}, |
| 219 | { ARM::VLD4d32Pseudo, ARM::VLD4d32, true, false, false, SingleSpc, 4, 2 ,true}, |
| 220 | { ARM::VLD4d32Pseudo_UPD, ARM::VLD4d32_UPD, true, true, true, SingleSpc, 4, 2 ,true}, |
| 221 | { ARM::VLD4d8Pseudo, ARM::VLD4d8, true, false, false, SingleSpc, 4, 8 ,true}, |
| 222 | { ARM::VLD4d8Pseudo_UPD, ARM::VLD4d8_UPD, true, true, true, SingleSpc, 4, 8 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 223 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 224 | { ARM::VLD4q16Pseudo_UPD, ARM::VLD4q16_UPD, true, true, true, EvenDblSpc, 4, 4 ,true}, |
| 225 | { ARM::VLD4q16oddPseudo, ARM::VLD4q16, true, false, false, OddDblSpc, 4, 4 ,true}, |
| 226 | { ARM::VLD4q16oddPseudo_UPD, ARM::VLD4q16_UPD, true, true, true, OddDblSpc, 4, 4 ,true}, |
| 227 | { ARM::VLD4q32Pseudo_UPD, ARM::VLD4q32_UPD, true, true, true, EvenDblSpc, 4, 2 ,true}, |
| 228 | { ARM::VLD4q32oddPseudo, ARM::VLD4q32, true, false, false, OddDblSpc, 4, 2 ,true}, |
| 229 | { ARM::VLD4q32oddPseudo_UPD, ARM::VLD4q32_UPD, true, true, true, OddDblSpc, 4, 2 ,true}, |
| 230 | { ARM::VLD4q8Pseudo_UPD, ARM::VLD4q8_UPD, true, true, true, EvenDblSpc, 4, 8 ,true}, |
| 231 | { ARM::VLD4q8oddPseudo, ARM::VLD4q8, true, false, false, OddDblSpc, 4, 8 ,true}, |
| 232 | { ARM::VLD4q8oddPseudo_UPD, ARM::VLD4q8_UPD, true, true, true, OddDblSpc, 4, 8 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 233 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 234 | { ARM::VST1LNq16Pseudo, ARM::VST1LNd16, false, false, false, EvenDblSpc, 1, 4 ,true}, |
| 235 | { ARM::VST1LNq16Pseudo_UPD, ARM::VST1LNd16_UPD, false, true, true, EvenDblSpc, 1, 4 ,true}, |
| 236 | { ARM::VST1LNq32Pseudo, ARM::VST1LNd32, false, false, false, EvenDblSpc, 1, 2 ,true}, |
| 237 | { ARM::VST1LNq32Pseudo_UPD, ARM::VST1LNd32_UPD, false, true, true, EvenDblSpc, 1, 2 ,true}, |
| 238 | { ARM::VST1LNq8Pseudo, ARM::VST1LNd8, false, false, false, EvenDblSpc, 1, 8 ,true}, |
| 239 | { ARM::VST1LNq8Pseudo_UPD, ARM::VST1LNd8_UPD, false, true, true, EvenDblSpc, 1, 8 ,true}, |
Bob Wilson | d80b29d | 2010-11-02 21:18:25 +0000 | [diff] [blame] | 240 | |
Jim Grosbach | 5ee209c | 2011-11-29 22:58:48 +0000 | [diff] [blame] | 241 | { ARM::VST1d64QPseudo, ARM::VST1d64Q, false, false, false, SingleSpc, 4, 1 ,false}, |
| 242 | { ARM::VST1d64QPseudoWB_fixed, ARM::VST1d64Qwb_fixed, false, true, false, SingleSpc, 4, 1 ,false}, |
| 243 | { ARM::VST1d64QPseudoWB_register, ARM::VST1d64Qwb_register, false, true, true, SingleSpc, 4, 1 ,false}, |
Jim Grosbach | 98d032f | 2011-11-29 22:38:04 +0000 | [diff] [blame] | 244 | { ARM::VST1d64TPseudo, ARM::VST1d64T, false, false, false, SingleSpc, 3, 1 ,false}, |
| 245 | { ARM::VST1d64TPseudoWB_fixed, ARM::VST1d64Twb_fixed, false, true, false, SingleSpc, 3, 1 ,false}, |
| 246 | { ARM::VST1d64TPseudoWB_register, ARM::VST1d64Twb_register, false, true, true, SingleSpc, 3, 1 ,false}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 247 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 248 | { ARM::VST2LNd16Pseudo, ARM::VST2LNd16, false, false, false, SingleSpc, 2, 4 ,true}, |
| 249 | { ARM::VST2LNd16Pseudo_UPD, ARM::VST2LNd16_UPD, false, true, true, SingleSpc, 2, 4 ,true}, |
| 250 | { ARM::VST2LNd32Pseudo, ARM::VST2LNd32, false, false, false, SingleSpc, 2, 2 ,true}, |
| 251 | { ARM::VST2LNd32Pseudo_UPD, ARM::VST2LNd32_UPD, false, true, true, SingleSpc, 2, 2 ,true}, |
| 252 | { ARM::VST2LNd8Pseudo, ARM::VST2LNd8, false, false, false, SingleSpc, 2, 8 ,true}, |
| 253 | { ARM::VST2LNd8Pseudo_UPD, ARM::VST2LNd8_UPD, false, true, true, SingleSpc, 2, 8 ,true}, |
| 254 | { ARM::VST2LNq16Pseudo, ARM::VST2LNq16, false, false, false, EvenDblSpc, 2, 4,true}, |
| 255 | { ARM::VST2LNq16Pseudo_UPD, ARM::VST2LNq16_UPD, false, true, true, EvenDblSpc, 2, 4,true}, |
| 256 | { ARM::VST2LNq32Pseudo, ARM::VST2LNq32, false, false, false, EvenDblSpc, 2, 2,true}, |
| 257 | { ARM::VST2LNq32Pseudo_UPD, ARM::VST2LNq32_UPD, false, true, true, EvenDblSpc, 2, 2,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 258 | |
Jim Grosbach | 8d24618 | 2011-12-14 19:35:22 +0000 | [diff] [blame] | 259 | { ARM::VST2q16Pseudo, ARM::VST2q16, false, false, false, SingleSpc, 4, 4 ,false}, |
Jim Grosbach | 88ac761 | 2011-12-14 21:32:11 +0000 | [diff] [blame] | 260 | { ARM::VST2q16PseudoWB_fixed, ARM::VST2q16wb_fixed, false, true, false, SingleSpc, 4, 4 ,false}, |
| 261 | { ARM::VST2q16PseudoWB_register, ARM::VST2q16wb_register, false, true, true, SingleSpc, 4, 4 ,false}, |
Jim Grosbach | 8d24618 | 2011-12-14 19:35:22 +0000 | [diff] [blame] | 262 | { ARM::VST2q32Pseudo, ARM::VST2q32, false, false, false, SingleSpc, 4, 2 ,false}, |
Jim Grosbach | 88ac761 | 2011-12-14 21:32:11 +0000 | [diff] [blame] | 263 | { ARM::VST2q32PseudoWB_fixed, ARM::VST2q32wb_fixed, false, true, false, SingleSpc, 4, 2 ,false}, |
| 264 | { ARM::VST2q32PseudoWB_register, ARM::VST2q32wb_register, false, true, true, SingleSpc, 4, 2 ,false}, |
Jim Grosbach | 8d24618 | 2011-12-14 19:35:22 +0000 | [diff] [blame] | 265 | { ARM::VST2q8Pseudo, ARM::VST2q8, false, false, false, SingleSpc, 4, 8 ,false}, |
Jim Grosbach | 88ac761 | 2011-12-14 21:32:11 +0000 | [diff] [blame] | 266 | { ARM::VST2q8PseudoWB_fixed, ARM::VST2q8wb_fixed, false, true, false, SingleSpc, 4, 8 ,false}, |
| 267 | { ARM::VST2q8PseudoWB_register, ARM::VST2q8wb_register, false, true, true, SingleSpc, 4, 8 ,false}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 268 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 269 | { ARM::VST3LNd16Pseudo, ARM::VST3LNd16, false, false, false, SingleSpc, 3, 4 ,true}, |
| 270 | { ARM::VST3LNd16Pseudo_UPD, ARM::VST3LNd16_UPD, false, true, true, SingleSpc, 3, 4 ,true}, |
| 271 | { ARM::VST3LNd32Pseudo, ARM::VST3LNd32, false, false, false, SingleSpc, 3, 2 ,true}, |
| 272 | { ARM::VST3LNd32Pseudo_UPD, ARM::VST3LNd32_UPD, false, true, true, SingleSpc, 3, 2 ,true}, |
| 273 | { ARM::VST3LNd8Pseudo, ARM::VST3LNd8, false, false, false, SingleSpc, 3, 8 ,true}, |
| 274 | { ARM::VST3LNd8Pseudo_UPD, ARM::VST3LNd8_UPD, false, true, true, SingleSpc, 3, 8 ,true}, |
| 275 | { ARM::VST3LNq16Pseudo, ARM::VST3LNq16, false, false, false, EvenDblSpc, 3, 4,true}, |
| 276 | { ARM::VST3LNq16Pseudo_UPD, ARM::VST3LNq16_UPD, false, true, true, EvenDblSpc, 3, 4,true}, |
| 277 | { ARM::VST3LNq32Pseudo, ARM::VST3LNq32, false, false, false, EvenDblSpc, 3, 2,true}, |
| 278 | { ARM::VST3LNq32Pseudo_UPD, ARM::VST3LNq32_UPD, false, true, true, EvenDblSpc, 3, 2,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 279 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 280 | { ARM::VST3d16Pseudo, ARM::VST3d16, false, false, false, SingleSpc, 3, 4 ,true}, |
| 281 | { ARM::VST3d16Pseudo_UPD, ARM::VST3d16_UPD, false, true, true, SingleSpc, 3, 4 ,true}, |
| 282 | { ARM::VST3d32Pseudo, ARM::VST3d32, false, false, false, SingleSpc, 3, 2 ,true}, |
| 283 | { ARM::VST3d32Pseudo_UPD, ARM::VST3d32_UPD, false, true, true, SingleSpc, 3, 2 ,true}, |
| 284 | { ARM::VST3d8Pseudo, ARM::VST3d8, false, false, false, SingleSpc, 3, 8 ,true}, |
| 285 | { ARM::VST3d8Pseudo_UPD, ARM::VST3d8_UPD, false, true, true, SingleSpc, 3, 8 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 286 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 287 | { ARM::VST3q16Pseudo_UPD, ARM::VST3q16_UPD, false, true, true, EvenDblSpc, 3, 4 ,true}, |
| 288 | { ARM::VST3q16oddPseudo, ARM::VST3q16, false, false, false, OddDblSpc, 3, 4 ,true}, |
| 289 | { ARM::VST3q16oddPseudo_UPD, ARM::VST3q16_UPD, false, true, true, OddDblSpc, 3, 4 ,true}, |
| 290 | { ARM::VST3q32Pseudo_UPD, ARM::VST3q32_UPD, false, true, true, EvenDblSpc, 3, 2 ,true}, |
| 291 | { ARM::VST3q32oddPseudo, ARM::VST3q32, false, false, false, OddDblSpc, 3, 2 ,true}, |
| 292 | { ARM::VST3q32oddPseudo_UPD, ARM::VST3q32_UPD, false, true, true, OddDblSpc, 3, 2 ,true}, |
| 293 | { ARM::VST3q8Pseudo_UPD, ARM::VST3q8_UPD, false, true, true, EvenDblSpc, 3, 8 ,true}, |
| 294 | { ARM::VST3q8oddPseudo, ARM::VST3q8, false, false, false, OddDblSpc, 3, 8 ,true}, |
| 295 | { ARM::VST3q8oddPseudo_UPD, ARM::VST3q8_UPD, false, true, true, OddDblSpc, 3, 8 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 296 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 297 | { ARM::VST4LNd16Pseudo, ARM::VST4LNd16, false, false, false, SingleSpc, 4, 4 ,true}, |
| 298 | { ARM::VST4LNd16Pseudo_UPD, ARM::VST4LNd16_UPD, false, true, true, SingleSpc, 4, 4 ,true}, |
| 299 | { ARM::VST4LNd32Pseudo, ARM::VST4LNd32, false, false, false, SingleSpc, 4, 2 ,true}, |
| 300 | { ARM::VST4LNd32Pseudo_UPD, ARM::VST4LNd32_UPD, false, true, true, SingleSpc, 4, 2 ,true}, |
| 301 | { ARM::VST4LNd8Pseudo, ARM::VST4LNd8, false, false, false, SingleSpc, 4, 8 ,true}, |
| 302 | { ARM::VST4LNd8Pseudo_UPD, ARM::VST4LNd8_UPD, false, true, true, SingleSpc, 4, 8 ,true}, |
| 303 | { ARM::VST4LNq16Pseudo, ARM::VST4LNq16, false, false, false, EvenDblSpc, 4, 4,true}, |
| 304 | { ARM::VST4LNq16Pseudo_UPD, ARM::VST4LNq16_UPD, false, true, true, EvenDblSpc, 4, 4,true}, |
| 305 | { ARM::VST4LNq32Pseudo, ARM::VST4LNq32, false, false, false, EvenDblSpc, 4, 2,true}, |
| 306 | { ARM::VST4LNq32Pseudo_UPD, ARM::VST4LNq32_UPD, false, true, true, EvenDblSpc, 4, 2,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 307 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 308 | { ARM::VST4d16Pseudo, ARM::VST4d16, false, false, false, SingleSpc, 4, 4 ,true}, |
| 309 | { ARM::VST4d16Pseudo_UPD, ARM::VST4d16_UPD, false, true, true, SingleSpc, 4, 4 ,true}, |
| 310 | { ARM::VST4d32Pseudo, ARM::VST4d32, false, false, false, SingleSpc, 4, 2 ,true}, |
| 311 | { ARM::VST4d32Pseudo_UPD, ARM::VST4d32_UPD, false, true, true, SingleSpc, 4, 2 ,true}, |
| 312 | { ARM::VST4d8Pseudo, ARM::VST4d8, false, false, false, SingleSpc, 4, 8 ,true}, |
| 313 | { ARM::VST4d8Pseudo_UPD, ARM::VST4d8_UPD, false, true, true, SingleSpc, 4, 8 ,true}, |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 314 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 315 | { ARM::VST4q16Pseudo_UPD, ARM::VST4q16_UPD, false, true, true, EvenDblSpc, 4, 4 ,true}, |
| 316 | { ARM::VST4q16oddPseudo, ARM::VST4q16, false, false, false, OddDblSpc, 4, 4 ,true}, |
| 317 | { ARM::VST4q16oddPseudo_UPD, ARM::VST4q16_UPD, false, true, true, OddDblSpc, 4, 4 ,true}, |
| 318 | { ARM::VST4q32Pseudo_UPD, ARM::VST4q32_UPD, false, true, true, EvenDblSpc, 4, 2 ,true}, |
| 319 | { ARM::VST4q32oddPseudo, ARM::VST4q32, false, false, false, OddDblSpc, 4, 2 ,true}, |
| 320 | { ARM::VST4q32oddPseudo_UPD, ARM::VST4q32_UPD, false, true, true, OddDblSpc, 4, 2 ,true}, |
| 321 | { ARM::VST4q8Pseudo_UPD, ARM::VST4q8_UPD, false, true, true, EvenDblSpc, 4, 8 ,true}, |
| 322 | { ARM::VST4q8oddPseudo, ARM::VST4q8, false, false, false, OddDblSpc, 4, 8 ,true}, |
| 323 | { ARM::VST4q8oddPseudo_UPD, ARM::VST4q8_UPD, false, true, true, OddDblSpc, 4, 8 ,true} |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 324 | }; |
| 325 | |
| 326 | /// LookupNEONLdSt - Search the NEONLdStTable for information about a NEON |
| 327 | /// load or store pseudo instruction. |
| 328 | static const NEONLdStTableEntry *LookupNEONLdSt(unsigned Opcode) { |
Craig Topper | ca658c2 | 2012-03-11 07:16:55 +0000 | [diff] [blame] | 329 | const unsigned NumEntries = array_lengthof(NEONLdStTable); |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 330 | |
| 331 | #ifndef NDEBUG |
| 332 | // Make sure the table is sorted. |
| 333 | static bool TableChecked = false; |
| 334 | if (!TableChecked) { |
| 335 | for (unsigned i = 0; i != NumEntries-1; ++i) |
| 336 | assert(NEONLdStTable[i] < NEONLdStTable[i+1] && |
| 337 | "NEONLdStTable is not sorted!"); |
| 338 | TableChecked = true; |
| 339 | } |
| 340 | #endif |
| 341 | |
| 342 | const NEONLdStTableEntry *I = |
| 343 | std::lower_bound(NEONLdStTable, NEONLdStTable + NumEntries, Opcode); |
| 344 | if (I != NEONLdStTable + NumEntries && I->PseudoOpc == Opcode) |
| 345 | return I; |
| 346 | return NULL; |
| 347 | } |
| 348 | |
| 349 | /// GetDSubRegs - Get 4 D subregisters of a Q, QQ, or QQQQ register, |
| 350 | /// corresponding to the specified register spacing. Not all of the results |
| 351 | /// are necessarily valid, e.g., a Q register only has 2 D subregisters. |
| 352 | static void GetDSubRegs(unsigned Reg, NEONRegSpacing RegSpc, |
| 353 | const TargetRegisterInfo *TRI, unsigned &D0, |
| 354 | unsigned &D1, unsigned &D2, unsigned &D3) { |
| 355 | if (RegSpc == SingleSpc) { |
| 356 | D0 = TRI->getSubReg(Reg, ARM::dsub_0); |
| 357 | D1 = TRI->getSubReg(Reg, ARM::dsub_1); |
| 358 | D2 = TRI->getSubReg(Reg, ARM::dsub_2); |
| 359 | D3 = TRI->getSubReg(Reg, ARM::dsub_3); |
| 360 | } else if (RegSpc == EvenDblSpc) { |
| 361 | D0 = TRI->getSubReg(Reg, ARM::dsub_0); |
| 362 | D1 = TRI->getSubReg(Reg, ARM::dsub_2); |
| 363 | D2 = TRI->getSubReg(Reg, ARM::dsub_4); |
| 364 | D3 = TRI->getSubReg(Reg, ARM::dsub_6); |
| 365 | } else { |
| 366 | assert(RegSpc == OddDblSpc && "unknown register spacing"); |
| 367 | D0 = TRI->getSubReg(Reg, ARM::dsub_1); |
| 368 | D1 = TRI->getSubReg(Reg, ARM::dsub_3); |
| 369 | D2 = TRI->getSubReg(Reg, ARM::dsub_5); |
| 370 | D3 = TRI->getSubReg(Reg, ARM::dsub_7); |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 371 | } |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 372 | } |
| 373 | |
Bob Wilson | 5a1df80 | 2010-09-02 16:17:29 +0000 | [diff] [blame] | 374 | /// ExpandVLD - Translate VLD pseudo instructions with Q, QQ or QQQQ register |
| 375 | /// operands to real VLD instructions with D register operands. |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 376 | void ARMExpandPseudo::ExpandVLD(MachineBasicBlock::iterator &MBBI) { |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 377 | MachineInstr &MI = *MBBI; |
| 378 | MachineBasicBlock &MBB = *MI.getParent(); |
| 379 | |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 380 | const NEONLdStTableEntry *TableEntry = LookupNEONLdSt(MI.getOpcode()); |
| 381 | assert(TableEntry && TableEntry->IsLoad && "NEONLdStTable lookup failed"); |
Craig Topper | 980739a | 2012-09-20 06:14:08 +0000 | [diff] [blame] | 382 | NEONRegSpacing RegSpc = (NEONRegSpacing)TableEntry->RegSpacing; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 383 | unsigned NumRegs = TableEntry->NumRegs; |
| 384 | |
| 385 | MachineInstrBuilder MIB = BuildMI(MBB, MBBI, MI.getDebugLoc(), |
| 386 | TII->get(TableEntry->RealOpc)); |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 387 | unsigned OpIdx = 0; |
| 388 | |
| 389 | bool DstIsDead = MI.getOperand(OpIdx).isDead(); |
| 390 | unsigned DstReg = MI.getOperand(OpIdx++).getReg(); |
| 391 | unsigned D0, D1, D2, D3; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 392 | GetDSubRegs(DstReg, RegSpc, TRI, D0, D1, D2, D3); |
Jim Grosbach | 2f2e3c4 | 2011-10-21 18:54:25 +0000 | [diff] [blame] | 393 | MIB.addReg(D0, RegState::Define | getDeadRegState(DstIsDead)); |
| 394 | if (NumRegs > 1 && TableEntry->copyAllListRegs) |
| 395 | MIB.addReg(D1, RegState::Define | getDeadRegState(DstIsDead)); |
| 396 | if (NumRegs > 2 && TableEntry->copyAllListRegs) |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 397 | MIB.addReg(D2, RegState::Define | getDeadRegState(DstIsDead)); |
Jim Grosbach | 2f2e3c4 | 2011-10-21 18:54:25 +0000 | [diff] [blame] | 398 | if (NumRegs > 3 && TableEntry->copyAllListRegs) |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 399 | MIB.addReg(D3, RegState::Define | getDeadRegState(DstIsDead)); |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 400 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 401 | if (TableEntry->isUpdating) |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 402 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 403 | |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 404 | // Copy the addrmode6 operands. |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 405 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 406 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 407 | // Copy the am6offset operand. |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 408 | if (TableEntry->hasWritebackOperand) |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 409 | MIB.addOperand(MI.getOperand(OpIdx++)); |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 410 | |
Bob Wilson | 84971c8 | 2010-09-09 00:38:32 +0000 | [diff] [blame] | 411 | // For an instruction writing double-spaced subregs, the pseudo instruction |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 412 | // has an extra operand that is a use of the super-register. Record the |
| 413 | // operand index and skip over it. |
| 414 | unsigned SrcOpIdx = 0; |
| 415 | if (RegSpc == EvenDblSpc || RegSpc == OddDblSpc) |
| 416 | SrcOpIdx = OpIdx++; |
| 417 | |
| 418 | // Copy the predicate operands. |
| 419 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 420 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 421 | |
| 422 | // Copy the super-register source operand used for double-spaced subregs over |
Bob Wilson | 84971c8 | 2010-09-09 00:38:32 +0000 | [diff] [blame] | 423 | // to the new instruction as an implicit operand. |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 424 | if (SrcOpIdx != 0) { |
| 425 | MachineOperand MO = MI.getOperand(SrcOpIdx); |
Bob Wilson | 84971c8 | 2010-09-09 00:38:32 +0000 | [diff] [blame] | 426 | MO.setImplicit(true); |
| 427 | MIB.addOperand(MO); |
| 428 | } |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 429 | // Add an implicit def for the super-register. |
| 430 | MIB.addReg(DstReg, RegState::ImplicitDefine | getDeadRegState(DstIsDead)); |
Bob Wilson | 84971c8 | 2010-09-09 00:38:32 +0000 | [diff] [blame] | 431 | TransferImpOps(MI, MIB, MIB); |
Evan Cheng | 4079133 | 2011-04-19 00:04:03 +0000 | [diff] [blame] | 432 | |
| 433 | // Transfer memoperands. |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 434 | MIB->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Evan Cheng | 4079133 | 2011-04-19 00:04:03 +0000 | [diff] [blame] | 435 | |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 436 | MI.eraseFromParent(); |
| 437 | } |
| 438 | |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 439 | /// ExpandVST - Translate VST pseudo instructions with Q, QQ or QQQQ register |
| 440 | /// operands to real VST instructions with D register operands. |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 441 | void ARMExpandPseudo::ExpandVST(MachineBasicBlock::iterator &MBBI) { |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 442 | MachineInstr &MI = *MBBI; |
| 443 | MachineBasicBlock &MBB = *MI.getParent(); |
| 444 | |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 445 | const NEONLdStTableEntry *TableEntry = LookupNEONLdSt(MI.getOpcode()); |
| 446 | assert(TableEntry && !TableEntry->IsLoad && "NEONLdStTable lookup failed"); |
Craig Topper | 980739a | 2012-09-20 06:14:08 +0000 | [diff] [blame] | 447 | NEONRegSpacing RegSpc = (NEONRegSpacing)TableEntry->RegSpacing; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 448 | unsigned NumRegs = TableEntry->NumRegs; |
| 449 | |
| 450 | MachineInstrBuilder MIB = BuildMI(MBB, MBBI, MI.getDebugLoc(), |
| 451 | TII->get(TableEntry->RealOpc)); |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 452 | unsigned OpIdx = 0; |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 453 | if (TableEntry->isUpdating) |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 454 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 455 | |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 456 | // Copy the addrmode6 operands. |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 457 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 458 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 459 | // Copy the am6offset operand. |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 460 | if (TableEntry->hasWritebackOperand) |
Bob Wilson | 4ccd5ce | 2010-09-09 00:15:32 +0000 | [diff] [blame] | 461 | MIB.addOperand(MI.getOperand(OpIdx++)); |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 462 | |
| 463 | bool SrcIsKill = MI.getOperand(OpIdx).isKill(); |
Jakob Stoklund Olesen | a15a224 | 2012-06-15 17:46:54 +0000 | [diff] [blame] | 464 | bool SrcIsUndef = MI.getOperand(OpIdx).isUndef(); |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 465 | unsigned SrcReg = MI.getOperand(OpIdx++).getReg(); |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 466 | unsigned D0, D1, D2, D3; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 467 | GetDSubRegs(SrcReg, RegSpc, TRI, D0, D1, D2, D3); |
Jakob Stoklund Olesen | a15a224 | 2012-06-15 17:46:54 +0000 | [diff] [blame] | 468 | MIB.addReg(D0, getUndefRegState(SrcIsUndef)); |
Jim Grosbach | 05df460 | 2011-10-31 21:50:31 +0000 | [diff] [blame] | 469 | if (NumRegs > 1 && TableEntry->copyAllListRegs) |
Jakob Stoklund Olesen | a15a224 | 2012-06-15 17:46:54 +0000 | [diff] [blame] | 470 | MIB.addReg(D1, getUndefRegState(SrcIsUndef)); |
Jim Grosbach | 05df460 | 2011-10-31 21:50:31 +0000 | [diff] [blame] | 471 | if (NumRegs > 2 && TableEntry->copyAllListRegs) |
Jakob Stoklund Olesen | a15a224 | 2012-06-15 17:46:54 +0000 | [diff] [blame] | 472 | MIB.addReg(D2, getUndefRegState(SrcIsUndef)); |
Jim Grosbach | 05df460 | 2011-10-31 21:50:31 +0000 | [diff] [blame] | 473 | if (NumRegs > 3 && TableEntry->copyAllListRegs) |
Jakob Stoklund Olesen | a15a224 | 2012-06-15 17:46:54 +0000 | [diff] [blame] | 474 | MIB.addReg(D3, getUndefRegState(SrcIsUndef)); |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 475 | |
| 476 | // Copy the predicate operands. |
| 477 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 478 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 479 | |
Jakob Stoklund Olesen | a15a224 | 2012-06-15 17:46:54 +0000 | [diff] [blame] | 480 | if (SrcIsKill && !SrcIsUndef) // Add an implicit kill for the super-reg. |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 481 | MIB->addRegisterKilled(SrcReg, TRI, true); |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 482 | TransferImpOps(MI, MIB, MIB); |
Evan Cheng | 4079133 | 2011-04-19 00:04:03 +0000 | [diff] [blame] | 483 | |
| 484 | // Transfer memoperands. |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 485 | MIB->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Evan Cheng | 4079133 | 2011-04-19 00:04:03 +0000 | [diff] [blame] | 486 | |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 487 | MI.eraseFromParent(); |
| 488 | } |
| 489 | |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 490 | /// ExpandLaneOp - Translate VLD*LN and VST*LN instructions with Q, QQ or QQQQ |
| 491 | /// register operands to real instructions with D register operands. |
| 492 | void ARMExpandPseudo::ExpandLaneOp(MachineBasicBlock::iterator &MBBI) { |
| 493 | MachineInstr &MI = *MBBI; |
| 494 | MachineBasicBlock &MBB = *MI.getParent(); |
| 495 | |
| 496 | const NEONLdStTableEntry *TableEntry = LookupNEONLdSt(MI.getOpcode()); |
| 497 | assert(TableEntry && "NEONLdStTable lookup failed"); |
Craig Topper | 980739a | 2012-09-20 06:14:08 +0000 | [diff] [blame] | 498 | NEONRegSpacing RegSpc = (NEONRegSpacing)TableEntry->RegSpacing; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 499 | unsigned NumRegs = TableEntry->NumRegs; |
| 500 | unsigned RegElts = TableEntry->RegElts; |
| 501 | |
| 502 | MachineInstrBuilder MIB = BuildMI(MBB, MBBI, MI.getDebugLoc(), |
| 503 | TII->get(TableEntry->RealOpc)); |
| 504 | unsigned OpIdx = 0; |
| 505 | // The lane operand is always the 3rd from last operand, before the 2 |
| 506 | // predicate operands. |
| 507 | unsigned Lane = MI.getOperand(MI.getDesc().getNumOperands() - 3).getImm(); |
| 508 | |
| 509 | // Adjust the lane and spacing as needed for Q registers. |
| 510 | assert(RegSpc != OddDblSpc && "unexpected register spacing for VLD/VST-lane"); |
| 511 | if (RegSpc == EvenDblSpc && Lane >= RegElts) { |
| 512 | RegSpc = OddDblSpc; |
| 513 | Lane -= RegElts; |
| 514 | } |
| 515 | assert(Lane < RegElts && "out of range lane for VLD/VST-lane"); |
| 516 | |
Ted Kremenek | 3c4408c | 2011-01-23 17:05:06 +0000 | [diff] [blame] | 517 | unsigned D0 = 0, D1 = 0, D2 = 0, D3 = 0; |
Bob Wilson | 62e9a05 | 2010-09-14 21:12:05 +0000 | [diff] [blame] | 518 | unsigned DstReg = 0; |
| 519 | bool DstIsDead = false; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 520 | if (TableEntry->IsLoad) { |
| 521 | DstIsDead = MI.getOperand(OpIdx).isDead(); |
| 522 | DstReg = MI.getOperand(OpIdx++).getReg(); |
| 523 | GetDSubRegs(DstReg, RegSpc, TRI, D0, D1, D2, D3); |
Bob Wilson | dc44990 | 2010-11-01 22:04:05 +0000 | [diff] [blame] | 524 | MIB.addReg(D0, RegState::Define | getDeadRegState(DstIsDead)); |
| 525 | if (NumRegs > 1) |
| 526 | MIB.addReg(D1, RegState::Define | getDeadRegState(DstIsDead)); |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 527 | if (NumRegs > 2) |
| 528 | MIB.addReg(D2, RegState::Define | getDeadRegState(DstIsDead)); |
| 529 | if (NumRegs > 3) |
| 530 | MIB.addReg(D3, RegState::Define | getDeadRegState(DstIsDead)); |
| 531 | } |
| 532 | |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 533 | if (TableEntry->isUpdating) |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 534 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 535 | |
| 536 | // Copy the addrmode6 operands. |
| 537 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 538 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 539 | // Copy the am6offset operand. |
Jim Grosbach | e4c8e69 | 2011-10-31 19:11:23 +0000 | [diff] [blame] | 540 | if (TableEntry->hasWritebackOperand) |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 541 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 542 | |
| 543 | // Grab the super-register source. |
| 544 | MachineOperand MO = MI.getOperand(OpIdx++); |
| 545 | if (!TableEntry->IsLoad) |
| 546 | GetDSubRegs(MO.getReg(), RegSpc, TRI, D0, D1, D2, D3); |
| 547 | |
| 548 | // Add the subregs as sources of the new instruction. |
| 549 | unsigned SrcFlags = (getUndefRegState(MO.isUndef()) | |
| 550 | getKillRegState(MO.isKill())); |
Bob Wilson | dc44990 | 2010-11-01 22:04:05 +0000 | [diff] [blame] | 551 | MIB.addReg(D0, SrcFlags); |
| 552 | if (NumRegs > 1) |
| 553 | MIB.addReg(D1, SrcFlags); |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 554 | if (NumRegs > 2) |
| 555 | MIB.addReg(D2, SrcFlags); |
| 556 | if (NumRegs > 3) |
| 557 | MIB.addReg(D3, SrcFlags); |
| 558 | |
| 559 | // Add the lane number operand. |
| 560 | MIB.addImm(Lane); |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 561 | OpIdx += 1; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 562 | |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 563 | // Copy the predicate operands. |
| 564 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 565 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 566 | |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 567 | // Copy the super-register source to be an implicit source. |
| 568 | MO.setImplicit(true); |
| 569 | MIB.addOperand(MO); |
| 570 | if (TableEntry->IsLoad) |
| 571 | // Add an implicit def for the super-register. |
| 572 | MIB.addReg(DstReg, RegState::ImplicitDefine | getDeadRegState(DstIsDead)); |
| 573 | TransferImpOps(MI, MIB, MIB); |
Jakob Stoklund Olesen | 465cdf3 | 2011-12-17 00:07:02 +0000 | [diff] [blame] | 574 | // Transfer memoperands. |
| 575 | MIB->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 576 | MI.eraseFromParent(); |
| 577 | } |
| 578 | |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 579 | /// ExpandVTBL - Translate VTBL and VTBX pseudo instructions with Q or QQ |
| 580 | /// register operands to real instructions with D register operands. |
| 581 | void ARMExpandPseudo::ExpandVTBL(MachineBasicBlock::iterator &MBBI, |
Jim Grosbach | 4a5c887 | 2011-12-15 22:27:11 +0000 | [diff] [blame] | 582 | unsigned Opc, bool IsExt) { |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 583 | MachineInstr &MI = *MBBI; |
| 584 | MachineBasicBlock &MBB = *MI.getParent(); |
| 585 | |
| 586 | MachineInstrBuilder MIB = BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(Opc)); |
| 587 | unsigned OpIdx = 0; |
| 588 | |
| 589 | // Transfer the destination register operand. |
| 590 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 591 | if (IsExt) |
| 592 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 593 | |
| 594 | bool SrcIsKill = MI.getOperand(OpIdx).isKill(); |
| 595 | unsigned SrcReg = MI.getOperand(OpIdx++).getReg(); |
| 596 | unsigned D0, D1, D2, D3; |
| 597 | GetDSubRegs(SrcReg, SingleSpc, TRI, D0, D1, D2, D3); |
Jim Grosbach | 4a5c887 | 2011-12-15 22:27:11 +0000 | [diff] [blame] | 598 | MIB.addReg(D0); |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 599 | |
| 600 | // Copy the other source register operand. |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 601 | MIB.addOperand(MI.getOperand(OpIdx++)); |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 602 | |
Bob Wilson | 450c6cf | 2010-09-16 04:25:37 +0000 | [diff] [blame] | 603 | // Copy the predicate operands. |
| 604 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 605 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 606 | |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 607 | if (SrcIsKill) // Add an implicit kill for the super-reg. |
| 608 | MIB->addRegisterKilled(SrcReg, TRI, true); |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 609 | TransferImpOps(MI, MIB, MIB); |
| 610 | MI.eraseFromParent(); |
| 611 | } |
| 612 | |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 613 | void ARMExpandPseudo::ExpandMOV32BitImm(MachineBasicBlock &MBB, |
| 614 | MachineBasicBlock::iterator &MBBI) { |
| 615 | MachineInstr &MI = *MBBI; |
| 616 | unsigned Opcode = MI.getOpcode(); |
| 617 | unsigned PredReg = 0; |
Craig Topper | f6e7e12 | 2012-03-27 07:21:54 +0000 | [diff] [blame] | 618 | ARMCC::CondCodes Pred = getInstrPredicate(&MI, PredReg); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 619 | unsigned DstReg = MI.getOperand(0).getReg(); |
| 620 | bool DstIsDead = MI.getOperand(0).isDead(); |
| 621 | bool isCC = Opcode == ARM::MOVCCi32imm || Opcode == ARM::t2MOVCCi32imm; |
| 622 | const MachineOperand &MO = MI.getOperand(isCC ? 2 : 1); |
| 623 | MachineInstrBuilder LO16, HI16; |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 624 | |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 625 | if (!STI->hasV6T2Ops() && |
| 626 | (Opcode == ARM::MOVi32imm || Opcode == ARM::MOVCCi32imm)) { |
| 627 | // Expand into a movi + orr. |
| 628 | LO16 = BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(ARM::MOVi), DstReg); |
| 629 | HI16 = BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(ARM::ORRri)) |
| 630 | .addReg(DstReg, RegState::Define | getDeadRegState(DstIsDead)) |
| 631 | .addReg(DstReg); |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 632 | |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 633 | assert (MO.isImm() && "MOVi32imm w/ non-immediate source operand!"); |
| 634 | unsigned ImmVal = (unsigned)MO.getImm(); |
| 635 | unsigned SOImmValV1 = ARM_AM::getSOImmTwoPartFirst(ImmVal); |
| 636 | unsigned SOImmValV2 = ARM_AM::getSOImmTwoPartSecond(ImmVal); |
| 637 | LO16 = LO16.addImm(SOImmValV1); |
| 638 | HI16 = HI16.addImm(SOImmValV2); |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 639 | LO16->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
| 640 | HI16->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 641 | LO16.addImm(Pred).addReg(PredReg).addReg(0); |
| 642 | HI16.addImm(Pred).addReg(PredReg).addReg(0); |
| 643 | TransferImpOps(MI, LO16, HI16); |
| 644 | MI.eraseFromParent(); |
| 645 | return; |
| 646 | } |
| 647 | |
| 648 | unsigned LO16Opc = 0; |
| 649 | unsigned HI16Opc = 0; |
| 650 | if (Opcode == ARM::t2MOVi32imm || Opcode == ARM::t2MOVCCi32imm) { |
| 651 | LO16Opc = ARM::t2MOVi16; |
| 652 | HI16Opc = ARM::t2MOVTi16; |
| 653 | } else { |
| 654 | LO16Opc = ARM::MOVi16; |
| 655 | HI16Opc = ARM::MOVTi16; |
| 656 | } |
| 657 | |
| 658 | LO16 = BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(LO16Opc), DstReg); |
| 659 | HI16 = BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(HI16Opc)) |
| 660 | .addReg(DstReg, RegState::Define | getDeadRegState(DstIsDead)) |
| 661 | .addReg(DstReg); |
| 662 | |
| 663 | if (MO.isImm()) { |
| 664 | unsigned Imm = MO.getImm(); |
| 665 | unsigned Lo16 = Imm & 0xffff; |
| 666 | unsigned Hi16 = (Imm >> 16) & 0xffff; |
| 667 | LO16 = LO16.addImm(Lo16); |
| 668 | HI16 = HI16.addImm(Hi16); |
| 669 | } else { |
| 670 | const GlobalValue *GV = MO.getGlobal(); |
| 671 | unsigned TF = MO.getTargetFlags(); |
| 672 | LO16 = LO16.addGlobalAddress(GV, MO.getOffset(), TF | ARMII::MO_LO16); |
| 673 | HI16 = HI16.addGlobalAddress(GV, MO.getOffset(), TF | ARMII::MO_HI16); |
| 674 | } |
| 675 | |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 676 | LO16->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
| 677 | HI16->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 678 | LO16.addImm(Pred).addReg(PredReg); |
| 679 | HI16.addImm(Pred).addReg(PredReg); |
| 680 | |
| 681 | TransferImpOps(MI, LO16, HI16); |
| 682 | MI.eraseFromParent(); |
| 683 | } |
| 684 | |
| 685 | bool ARMExpandPseudo::ExpandMI(MachineBasicBlock &MBB, |
| 686 | MachineBasicBlock::iterator MBBI) { |
| 687 | MachineInstr &MI = *MBBI; |
| 688 | unsigned Opcode = MI.getOpcode(); |
| 689 | switch (Opcode) { |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 690 | default: |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 691 | return false; |
Jim Grosbach | bb0547d | 2011-03-11 23:09:50 +0000 | [diff] [blame] | 692 | case ARM::VMOVScc: |
| 693 | case ARM::VMOVDcc: { |
| 694 | unsigned newOpc = Opcode == ARM::VMOVScc ? ARM::VMOVS : ARM::VMOVD; |
| 695 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(newOpc), |
| 696 | MI.getOperand(1).getReg()) |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 697 | .addOperand(MI.getOperand(2)) |
Jim Grosbach | bb0547d | 2011-03-11 23:09:50 +0000 | [diff] [blame] | 698 | .addImm(MI.getOperand(3).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 699 | .addOperand(MI.getOperand(4)); |
Jim Grosbach | bb0547d | 2011-03-11 23:09:50 +0000 | [diff] [blame] | 700 | |
| 701 | MI.eraseFromParent(); |
| 702 | return true; |
| 703 | } |
Jim Grosbach | 4def704 | 2011-07-01 17:14:11 +0000 | [diff] [blame] | 704 | case ARM::t2MOVCCr: |
Jim Grosbach | 62a7b47 | 2011-03-10 23:56:09 +0000 | [diff] [blame] | 705 | case ARM::MOVCCr: { |
Jim Grosbach | 4def704 | 2011-07-01 17:14:11 +0000 | [diff] [blame] | 706 | unsigned Opc = AFI->isThumbFunction() ? ARM::t2MOVr : ARM::MOVr; |
| 707 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(Opc), |
Jim Grosbach | 62a7b47 | 2011-03-10 23:56:09 +0000 | [diff] [blame] | 708 | MI.getOperand(1).getReg()) |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 709 | .addOperand(MI.getOperand(2)) |
Jim Grosbach | 62a7b47 | 2011-03-10 23:56:09 +0000 | [diff] [blame] | 710 | .addImm(MI.getOperand(3).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 711 | .addOperand(MI.getOperand(4)) |
Jim Grosbach | 62a7b47 | 2011-03-10 23:56:09 +0000 | [diff] [blame] | 712 | .addReg(0); // 's' bit |
| 713 | |
| 714 | MI.eraseFromParent(); |
| 715 | return true; |
| 716 | } |
Owen Anderson | 0491270 | 2011-07-21 23:38:37 +0000 | [diff] [blame] | 717 | case ARM::MOVCCsi: { |
| 718 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(ARM::MOVsi), |
| 719 | (MI.getOperand(1).getReg())) |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 720 | .addOperand(MI.getOperand(2)) |
Owen Anderson | 0491270 | 2011-07-21 23:38:37 +0000 | [diff] [blame] | 721 | .addImm(MI.getOperand(3).getImm()) |
| 722 | .addImm(MI.getOperand(4).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 723 | .addOperand(MI.getOperand(5)) |
Owen Anderson | 0491270 | 2011-07-21 23:38:37 +0000 | [diff] [blame] | 724 | .addReg(0); // 's' bit |
| 725 | |
| 726 | MI.eraseFromParent(); |
| 727 | return true; |
| 728 | } |
Owen Anderson | b595ed0 | 2011-07-21 18:54:16 +0000 | [diff] [blame] | 729 | case ARM::MOVCCsr: { |
Owen Anderson | 0491270 | 2011-07-21 23:38:37 +0000 | [diff] [blame] | 730 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(ARM::MOVsr), |
Jim Grosbach | 62a7b47 | 2011-03-10 23:56:09 +0000 | [diff] [blame] | 731 | (MI.getOperand(1).getReg())) |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 732 | .addOperand(MI.getOperand(2)) |
| 733 | .addOperand(MI.getOperand(3)) |
Jim Grosbach | 62a7b47 | 2011-03-10 23:56:09 +0000 | [diff] [blame] | 734 | .addImm(MI.getOperand(4).getImm()) |
| 735 | .addImm(MI.getOperand(5).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 736 | .addOperand(MI.getOperand(6)) |
Jim Grosbach | 62a7b47 | 2011-03-10 23:56:09 +0000 | [diff] [blame] | 737 | .addReg(0); // 's' bit |
| 738 | |
| 739 | MI.eraseFromParent(); |
| 740 | return true; |
| 741 | } |
Tim Northover | 4218044 | 2013-08-22 09:57:11 +0000 | [diff] [blame] | 742 | case ARM::t2MOVCCi16: |
Jim Grosbach | d025498 | 2011-03-11 01:09:28 +0000 | [diff] [blame] | 743 | case ARM::MOVCCi16: { |
Tim Northover | 4218044 | 2013-08-22 09:57:11 +0000 | [diff] [blame] | 744 | unsigned NewOpc = AFI->isThumbFunction() ? ARM::t2MOVi16 : ARM::MOVi16; |
| 745 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(NewOpc), |
Jim Grosbach | d025498 | 2011-03-11 01:09:28 +0000 | [diff] [blame] | 746 | MI.getOperand(1).getReg()) |
| 747 | .addImm(MI.getOperand(2).getImm()) |
| 748 | .addImm(MI.getOperand(3).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 749 | .addOperand(MI.getOperand(4)); |
Jim Grosbach | d025498 | 2011-03-11 01:09:28 +0000 | [diff] [blame] | 750 | MI.eraseFromParent(); |
| 751 | return true; |
| 752 | } |
Jim Grosbach | 4def704 | 2011-07-01 17:14:11 +0000 | [diff] [blame] | 753 | case ARM::t2MOVCCi: |
Jim Grosbach | d025498 | 2011-03-11 01:09:28 +0000 | [diff] [blame] | 754 | case ARM::MOVCCi: { |
Jim Grosbach | 4def704 | 2011-07-01 17:14:11 +0000 | [diff] [blame] | 755 | unsigned Opc = AFI->isThumbFunction() ? ARM::t2MOVi : ARM::MOVi; |
| 756 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(Opc), |
Jim Grosbach | d025498 | 2011-03-11 01:09:28 +0000 | [diff] [blame] | 757 | MI.getOperand(1).getReg()) |
| 758 | .addImm(MI.getOperand(2).getImm()) |
| 759 | .addImm(MI.getOperand(3).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 760 | .addOperand(MI.getOperand(4)) |
Jim Grosbach | d025498 | 2011-03-11 01:09:28 +0000 | [diff] [blame] | 761 | .addReg(0); // 's' bit |
| 762 | |
| 763 | MI.eraseFromParent(); |
| 764 | return true; |
| 765 | } |
Tim Northover | 4218044 | 2013-08-22 09:57:11 +0000 | [diff] [blame] | 766 | case ARM::t2MVNCCi: |
Jim Grosbach | fa56bca | 2011-03-11 19:55:55 +0000 | [diff] [blame] | 767 | case ARM::MVNCCi: { |
Tim Northover | 4218044 | 2013-08-22 09:57:11 +0000 | [diff] [blame] | 768 | unsigned Opc = AFI->isThumbFunction() ? ARM::t2MVNi : ARM::MVNi; |
| 769 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(Opc), |
Jim Grosbach | fa56bca | 2011-03-11 19:55:55 +0000 | [diff] [blame] | 770 | MI.getOperand(1).getReg()) |
| 771 | .addImm(MI.getOperand(2).getImm()) |
| 772 | .addImm(MI.getOperand(3).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 773 | .addOperand(MI.getOperand(4)) |
Jim Grosbach | fa56bca | 2011-03-11 19:55:55 +0000 | [diff] [blame] | 774 | .addReg(0); // 's' bit |
| 775 | |
| 776 | MI.eraseFromParent(); |
| 777 | return true; |
| 778 | } |
Tim Northover | 4218044 | 2013-08-22 09:57:11 +0000 | [diff] [blame] | 779 | case ARM::t2MOVCClsl: |
| 780 | case ARM::t2MOVCClsr: |
| 781 | case ARM::t2MOVCCasr: |
| 782 | case ARM::t2MOVCCror: { |
| 783 | unsigned NewOpc; |
| 784 | switch (Opcode) { |
| 785 | case ARM::t2MOVCClsl: NewOpc = ARM::t2LSLri; break; |
| 786 | case ARM::t2MOVCClsr: NewOpc = ARM::t2LSRri; break; |
| 787 | case ARM::t2MOVCCasr: NewOpc = ARM::t2ASRri; break; |
| 788 | case ARM::t2MOVCCror: NewOpc = ARM::t2RORri; break; |
| 789 | default: llvm_unreachable("unexpeced conditional move"); |
| 790 | } |
| 791 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(NewOpc), |
| 792 | MI.getOperand(1).getReg()) |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 793 | .addOperand(MI.getOperand(2)) |
Tim Northover | 4218044 | 2013-08-22 09:57:11 +0000 | [diff] [blame] | 794 | .addImm(MI.getOperand(3).getImm()) |
| 795 | .addImm(MI.getOperand(4).getImm()) // 'pred' |
Matthias Braun | da62116 | 2013-10-04 16:52:51 +0000 | [diff] [blame] | 796 | .addOperand(MI.getOperand(5)) |
Tim Northover | 4218044 | 2013-08-22 09:57:11 +0000 | [diff] [blame] | 797 | .addReg(0); // 's' bit |
| 798 | MI.eraseFromParent(); |
| 799 | return true; |
| 800 | } |
Chad Rosier | 1ec8e40 | 2012-11-06 23:05:24 +0000 | [diff] [blame] | 801 | case ARM::Int_eh_sjlj_dispatchsetup: { |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 802 | MachineFunction &MF = *MI.getParent()->getParent(); |
| 803 | const ARMBaseInstrInfo *AII = |
| 804 | static_cast<const ARMBaseInstrInfo*>(TII); |
| 805 | const ARMBaseRegisterInfo &RI = AII->getRegisterInfo(); |
| 806 | // For functions using a base pointer, we rematerialize it (via the frame |
| 807 | // pointer) here since eh.sjlj.setjmp and eh.sjlj.longjmp don't do it |
| 808 | // for us. Otherwise, expand to nothing. |
| 809 | if (RI.hasBasePointer(MF)) { |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 810 | int32_t NumBytes = AFI->getFramePtrSpillOffset(); |
| 811 | unsigned FramePtr = RI.getFrameRegister(MF); |
Anton Korobeynikov | 2f93128 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 812 | assert(MF.getTarget().getFrameLowering()->hasFP(MF) && |
Benjamin Kramer | 2e49eaa | 2010-11-19 16:36:02 +0000 | [diff] [blame] | 813 | "base pointer without frame pointer?"); |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 814 | |
| 815 | if (AFI->isThumb2Function()) { |
Craig Topper | f6e7e12 | 2012-03-27 07:21:54 +0000 | [diff] [blame] | 816 | emitT2RegPlusImmediate(MBB, MBBI, MI.getDebugLoc(), ARM::R6, |
| 817 | FramePtr, -NumBytes, ARMCC::AL, 0, *TII); |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 818 | } else if (AFI->isThumbFunction()) { |
Craig Topper | f6e7e12 | 2012-03-27 07:21:54 +0000 | [diff] [blame] | 819 | emitThumbRegPlusImmediate(MBB, MBBI, MI.getDebugLoc(), ARM::R6, |
| 820 | FramePtr, -NumBytes, *TII, RI); |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 821 | } else { |
Craig Topper | f6e7e12 | 2012-03-27 07:21:54 +0000 | [diff] [blame] | 822 | emitARMRegPlusImmediate(MBB, MBBI, MI.getDebugLoc(), ARM::R6, |
| 823 | FramePtr, -NumBytes, ARMCC::AL, 0, |
| 824 | *TII); |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 825 | } |
Jim Grosbach | cb6fc2b | 2010-10-20 00:02:50 +0000 | [diff] [blame] | 826 | // If there's dynamic realignment, adjust for it. |
Jim Grosbach | 723159e | 2010-10-20 01:10:01 +0000 | [diff] [blame] | 827 | if (RI.needsStackRealignment(MF)) { |
Jim Grosbach | cb6fc2b | 2010-10-20 00:02:50 +0000 | [diff] [blame] | 828 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
| 829 | unsigned MaxAlign = MFI->getMaxAlignment(); |
| 830 | assert (!AFI->isThumb1OnlyFunction()); |
| 831 | // Emit bic r6, r6, MaxAlign |
| 832 | unsigned bicOpc = AFI->isThumbFunction() ? |
| 833 | ARM::t2BICri : ARM::BICri; |
| 834 | AddDefaultCC(AddDefaultPred(BuildMI(MBB, MBBI, MI.getDebugLoc(), |
| 835 | TII->get(bicOpc), ARM::R6) |
| 836 | .addReg(ARM::R6, RegState::Kill) |
| 837 | .addImm(MaxAlign-1))); |
| 838 | } |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 839 | |
| 840 | } |
| 841 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 842 | return true; |
Jim Grosbach | bbdc5d2 | 2010-10-19 23:27:08 +0000 | [diff] [blame] | 843 | } |
| 844 | |
Jim Grosbach | 8b6a9c1 | 2010-10-14 22:57:13 +0000 | [diff] [blame] | 845 | case ARM::MOVsrl_flag: |
| 846 | case ARM::MOVsra_flag: { |
Robert Wilhelm | 2788d3e | 2013-09-28 13:42:22 +0000 | [diff] [blame] | 847 | // These are just fancy MOVs instructions. |
Owen Anderson | 0491270 | 2011-07-21 23:38:37 +0000 | [diff] [blame] | 848 | AddDefaultPred(BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(ARM::MOVsi), |
Duncan Sands | b014abf3e | 2010-10-21 16:06:28 +0000 | [diff] [blame] | 849 | MI.getOperand(0).getReg()) |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 850 | .addOperand(MI.getOperand(1)) |
Jim Grosbach | 06210a2 | 2011-07-13 17:25:55 +0000 | [diff] [blame] | 851 | .addImm(ARM_AM::getSORegOpc((Opcode == ARM::MOVsrl_flag ? |
| 852 | ARM_AM::lsr : ARM_AM::asr), |
| 853 | 1))) |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 854 | .addReg(ARM::CPSR, RegState::Define); |
Jim Grosbach | 8b6a9c1 | 2010-10-14 22:57:13 +0000 | [diff] [blame] | 855 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 856 | return true; |
Jim Grosbach | 8b6a9c1 | 2010-10-14 22:57:13 +0000 | [diff] [blame] | 857 | } |
| 858 | case ARM::RRX: { |
| 859 | // This encodes as "MOVs Rd, Rm, rrx |
| 860 | MachineInstrBuilder MIB = |
Jim Grosbach | 05dec8b1 | 2011-09-02 18:46:15 +0000 | [diff] [blame] | 861 | AddDefaultPred(BuildMI(MBB, MBBI, MI.getDebugLoc(),TII->get(ARM::MOVsi), |
Jim Grosbach | 8b6a9c1 | 2010-10-14 22:57:13 +0000 | [diff] [blame] | 862 | MI.getOperand(0).getReg()) |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 863 | .addOperand(MI.getOperand(1)) |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 864 | .addImm(ARM_AM::getSORegOpc(ARM_AM::rrx, 0))) |
Jim Grosbach | 8b6a9c1 | 2010-10-14 22:57:13 +0000 | [diff] [blame] | 865 | .addReg(0); |
| 866 | TransferImpOps(MI, MIB, MIB); |
| 867 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 868 | return true; |
Jim Grosbach | 8b6a9c1 | 2010-10-14 22:57:13 +0000 | [diff] [blame] | 869 | } |
Jim Grosbach | e4750ef | 2011-06-30 19:38:01 +0000 | [diff] [blame] | 870 | case ARM::tTPsoft: |
Jason W Kim | c79c5f6 | 2010-12-08 23:14:44 +0000 | [diff] [blame] | 871 | case ARM::TPsoft: { |
Owen Anderson | 4ebf471 | 2011-02-08 22:39:40 +0000 | [diff] [blame] | 872 | MachineInstrBuilder MIB = |
Jason W Kim | c79c5f6 | 2010-12-08 23:14:44 +0000 | [diff] [blame] | 873 | BuildMI(MBB, MBBI, MI.getDebugLoc(), |
Jim Grosbach | e4750ef | 2011-06-30 19:38:01 +0000 | [diff] [blame] | 874 | TII->get(Opcode == ARM::tTPsoft ? ARM::tBL : ARM::BL)) |
Jason W Kim | c79c5f6 | 2010-12-08 23:14:44 +0000 | [diff] [blame] | 875 | .addExternalSymbol("__aeabi_read_tp", 0); |
| 876 | |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 877 | MIB->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Jason W Kim | c79c5f6 | 2010-12-08 23:14:44 +0000 | [diff] [blame] | 878 | TransferImpOps(MI, MIB, MIB); |
| 879 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 880 | return true; |
Bill Wendling | f75412d | 2010-12-09 00:51:54 +0000 | [diff] [blame] | 881 | } |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 882 | case ARM::tLDRpci_pic: |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 883 | case ARM::t2LDRpci_pic: { |
| 884 | unsigned NewLdOpc = (Opcode == ARM::tLDRpci_pic) |
Owen Anderson | 4ebf471 | 2011-02-08 22:39:40 +0000 | [diff] [blame] | 885 | ? ARM::tLDRpci : ARM::t2LDRpci; |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 886 | unsigned DstReg = MI.getOperand(0).getReg(); |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 887 | bool DstIsDead = MI.getOperand(0).isDead(); |
| 888 | MachineInstrBuilder MIB1 = |
Owen Anderson | 4ebf471 | 2011-02-08 22:39:40 +0000 | [diff] [blame] | 889 | AddDefaultPred(BuildMI(MBB, MBBI, MI.getDebugLoc(), |
| 890 | TII->get(NewLdOpc), DstReg) |
| 891 | .addOperand(MI.getOperand(1))); |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 892 | MIB1->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 893 | MachineInstrBuilder MIB2 = BuildMI(MBB, MBBI, MI.getDebugLoc(), |
| 894 | TII->get(ARM::tPICADD)) |
Bob Wilson | f1b3681 | 2010-10-15 18:25:59 +0000 | [diff] [blame] | 895 | .addReg(DstReg, RegState::Define | getDeadRegState(DstIsDead)) |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 896 | .addReg(DstReg) |
| 897 | .addOperand(MI.getOperand(2)); |
| 898 | TransferImpOps(MI, MIB1, MIB2); |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 899 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 900 | return true; |
| 901 | } |
| 902 | |
Tim Northover | 72360d2 | 2013-12-02 10:35:41 +0000 | [diff] [blame^] | 903 | case ARM::LDRLIT_ga_abs: |
| 904 | case ARM::LDRLIT_ga_pcrel: |
| 905 | case ARM::LDRLIT_ga_pcrel_ldr: |
| 906 | case ARM::tLDRLIT_ga_abs: |
| 907 | case ARM::tLDRLIT_ga_pcrel: { |
| 908 | unsigned DstReg = MI.getOperand(0).getReg(); |
| 909 | bool DstIsDead = MI.getOperand(0).isDead(); |
| 910 | const MachineOperand &MO1 = MI.getOperand(1); |
| 911 | const GlobalValue *GV = MO1.getGlobal(); |
| 912 | bool IsARM = |
| 913 | Opcode != ARM::tLDRLIT_ga_pcrel && Opcode != ARM::tLDRLIT_ga_abs; |
| 914 | bool IsPIC = |
| 915 | Opcode != ARM::LDRLIT_ga_abs && Opcode != ARM::tLDRLIT_ga_abs; |
| 916 | unsigned LDRLITOpc = IsARM ? ARM::LDRi12 : ARM::tLDRpci; |
| 917 | unsigned PICAddOpc = |
| 918 | IsARM |
| 919 | ? (Opcode == ARM::LDRLIT_ga_pcrel_ldr ? ARM::PICADD : ARM::PICLDR) |
| 920 | : ARM::tPICADD; |
| 921 | |
| 922 | // We need a new const-pool entry to load from. |
| 923 | MachineConstantPool *MCP = MBB.getParent()->getConstantPool(); |
| 924 | unsigned ARMPCLabelIndex = 0; |
| 925 | MachineConstantPoolValue *CPV; |
| 926 | |
| 927 | if (IsPIC) { |
| 928 | unsigned PCAdj = IsARM ? 8 : 4; |
| 929 | ARMPCLabelIndex = AFI->createPICLabelUId(); |
| 930 | CPV = ARMConstantPoolConstant::Create(GV, ARMPCLabelIndex, |
| 931 | ARMCP::CPValue, PCAdj); |
| 932 | } else |
| 933 | CPV = ARMConstantPoolConstant::Create(GV, ARMCP::no_modifier); |
| 934 | |
| 935 | MachineInstrBuilder MIB = |
| 936 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(LDRLITOpc), DstReg) |
| 937 | .addConstantPoolIndex(MCP->getConstantPoolIndex(CPV, 4)); |
| 938 | if (IsARM) |
| 939 | MIB.addImm(0); |
| 940 | AddDefaultPred(MIB); |
| 941 | |
| 942 | if (IsPIC) { |
| 943 | MachineInstrBuilder MIB = |
| 944 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(PICAddOpc)) |
| 945 | .addReg(DstReg, RegState::Define | getDeadRegState(DstIsDead)) |
| 946 | .addReg(DstReg) |
| 947 | .addImm(ARMPCLabelIndex); |
| 948 | |
| 949 | if (IsARM) |
| 950 | AddDefaultPred(MIB); |
| 951 | } |
| 952 | |
| 953 | MI.eraseFromParent(); |
| 954 | return true; |
| 955 | } |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 956 | case ARM::MOV_ga_pcrel: |
| 957 | case ARM::MOV_ga_pcrel_ldr: |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 958 | case ARM::t2MOV_ga_pcrel: { |
| 959 | // Expand into movw + movw. Also "add pc" / ldr [pc] in PIC mode. |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 960 | unsigned LabelId = AFI->createPICLabelUId(); |
| 961 | unsigned DstReg = MI.getOperand(0).getReg(); |
| 962 | bool DstIsDead = MI.getOperand(0).isDead(); |
| 963 | const MachineOperand &MO1 = MI.getOperand(1); |
| 964 | const GlobalValue *GV = MO1.getGlobal(); |
| 965 | unsigned TF = MO1.getTargetFlags(); |
Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 966 | bool isARM = Opcode != ARM::t2MOV_ga_pcrel; |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 967 | unsigned LO16Opc = isARM ? ARM::MOVi16_ga_pcrel : ARM::t2MOVi16_ga_pcrel; |
Jim Grosbach | 06210a2 | 2011-07-13 17:25:55 +0000 | [diff] [blame] | 968 | unsigned HI16Opc = isARM ? ARM::MOVTi16_ga_pcrel :ARM::t2MOVTi16_ga_pcrel; |
Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 969 | unsigned LO16TF = TF | ARMII::MO_LO16; |
| 970 | unsigned HI16TF = TF | ARMII::MO_HI16; |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 971 | unsigned PICAddOpc = isARM |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 972 | ? (Opcode == ARM::MOV_ga_pcrel_ldr ? ARM::PICLDR : ARM::PICADD) |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 973 | : ARM::tPICADD; |
| 974 | MachineInstrBuilder MIB1 = BuildMI(MBB, MBBI, MI.getDebugLoc(), |
| 975 | TII->get(LO16Opc), DstReg) |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 976 | .addGlobalAddress(GV, MO1.getOffset(), TF | LO16TF) |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 977 | .addImm(LabelId); |
Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 978 | |
| 979 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(HI16Opc), DstReg) |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 980 | .addReg(DstReg) |
| 981 | .addGlobalAddress(GV, MO1.getOffset(), TF | HI16TF) |
| 982 | .addImm(LabelId); |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 983 | |
| 984 | MachineInstrBuilder MIB3 = BuildMI(MBB, MBBI, MI.getDebugLoc(), |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 985 | TII->get(PICAddOpc)) |
| 986 | .addReg(DstReg, RegState::Define | getDeadRegState(DstIsDead)) |
| 987 | .addReg(DstReg).addImm(LabelId); |
| 988 | if (isARM) { |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 989 | AddDefaultPred(MIB3); |
| 990 | if (Opcode == ARM::MOV_ga_pcrel_ldr) |
Jakob Stoklund Olesen | 4fd0e4f | 2012-05-20 06:38:42 +0000 | [diff] [blame] | 991 | MIB3->setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 992 | } |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 993 | TransferImpOps(MI, MIB1, MIB3); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 994 | MI.eraseFromParent(); |
| 995 | return true; |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 996 | } |
Evan Cheng | 7c1f56f | 2010-05-12 23:13:12 +0000 | [diff] [blame] | 997 | |
Anton Korobeynikov | 48043d0 | 2010-08-30 22:50:36 +0000 | [diff] [blame] | 998 | case ARM::MOVi32imm: |
Evan Cheng | 2bcb8da | 2010-11-13 02:25:14 +0000 | [diff] [blame] | 999 | case ARM::MOVCCi32imm: |
| 1000 | case ARM::t2MOVi32imm: |
Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1001 | case ARM::t2MOVCCi32imm: |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1002 | ExpandMOV32BitImm(MBB, MBBI); |
| 1003 | return true; |
Evan Cheng | 2f736c9 | 2010-05-13 00:17:02 +0000 | [diff] [blame] | 1004 | |
Tim Northover | d840745 | 2013-10-01 14:33:28 +0000 | [diff] [blame] | 1005 | case ARM::SUBS_PC_LR: { |
| 1006 | MachineInstrBuilder MIB = |
| 1007 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(ARM::SUBri), ARM::PC) |
| 1008 | .addReg(ARM::LR) |
| 1009 | .addOperand(MI.getOperand(0)) |
| 1010 | .addOperand(MI.getOperand(1)) |
| 1011 | .addOperand(MI.getOperand(2)) |
| 1012 | .addReg(ARM::CPSR, RegState::Undef); |
| 1013 | TransferImpOps(MI, MIB, MIB); |
| 1014 | MI.eraseFromParent(); |
| 1015 | return true; |
| 1016 | } |
Owen Anderson | d6c5a74 | 2011-03-29 16:45:53 +0000 | [diff] [blame] | 1017 | case ARM::VLDMQIA: { |
| 1018 | unsigned NewOpc = ARM::VLDMDIA; |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1019 | MachineInstrBuilder MIB = |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1020 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(NewOpc)); |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1021 | unsigned OpIdx = 0; |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1022 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1023 | // Grab the Q register destination. |
| 1024 | bool DstIsDead = MI.getOperand(OpIdx).isDead(); |
| 1025 | unsigned DstReg = MI.getOperand(OpIdx++).getReg(); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1026 | |
| 1027 | // Copy the source register. |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1028 | MIB.addOperand(MI.getOperand(OpIdx++)); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1029 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1030 | // Copy the predicate operands. |
| 1031 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 1032 | MIB.addOperand(MI.getOperand(OpIdx++)); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1033 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1034 | // Add the destination operands (D subregs). |
| 1035 | unsigned D0 = TRI->getSubReg(DstReg, ARM::dsub_0); |
| 1036 | unsigned D1 = TRI->getSubReg(DstReg, ARM::dsub_1); |
| 1037 | MIB.addReg(D0, RegState::Define | getDeadRegState(DstIsDead)) |
| 1038 | .addReg(D1, RegState::Define | getDeadRegState(DstIsDead)); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1039 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1040 | // Add an implicit def for the super-register. |
| 1041 | MIB.addReg(DstReg, RegState::ImplicitDefine | getDeadRegState(DstIsDead)); |
| 1042 | TransferImpOps(MI, MIB, MIB); |
Jakob Stoklund Olesen | 465cdf3 | 2011-12-17 00:07:02 +0000 | [diff] [blame] | 1043 | MIB.setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1044 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1045 | return true; |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1046 | } |
| 1047 | |
Owen Anderson | d6c5a74 | 2011-03-29 16:45:53 +0000 | [diff] [blame] | 1048 | case ARM::VSTMQIA: { |
| 1049 | unsigned NewOpc = ARM::VSTMDIA; |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1050 | MachineInstrBuilder MIB = |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1051 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(NewOpc)); |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1052 | unsigned OpIdx = 0; |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1053 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1054 | // Grab the Q register source. |
| 1055 | bool SrcIsKill = MI.getOperand(OpIdx).isKill(); |
| 1056 | unsigned SrcReg = MI.getOperand(OpIdx++).getReg(); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1057 | |
| 1058 | // Copy the destination register. |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1059 | MIB.addOperand(MI.getOperand(OpIdx++)); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1060 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1061 | // Copy the predicate operands. |
| 1062 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 1063 | MIB.addOperand(MI.getOperand(OpIdx++)); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1064 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1065 | // Add the source operands (D subregs). |
| 1066 | unsigned D0 = TRI->getSubReg(SrcReg, ARM::dsub_0); |
| 1067 | unsigned D1 = TRI->getSubReg(SrcReg, ARM::dsub_1); |
| 1068 | MIB.addReg(D0).addReg(D1); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1069 | |
Chris Lattner | 1d0c257 | 2011-04-29 05:24:29 +0000 | [diff] [blame] | 1070 | if (SrcIsKill) // Add an implicit kill for the Q register. |
| 1071 | MIB->addRegisterKilled(SrcReg, TRI, true); |
Bill Wendling | a68e3a5 | 2010-11-16 01:16:36 +0000 | [diff] [blame] | 1072 | |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1073 | TransferImpOps(MI, MIB, MIB); |
Jakob Stoklund Olesen | 465cdf3 | 2011-12-17 00:07:02 +0000 | [diff] [blame] | 1074 | MIB.setMemRefs(MI.memoperands_begin(), MI.memoperands_end()); |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1075 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1076 | return true; |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1077 | } |
Jim Grosbach | 2e3e2a0 | 2010-10-06 21:16:16 +0000 | [diff] [blame] | 1078 | case ARM::VDUPfqf: |
| 1079 | case ARM::VDUPfdf:{ |
Jim Grosbach | c77dea7 | 2011-03-11 20:31:17 +0000 | [diff] [blame] | 1080 | unsigned NewOpc = Opcode == ARM::VDUPfqf ? ARM::VDUPLN32q : |
| 1081 | ARM::VDUPLN32d; |
Jim Grosbach | 2e3e2a0 | 2010-10-06 21:16:16 +0000 | [diff] [blame] | 1082 | MachineInstrBuilder MIB = |
| 1083 | BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(NewOpc)); |
| 1084 | unsigned OpIdx = 0; |
| 1085 | unsigned SrcReg = MI.getOperand(1).getReg(); |
Eric Christopher | 6ac277c | 2012-08-09 22:10:21 +0000 | [diff] [blame] | 1086 | unsigned Lane = TRI->getEncodingValue(SrcReg) & 1; |
Jim Grosbach | 2e3e2a0 | 2010-10-06 21:16:16 +0000 | [diff] [blame] | 1087 | unsigned DReg = TRI->getMatchingSuperReg(SrcReg, |
Jim Grosbach | 9f2b3b5 | 2011-03-11 23:00:16 +0000 | [diff] [blame] | 1088 | Lane & 1 ? ARM::ssub_1 : ARM::ssub_0, |
| 1089 | &ARM::DPR_VFP2RegClass); |
Jim Grosbach | 2e3e2a0 | 2010-10-06 21:16:16 +0000 | [diff] [blame] | 1090 | // The lane is [0,1] for the containing DReg superregister. |
| 1091 | // Copy the dst/src register operands. |
| 1092 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 1093 | MIB.addReg(DReg); |
| 1094 | ++OpIdx; |
| 1095 | // Add the lane select operand. |
| 1096 | MIB.addImm(Lane); |
| 1097 | // Add the predicate operands. |
| 1098 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 1099 | MIB.addOperand(MI.getOperand(OpIdx++)); |
| 1100 | |
| 1101 | TransferImpOps(MI, MIB, MIB); |
| 1102 | MI.eraseFromParent(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1103 | return true; |
Jim Grosbach | 2e3e2a0 | 2010-10-06 21:16:16 +0000 | [diff] [blame] | 1104 | } |
Bob Wilson | 6b853c3 | 2010-09-16 00:31:02 +0000 | [diff] [blame] | 1105 | |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 1106 | case ARM::VLD2q8Pseudo: |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 1107 | case ARM::VLD2q16Pseudo: |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 1108 | case ARM::VLD2q32Pseudo: |
Jim Grosbach | d146a02 | 2011-12-09 21:28:25 +0000 | [diff] [blame] | 1109 | case ARM::VLD2q8PseudoWB_fixed: |
| 1110 | case ARM::VLD2q16PseudoWB_fixed: |
| 1111 | case ARM::VLD2q32PseudoWB_fixed: |
Jim Grosbach | d146a02 | 2011-12-09 21:28:25 +0000 | [diff] [blame] | 1112 | case ARM::VLD2q8PseudoWB_register: |
| 1113 | case ARM::VLD2q16PseudoWB_register: |
| 1114 | case ARM::VLD2q32PseudoWB_register: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1115 | case ARM::VLD3d8Pseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1116 | case ARM::VLD3d16Pseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1117 | case ARM::VLD3d32Pseudo: |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 1118 | case ARM::VLD1d64TPseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1119 | case ARM::VLD3d8Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1120 | case ARM::VLD3d16Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1121 | case ARM::VLD3d32Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1122 | case ARM::VLD3q8Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1123 | case ARM::VLD3q16Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1124 | case ARM::VLD3q32Pseudo_UPD: |
Bob Wilson | a609b89 | 2011-02-07 17:43:15 +0000 | [diff] [blame] | 1125 | case ARM::VLD3q8oddPseudo: |
| 1126 | case ARM::VLD3q16oddPseudo: |
| 1127 | case ARM::VLD3q32oddPseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1128 | case ARM::VLD3q8oddPseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1129 | case ARM::VLD3q16oddPseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1130 | case ARM::VLD3q32oddPseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1131 | case ARM::VLD4d8Pseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1132 | case ARM::VLD4d16Pseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1133 | case ARM::VLD4d32Pseudo: |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 1134 | case ARM::VLD1d64QPseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1135 | case ARM::VLD4d8Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1136 | case ARM::VLD4d16Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1137 | case ARM::VLD4d32Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1138 | case ARM::VLD4q8Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1139 | case ARM::VLD4q16Pseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1140 | case ARM::VLD4q32Pseudo_UPD: |
Bob Wilson | a609b89 | 2011-02-07 17:43:15 +0000 | [diff] [blame] | 1141 | case ARM::VLD4q8oddPseudo: |
| 1142 | case ARM::VLD4q16oddPseudo: |
| 1143 | case ARM::VLD4q32oddPseudo: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1144 | case ARM::VLD4q8oddPseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1145 | case ARM::VLD4q16oddPseudo_UPD: |
Bob Wilson | 35fafca | 2010-09-03 18:16:02 +0000 | [diff] [blame] | 1146 | case ARM::VLD4q32oddPseudo_UPD: |
Bob Wilson | 77ab165 | 2010-11-29 19:35:29 +0000 | [diff] [blame] | 1147 | case ARM::VLD3DUPd8Pseudo: |
| 1148 | case ARM::VLD3DUPd16Pseudo: |
| 1149 | case ARM::VLD3DUPd32Pseudo: |
| 1150 | case ARM::VLD3DUPd8Pseudo_UPD: |
| 1151 | case ARM::VLD3DUPd16Pseudo_UPD: |
| 1152 | case ARM::VLD3DUPd32Pseudo_UPD: |
Bob Wilson | 431ac4ef | 2010-11-30 00:00:35 +0000 | [diff] [blame] | 1153 | case ARM::VLD4DUPd8Pseudo: |
| 1154 | case ARM::VLD4DUPd16Pseudo: |
| 1155 | case ARM::VLD4DUPd32Pseudo: |
| 1156 | case ARM::VLD4DUPd8Pseudo_UPD: |
| 1157 | case ARM::VLD4DUPd16Pseudo_UPD: |
| 1158 | case ARM::VLD4DUPd32Pseudo_UPD: |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 1159 | ExpandVLD(MBBI); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1160 | return true; |
Bob Wilson | 75a6408 | 2010-09-02 16:00:54 +0000 | [diff] [blame] | 1161 | |
Bob Wilson | 950882b | 2010-08-28 05:12:57 +0000 | [diff] [blame] | 1162 | case ARM::VST2q8Pseudo: |
Bob Wilson | 950882b | 2010-08-28 05:12:57 +0000 | [diff] [blame] | 1163 | case ARM::VST2q16Pseudo: |
Bob Wilson | 950882b | 2010-08-28 05:12:57 +0000 | [diff] [blame] | 1164 | case ARM::VST2q32Pseudo: |
Jim Grosbach | 88ac761 | 2011-12-14 21:32:11 +0000 | [diff] [blame] | 1165 | case ARM::VST2q8PseudoWB_fixed: |
| 1166 | case ARM::VST2q16PseudoWB_fixed: |
| 1167 | case ARM::VST2q32PseudoWB_fixed: |
Jim Grosbach | 88ac761 | 2011-12-14 21:32:11 +0000 | [diff] [blame] | 1168 | case ARM::VST2q8PseudoWB_register: |
| 1169 | case ARM::VST2q16PseudoWB_register: |
| 1170 | case ARM::VST2q32PseudoWB_register: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1171 | case ARM::VST3d8Pseudo: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1172 | case ARM::VST3d16Pseudo: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1173 | case ARM::VST3d32Pseudo: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1174 | case ARM::VST1d64TPseudo: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1175 | case ARM::VST3d8Pseudo_UPD: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1176 | case ARM::VST3d16Pseudo_UPD: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1177 | case ARM::VST3d32Pseudo_UPD: |
Jim Grosbach | 98d032f | 2011-11-29 22:38:04 +0000 | [diff] [blame] | 1178 | case ARM::VST1d64TPseudoWB_fixed: |
| 1179 | case ARM::VST1d64TPseudoWB_register: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1180 | case ARM::VST3q8Pseudo_UPD: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1181 | case ARM::VST3q16Pseudo_UPD: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1182 | case ARM::VST3q32Pseudo_UPD: |
Bob Wilson | a609b89 | 2011-02-07 17:43:15 +0000 | [diff] [blame] | 1183 | case ARM::VST3q8oddPseudo: |
| 1184 | case ARM::VST3q16oddPseudo: |
| 1185 | case ARM::VST3q32oddPseudo: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1186 | case ARM::VST3q8oddPseudo_UPD: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1187 | case ARM::VST3q16oddPseudo_UPD: |
Bob Wilson | 97919e9 | 2010-08-26 18:51:29 +0000 | [diff] [blame] | 1188 | case ARM::VST3q32oddPseudo_UPD: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1189 | case ARM::VST4d8Pseudo: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1190 | case ARM::VST4d16Pseudo: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1191 | case ARM::VST4d32Pseudo: |
Bob Wilson | 4cec449 | 2010-08-26 05:33:30 +0000 | [diff] [blame] | 1192 | case ARM::VST1d64QPseudo: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1193 | case ARM::VST4d8Pseudo_UPD: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1194 | case ARM::VST4d16Pseudo_UPD: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1195 | case ARM::VST4d32Pseudo_UPD: |
Jim Grosbach | 5ee209c | 2011-11-29 22:58:48 +0000 | [diff] [blame] | 1196 | case ARM::VST1d64QPseudoWB_fixed: |
| 1197 | case ARM::VST1d64QPseudoWB_register: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1198 | case ARM::VST4q8Pseudo_UPD: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1199 | case ARM::VST4q16Pseudo_UPD: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1200 | case ARM::VST4q32Pseudo_UPD: |
Bob Wilson | a609b89 | 2011-02-07 17:43:15 +0000 | [diff] [blame] | 1201 | case ARM::VST4q8oddPseudo: |
| 1202 | case ARM::VST4q16oddPseudo: |
| 1203 | case ARM::VST4q32oddPseudo: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1204 | case ARM::VST4q8oddPseudo_UPD: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1205 | case ARM::VST4q16oddPseudo_UPD: |
Bob Wilson | 9392b0e | 2010-08-25 23:27:42 +0000 | [diff] [blame] | 1206 | case ARM::VST4q32oddPseudo_UPD: |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 1207 | ExpandVST(MBBI); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1208 | return true; |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 1209 | |
Bob Wilson | dc44990 | 2010-11-01 22:04:05 +0000 | [diff] [blame] | 1210 | case ARM::VLD1LNq8Pseudo: |
| 1211 | case ARM::VLD1LNq16Pseudo: |
| 1212 | case ARM::VLD1LNq32Pseudo: |
| 1213 | case ARM::VLD1LNq8Pseudo_UPD: |
| 1214 | case ARM::VLD1LNq16Pseudo_UPD: |
| 1215 | case ARM::VLD1LNq32Pseudo_UPD: |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 1216 | case ARM::VLD2LNd8Pseudo: |
| 1217 | case ARM::VLD2LNd16Pseudo: |
| 1218 | case ARM::VLD2LNd32Pseudo: |
| 1219 | case ARM::VLD2LNq16Pseudo: |
| 1220 | case ARM::VLD2LNq32Pseudo: |
| 1221 | case ARM::VLD2LNd8Pseudo_UPD: |
| 1222 | case ARM::VLD2LNd16Pseudo_UPD: |
| 1223 | case ARM::VLD2LNd32Pseudo_UPD: |
| 1224 | case ARM::VLD2LNq16Pseudo_UPD: |
| 1225 | case ARM::VLD2LNq32Pseudo_UPD: |
| 1226 | case ARM::VLD3LNd8Pseudo: |
| 1227 | case ARM::VLD3LNd16Pseudo: |
| 1228 | case ARM::VLD3LNd32Pseudo: |
| 1229 | case ARM::VLD3LNq16Pseudo: |
| 1230 | case ARM::VLD3LNq32Pseudo: |
| 1231 | case ARM::VLD3LNd8Pseudo_UPD: |
| 1232 | case ARM::VLD3LNd16Pseudo_UPD: |
| 1233 | case ARM::VLD3LNd32Pseudo_UPD: |
| 1234 | case ARM::VLD3LNq16Pseudo_UPD: |
| 1235 | case ARM::VLD3LNq32Pseudo_UPD: |
| 1236 | case ARM::VLD4LNd8Pseudo: |
| 1237 | case ARM::VLD4LNd16Pseudo: |
| 1238 | case ARM::VLD4LNd32Pseudo: |
| 1239 | case ARM::VLD4LNq16Pseudo: |
| 1240 | case ARM::VLD4LNq32Pseudo: |
| 1241 | case ARM::VLD4LNd8Pseudo_UPD: |
| 1242 | case ARM::VLD4LNd16Pseudo_UPD: |
| 1243 | case ARM::VLD4LNd32Pseudo_UPD: |
| 1244 | case ARM::VLD4LNq16Pseudo_UPD: |
| 1245 | case ARM::VLD4LNq32Pseudo_UPD: |
Bob Wilson | d80b29d | 2010-11-02 21:18:25 +0000 | [diff] [blame] | 1246 | case ARM::VST1LNq8Pseudo: |
| 1247 | case ARM::VST1LNq16Pseudo: |
| 1248 | case ARM::VST1LNq32Pseudo: |
| 1249 | case ARM::VST1LNq8Pseudo_UPD: |
| 1250 | case ARM::VST1LNq16Pseudo_UPD: |
| 1251 | case ARM::VST1LNq32Pseudo_UPD: |
Bob Wilson | d5c57a5 | 2010-09-13 23:01:35 +0000 | [diff] [blame] | 1252 | case ARM::VST2LNd8Pseudo: |
| 1253 | case ARM::VST2LNd16Pseudo: |
| 1254 | case ARM::VST2LNd32Pseudo: |
| 1255 | case ARM::VST2LNq16Pseudo: |
| 1256 | case ARM::VST2LNq32Pseudo: |
| 1257 | case ARM::VST2LNd8Pseudo_UPD: |
| 1258 | case ARM::VST2LNd16Pseudo_UPD: |
| 1259 | case ARM::VST2LNd32Pseudo_UPD: |
| 1260 | case ARM::VST2LNq16Pseudo_UPD: |
| 1261 | case ARM::VST2LNq32Pseudo_UPD: |
| 1262 | case ARM::VST3LNd8Pseudo: |
| 1263 | case ARM::VST3LNd16Pseudo: |
| 1264 | case ARM::VST3LNd32Pseudo: |
| 1265 | case ARM::VST3LNq16Pseudo: |
| 1266 | case ARM::VST3LNq32Pseudo: |
| 1267 | case ARM::VST3LNd8Pseudo_UPD: |
| 1268 | case ARM::VST3LNd16Pseudo_UPD: |
| 1269 | case ARM::VST3LNd32Pseudo_UPD: |
| 1270 | case ARM::VST3LNq16Pseudo_UPD: |
| 1271 | case ARM::VST3LNq32Pseudo_UPD: |
| 1272 | case ARM::VST4LNd8Pseudo: |
| 1273 | case ARM::VST4LNd16Pseudo: |
| 1274 | case ARM::VST4LNd32Pseudo: |
| 1275 | case ARM::VST4LNq16Pseudo: |
| 1276 | case ARM::VST4LNq32Pseudo: |
| 1277 | case ARM::VST4LNd8Pseudo_UPD: |
| 1278 | case ARM::VST4LNd16Pseudo_UPD: |
| 1279 | case ARM::VST4LNd32Pseudo_UPD: |
| 1280 | case ARM::VST4LNq16Pseudo_UPD: |
| 1281 | case ARM::VST4LNq32Pseudo_UPD: |
| 1282 | ExpandLaneOp(MBBI); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1283 | return true; |
Bob Wilson | c597fd3b | 2010-09-13 23:55:10 +0000 | [diff] [blame] | 1284 | |
Jim Grosbach | 4a5c887 | 2011-12-15 22:27:11 +0000 | [diff] [blame] | 1285 | case ARM::VTBL3Pseudo: ExpandVTBL(MBBI, ARM::VTBL3, false); return true; |
| 1286 | case ARM::VTBL4Pseudo: ExpandVTBL(MBBI, ARM::VTBL4, false); return true; |
Jim Grosbach | 4a5c887 | 2011-12-15 22:27:11 +0000 | [diff] [blame] | 1287 | case ARM::VTBX3Pseudo: ExpandVTBL(MBBI, ARM::VTBX3, true); return true; |
| 1288 | case ARM::VTBX4Pseudo: ExpandVTBL(MBBI, ARM::VTBX4, true); return true; |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1289 | } |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1290 | } |
| 1291 | |
| 1292 | bool ARMExpandPseudo::ExpandMBB(MachineBasicBlock &MBB) { |
| 1293 | bool Modified = false; |
| 1294 | |
| 1295 | MachineBasicBlock::iterator MBBI = MBB.begin(), E = MBB.end(); |
| 1296 | while (MBBI != E) { |
| 1297 | MachineBasicBlock::iterator NMBBI = llvm::next(MBBI); |
| 1298 | Modified |= ExpandMI(MBB, MBBI); |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 1299 | MBBI = NMBBI; |
| 1300 | } |
| 1301 | |
| 1302 | return Modified; |
| 1303 | } |
| 1304 | |
| 1305 | bool ARMExpandPseudo::runOnMachineFunction(MachineFunction &MF) { |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1306 | const TargetMachine &TM = MF.getTarget(); |
| 1307 | TII = static_cast<const ARMBaseInstrInfo*>(TM.getInstrInfo()); |
| 1308 | TRI = TM.getRegisterInfo(); |
| 1309 | STI = &TM.getSubtarget<ARMSubtarget>(); |
Evan Cheng | b8b0ad8 | 2011-01-20 08:34:58 +0000 | [diff] [blame] | 1310 | AFI = MF.getInfo<ARMFunctionInfo>(); |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 1311 | |
| 1312 | bool Modified = false; |
| 1313 | for (MachineFunction::iterator MFI = MF.begin(), E = MF.end(); MFI != E; |
| 1314 | ++MFI) |
| 1315 | Modified |= ExpandMBB(*MFI); |
Jakob Stoklund Olesen | 9c3badc | 2011-07-29 00:27:32 +0000 | [diff] [blame] | 1316 | if (VerifyARMPseudo) |
| 1317 | MF.verify(this, "After expanding ARM pseudo instructions."); |
Evan Cheng | 207b246 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 1318 | return Modified; |
| 1319 | } |
| 1320 | |
| 1321 | /// createARMExpandPseudoPass - returns an instance of the pseudo instruction |
| 1322 | /// expansion pass. |
| 1323 | FunctionPass *llvm::createARMExpandPseudoPass() { |
| 1324 | return new ARMExpandPseudo(); |
| 1325 | } |