2009-10-19 20:21:05 +00:00
|
|
|
//===-- ARMMCInstLower.cpp - Convert ARM MachineInstr to an MCInst --------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file contains code to lower ARM MachineInstrs to their corresponding
|
|
|
|
// MCInst records.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "ARMMCInstLower.h"
|
2010-11-14 20:31:06 +00:00
|
|
|
#include "ARM.h"
|
2009-10-20 00:52:47 +00:00
|
|
|
#include "llvm/CodeGen/AsmPrinter.h"
|
2010-09-15 18:47:08 +00:00
|
|
|
#include "llvm/Constants.h"
|
2009-10-20 00:52:47 +00:00
|
|
|
#include "llvm/CodeGen/MachineBasicBlock.h"
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
#include "llvm/MC/MCAsmInfo.h"
|
|
|
|
#include "llvm/MC/MCContext.h"
|
|
|
|
#include "llvm/MC/MCExpr.h"
|
2009-10-19 20:21:05 +00:00
|
|
|
#include "llvm/MC/MCInst.h"
|
2010-03-12 21:19:23 +00:00
|
|
|
#include "llvm/Target/Mangler.h"
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
#include "llvm/ADT/SmallString.h"
|
2009-10-19 20:21:05 +00:00
|
|
|
using namespace llvm;
|
|
|
|
|
2010-09-17 18:25:25 +00:00
|
|
|
MCSymbol *ARMMCInstLower::GetGlobalAddressSymbol(const GlobalValue *GV) const {
|
|
|
|
return Printer.Mang->getSymbol(GV);
|
|
|
|
}
|
|
|
|
|
|
|
|
const MCSymbolRefExpr *ARMMCInstLower::
|
|
|
|
GetSymbolRef(const MachineOperand &MO) const {
|
|
|
|
assert(MO.isGlobal() && "Isn't a global address reference?");
|
|
|
|
|
|
|
|
const MCSymbolRefExpr *SymRef;
|
|
|
|
const MCSymbol *Symbol = GetGlobalAddressSymbol(MO.getGlobal());
|
|
|
|
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
switch (MO.getTargetFlags()) {
|
|
|
|
default: assert(0 && "Unknown target flag on GV operand");
|
2010-09-17 18:25:25 +00:00
|
|
|
case 0:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None, Ctx);
|
|
|
|
break;
|
|
|
|
case ARMII::MO_LO16:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_LO16, Ctx);
|
|
|
|
break;
|
|
|
|
case ARMII::MO_HI16:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_HI16, Ctx);
|
|
|
|
break;
|
2010-09-22 23:27:36 +00:00
|
|
|
case ARMII::MO_PLT:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_PLT, Ctx);
|
|
|
|
break;
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
}
|
2010-09-13 18:25:42 +00:00
|
|
|
|
2010-09-17 18:25:25 +00:00
|
|
|
return SymRef;
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
}
|
|
|
|
|
2010-09-22 23:27:36 +00:00
|
|
|
const MCSymbolRefExpr *ARMMCInstLower::
|
2009-10-20 00:56:16 +00:00
|
|
|
GetExternalSymbolSymbol(const MachineOperand &MO) const {
|
2010-09-22 23:27:36 +00:00
|
|
|
const MCSymbolRefExpr *SymRef;
|
|
|
|
const MCSymbol *Symbol = Printer.GetExternalSymbolSymbol(MO.getSymbolName());
|
|
|
|
|
2009-10-20 00:56:16 +00:00
|
|
|
switch (MO.getTargetFlags()) {
|
2010-09-22 23:27:36 +00:00
|
|
|
default: assert(0 && "Unknown target flag on external symbol operand");
|
|
|
|
case 0:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None, Ctx);
|
|
|
|
break;
|
|
|
|
case ARMII::MO_LO16:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_LO16, Ctx);
|
|
|
|
break;
|
|
|
|
case ARMII::MO_HI16:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_HI16, Ctx);
|
|
|
|
break;
|
|
|
|
case ARMII::MO_PLT:
|
|
|
|
SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_PLT, Ctx);
|
|
|
|
break;
|
2009-10-20 00:56:16 +00:00
|
|
|
}
|
2010-09-13 18:25:42 +00:00
|
|
|
|
2010-09-22 23:27:36 +00:00
|
|
|
return SymRef;
|
2009-10-20 00:56:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
|
2010-11-14 20:31:06 +00:00
|
|
|
const MCSymbolRefExpr *ARMMCInstLower::
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
GetJumpTableSymbol(const MachineOperand &MO) const {
|
|
|
|
SmallString<256> Name;
|
2009-10-20 00:52:47 +00:00
|
|
|
raw_svector_ostream(Name) << Printer.MAI->getPrivateGlobalPrefix() << "JTI"
|
|
|
|
<< Printer.getFunctionNumber() << '_' << MO.getIndex();
|
2010-09-13 18:25:42 +00:00
|
|
|
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
switch (MO.getTargetFlags()) {
|
2010-09-22 23:01:28 +00:00
|
|
|
default: assert(0 && "Unknown target flag on jump table operand");
|
|
|
|
case 0: break;
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
}
|
2010-09-13 18:25:42 +00:00
|
|
|
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
// Create a symbol for the name.
|
2010-11-14 20:31:06 +00:00
|
|
|
return MCSymbolRefExpr::Create(Ctx.GetOrCreateSymbol(Name.str()), Ctx);
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
}
|
|
|
|
|
2010-11-14 20:31:06 +00:00
|
|
|
const MCSymbolRefExpr *ARMMCInstLower::
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
GetConstantPoolIndexSymbol(const MachineOperand &MO) const {
|
|
|
|
SmallString<256> Name;
|
2009-10-20 00:52:47 +00:00
|
|
|
raw_svector_ostream(Name) << Printer.MAI->getPrivateGlobalPrefix() << "CPI"
|
|
|
|
<< Printer.getFunctionNumber() << '_' << MO.getIndex();
|
2010-09-13 18:25:42 +00:00
|
|
|
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
switch (MO.getTargetFlags()) {
|
2010-09-22 23:01:28 +00:00
|
|
|
default: assert(0 && "Unknown target flag on CPI operand");
|
|
|
|
case 0: break;
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
}
|
2010-09-13 18:25:42 +00:00
|
|
|
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
// Create a symbol for the name.
|
2010-11-14 20:31:06 +00:00
|
|
|
return MCSymbolRefExpr::Create(Ctx.GetOrCreateSymbol(Name.str()), Ctx);
|
add jump tables, constant pools and some trivial global
lowering stuff. We can now compile hello world to:
_main:
stm ,
mov r7, sp
sub sp, sp, #4
mov r0, #0
str r0,
ldr r0,
bl _printf
ldr r0,
mov sp, r7
ldm ,
Almost looks like arm code :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84542 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-19 21:53:00 +00:00
|
|
|
}
|
|
|
|
|
2010-09-17 18:25:25 +00:00
|
|
|
MCOperand ARMMCInstLower::
|
|
|
|
LowerSymbolRefOperand(const MachineOperand &MO,
|
|
|
|
const MCSymbolRefExpr *Sym) const {
|
|
|
|
const MCExpr *Expr = Sym;
|
|
|
|
if (!MO.isJTI() && MO.getOffset())
|
|
|
|
Expr = MCBinaryExpr::CreateAdd(Expr,
|
|
|
|
MCConstantExpr::Create(MO.getOffset(), Ctx),
|
|
|
|
Ctx);
|
|
|
|
return MCOperand::CreateExpr(Expr);
|
|
|
|
}
|
|
|
|
|
2009-10-19 20:21:05 +00:00
|
|
|
|
|
|
|
void ARMMCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
|
|
|
|
OutMI.setOpcode(MI->getOpcode());
|
2010-09-13 18:25:42 +00:00
|
|
|
|
2009-10-19 20:21:05 +00:00
|
|
|
for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
|
|
|
|
const MachineOperand &MO = MI->getOperand(i);
|
2010-09-13 18:25:42 +00:00
|
|
|
|
2009-10-19 20:21:05 +00:00
|
|
|
MCOperand MCOp;
|
|
|
|
switch (MO.getType()) {
|
|
|
|
default:
|
|
|
|
MI->dump();
|
|
|
|
assert(0 && "unknown operand type");
|
|
|
|
case MachineOperand::MO_Register:
|
2010-09-14 20:41:27 +00:00
|
|
|
// Ignore all non-CPSR implicit register operands.
|
|
|
|
if (MO.isImplicit() && MO.getReg() != ARM::CPSR) continue;
|
2009-11-07 15:20:32 +00:00
|
|
|
assert(!MO.getSubReg() && "Subregs should be eliminated!");
|
2009-10-19 20:21:05 +00:00
|
|
|
MCOp = MCOperand::CreateReg(MO.getReg());
|
|
|
|
break;
|
|
|
|
case MachineOperand::MO_Immediate:
|
|
|
|
MCOp = MCOperand::CreateImm(MO.getImm());
|
|
|
|
break;
|
|
|
|
case MachineOperand::MO_MachineBasicBlock:
|
|
|
|
MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
|
2010-03-13 21:04:28 +00:00
|
|
|
MO.getMBB()->getSymbol(), Ctx));
|
2009-10-19 20:21:05 +00:00
|
|
|
break;
|
|
|
|
case MachineOperand::MO_GlobalAddress:
|
2010-09-17 18:25:25 +00:00
|
|
|
MCOp = LowerSymbolRefOperand(MO, GetSymbolRef(MO));
|
2009-10-19 20:21:05 +00:00
|
|
|
break;
|
|
|
|
case MachineOperand::MO_ExternalSymbol:
|
2010-09-22 23:27:36 +00:00
|
|
|
MCOp = LowerSymbolRefOperand(MO, GetExternalSymbolSymbol(MO));
|
2009-10-19 20:21:05 +00:00
|
|
|
break;
|
|
|
|
case MachineOperand::MO_JumpTableIndex:
|
2010-11-14 20:31:06 +00:00
|
|
|
MCOp = LowerSymbolRefOperand(MO, GetJumpTableSymbol(MO));
|
2009-10-19 20:21:05 +00:00
|
|
|
break;
|
|
|
|
case MachineOperand::MO_ConstantPoolIndex:
|
2010-11-14 20:31:06 +00:00
|
|
|
MCOp = LowerSymbolRefOperand(MO, GetConstantPoolIndexSymbol(MO));
|
2009-10-19 20:21:05 +00:00
|
|
|
break;
|
2009-10-30 05:45:42 +00:00
|
|
|
case MachineOperand::MO_BlockAddress:
|
2010-11-14 20:31:06 +00:00
|
|
|
MCOp = LowerSymbolRefOperand(MO,
|
|
|
|
MCSymbolRefExpr::Create(Printer.GetBlockAddressSymbol(
|
|
|
|
MO.getBlockAddress()), Ctx));
|
2009-10-30 05:45:42 +00:00
|
|
|
break;
|
2010-09-15 18:47:08 +00:00
|
|
|
case MachineOperand::MO_FPImmediate:
|
2010-09-16 17:37:30 +00:00
|
|
|
APFloat Val = MO.getFPImm()->getValueAPF();
|
|
|
|
bool ignored;
|
|
|
|
Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
|
|
|
|
MCOp = MCOperand::CreateFPImm(Val.convertToDouble());
|
2010-09-15 18:47:08 +00:00
|
|
|
break;
|
2009-10-19 20:21:05 +00:00
|
|
|
}
|
2010-09-13 18:25:42 +00:00
|
|
|
|
2009-10-19 20:21:05 +00:00
|
|
|
OutMI.addOperand(MCOp);
|
|
|
|
}
|
2010-09-13 18:25:42 +00:00
|
|
|
|
2009-10-19 20:21:05 +00:00
|
|
|
}
|