blob: daa126def401753ae204e612cd67fbf521107b87 [file] [log] [blame]
Chris Lattner9cf0eb52009-10-19 20:21:05 +00001//===-- ARMMCInstLower.cpp - Convert ARM MachineInstr to an MCInst --------===//
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 file contains code to lower ARM MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattner112f2392010-11-14 20:31:06 +000015#include "ARM.h"
Jim Grosbachbaf120f2010-12-01 03:45:07 +000016#include "ARMAsmPrinter.h"
Evan Chengee04a6d2011-07-20 23:34:39 +000017#include "MCTargetDesc/ARMMCExpr.h"
Jim Grosbach26edbcb2010-09-15 18:47:08 +000018#include "llvm/Constants.h"
Chris Lattner96bc2172009-10-20 00:52:47 +000019#include "llvm/CodeGen/MachineBasicBlock.h"
Chris Lattner6f997762009-10-19 21:53:00 +000020#include "llvm/MC/MCExpr.h"
Chris Lattner9cf0eb52009-10-19 20:21:05 +000021#include "llvm/MC/MCInst.h"
Chris Lattnerd62f1b42010-03-12 21:19:23 +000022#include "llvm/Target/Mangler.h"
Chris Lattner9cf0eb52009-10-19 20:21:05 +000023using namespace llvm;
24
Chris Lattner1612a612010-11-14 20:58:38 +000025
Jim Grosbach53e3fc42011-07-08 17:40:42 +000026MCOperand ARMAsmPrinter::GetSymbolRef(const MachineOperand &MO,
27 const MCSymbol *Symbol) {
Chris Lattnerde36af42010-11-14 20:40:08 +000028 const MCExpr *Expr;
29 switch (MO.getTargetFlags()) {
Evan Cheng75972122011-01-13 07:58:56 +000030 default: {
Jim Grosbach53e3fc42011-07-08 17:40:42 +000031 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None,
32 OutContext);
Evan Cheng75972122011-01-13 07:58:56 +000033 switch (MO.getTargetFlags()) {
34 default:
35 assert(0 && "Unknown target flag on symbol operand");
36 case 0:
37 break;
38 case ARMII::MO_LO16:
Jim Grosbach53e3fc42011-07-08 17:40:42 +000039 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None,
40 OutContext);
41 Expr = ARMMCExpr::CreateLower16(Expr, OutContext);
Evan Cheng75972122011-01-13 07:58:56 +000042 break;
43 case ARMII::MO_HI16:
Jim Grosbach53e3fc42011-07-08 17:40:42 +000044 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None,
45 OutContext);
46 Expr = ARMMCExpr::CreateUpper16(Expr, OutContext);
Evan Cheng75972122011-01-13 07:58:56 +000047 break;
48 }
Chris Lattnerde36af42010-11-14 20:40:08 +000049 break;
Evan Cheng75972122011-01-13 07:58:56 +000050 }
51
Chris Lattnerde36af42010-11-14 20:40:08 +000052 case ARMII::MO_PLT:
Jim Grosbach53e3fc42011-07-08 17:40:42 +000053 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_PLT,
54 OutContext);
Chris Lattnerde36af42010-11-14 20:40:08 +000055 break;
56 }
Jim Grosbachd309b412010-11-30 23:29:24 +000057
Jim Grosbachc686e332010-09-17 18:25:25 +000058 if (!MO.isJTI() && MO.getOffset())
59 Expr = MCBinaryExpr::CreateAdd(Expr,
Jim Grosbach53e3fc42011-07-08 17:40:42 +000060 MCConstantExpr::Create(MO.getOffset(),
61 OutContext),
62 OutContext);
Jim Grosbachc686e332010-09-17 18:25:25 +000063 return MCOperand::CreateExpr(Expr);
Jim Grosbachd309b412010-11-30 23:29:24 +000064
Jim Grosbachc686e332010-09-17 18:25:25 +000065}
66
Jim Grosbach53e3fc42011-07-08 17:40:42 +000067bool ARMAsmPrinter::lowerOperand(const MachineOperand &MO,
68 MCOperand &MCOp) {
69 switch (MO.getType()) {
70 default:
71 assert(0 && "unknown operand type");
72 return false;
73 case MachineOperand::MO_Register:
74 // Ignore all non-CPSR implicit register operands.
75 if (MO.isImplicit() && MO.getReg() != ARM::CPSR)
76 return false;
77 assert(!MO.getSubReg() && "Subregs should be eliminated!");
78 MCOp = MCOperand::CreateReg(MO.getReg());
79 break;
80 case MachineOperand::MO_Immediate:
81 MCOp = MCOperand::CreateImm(MO.getImm());
82 break;
83 case MachineOperand::MO_MachineBasicBlock:
84 MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
85 MO.getMBB()->getSymbol(), OutContext));
86 break;
87 case MachineOperand::MO_GlobalAddress:
88 MCOp = GetSymbolRef(MO, Mang->getSymbol(MO.getGlobal()));
89 break;
90 case MachineOperand::MO_ExternalSymbol:
91 MCOp = GetSymbolRef(MO,
92 GetExternalSymbolSymbol(MO.getSymbolName()));
93 break;
94 case MachineOperand::MO_JumpTableIndex:
95 MCOp = GetSymbolRef(MO, GetJTISymbol(MO.getIndex()));
96 break;
97 case MachineOperand::MO_ConstantPoolIndex:
98 MCOp = GetSymbolRef(MO, GetCPISymbol(MO.getIndex()));
99 break;
100 case MachineOperand::MO_BlockAddress:
101 MCOp = GetSymbolRef(MO, GetBlockAddressSymbol(MO.getBlockAddress()));
102 break;
103 case MachineOperand::MO_FPImmediate: {
104 APFloat Val = MO.getFPImm()->getValueAPF();
105 bool ignored;
106 Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
107 MCOp = MCOperand::CreateFPImm(Val.convertToDouble());
108 break;
109 }
110 }
111 return true;
112}
113
Chris Lattner30e2cc22010-11-14 21:00:02 +0000114void llvm::LowerARMMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
Jim Grosbachbaf120f2010-12-01 03:45:07 +0000115 ARMAsmPrinter &AP) {
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000116 OutMI.setOpcode(MI->getOpcode());
Jim Grosbachfc16a892010-09-13 18:25:42 +0000117
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000118 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
119 const MachineOperand &MO = MI->getOperand(i);
Jim Grosbachfc16a892010-09-13 18:25:42 +0000120
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000121 MCOperand MCOp;
Jim Grosbach53e3fc42011-07-08 17:40:42 +0000122 if (AP.lowerOperand(MO, MCOp))
123 OutMI.addOperand(MCOp);
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000124 }
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000125}