Chris Lattner | c16257f | 2006-01-18 19:37:44 +0000 | [diff] [blame] | 1 | //===- PPCInstrInfo.h - PowerPC Instruction Information ---------*- C++ -*-===// |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 2 | // |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 7 | // |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file contains the PowerPC implementation of the TargetInstrInfo class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef POWERPC32_INSTRUCTIONINFO_H |
| 15 | #define POWERPC32_INSTRUCTIONINFO_H |
| 16 | |
Chris Lattner | 2668959 | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 17 | #include "PPC.h" |
Chris Lattner | 617742b | 2005-10-14 22:44:13 +0000 | [diff] [blame] | 18 | #include "llvm/Target/TargetInstrInfo.h" |
Chris Lattner | 16e71f2 | 2005-10-14 23:59:06 +0000 | [diff] [blame] | 19 | #include "PPCRegisterInfo.h" |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 20 | |
| 21 | namespace llvm { |
Chris Lattner | 88d211f | 2006-03-12 09:13:49 +0000 | [diff] [blame] | 22 | |
| 23 | /// PPCII - This namespace holds all of the PowerPC target-specific |
| 24 | /// per-instruction flags. These must match the corresponding definitions in |
| 25 | /// PPC.td and PPCInstrFormats.td. |
| 26 | namespace PPCII { |
| 27 | enum { |
| 28 | // PPC970 Instruction Flags. These flags describe the characteristics of the |
| 29 | // PowerPC 970 (aka G5) dispatch groups and how they are formed out of |
| 30 | // raw machine instructions. |
| 31 | |
| 32 | /// PPC970_First - This instruction starts a new dispatch group, so it will |
| 33 | /// always be the first one in the group. |
| 34 | PPC970_First = 0x1, |
| 35 | |
| 36 | /// PPC970_Single - This instruction starts a new dispatch group and |
| 37 | /// terminates it, so it will be the sole instruction in the group. |
| 38 | PPC970_Single = 0x2, |
| 39 | |
Chris Lattner | fd97734 | 2006-03-13 05:15:10 +0000 | [diff] [blame] | 40 | /// PPC970_Cracked - This instruction is cracked into two pieces, requiring |
| 41 | /// two dispatch pipes to be available to issue. |
| 42 | PPC970_Cracked = 0x4, |
| 43 | |
Chris Lattner | 88d211f | 2006-03-12 09:13:49 +0000 | [diff] [blame] | 44 | /// PPC970_Mask/Shift - This is a bitmask that selects the pipeline type that |
| 45 | /// an instruction is issued to. |
Chris Lattner | fd97734 | 2006-03-13 05:15:10 +0000 | [diff] [blame] | 46 | PPC970_Shift = 3, |
Chris Lattner | d74ea2b | 2006-05-24 17:04:05 +0000 | [diff] [blame] | 47 | PPC970_Mask = 0x07 << PPC970_Shift |
Chris Lattner | 88d211f | 2006-03-12 09:13:49 +0000 | [diff] [blame] | 48 | }; |
| 49 | enum PPC970_Unit { |
| 50 | /// These are the various PPC970 execution unit pipelines. Each instruction |
| 51 | /// is one of these. |
| 52 | PPC970_Pseudo = 0 << PPC970_Shift, // Pseudo instruction |
| 53 | PPC970_FXU = 1 << PPC970_Shift, // Fixed Point (aka Integer/ALU) Unit |
| 54 | PPC970_LSU = 2 << PPC970_Shift, // Load Store Unit |
| 55 | PPC970_FPU = 3 << PPC970_Shift, // Floating Point Unit |
| 56 | PPC970_CRU = 4 << PPC970_Shift, // Control Register Unit |
| 57 | PPC970_VALU = 5 << PPC970_Shift, // Vector ALU |
| 58 | PPC970_VPERM = 6 << PPC970_Shift, // Vector Permute Unit |
Chris Lattner | d74ea2b | 2006-05-24 17:04:05 +0000 | [diff] [blame] | 59 | PPC970_BRU = 7 << PPC970_Shift // Branch Unit |
Chris Lattner | 88d211f | 2006-03-12 09:13:49 +0000 | [diff] [blame] | 60 | }; |
| 61 | } |
| 62 | |
Chris Lattner | 617742b | 2005-10-14 22:44:13 +0000 | [diff] [blame] | 63 | |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 64 | class PPCInstrInfo : public TargetInstrInfo { |
Chris Lattner | b1d26f6 | 2006-06-17 00:01:04 +0000 | [diff] [blame] | 65 | PPCTargetMachine &TM; |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 66 | const PPCRegisterInfo RI; |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 67 | public: |
Chris Lattner | b1d26f6 | 2006-06-17 00:01:04 +0000 | [diff] [blame] | 68 | PPCInstrInfo(PPCTargetMachine &TM); |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 69 | |
| 70 | /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As |
| 71 | /// such, whenever a client has an instance of instruction info, it should |
| 72 | /// always be able to get register info as well (through this method). |
| 73 | /// |
| 74 | virtual const MRegisterInfo &getRegisterInfo() const { return RI; } |
| 75 | |
Chris Lattner | b1d26f6 | 2006-06-17 00:01:04 +0000 | [diff] [blame] | 76 | /// getPointerRegClass - Return the register class to use to hold pointers. |
| 77 | /// This is used for addressing modes. |
| 78 | virtual const TargetRegisterClass *getPointerRegClass() const; |
| 79 | |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 80 | // Return true if the instruction is a register to register move and |
| 81 | // leave the source and dest operands in the passed parameters. |
| 82 | // |
| 83 | virtual bool isMoveInstr(const MachineInstr& MI, |
| 84 | unsigned& sourceReg, |
| 85 | unsigned& destReg) const; |
| 86 | |
Chris Lattner | 4083960 | 2006-02-02 20:12:32 +0000 | [diff] [blame] | 87 | unsigned isLoadFromStackSlot(MachineInstr *MI, int &FrameIndex) const; |
Chris Lattner | 6524287 | 2006-02-02 20:16:12 +0000 | [diff] [blame] | 88 | unsigned isStoreToStackSlot(MachineInstr *MI, int &FrameIndex) const; |
Chris Lattner | 4083960 | 2006-02-02 20:12:32 +0000 | [diff] [blame] | 89 | |
Chris Lattner | 043870d | 2005-09-09 18:17:41 +0000 | [diff] [blame] | 90 | // commuteInstruction - We can commute rlwimi instructions, but only if the |
| 91 | // rotate amt is zero. We also have to munge the immediates a bit. |
| 92 | virtual MachineInstr *commuteInstruction(MachineInstr *MI) const; |
| 93 | |
Chris Lattner | bbf1c72 | 2006-03-05 23:49:55 +0000 | [diff] [blame] | 94 | virtual void insertNoop(MachineBasicBlock &MBB, |
| 95 | MachineBasicBlock::iterator MI) const; |
| 96 | |
Chris Lattner | c50e2bc | 2006-10-13 21:21:17 +0000 | [diff] [blame^] | 97 | |
| 98 | // Branch analysis. |
| 99 | virtual bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, |
| 100 | MachineBasicBlock *&FBB, |
| 101 | std::vector<MachineOperand> &Cond) const; |
| 102 | virtual void RemoveBranch(MachineBasicBlock &MBB) const; |
| 103 | virtual void InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, |
| 104 | MachineBasicBlock *FBB, |
| 105 | const std::vector<MachineOperand> &Cond) const; |
| 106 | virtual bool ReverseBranchCondition(std::vector<MachineOperand> &Cond) const; |
| 107 | |
| 108 | |
| 109 | |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 110 | static unsigned invertPPCBranchOpcode(unsigned Opcode) { |
| 111 | switch (Opcode) { |
| 112 | default: assert(0 && "Unknown PPC branch opcode!"); |
| 113 | case PPC::BEQ: return PPC::BNE; |
| 114 | case PPC::BNE: return PPC::BEQ; |
| 115 | case PPC::BLT: return PPC::BGE; |
| 116 | case PPC::BGE: return PPC::BLT; |
| 117 | case PPC::BGT: return PPC::BLE; |
| 118 | case PPC::BLE: return PPC::BGT; |
Chris Lattner | e44b2d1 | 2006-01-18 19:35:21 +0000 | [diff] [blame] | 119 | case PPC::BNU: return PPC::BUN; |
| 120 | case PPC::BUN: return PPC::BNU; |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 121 | } |
Misha Brukman | f2ccb77 | 2004-08-17 04:55:41 +0000 | [diff] [blame] | 122 | } |
| 123 | }; |
| 124 | |
| 125 | } |
| 126 | |
| 127 | #endif |