blob: 769474b503d3f40d13f40c1c91005a3685e1ca44 [file] [log] [blame]
Chris Lattnerc16257f2006-01-18 19:37:44 +00001//===- PPCInstrInfo.h - PowerPC Instruction Information ---------*- C++ -*-===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Misha Brukmanf2ccb772004-08-17 04:55:41 +00003// 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 Brukmanb5f662f2005-04-21 23:30:14 +00007//
Misha Brukmanf2ccb772004-08-17 04:55:41 +00008//===----------------------------------------------------------------------===//
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 Lattner26689592005-10-14 23:51:18 +000017#include "PPC.h"
Chris Lattner617742b2005-10-14 22:44:13 +000018#include "llvm/Target/TargetInstrInfo.h"
Chris Lattner16e71f22005-10-14 23:59:06 +000019#include "PPCRegisterInfo.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000020
21namespace llvm {
Chris Lattner88d211f2006-03-12 09:13:49 +000022
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.
26namespace PPCII {
27enum {
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 Lattnerfd977342006-03-13 05:15:10 +000040 /// 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 Lattner88d211f2006-03-12 09:13:49 +000044 /// PPC970_Mask/Shift - This is a bitmask that selects the pipeline type that
45 /// an instruction is issued to.
Chris Lattnerfd977342006-03-13 05:15:10 +000046 PPC970_Shift = 3,
Chris Lattnerd74ea2b2006-05-24 17:04:05 +000047 PPC970_Mask = 0x07 << PPC970_Shift
Chris Lattner88d211f2006-03-12 09:13:49 +000048};
49enum 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 Lattnerd74ea2b2006-05-24 17:04:05 +000059 PPC970_BRU = 7 << PPC970_Shift // Branch Unit
Chris Lattner88d211f2006-03-12 09:13:49 +000060};
61}
62
Chris Lattner617742b2005-10-14 22:44:13 +000063
Nate Begeman21e463b2005-10-16 05:39:50 +000064class PPCInstrInfo : public TargetInstrInfo {
Chris Lattnerb1d26f62006-06-17 00:01:04 +000065 PPCTargetMachine &TM;
Nate Begeman21e463b2005-10-16 05:39:50 +000066 const PPCRegisterInfo RI;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000067public:
Chris Lattnerb1d26f62006-06-17 00:01:04 +000068 PPCInstrInfo(PPCTargetMachine &TM);
Misha Brukmanf2ccb772004-08-17 04:55:41 +000069
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 Lattnerb1d26f62006-06-17 00:01:04 +000076 /// getPointerRegClass - Return the register class to use to hold pointers.
77 /// This is used for addressing modes.
78 virtual const TargetRegisterClass *getPointerRegClass() const;
79
Chris Lattnerae1dc402006-10-17 22:41:45 +000080 /// getDWARF_LABELOpcode - Return the opcode of the target's DWARF_LABEL
81 /// instruction if it has one. This is used by codegen passes that update
82 /// DWARF line number info as they modify the code.
83 virtual unsigned getDWARF_LABELOpcode() const {
84 return PPC::DWARF_LABEL;
85 }
86
Misha Brukmanf2ccb772004-08-17 04:55:41 +000087 // Return true if the instruction is a register to register move and
88 // leave the source and dest operands in the passed parameters.
89 //
90 virtual bool isMoveInstr(const MachineInstr& MI,
91 unsigned& sourceReg,
92 unsigned& destReg) const;
93
Chris Lattner40839602006-02-02 20:12:32 +000094 unsigned isLoadFromStackSlot(MachineInstr *MI, int &FrameIndex) const;
Chris Lattner65242872006-02-02 20:16:12 +000095 unsigned isStoreToStackSlot(MachineInstr *MI, int &FrameIndex) const;
Chris Lattner40839602006-02-02 20:12:32 +000096
Chris Lattner043870d2005-09-09 18:17:41 +000097 // commuteInstruction - We can commute rlwimi instructions, but only if the
98 // rotate amt is zero. We also have to munge the immediates a bit.
99 virtual MachineInstr *commuteInstruction(MachineInstr *MI) const;
100
Chris Lattnerbbf1c722006-03-05 23:49:55 +0000101 virtual void insertNoop(MachineBasicBlock &MBB,
102 MachineBasicBlock::iterator MI) const;
103
Chris Lattnerc50e2bc2006-10-13 21:21:17 +0000104
105 // Branch analysis.
106 virtual bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
107 MachineBasicBlock *&FBB,
108 std::vector<MachineOperand> &Cond) const;
109 virtual void RemoveBranch(MachineBasicBlock &MBB) const;
110 virtual void InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
111 MachineBasicBlock *FBB,
112 const std::vector<MachineOperand> &Cond) const;
Chris Lattneref139822006-10-28 17:35:02 +0000113 virtual bool BlockHasNoFallThrough(MachineBasicBlock &MBB) const;
Chris Lattnerc50e2bc2006-10-13 21:21:17 +0000114 virtual bool ReverseBranchCondition(std::vector<MachineOperand> &Cond) const;
115
116
117
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000118 static unsigned invertPPCBranchOpcode(unsigned Opcode) {
119 switch (Opcode) {
120 default: assert(0 && "Unknown PPC branch opcode!");
121 case PPC::BEQ: return PPC::BNE;
122 case PPC::BNE: return PPC::BEQ;
123 case PPC::BLT: return PPC::BGE;
124 case PPC::BGE: return PPC::BLT;
125 case PPC::BGT: return PPC::BLE;
126 case PPC::BLE: return PPC::BGT;
Chris Lattnere44b2d12006-01-18 19:35:21 +0000127 case PPC::BNU: return PPC::BUN;
128 case PPC::BUN: return PPC::BNU;
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000129 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000130 }
131};
132
133}
134
135#endif