mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-11 11:34:02 +00:00
027e94479c
This patch adds support for having the assembler optimize fixups to constructs like "symbol@ha" or "symbol@l" if "symbol" can be resolved at assembler time. This optimization is already present in the PPCMCExpr.cpp code for handling PPC_HA16/PPC_LO16 target expressions. However, those target expression were used only on Darwin targets. This patch changes target expression code so that they are usable also with the GNU assembler (using the @ha / @l syntax instead of the ha16() / lo16() syntax), and changes the MCInst lowering code to generate those target expressions where appropriate. It also changes the asm parser to generate HA16/LO16 target expressions when parsing assembler source that uses the @ha / @l modifiers. The effect is that now the above- mentioned optimization automatically becomes available for those situations too. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@184436 91177308-0d34-0410-b5e6-96231b3b80d8
121 lines
3.3 KiB
C++
121 lines
3.3 KiB
C++
//===-- PPCMCExpr.cpp - PPC specific MC expression classes ----------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#define DEBUG_TYPE "ppcmcexpr"
|
|
#include "PPCMCExpr.h"
|
|
#include "llvm/MC/MCAssembler.h"
|
|
#include "llvm/MC/MCContext.h"
|
|
#include "llvm/MC/MCAsmInfo.h"
|
|
|
|
using namespace llvm;
|
|
|
|
const PPCMCExpr*
|
|
PPCMCExpr::Create(VariantKind Kind, const MCExpr *Expr,
|
|
MCContext &Ctx) {
|
|
int AssemblerDialect = Ctx.getAsmInfo()->getAssemblerDialect();
|
|
return new (Ctx) PPCMCExpr(Kind, Expr, AssemblerDialect);
|
|
}
|
|
|
|
void PPCMCExpr::PrintImpl(raw_ostream &OS) const {
|
|
if (isDarwinSyntax()) {
|
|
switch (Kind) {
|
|
default: llvm_unreachable("Invalid kind!");
|
|
case VK_PPC_HA16: OS << "ha16"; break;
|
|
case VK_PPC_LO16: OS << "lo16"; break;
|
|
}
|
|
|
|
OS << '(';
|
|
getSubExpr()->print(OS);
|
|
OS << ')';
|
|
} else {
|
|
getSubExpr()->print(OS);
|
|
|
|
switch (Kind) {
|
|
default: llvm_unreachable("Invalid kind!");
|
|
case VK_PPC_HA16: OS << "@ha"; break;
|
|
case VK_PPC_LO16: OS << "@l"; break;
|
|
}
|
|
}
|
|
}
|
|
|
|
bool
|
|
PPCMCExpr::EvaluateAsRelocatableImpl(MCValue &Res,
|
|
const MCAsmLayout *Layout) const {
|
|
MCValue Value;
|
|
|
|
if (!getSubExpr()->EvaluateAsRelocatable(Value, *Layout))
|
|
return false;
|
|
|
|
if (Value.isAbsolute()) {
|
|
int64_t Result = Value.getConstant();
|
|
switch (Kind) {
|
|
default:
|
|
llvm_unreachable("Invalid kind!");
|
|
case VK_PPC_HA16:
|
|
Result = ((Result >> 16) + ((Result & 0x8000) ? 1 : 0)) & 0xffff;
|
|
break;
|
|
case VK_PPC_LO16:
|
|
Result = Result & 0xffff;
|
|
break;
|
|
}
|
|
Res = MCValue::get(Result);
|
|
} else {
|
|
MCContext &Context = Layout->getAssembler().getContext();
|
|
const MCSymbolRefExpr *Sym = Value.getSymA();
|
|
MCSymbolRefExpr::VariantKind Modifier = Sym->getKind();
|
|
if (Modifier != MCSymbolRefExpr::VK_None)
|
|
return false;
|
|
switch (Kind) {
|
|
default:
|
|
llvm_unreachable("Invalid kind!");
|
|
case VK_PPC_HA16:
|
|
Modifier = MCSymbolRefExpr::VK_PPC_ADDR16_HA;
|
|
break;
|
|
case VK_PPC_LO16:
|
|
Modifier = MCSymbolRefExpr::VK_PPC_ADDR16_LO;
|
|
break;
|
|
}
|
|
Sym = MCSymbolRefExpr::Create(&Sym->getSymbol(), Modifier, Context);
|
|
Res = MCValue::get(Sym, Value.getSymB(), Value.getConstant());
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
// FIXME: This basically copies MCObjectStreamer::AddValueSymbols. Perhaps
|
|
// that method should be made public?
|
|
static void AddValueSymbols_(const MCExpr *Value, MCAssembler *Asm) {
|
|
switch (Value->getKind()) {
|
|
case MCExpr::Target:
|
|
llvm_unreachable("Can't handle nested target expr!");
|
|
|
|
case MCExpr::Constant:
|
|
break;
|
|
|
|
case MCExpr::Binary: {
|
|
const MCBinaryExpr *BE = cast<MCBinaryExpr>(Value);
|
|
AddValueSymbols_(BE->getLHS(), Asm);
|
|
AddValueSymbols_(BE->getRHS(), Asm);
|
|
break;
|
|
}
|
|
|
|
case MCExpr::SymbolRef:
|
|
Asm->getOrCreateSymbolData(cast<MCSymbolRefExpr>(Value)->getSymbol());
|
|
break;
|
|
|
|
case MCExpr::Unary:
|
|
AddValueSymbols_(cast<MCUnaryExpr>(Value)->getSubExpr(), Asm);
|
|
break;
|
|
}
|
|
}
|
|
|
|
void PPCMCExpr::AddValueSymbols(MCAssembler *Asm) const {
|
|
AddValueSymbols_(getSubExpr(), Asm);
|
|
}
|