RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 11:42:57 +01:00
Code Issues Projects Releases Wiki Activity

[ARM] Avoid switching ARM/Thumb mode on .arch/.cpu directive

Browse Source 
When we see a .arch or .cpu directive, we should try to avoid switching
ARM/Thumb mode if possible.

If we do have to switch modes, we also need to emit the correct mapping
symbol for the new ISA. We did not do this previously, so could emit
ARM code with Thumb mapping symbols (or vice-versa).

The GAS behaviour is to always stay in the same mode, and to emit an
error on any instructions seen when the current mode is not available on
the current target. We can't represent that situation easily (we assume
that Thumb mode is available if ModeThumb is set), so we differ from the
GAS behaviour when switching to a target that can't support the old
mode. I've added a warning for when this implicit mode-switch occurs.

Differential Revision: http://reviews.llvm.org/D18955

llvm-svn: 265936
This commit is contained in:
Oliver Stannard 2016-04-11 13:06:28 +00:00
parent 8612094f9a
commit 7248f4417e
2 changed files with 82 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
lib/Target/ARM/AsmParser/ARMAsmParser.cpp
View File

@ -296,6 +296,7 @@ class ARMAsmParser : public MCTargetAsmParser {
uint64_t FB = ComputeAvailableFeatures(STI.ToggleFeature(ARM::ModeThumb));
setAvailableFeatures(FB);
}
void FixModeAfterArchChange(bool WasThumb, SMLoc Loc);
bool isMClass() const {
return getSTI().getFeatureBits()[ARM::FeatureMClass];
}
@ -9099,6 +9100,31 @@ bool ARMAsmParser::parseDirectiveUnreq(SMLoc L) {
return false;
}
// After changing arch/CPU, try to put the ARM/Thumb mode back to what it was
// before, if supported by the new target, or emit mapping symbols for the mode
// switch.
void ARMAsmParser::FixModeAfterArchChange(bool WasThumb, SMLoc Loc) {
if (WasThumb != isThumb()) {
if (WasThumb && hasThumb()) {
// Stay in Thumb mode
SwitchMode();
} else if (!WasThumb && hasARM()) {
// Stay in ARM mode
SwitchMode();
} else {
// Mode switch forced, because the new arch doesn't support the old mode.
getParser().getStreamer().EmitAssemblerFlag(isThumb() ? MCAF_Code16
: MCAF_Code32);
// Warn about the implcit mode switch. GAS does not switch modes here,
// but instead stays in the old mode, reporting an error on any following
// instructions as the mode does not exist on the target.
Warning(Loc, Twine("new target does not support ") +
(WasThumb ? "thumb" : "arm") + " mode, switching to " +
(!WasThumb ? "thumb" : "arm") + " mode");
}
}
}
/// parseDirectiveArch
/// ::= .arch token
bool ARMAsmParser::parseDirectiveArch(SMLoc L) {
@ -9111,10 +9137,12 @@ bool ARMAsmParser::parseDirectiveArch(SMLoc L) {
return false;
}
bool WasThumb = isThumb();
Triple T;
MCSubtargetInfo &STI = copySTI();
STI.setDefaultFeatures("", ("+" + ARM::getArchName(ID)).str());
setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
FixModeAfterArchChange(WasThumb, L);
getTargetStreamer().emitArch(ID);
return false;
@ -9245,9 +9273,11 @@ bool ARMAsmParser::parseDirectiveCPU(SMLoc L) {
return false;
}
bool WasThumb = isThumb();
MCSubtargetInfo &STI = copySTI();
STI.setDefaultFeatures(CPU, "");
setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
FixModeAfterArchChange(WasThumb, L);
return false;
}

52
test/MC/ARM/directive-arch-mode-switch.s Normal file
View File

@ -0,0 +1,52 @@
@ RUN: llvm-mc -triple arm-none-eabi -filetype asm %s 2>%t | FileCheck %s
@ RUN: FileCheck %s <%t --check-prefix=STDERR
@ Start in arm mode
.arm
@ CHECK: .code 32
@ In ARM mode, switch to an arch which has ARM and Thumb, no warning or .code directive (stay in ARM mode)
.arch armv7-a
@ STDERR-NOT: [[@LINE-1]]:{{[0-9]+}}: warning:
@ CHECK-NOT: .code
@ CHECK: .arch armv7-a
@ CHECK-NOT: .code
@ In ARM mode, switch to an arch which has Thumb only, expect warning and .code 16 directive
.arch armv6-m
@ STDERR: [[@LINE-1]]:{{[0-9]+}}: warning: new target does not support arm mode, switching to thumb mode
@ CHECK: .code 16
@ CHECK: .arch armv6-m
@ In Thumb mode, switch to an arch which has ARM and Thumb, no warning or .code directive (stay in Thumb mode)
.arch armv7-a
@ STDERR-NOT: [[@LINE-1]]:{{[0-9]+}}: warning:
@ CHECK-NOT: .code
@ CHECK: .arch armv7-a
@ CHECK-NOT: .code
@ In Thumb mode, switch to a CPU which has ARM and Thumb, no warning or .code directive (stay in Thumb mode)
.cpu cortex-a8
@ STDERR-NOT: [[@LINE-1]]:{{[0-9]+}}: warning:
@ CHECK-NOT: .code
@ CHECK: .cpu cortex-a8
@ CHECK-NOT: .code
@ Switch to ARM mode
.arm
@ CHECK: .code 32
@ In ARM mode, switch to a CPU which has ARM and Thumb, no warning or .code directive (stay in ARM mode)
.cpu cortex-a8
@ STDERR-NOT: [[@LINE-1]]:{{[0-9]+}}: warning:
@ CHECK-NOT: .code
@ CHECK: .cpu cortex-a8
@ CHECK-NOT: .code
@ In ARM mode, switch to a CPU which has Thumb only, expect warning and .code 16 directive
.cpu cortex-m3
@ STDERR: [[@LINE-1]]:{{[0-9]+}}: warning: new target does not support arm mode, switching to thumb mode
@ CHECK: .cpu cortex-m3
@ CHECK: .code 16
@ We don't have any ARM-only targets (i.e. v4), so we can't test the forced Thumb->ARM case