blob: e2ac9a466ed8a3fa5deaab7703c3d701ae613a5d [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()) {
Craig Topperbc219812012-02-07 02:50:20 +000034 default: llvm_unreachable("Unknown target flag on symbol operand");
Evan Cheng75972122011-01-13 07:58:56 +000035 case 0:
36 break;
37 case ARMII::MO_LO16:
Jim Grosbach53e3fc42011-07-08 17:40:42 +000038 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None,
39 OutContext);
40 Expr = ARMMCExpr::CreateLower16(Expr, OutContext);
Evan Cheng75972122011-01-13 07:58:56 +000041 break;
42 case ARMII::MO_HI16:
Jim Grosbach53e3fc42011-07-08 17:40:42 +000043 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None,
44 OutContext);
45 Expr = ARMMCExpr::CreateUpper16(Expr, OutContext);
Evan Cheng75972122011-01-13 07:58:56 +000046 break;
47 }
Chris Lattnerde36af42010-11-14 20:40:08 +000048 break;
Evan Cheng75972122011-01-13 07:58:56 +000049 }
50
Chris Lattnerde36af42010-11-14 20:40:08 +000051 case ARMII::MO_PLT:
Jim Grosbach53e3fc42011-07-08 17:40:42 +000052 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_PLT,
53 OutContext);
Chris Lattnerde36af42010-11-14 20:40:08 +000054 break;
55 }
Jim Grosbachd309b412010-11-30 23:29:24 +000056
Jim Grosbachc686e332010-09-17 18:25:25 +000057 if (!MO.isJTI() && MO.getOffset())
58 Expr = MCBinaryExpr::CreateAdd(Expr,
Jim Grosbach53e3fc42011-07-08 17:40:42 +000059 MCConstantExpr::Create(MO.getOffset(),
60 OutContext),
61 OutContext);
Jim Grosbachc686e332010-09-17 18:25:25 +000062 return MCOperand::CreateExpr(Expr);
Jim Grosbachd309b412010-11-30 23:29:24 +000063
Jim Grosbachc686e332010-09-17 18:25:25 +000064}
65
Jim Grosbach53e3fc42011-07-08 17:40:42 +000066bool ARMAsmPrinter::lowerOperand(const MachineOperand &MO,
67 MCOperand &MCOp) {
68 switch (MO.getType()) {
Craig Topperbc219812012-02-07 02:50:20 +000069 default: llvm_unreachable("unknown operand type");
Jim Grosbach53e3fc42011-07-08 17:40:42 +000070 case MachineOperand::MO_Register:
71 // Ignore all non-CPSR implicit register operands.
72 if (MO.isImplicit() && MO.getReg() != ARM::CPSR)
73 return false;
74 assert(!MO.getSubReg() && "Subregs should be eliminated!");
75 MCOp = MCOperand::CreateReg(MO.getReg());
76 break;
77 case MachineOperand::MO_Immediate:
78 MCOp = MCOperand::CreateImm(MO.getImm());
79 break;
80 case MachineOperand::MO_MachineBasicBlock:
81 MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
82 MO.getMBB()->getSymbol(), OutContext));
83 break;
84 case MachineOperand::MO_GlobalAddress:
85 MCOp = GetSymbolRef(MO, Mang->getSymbol(MO.getGlobal()));
86 break;
87 case MachineOperand::MO_ExternalSymbol:
88 MCOp = GetSymbolRef(MO,
89 GetExternalSymbolSymbol(MO.getSymbolName()));
90 break;
91 case MachineOperand::MO_JumpTableIndex:
92 MCOp = GetSymbolRef(MO, GetJTISymbol(MO.getIndex()));
93 break;
94 case MachineOperand::MO_ConstantPoolIndex:
95 MCOp = GetSymbolRef(MO, GetCPISymbol(MO.getIndex()));
96 break;
97 case MachineOperand::MO_BlockAddress:
98 MCOp = GetSymbolRef(MO, GetBlockAddressSymbol(MO.getBlockAddress()));
99 break;
100 case MachineOperand::MO_FPImmediate: {
101 APFloat Val = MO.getFPImm()->getValueAPF();
102 bool ignored;
103 Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
104 MCOp = MCOperand::CreateFPImm(Val.convertToDouble());
105 break;
106 }
Jakob Stoklund Olesen71f0fc12012-01-18 23:52:19 +0000107 case MachineOperand::MO_RegisterMask:
108 // Ignore call clobbers.
109 return false;
Jim Grosbach53e3fc42011-07-08 17:40:42 +0000110 }
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}