6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-13 20:32:21 +00:00
Code Issues Projects Releases Wiki Activity
d60ced8e08
llvm-6502/test/MC/ARM/thumb2-branches.s

287 lines
12 KiB
ArmAsm
Raw Normal View History

Fix assembling of Thumb2 branch instructions. The long encoding for Thumb2 unconditional branches is broken. Additionally, there is no range checking for target operands; as such for instructions originating in assembly code, only short Thumb encodings are generated, regardless of the bitsize needed for the offset. Adding range checking is non trivial due to the representation of Thumb branch instructions. There is no true difference between conditional and unconditional branches in terms of operands and syntax - even unconditional branches have a predicate which is expected to match that of the IT block they are in. Yet, the encodings and the permitted size of the offset differ. Due to this, for any mnemonic there are really 4 encodings to choose for. The problem cannot be handled in the parser alone or by manipulating td files. Because the parser builds first a set of match candidates and then checks them one by one, whatever tablegen-only solution might be found will ultimately be dependent of the parser's evaluation order. What's worse is that due to the fact that all branches have the same syntax and the same kinds of operands, that order is governed by the lexicographical ordering of the names of operand classes... To circumvent all this, any necessary disambiguation is added to the instruction validation pass. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188067 91177308-0d34-0410-b5e6-96231b3b80d8
2013-08-09 10:38:32 +00:00
@ RUN: llvm-mc -triple=thumbv7-apple-darwin -mcpu=cortex-a8 -show-encoding < %s | FileCheck %s
@------------------------------------------------------------------------------
@ unconditional branches accept narrow suffix and encode to short encodings
@------------------------------------------------------------------------------
b.n #-2048
b.n #2046
@ CHECK: b #-2048 @ encoding: [0x00,0xe4]
@ CHECK: b #2046 @ encoding: [0xff,0xe3]
@------------------------------------------------------------------------------
@ unconditional branches accept wide suffix and encode to wide encodings
@------------------------------------------------------------------------------
b.w #-2048
b.w #2046
b.w #-1677216
b.w #1677214
@ CHECK: b.w #-2048 @ encoding: [0xff,0xf7,0x00,0xbc]
@ CHECK: b.w #2046 @ encoding: [0x00,0xf0,0xff,0xbb]
@ CHECK: b.w #-1677216 @ encoding: [0x66,0xf6,0x30,0xbc]
@ CHECK: b.w #1677214 @ encoding: [0x99,0xf1,0xcf,0xbb]
@------------------------------------------------------------------------------
@ unconditional branches without width suffix encode depending of offset size
@------------------------------------------------------------------------------
b #-2048
b #2046
b #-2050
b #2048
b #-1677216
b #1677214
@ CHECK: b #-2048 @ encoding: [0x00,0xe4]
@ CHECK: b #2046 @ encoding: [0xff,0xe3]
@ CHECK: b.w #-2050 @ encoding: [0xff,0xf7,0xff,0xbb]
@ CHECK: b.w #2048 @ encoding: [0x00,0xf0,0x00,0xbc]
@ CHECK: b.w #-1677216 @ encoding: [0x66,0xf6,0x30,0xbc]
@ CHECK: b.w #1677214 @ encoding: [0x99,0xf1,0xcf,0xbb]
@------------------------------------------------------------------------------
@ unconditional branches with width narrow suffix in IT block
@------------------------------------------------------------------------------
it eq
beq.n #-2048
it ne
bne.n #-2046
@ CHECK: it eq @ encoding: [0x08,0xbf]
@ CHECK: beq #-2048 @ encoding: [0x00,0xe4]
@ CHECK: it ne @ encoding: [0x18,0xbf]
@ CHECK: bne #-2046 @ encoding: [0x01,0xe4]
@------------------------------------------------------------------------------
@ unconditional branches with wide suffix in IT block
@------------------------------------------------------------------------------
it gt
bgt.w #-2048
it le
ble.w #2046
it ge
bge.w #-1677216
it lt
blt.w #1677214
@ CHECK: it gt @ encoding: [0xc8,0xbf]
@ CHECK: bgt.w #-2048 @ encoding: [0xff,0xf7,0x00,0xbc]
@ CHECK: it le @ encoding: [0xd8,0xbf]
@ CHECK: ble.w #2046 @ encoding: [0x00,0xf0,0xff,0xbb]
@ CHECK: it ge @ encoding: [0xa8,0xbf]
@ CHECK: bge.w #-1677216 @ encoding: [0x66,0xf6,0x30,0xbc]
@ CHECK: it lt @ encoding: [0xb8,0xbf]
@ CHECK: blt.w #1677214 @ encoding: [0x99,0xf1,0xcf,0xbb]
@------------------------------------------------------------------------------
@ conditional branches accept narrow suffix and encode to short encodings
@------------------------------------------------------------------------------
beq.n #-256
bne.n #254
@ CHECK: beq #-256 @ encoding: [0x80,0xd0]
@ CHECK: bne #254 @ encoding: [0x7f,0xd1]
@------------------------------------------------------------------------------
@ unconditional branches accept wide suffix and encode to wide encodings
@------------------------------------------------------------------------------
bmi.w #-256
bne.w #254
blt.w #-1048576
bge.w #1048574
@ CHECK: bmi.w #-256 @ encoding: [0x3f,0xf5,0x80,0xaf]
@ CHECK: bne.w #254 @ encoding: [0x40,0xf0,0x7f,0x80]
@ CHECK: blt.w #-1048576 @ encoding: [0xc0,0xf6,0x00,0x80]
@ CHECK: bge.w #1048574 @ encoding: [0xbf,0xf2,0xff,0xaf]
@------------------------------------------------------------------------------
@ unconditional branches without width suffix encode depending of offset size
@------------------------------------------------------------------------------
bne #-256
bgt #254
bne #-258
bgt #256
bne #-1048576
bgt #1048574
@ CHECK: bne #-256 @ encoding: [0x80,0xd1]
@ CHECK: bgt #254 @ encoding: [0x7f,0xdc]
@ CHECK: bne.w #-258 @ encoding: [0x7f,0xf4,0x7f,0xaf]
@ CHECK: bgt.w #256 @ encoding: [0x00,0xf3,0x80,0x80]
@ CHECK: bne.w #-1048576 @ encoding: [0x40,0xf4,0x00,0x80]
@ CHECK: bgt.w #1048574 @ encoding: [0x3f,0xf3,0xff,0xaf]
@------------------------------------------------------------------------------
@ same branch insturction encoding to conditional or unconditional depending
@ on whether it is in an IT block or not
@------------------------------------------------------------------------------
it eq
addeq r0, r1
bne #128
@ CHECK: it eq @ encoding: [0x08,0xbf]
@ CHECK: addeq r0, r1 @ encoding: [0x08,0x44]
@ CHECK: bne #128 @ encoding: [0x40,0xd1]
ite eq
addeq r0, r1
bne #128
@ CHECK: ite eq @ encoding: [0x0c,0xbf]
@ CHECK: addeq r0, r1 @ encoding: [0x08,0x44]
@ CHECK: bne #128 @ encoding: [0x40,0xe0]
@ RUN: llvm-mc -triple=thumbv7-apple-darwin -mcpu=cortex-a8 -show-encoding < %s | FileCheck %s
@------------------------------------------------------------------------------
@ unconditional branches accept narrow suffix and encode to short encodings
@------------------------------------------------------------------------------
b.n #-2048
b.n #2046
@ CHECK: b #-2048 @ encoding: [0x00,0xe4]
@ CHECK: b #2046 @ encoding: [0xff,0xe3]
@------------------------------------------------------------------------------
@ unconditional branches accept wide suffix and encode to wide encodings
@------------------------------------------------------------------------------
b.w #-2048
b.w #2046
b.w #-1677216
b.w #1677214
@ CHECK: b.w #-2048 @ encoding: [0xff,0xf7,0x00,0xbc]
@ CHECK: b.w #2046 @ encoding: [0x00,0xf0,0xff,0xbb]
@ CHECK: b.w #-1677216 @ encoding: [0x66,0xf6,0x30,0xbc]
@ CHECK: b.w #1677214 @ encoding: [0x99,0xf1,0xcf,0xbb]
@------------------------------------------------------------------------------
@ unconditional branches without width suffix encode depending of offset size
@------------------------------------------------------------------------------
b #-2048
b #2046
b #-2050
b #2048
b #-1677216
b #1677214
@ CHECK: b #-2048 @ encoding: [0x00,0xe4]
@ CHECK: b #2046 @ encoding: [0xff,0xe3]
@ CHECK: b.w #-2050 @ encoding: [0xff,0xf7,0xff,0xbb]
@ CHECK: b.w #2048 @ encoding: [0x00,0xf0,0x00,0xbc]
@ CHECK: b.w #-1677216 @ encoding: [0x66,0xf6,0x30,0xbc]
@ CHECK: b.w #1677214 @ encoding: [0x99,0xf1,0xcf,0xbb]
@------------------------------------------------------------------------------
@ unconditional branches with width narrow suffix in IT block
@------------------------------------------------------------------------------
it eq
beq.n #-2048
it ne
bne.n #-2046
@ CHECK: it eq @ encoding: [0x08,0xbf]
@ CHECK: beq #-2048 @ encoding: [0x00,0xe4]
@ CHECK: it ne @ encoding: [0x18,0xbf]
@ CHECK: bne #-2046 @ encoding: [0x01,0xe4]
@------------------------------------------------------------------------------
@ unconditional branches with wide suffix in IT block
@------------------------------------------------------------------------------
it gt
bgt.w #-2048
it le
ble.w #2046
it ge
bge.w #-1677216
it lt
blt.w #1677214
@ CHECK: it gt @ encoding: [0xc8,0xbf]
@ CHECK: bgt.w #-2048 @ encoding: [0xff,0xf7,0x00,0xbc]
@ CHECK: it le @ encoding: [0xd8,0xbf]
@ CHECK: ble.w #2046 @ encoding: [0x00,0xf0,0xff,0xbb]
@ CHECK: it ge @ encoding: [0xa8,0xbf]
@ CHECK: bge.w #-1677216 @ encoding: [0x66,0xf6,0x30,0xbc]
@ CHECK: it lt @ encoding: [0xb8,0xbf]
@ CHECK: blt.w #1677214 @ encoding: [0x99,0xf1,0xcf,0xbb]
@------------------------------------------------------------------------------
@ conditional branches accept narrow suffix and encode to short encodings
@------------------------------------------------------------------------------
beq.n #-256
bne.n #254
@ CHECK: beq #-256 @ encoding: [0x80,0xd0]
@ CHECK: bne #254 @ encoding: [0x7f,0xd1]
@------------------------------------------------------------------------------
@ unconditional branches accept wide suffix and encode to wide encodings
@------------------------------------------------------------------------------
bmi.w #-256
bne.w #254
blt.w #-1048576
bge.w #1048574
@ CHECK: bmi.w #-256 @ encoding: [0x3f,0xf5,0x80,0xaf]
@ CHECK: bne.w #254 @ encoding: [0x40,0xf0,0x7f,0x80]
@ CHECK: blt.w #-1048576 @ encoding: [0xc0,0xf6,0x00,0x80]
@ CHECK: bge.w #1048574 @ encoding: [0xbf,0xf2,0xff,0xaf]
@------------------------------------------------------------------------------
@ unconditional branches without width suffix encode depending of offset size
@------------------------------------------------------------------------------
bne #-256
bgt #254
bne #-258
bgt #256
bne #-1048576
bgt #1048574
@ CHECK: bne #-256 @ encoding: [0x80,0xd1]
@ CHECK: bgt #254 @ encoding: [0x7f,0xdc]
@ CHECK: bne.w #-258 @ encoding: [0x7f,0xf4,0x7f,0xaf]
@ CHECK: bgt.w #256 @ encoding: [0x00,0xf3,0x80,0x80]
@ CHECK: bne.w #-1048576 @ encoding: [0x40,0xf4,0x00,0x80]
@ CHECK: bgt.w #1048574 @ encoding: [0x3f,0xf3,0xff,0xaf]
@------------------------------------------------------------------------------
@ same branch insturction encoding to conditional or unconditional depending
@ on whether it is in an IT block or not
@------------------------------------------------------------------------------
it eq
addeq r0, r1
bne #128
@ CHECK: it eq @ encoding: [0x08,0xbf]
@ CHECK: addeq r0, r1 @ encoding: [0x08,0x44]
@ CHECK: bne #128 @ encoding: [0x40,0xd1]
ite eq
addeq r0, r1
bne #128
@ CHECK: ite eq @ encoding: [0x0c,0xbf]
@ CHECK: addeq r0, r1 @ encoding: [0x08,0x44]
@ CHECK: bne #128 @ encoding: [0x40,0xe0]
Reference in New Issue Copy Permalink