llvm-mirror/test/MC/ARM/negative-immediates-thumb1.s
Sanne Wouda 472490f306 [ARM] [Assembler] Support negative immediates for A32, T32 and T16
Summary:
To support negative immediates for certain arithmetic instructions, the
instruction is converted to the inverse instruction with a negated (or inverted)
immediate. For example, "ADD r0, r1, #FFFFFFFF" cannot be encoded as an ADD
instruction.  However, "SUB r0, r1, #1" is equivalent.

These conversions are different from instruction aliases.  An alias maps
several assembler instructions onto one encoding.  A conversion, however, maps
an *invalid* instruction--e.g. with an immediate that cannot be represented in
the encoding--to a different (but equivalent) instruction.

Several instructions with negative immediates were being converted already, but
this was not systematically tested, nor did it cover all instructions.

This patch implements all possible substitutions for ARM, Thumb1 and
Thumb2 assembler and adds tests.  It also adds a feature flag
(-mattr=+no-neg-immediates) to turn these substitutions off.  This is
helpful for users who want their code to assemble to exactly what they
wrote.

Reviewers: t.p.northover, rovka, samparker, javed.absar, peter.smith, rengolin

Reviewed By: javed.absar

Subscribers: aadg, aemerson, llvm-commits

Differential Revision: https://reviews.llvm.org/D30571

llvm-svn: 298380
2017-03-21 14:59:17 +00:00

20 lines
691 B
ArmAsm

# RUN: llvm-mc -triple thumbv7 -mcpu=cortex-m0 %s -show-encoding | FileCheck %s
# RUN: not llvm-mc -triple thumbv7 -mcpu=cortex-m0 %s -show-encoding -mattr=+no-neg-immediates 2>&1 | FileCheck %s -check-prefix=CHECK-DISABLED
.thumb
ADDs r1, r0, #0xFFFFFFF9
# CHECK: subs r1, r0, #7
# CHECK-DISABLED: error: instruction requires: NegativeImmediates
ADDs r0, #0xFFFFFF01
# CHECK: subs r0, #255
# CHECK-DISABLED: error: instruction requires: NegativeImmediates
SUBs r0, #0xFFFFFF01
# CHECK: adds r0, #255
# CHECK-DISABLED: error: instruction requires: NegativeImmediates
SUBs r1, r0, #0xFFFFFFF9
# CHECK: adds r1, r0, #7
# CHECK-DISABLED: error: instruction requires: NegativeImmediates