Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 1 | //===- ARMInstructionSelector.cpp ----------------------------*- C++ -*-==// |
| 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 | /// \file |
| 10 | /// This file implements the targeting of the InstructionSelector class for ARM. |
| 11 | /// \todo This should be generated by TableGen. |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "ARMInstructionSelector.h" |
| 15 | #include "ARMRegisterBankInfo.h" |
| 16 | #include "ARMSubtarget.h" |
| 17 | #include "ARMTargetMachine.h" |
Diana Picus | 812caee | 2016-12-16 12:54:46 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 19 | #include "llvm/Support/Debug.h" |
| 20 | |
| 21 | #define DEBUG_TYPE "arm-isel" |
| 22 | |
| 23 | using namespace llvm; |
| 24 | |
| 25 | #ifndef LLVM_BUILD_GLOBAL_ISEL |
| 26 | #error "You shouldn't build this" |
| 27 | #endif |
| 28 | |
Diana Picus | 895c6aa | 2016-11-15 16:42:10 +0000 | [diff] [blame] | 29 | ARMInstructionSelector::ARMInstructionSelector(const ARMSubtarget &STI, |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 30 | const ARMRegisterBankInfo &RBI) |
Diana Picus | 895c6aa | 2016-11-15 16:42:10 +0000 | [diff] [blame] | 31 | : InstructionSelector(), TII(*STI.getInstrInfo()), |
Diana Picus | 812caee | 2016-12-16 12:54:46 +0000 | [diff] [blame] | 32 | TRI(*STI.getRegisterInfo()), RBI(RBI) {} |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 33 | |
Diana Picus | 812caee | 2016-12-16 12:54:46 +0000 | [diff] [blame] | 34 | static bool selectCopy(MachineInstr &I, const TargetInstrInfo &TII, |
| 35 | MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI, |
| 36 | const RegisterBankInfo &RBI) { |
| 37 | unsigned DstReg = I.getOperand(0).getReg(); |
| 38 | if (TargetRegisterInfo::isPhysicalRegister(DstReg)) |
| 39 | return true; |
| 40 | |
| 41 | const RegisterBank *RegBank = RBI.getRegBank(DstReg, MRI, TRI); |
Benjamin Kramer | 24bf868 | 2016-12-16 13:13:03 +0000 | [diff] [blame] | 42 | (void)RegBank; |
Diana Picus | 812caee | 2016-12-16 12:54:46 +0000 | [diff] [blame] | 43 | assert(RegBank && "Can't get reg bank for virtual register"); |
| 44 | |
Benjamin Kramer | 24bf868 | 2016-12-16 13:13:03 +0000 | [diff] [blame] | 45 | assert(MRI.getType(DstReg).getSizeInBits() == |
| 46 | RBI.getSizeInBits(I.getOperand(1).getReg(), MRI, TRI) && |
| 47 | "Copy with different width?!"); |
Diana Picus | 812caee | 2016-12-16 12:54:46 +0000 | [diff] [blame] | 48 | |
| 49 | assert(RegBank->getID() == ARM::GPRRegBankID && "Unsupported reg bank"); |
| 50 | const TargetRegisterClass *RC = &ARM::GPRRegClass; |
| 51 | |
| 52 | // No need to constrain SrcReg. It will get constrained when |
| 53 | // we hit another of its uses or its defs. |
| 54 | // Copies do not have constraints. |
| 55 | if (!RBI.constrainGenericRegister(DstReg, *RC, MRI)) { |
| 56 | DEBUG(dbgs() << "Failed to constrain " << TII.getName(I.getOpcode()) |
| 57 | << " operand\n"); |
| 58 | return false; |
| 59 | } |
| 60 | return true; |
| 61 | } |
| 62 | |
| 63 | bool ARMInstructionSelector::select(MachineInstr &I) const { |
| 64 | assert(I.getParent() && "Instruction should be in a basic block!"); |
| 65 | assert(I.getParent()->getParent() && "Instruction should be in a function!"); |
| 66 | |
| 67 | auto &MBB = *I.getParent(); |
| 68 | auto &MF = *MBB.getParent(); |
| 69 | auto &MRI = MF.getRegInfo(); |
| 70 | |
| 71 | if (!isPreISelGenericOpcode(I.getOpcode())) { |
| 72 | if (I.isCopy()) |
| 73 | return selectCopy(I, TII, MRI, TRI, RBI); |
| 74 | |
| 75 | return true; |
| 76 | } |
| 77 | |
Diana Picus | 519807f | 2016-12-19 11:26:31 +0000 | [diff] [blame] | 78 | MachineInstrBuilder MIB{MF, I}; |
| 79 | |
| 80 | using namespace TargetOpcode; |
| 81 | switch (I.getOpcode()) { |
| 82 | case G_ADD: |
Diana Picus | 812caee | 2016-12-16 12:54:46 +0000 | [diff] [blame] | 83 | I.setDesc(TII.get(ARM::ADDrr)); |
Diana Picus | 519807f | 2016-12-19 11:26:31 +0000 | [diff] [blame] | 84 | AddDefaultCC(AddDefaultPred(MIB)); |
| 85 | break; |
| 86 | case G_FRAME_INDEX: |
| 87 | // Add 0 to the given frame index and hope it will eventually be folded into |
| 88 | // the user(s). |
| 89 | I.setDesc(TII.get(ARM::ADDri)); |
| 90 | AddDefaultCC(AddDefaultPred(MIB.addImm(0))); |
| 91 | break; |
| 92 | case G_LOAD: |
| 93 | I.setDesc(TII.get(ARM::LDRi12)); |
| 94 | AddDefaultPred(MIB.addImm(0)); |
| 95 | break; |
| 96 | default: |
| 97 | return false; |
Diana Picus | 812caee | 2016-12-16 12:54:46 +0000 | [diff] [blame] | 98 | } |
| 99 | |
Diana Picus | 519807f | 2016-12-19 11:26:31 +0000 | [diff] [blame] | 100 | return constrainSelectedInstRegOperands(I, TII, TRI, RBI); |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 101 | } |