xref: /llvm-project/lld/test/MachO/rebase-opcodes.s (revision 54e18b23972a3fb1756bd30729102034d376dda4)
1# REQUIRES: x86
2
3# RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %s -o %t.o
4# RUN: %lld -dylib %t.o -o %t.dylib
5# RUN: obj2yaml %t.dylib | FileCheck %s
6
7.text
8.globl _foo
9_foo:
10
11.data
12# CHECK: RebaseOpcodes:
13# CHECK-NEXT: Opcode:          REBASE_OPCODE_SET_TYPE_IMM
14# CHECK-NEXT: Imm:             1
15# CHECK-NEXT: Opcode:          REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB
16# CHECK-NEXT: Imm:             1
17# CHECK-NEXT: ExtraData:       [ 0x0 ]
18
19## 1/ Single rebases with a gap after them are encoded as REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB.
20.quad _foo
21.space 16
22# CHECK-NEXT: Opcode:          REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB
23# CHECK-NEXT: Imm:             0
24# CHECK-NEXT: ExtraData:       [ 0x10 ]
25
26## 2/ Consecutive rebases are encoded as REBASE_OPCODE_DO_REBASE_IMM_TIMES.
27.quad _foo
28.quad _foo
29.quad _foo
30# CHECK-NEXT: Opcode:          REBASE_OPCODE_DO_REBASE_IMM_TIMES
31# CHECK-NEXT: Imm:             3
32
33## 3/ Gaps smaller than 16 words are encoded as REBASE_OPCODE_ADD_ADDR_IMM_SCALED.
34.space 120
35# CHECK-NEXT: Opcode:          REBASE_OPCODE_ADD_ADDR_IMM_SCALED
36# CHECK-NEXT: Imm:             15
37
38## 4/ Rebases with equal gaps betwen them are encoded as REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB.
39.quad _foo
40.space 16
41.quad _foo
42.space 16
43# CHECK-NEXT: Opcode:          REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB
44# CHECK-NEXT: Imm:             0
45# CHECK-NEXT: ExtraData:       [ 0x2, 0x10 ]
46
47## 5/ Rebase does not become a part of DO_REBASE_ULEB_TIMES_SKIPPING_ULEB if the next rebase is closer than the gap.
48.quad _foo
49.space 8
50# CHECK-NEXT: Opcode:          REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB
51# CHECK-NEXT: Imm:             0
52# CHECK-NEXT: ExtraData:       [ 0x8 ]
53
54.quad _foo
55.quad _foo
56# CHECK-NEXT: Opcode:          REBASE_OPCODE_DO_REBASE_IMM_TIMES
57# CHECK-NEXT: Imm:             2
58
59## 6/ Large gaps are encoded as REBASE_OPCODE_ADD_ADDR_ULEB.
60.space 128
61# CHECK-NEXT: Opcode:          REBASE_OPCODE_ADD_ADDR_ULEB
62# CHECK-NEXT: Imm:             0
63# CHECK-NEXT: ExtraData:       [ 0x80 ]
64
65.quad _foo
66.space 8
67.quad _foo
68.space 8
69.quad _foo
70# CHECK-NEXT: Opcode:          REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB
71# CHECK-NEXT: Imm:             0
72# CHECK-NEXT: ExtraData:       [ 0x3, 0x8 ]
73
74
75## 7/ An add opcode is emitted if the next relocation is farther away than the DO_REBASE_ULEB_TIMES_SKIPPING_ULEB gap.
76.space 16
77.quad _foo
78# CHECK-NEXT: Opcode:          REBASE_OPCODE_ADD_ADDR_IMM_SCALED
79# CHECK-NEXT: Imm:             1
80# CHECK-NEXT: Opcode:          REBASE_OPCODE_DO_REBASE_IMM_TIMES
81# CHECK-NEXT: Imm:             1
82
83## 8/ The rebase section is terminated by REBASE_OPCODE_DONE.
84# CHECK-NEXT: Opcode:          REBASE_OPCODE_DONE
85# CHECK-NEXT: Imm:             0
86