maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/lld/test/ELF/linkerscript/absolute-expr.test

81 lines
2.0 KiB
Plaintext
Raw Normal View History

Move IsAbsolute from SymbolAssignment to Expr. And as a token of the new feature, make ALIGNOF always absolute. This is a step in making it possible to have non absolute symbols out of output sections. llvm-svn: 285608
2016-11-01 01:43:38 +08:00
# REQUIRES: x86
Write some tests as linker scripts instead of assembly files. Some linker script test cases contain only a few lines of assembly and a long linker script. Such tests are easier to maintain if we write the main test file as a linkier script instead of assembly. Differential Revision: https://reviews.llvm.org/D43887 llvm-svn: 326363
2018-03-01 04:22:42 +08:00
# RUN: echo ".global foo; foo = 0x123" | llvm-mc -filetype=obj -triple=x86_64-pc-linux - -o %t.o
# RUN: ld.lld -o %t.so --script %s %t.o -shared
Move IsAbsolute from SymbolAssignment to Expr. And as a token of the new feature, make ALIGNOF always absolute. This is a step in making it possible to have non absolute symbols out of output sections. llvm-svn: 285608
2016-11-01 01:43:38 +08:00
# RUN: llvm-readobj -t %t.so | FileCheck %s
Write some tests as linker scripts instead of assembly files. Some linker script test cases contain only a few lines of assembly and a long linker script. Such tests are easier to maintain if we write the main test file as a linkier script instead of assembly. Differential Revision: https://reviews.llvm.org/D43887 llvm-svn: 326363
2018-03-01 04:22:42 +08:00
SECTIONS {
.text : {
bar1 = ALIGNOF(.text);
bar2 = CONSTANT (MAXPAGESIZE);
bar3 = SIZEOF (.text);
bar4 = SIZEOF_HEADERS;
bar5 = 0x42;
bar6 = foo + 1;
*(.text)
}
}
Delay computation of IsAbsolute. We parse linker scripts very early, but whether an expression is absolute or not can depend on a symbol defined in a .o. Given that, we have to delay the computation of IsAbsolute. We can do that by storing an AST when parsing or by also making IsAbsolute a function like we do for the expression value. This patch implements the second option. llvm-svn: 285628
2016-11-01 03:56:37 +08:00
Move IsAbsolute from SymbolAssignment to Expr. And as a token of the new feature, make ALIGNOF always absolute. This is a step in making it possible to have non absolute symbols out of output sections. llvm-svn: 285608
2016-11-01 01:43:38 +08:00
# CHECK: Symbol {
Delay computation of IsAbsolute. We parse linker scripts very early, but whether an expression is absolute or not can depend on a symbol defined in a .o. Given that, we have to delay the computation of IsAbsolute. We can do that by storing an AST when parsing or by also making IsAbsolute a function like we do for the expression value. This patch implements the second option. llvm-svn: 285628
2016-11-01 03:56:37 +08:00
# CHECK: Name: foo
# CHECK-NEXT: Value: 0x123
# CHECK-NEXT: Size: 0
# CHECK-NEXT: Binding: Global
# CHECK-NEXT: Type: None
# CHECK-NEXT: Other: 0
# CHECK-NEXT: Section: Absolute (0xFFF1)
# CHECK-NEXT: }
# CHECK-NEXT: Symbol {
# CHECK-NEXT: Name: bar1
Move IsAbsolute from SymbolAssignment to Expr. And as a token of the new feature, make ALIGNOF always absolute. This is a step in making it possible to have non absolute symbols out of output sections. llvm-svn: 285608
2016-11-01 01:43:38 +08:00
# CHECK-NEXT: Value: 0x4
# CHECK-NEXT: Size: 0
# CHECK-NEXT: Binding: Global
# CHECK-NEXT: Type: None
# CHECK-NEXT: Other: 0
# CHECK-NEXT: Section: Absolute
# CHECK-NEXT: }
Mark a few more expressions as absolute. llvm-svn: 285611
2016-11-01 02:20:34 +08:00
# CHECK-NEXT: Symbol {
# CHECK-NEXT: Name: bar2
# CHECK-NEXT: Value: 0x1000
# CHECK-NEXT: Size: 0
# CHECK-NEXT: Binding: Global
# CHECK-NEXT: Type: None
# CHECK-NEXT: Other: 0
# CHECK-NEXT: Section: Absolute
# CHECK-NEXT: }
# CHECK-NEXT: Symbol {
# CHECK-NEXT: Name: bar3
# CHECK-NEXT: Value: 0x0
# CHECK-NEXT: Size: 0
# CHECK-NEXT: Binding: Global
# CHECK-NEXT: Type: None
# CHECK-NEXT: Other: 0
# CHECK-NEXT: Section: Absolute
# CHECK-NEXT: }
# CHECK-NEXT: Symbol {
# CHECK-NEXT: Name: bar4
# CHECK-NEXT: Value: 0x190
# CHECK-NEXT: Size: 0
# CHECK-NEXT: Binding: Global
# CHECK-NEXT: Type: None
# CHECK-NEXT: Other: 0
# CHECK-NEXT: Section: Absolute
# CHECK-NEXT: }
Simple numeric constants are absolute. llvm-svn: 285621
2016-11-01 02:56:02 +08:00
# CHECK-NEXT: Symbol {
# CHECK-NEXT: Name: bar5
# CHECK-NEXT: Value: 0x42
# CHECK-NEXT: Size: 0
# CHECK-NEXT: Binding: Global
# CHECK-NEXT: Type: None
# CHECK-NEXT: Other: 0
# CHECK-NEXT: Section: Absolute
# CHECK-NEXT: }
Delay computation of IsAbsolute. We parse linker scripts very early, but whether an expression is absolute or not can depend on a symbol defined in a .o. Given that, we have to delay the computation of IsAbsolute. We can do that by storing an AST when parsing or by also making IsAbsolute a function like we do for the expression value. This patch implements the second option. llvm-svn: 285628
2016-11-01 03:56:37 +08:00
# CHECK-NEXT: Symbol {
Remove string table offsets from tests. <N> where "foo (<N>)" is the offset of string "foo" in the string table. llvm-svn: 285751
2016-11-02 05:26:28 +08:00
# CHECK-NEXT: Name: bar6
Delay computation of IsAbsolute. We parse linker scripts very early, but whether an expression is absolute or not can depend on a symbol defined in a .o. Given that, we have to delay the computation of IsAbsolute. We can do that by storing an AST when parsing or by also making IsAbsolute a function like we do for the expression value. This patch implements the second option. llvm-svn: 285628
2016-11-01 03:56:37 +08:00
# CHECK-NEXT: Value: 0x124
# CHECK-NEXT: Size: 0
# CHECK-NEXT: Binding: Global (0x1)
# CHECK-NEXT: Type: None (0x0)
# CHECK-NEXT: Other: 0
# CHECK-NEXT: Section: Absolute (0xFFF1)
# CHECK-NEXT: }