[PowerPC] Use true offset value in "memrix" machine operands
[oota-llvm.git] / lib / Target / PowerPC / InstPrinter / PPCInstPrinter.cpp
1 //===-- PPCInstPrinter.cpp - Convert PPC MCInst to assembly syntax --------===//
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 //
10 // This class prints an PPC MCInst to a .s file.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #define DEBUG_TYPE "asm-printer"
15 #include "PPCInstPrinter.h"
16 #include "MCTargetDesc/PPCMCTargetDesc.h"
17 #include "MCTargetDesc/PPCPredicates.h"
18 #include "llvm/MC/MCExpr.h"
19 #include "llvm/MC/MCInst.h"
20 #include "llvm/MC/MCInstrInfo.h"
21 #include "llvm/Support/raw_ostream.h"
22 using namespace llvm;
23
24 #include "PPCGenAsmWriter.inc"
25
26 void PPCInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const {
27   OS << getRegisterName(RegNo);
28 }
29
30 void PPCInstPrinter::printInst(const MCInst *MI, raw_ostream &O,
31                                StringRef Annot) {
32   // Check for slwi/srwi mnemonics.
33   if (MI->getOpcode() == PPC::RLWINM) {
34     unsigned char SH = MI->getOperand(2).getImm();
35     unsigned char MB = MI->getOperand(3).getImm();
36     unsigned char ME = MI->getOperand(4).getImm();
37     bool useSubstituteMnemonic = false;
38     if (SH <= 31 && MB == 0 && ME == (31-SH)) {
39       O << "\tslwi "; useSubstituteMnemonic = true;
40     }
41     if (SH <= 31 && MB == (32-SH) && ME == 31) {
42       O << "\tsrwi "; useSubstituteMnemonic = true;
43       SH = 32-SH;
44     }
45     if (useSubstituteMnemonic) {
46       printOperand(MI, 0, O);
47       O << ", ";
48       printOperand(MI, 1, O);
49       O << ", " << (unsigned int)SH;
50
51       printAnnotation(O, Annot);
52       return;
53     }
54   }
55   
56   if ((MI->getOpcode() == PPC::OR || MI->getOpcode() == PPC::OR8) &&
57       MI->getOperand(1).getReg() == MI->getOperand(2).getReg()) {
58     O << "\tmr ";
59     printOperand(MI, 0, O);
60     O << ", ";
61     printOperand(MI, 1, O);
62     printAnnotation(O, Annot);
63     return;
64   }
65   
66   if (MI->getOpcode() == PPC::RLDICR) {
67     unsigned char SH = MI->getOperand(2).getImm();
68     unsigned char ME = MI->getOperand(3).getImm();
69     // rldicr RA, RS, SH, 63-SH == sldi RA, RS, SH
70     if (63-SH == ME) {
71       O << "\tsldi ";
72       printOperand(MI, 0, O);
73       O << ", ";
74       printOperand(MI, 1, O);
75       O << ", " << (unsigned int)SH;
76       printAnnotation(O, Annot);
77       return;
78     }
79   }
80   
81   printInstruction(MI, O);
82   printAnnotation(O, Annot);
83 }
84
85
86 void PPCInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNo,
87                                            raw_ostream &O, 
88                                            const char *Modifier) {
89   unsigned Code = MI->getOperand(OpNo).getImm();
90
91   if (StringRef(Modifier) == "cc") {
92     switch ((PPC::Predicate)Code) {
93     case PPC::PRED_LT: O << "lt"; return;
94     case PPC::PRED_LE: O << "le"; return;
95     case PPC::PRED_EQ: O << "eq"; return;
96     case PPC::PRED_GE: O << "ge"; return;
97     case PPC::PRED_GT: O << "gt"; return;
98     case PPC::PRED_NE: O << "ne"; return;
99     case PPC::PRED_UN: O << "un"; return;
100     case PPC::PRED_NU: O << "nu"; return;
101     }
102   }
103   
104   assert(StringRef(Modifier) == "reg" &&
105          "Need to specify 'cc' or 'reg' as predicate op modifier!");
106   printOperand(MI, OpNo+1, O);
107 }
108
109 void PPCInstPrinter::printS5ImmOperand(const MCInst *MI, unsigned OpNo,
110                                        raw_ostream &O) {
111   int Value = MI->getOperand(OpNo).getImm();
112   Value = SignExtend32<5>(Value);
113   O << (int)Value;
114 }
115
116 void PPCInstPrinter::printU5ImmOperand(const MCInst *MI, unsigned OpNo,
117                                        raw_ostream &O) {
118   unsigned int Value = MI->getOperand(OpNo).getImm();
119   assert(Value <= 31 && "Invalid u5imm argument!");
120   O << (unsigned int)Value;
121 }
122
123 void PPCInstPrinter::printU6ImmOperand(const MCInst *MI, unsigned OpNo,
124                                        raw_ostream &O) {
125   unsigned int Value = MI->getOperand(OpNo).getImm();
126   assert(Value <= 63 && "Invalid u6imm argument!");
127   O << (unsigned int)Value;
128 }
129
130 void PPCInstPrinter::printS16ImmOperand(const MCInst *MI, unsigned OpNo,
131                                         raw_ostream &O) {
132   O << (short)MI->getOperand(OpNo).getImm();
133 }
134
135 void PPCInstPrinter::printU16ImmOperand(const MCInst *MI, unsigned OpNo,
136                                         raw_ostream &O) {
137   O << (unsigned short)MI->getOperand(OpNo).getImm();
138 }
139
140 void PPCInstPrinter::printBranchOperand(const MCInst *MI, unsigned OpNo,
141                                         raw_ostream &O) {
142   if (!MI->getOperand(OpNo).isImm())
143     return printOperand(MI, OpNo, O);
144
145   // Branches can take an immediate operand.  This is used by the branch
146   // selection pass to print .+8, an eight byte displacement from the PC.
147   O << ".+";
148   printAbsAddrOperand(MI, OpNo, O);
149 }
150
151 void PPCInstPrinter::printAbsAddrOperand(const MCInst *MI, unsigned OpNo,
152                                          raw_ostream &O) {
153   O << (int)MI->getOperand(OpNo).getImm()*4;
154 }
155
156
157 void PPCInstPrinter::printcrbitm(const MCInst *MI, unsigned OpNo,
158                                  raw_ostream &O) {
159   unsigned CCReg = MI->getOperand(OpNo).getReg();
160   unsigned RegNo;
161   switch (CCReg) {
162   default: llvm_unreachable("Unknown CR register");
163   case PPC::CR0: RegNo = 0; break;
164   case PPC::CR1: RegNo = 1; break;
165   case PPC::CR2: RegNo = 2; break;
166   case PPC::CR3: RegNo = 3; break;
167   case PPC::CR4: RegNo = 4; break;
168   case PPC::CR5: RegNo = 5; break;
169   case PPC::CR6: RegNo = 6; break;
170   case PPC::CR7: RegNo = 7; break;
171   }
172   O << (0x80 >> RegNo);
173 }
174
175 void PPCInstPrinter::printMemRegImm(const MCInst *MI, unsigned OpNo,
176                                     raw_ostream &O) {
177   printSymbolLo(MI, OpNo, O);
178   O << '(';
179   if (MI->getOperand(OpNo+1).getReg() == PPC::R0)
180     O << "0";
181   else
182     printOperand(MI, OpNo+1, O);
183   O << ')';
184 }
185
186 void PPCInstPrinter::printMemRegReg(const MCInst *MI, unsigned OpNo,
187                                     raw_ostream &O) {
188   // When used as the base register, r0 reads constant zero rather than
189   // the value contained in the register.  For this reason, the darwin
190   // assembler requires that we print r0 as 0 (no r) when used as the base.
191   if (MI->getOperand(OpNo).getReg() == PPC::R0)
192     O << "0";
193   else
194     printOperand(MI, OpNo, O);
195   O << ", ";
196   printOperand(MI, OpNo+1, O);
197 }
198
199
200
201 /// stripRegisterPrefix - This method strips the character prefix from a
202 /// register name so that only the number is left.  Used by for linux asm.
203 static const char *stripRegisterPrefix(const char *RegName) {
204   switch (RegName[0]) {
205   case 'r':
206   case 'f':
207   case 'v': return RegName + 1;
208   case 'c': if (RegName[1] == 'r') return RegName + 2;
209   }
210   
211   return RegName;
212 }
213
214 void PPCInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
215                                   raw_ostream &O) {
216   const MCOperand &Op = MI->getOperand(OpNo);
217   if (Op.isReg()) {
218     const char *RegName = getRegisterName(Op.getReg());
219     // The linux and AIX assembler does not take register prefixes.
220     if (!isDarwinSyntax())
221       RegName = stripRegisterPrefix(RegName);
222     
223     O << RegName;
224     return;
225   }
226   
227   if (Op.isImm()) {
228     O << Op.getImm();
229     return;
230   }
231   
232   assert(Op.isExpr() && "unknown operand kind in printOperand");
233   O << *Op.getExpr();
234 }
235   
236 void PPCInstPrinter::printSymbolLo(const MCInst *MI, unsigned OpNo,
237                                    raw_ostream &O) {
238   if (MI->getOperand(OpNo).isImm())
239     return printS16ImmOperand(MI, OpNo, O);
240   
241   // FIXME: This is a terrible hack because we can't encode lo16() as an operand
242   // flag of a subtraction.  See the FIXME in GetSymbolRef in PPCMCInstLower.
243   if (MI->getOperand(OpNo).isExpr() &&
244       isa<MCBinaryExpr>(MI->getOperand(OpNo).getExpr())) {
245     O << "lo16(";
246     printOperand(MI, OpNo, O);
247     O << ')';
248   } else {
249     printOperand(MI, OpNo, O);
250   }
251 }
252
253 void PPCInstPrinter::printSymbolHi(const MCInst *MI, unsigned OpNo,
254                                    raw_ostream &O) {
255   if (MI->getOperand(OpNo).isImm())
256     return printS16ImmOperand(MI, OpNo, O);
257
258   // FIXME: This is a terrible hack because we can't encode lo16() as an operand
259   // flag of a subtraction.  See the FIXME in GetSymbolRef in PPCMCInstLower.
260   if (MI->getOperand(OpNo).isExpr() &&
261       isa<MCBinaryExpr>(MI->getOperand(OpNo).getExpr())) {
262     O << "ha16(";
263     printOperand(MI, OpNo, O);
264     O << ')';
265   } else {
266     printOperand(MI, OpNo, O);
267   }
268 }
269
270