llvm/test/MC/AArch64/label-arithmetic-diags-darwin.s
Diana Picus 8d8506a21e [AArch64] Allow label arithmetic with add/sub/cmp
Allow instructions such as 'cmp w0, #(end - start)' by folding the
expression into a constant. For ELF, we fold only if the symbols are in
the same section. For MachO, we fold if the expression contains only
symbols that are not linker visible.

Fixes https://llvm.org/bugs/show_bug.cgi?id=18920

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@283862 91177308-0d34-0410-b5e6-96231b3b80d8
2016-10-11 09:17:47 +00:00

69 lines
2.1 KiB
ArmAsm

// RUN: not llvm-mc -triple aarch64-darwin -filetype=obj %s -o /dev/null 2>&1 | FileCheck %s
// RUN: not llvm-mc -triple aarch64-ios -filetype=obj %s -o /dev/null 2>&1 | FileCheck %s
Lstart:
.space 8
Lend:
add w0, w1, #(Lend - external)
cmp w0, #(Lend - external)
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: add w0, w1, #(Lend - external)
// CHECK-NEXT: ^
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: cmp w0, #(Lend - external)
// CHECK-NEXT: ^
add w0, w1, #(Lend - var@TLVPPAGEOFF)
cmp w0, #(Lend - var@TLVPPAGEOFF)
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: add w0, w1, #(Lend - var@TLVPPAGEOFF)
// CHECK-NEXT: ^
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: cmp w0, #(Lend - var@TLVPPAGEOFF)
// CHECK-NEXT: ^
add w0, w1, #(Lstart - Lend)
cmp w0, #(Lstart - Lend)
// CHECK: error: fixup value out of range
// CHECK-NEXT: add w0, w1, #(Lstart - Lend)
// CHECK-NEXT: ^
// CHECK: error: fixup value out of range
// CHECK-NEXT: cmp w0, #(Lstart - Lend)
// CHECK-NEXT: ^
.space 5000
Lfar:
add w0, w1, #(Lfar - Lend)
cmp w0, #(Lfar - Lend)
// CHECK: error: fixup value out of range
// CHECK-NEXT: add w0, w1, #(Lfar - Lend)
// CHECK-NEXT: ^
// CHECK: error: fixup value out of range
// CHECK-NEXT: cmp w0, #(Lfar - Lend)
// CHECK-NEXT: ^
Lprivate1:
.space 8
notprivate:
.space 8
Lprivate2:
add w0, w1, #(Lprivate2 - Lprivate1)
cmp w0, #(Lprivate2 - Lprivate1)
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: add w0, w1, #(Lprivate2 - Lprivate1)
// CHECK-NEXT: ^
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: cmp w0, #(Lprivate2 - Lprivate1)
// CHECK-NEXT: ^
.section __TEXT, sec_y, regular, pure_instructions
Lend_across_sec:
add w0, w1, #(Lend_across_sec - Lprivate2)
cmp w0, #(Lend_across_sec - Lprivate2)
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: add w0, w1, #(Lend_across_sec - Lprivate2)
// CHECK-NEXT: ^
// CHECK: error: unknown AArch64 fixup kind!
// CHECK-NEXT: cmp w0, #(Lend_across_sec - Lprivate2)
// CHECK-NEXT: ^