[apple/ld64.git] / unit-tests / test-cases / relocs-asm / relocs-asm.s

/*
 * Copyright (c) 2005-2007 Apple Inc. All rights reserved.
 *
 * @APPLE_LICENSE_HEADER_START@
 * 
 * This file contains Original Code and/or Modifications of Original Code
 * as defined in and that are subject to the Apple Public Source License
 * Version 2.0 (the 'License'). You may not use this file except in
 * compliance with the License. Please obtain a copy of the License at
 * http://www.opensource.apple.com/apsl/ and read it before using this
 * file.
 * 
 * The Original Code and all software distributed under the License are
 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
 * Please see the License for the specific language governing rights and
 * limitations under the License.
 * 
 * @APPLE_LICENSE_HEADER_END@
 */

#if __arm__
	.text
	.align 2
		
	.globl _test_loads
_test_loads:
    @ PIC load of a
    ldr r0, L6
L0:
    ldr r0, [pc, r0]

    @ PIC load of c
    ldr r0, L6+4
L1:
    ldr r0, [pc, r0]

	@ sorta-absolute load of a
	ldr r0, L6+8
	ldr r0, [r0, #0]
	
	@ sorta-absolute load of c
	ldr r0, L6+12
	ldr r0, [r0, #0]

	@ sorta-absolute load of external
	ldr r0, L6+16
	ldr r0, [r0, #0]

	@ PIC load of a + addend ??
    bx lr

L6:
    .long _a-(L0+8)
    .long _c-(L1+8)
    .long _a
    .long _c
    .long _ax

_test_calls:
	@ call internal
	bl	_test_branches
	
	@ call internal + addend
	bl	_test_branches+0x19000

	@ call external
	bl	_external
	
	@ call external + addend
	bl	_external+0x19000
	

_test_branches:
	@ call internal
	bne	_test_calls
	
	@ call internal + addend
	bne	_test_calls+16

	@ call external
	bne	_external
	
	@ call external + addend
	bne	_external+16
#endif

#if __ppc__ || __ppc64__

	.text
	.align 2
		
	.globl _test_loads
_test_loads:
	stmw r30,-8(r1)
	stwu r1,-48(r1)
Lpicbase:

	; PIC load of a 
	addis r2,r10,ha16(_a-Lpicbase)
	lwz r2,lo16(_a-Lpicbase)(r2)

	; PIC load of c 
	addis r2,r10,ha16(_c-Lpicbase)
	lwz r2,lo16(_c-Lpicbase)(r2)

	; absolute load of a
	lis r2,ha16(_a)
	lwz r2,lo16(_a)(r2)

	; absolute load of c
	lis r2,ha16(_c)
	lwz r2,lo16(_c)(r2)

	; absolute load of external
	lis r2,ha16(_ax)
	lwz r2,lo16(_ax)(r2)

	; absolute lea of external
	lis r2,hi16(_ax)
	ori r2,r2,lo16(_ax)


	; PIC load of a + addend
	addis r2,r10,ha16(_a+0x19000-Lpicbase)
	lwz r2,lo16(_a+0x19000-Lpicbase)(r2)

	; absolute load of a + addend
	lis r2,ha16(_a+0x19000)
	lwz r2,lo16(_a+0x19000)(r2)

	; lea of a + addend
	lis r2,ha16(_a+0x19000)
	addi r2,r2,lo16(_a+0x19000)

	; alt lea of a + addend
	lis r2,hi16(_a+0x19000)
	ori r2,r2,lo16(_a+0x19000)

	; absolute load of external + addend
	lis r2,ha16(_ax+0x19000)
	lwz r2,lo16(_ax+0x19000)(r2)

	; absolute lea of external + addend
	lis r2,hi16(_ax+0x19000)
	ori r2,r2,lo16(_ax+0x19000)


	; PIC load of a + addend
	addis r2,r10,ha16(_a+0x09000-Lpicbase)
	lwz r2,lo16(_a+0x09000-Lpicbase)(r2)

	; absolute load of a + addend
	lis r2,ha16(_a+0x09000)
	lwz r2,lo16(_a+0x09000)(r2)

	; lea of a + addend
	lis r2,ha16(_a+0x09000)
	addi r2,r2,lo16(_a+0x09000)

	; alt lea of a + addend
	lis r2,hi16(_a+0x09000)
	ori r2,r2,lo16(_a+0x09000)

	; absolute load of external + addend
	lis r2,ha16(_ax+0x09000)
	lwz r2,lo16(_ax+0x09000)(r2)

	; absolute lea of external + addend
	lis r2,hi16(_ax+0x09000)
	ori r2,r2,lo16(_ax+0x09000)

	blr


_test_calls:
	; call internal
	bl	_test_branches
	
	; call internal + addend
	bl	_test_branches+0x19000

	; call external
	bl	_external
	
	; call external + addend
	bl	_external+0x19000
	

_test_branches:
	; call internal
	bne	_test_calls
	
	; call internal + addend
	bne	_test_calls+16

	; call external
	bne	_external
	
	; call external + addend
	bne	_external+16
#endif


#if __i386__
	.text
	.align 2
	
	.globl _test_loads
_test_loads:
	pushl	%ebp
Lpicbase:

	# PIC load of a 
	movl	_a-Lpicbase(%ebx), %eax
	
	# absolute load of a
	movl	_a, %eax

	# absolute load of external
	movl	_ax, %eax

	# absolute lea of external
	leal	_ax, %eax


	# PIC load of a + addend
	movl	_a-Lpicbase+0x19000(%ebx), %eax

	# absolute load of a + addend
	movl	_a+0x19000(%ebx), %eax

	# absolute load of external + addend
	movl	_ax+0x19000(%ebx), %eax

	# absolute lea of external + addend
	leal	_ax+0x1900, %eax

	ret


_test_calls:
	# call internal
	call	_test_branches
	
	# call internal + addend
	call	_test_branches+0x19000

	# call external
	call	_external
	
	# call external + addend
	call	_external+0x19000
	

_test_branches:
	# call internal
	jne	_test_calls
	
	# call internal + addend
	jne	_test_calls+16

	# call external
	jne	_external
	
	# call external + addend
	jne	_external+16
	
_pointer_diffs:
	nop
	call	_get_ret_eax	
1:	movl _foo-1b(%eax),%esi
	movl _foo+10-1b(%eax),%esi
	movl _test_branches-1b(%eax),%esi
	movl _test_branches+3-1b(%eax),%esi
	
_word_relocs:
	callw	_pointer_diffs

_byte_relocs:
    mov          $100, %ecx 
c_1:  
    loop         c_1
    mov          $100, %ecx
c_2:
    sub          $(1), %ecx
    jcxz         c_2

#endif


#if __x86_64__
	.text
	.align 2
	
	.globl _test_loads
_test_loads:

	# PIC load of a 
	movl	_a(%rip), %eax
	
	# PIC load of a + addend
	movl	_a+0x1234(%rip), %eax

	# PIC lea
	leaq	_a(%rip), %rax

	# PIC lea through GOT
	movq	_a@GOTPCREL(%rip), %rax
	
	# PIC access of GOT
  	pushq	_a@GOTPCREL(%rip)

	# PIC lea external through GOT
	movq	_ax@GOTPCREL(%rip), %rax
	
	# PIC external access of GOT
  	pushq	_ax@GOTPCREL(%rip)

	# 1-byte store
  	movb  $0x12, _a(%rip)
  	movb  $0x12, _a+2(%rip)
  	movb  $0x12, L0(%rip)

	# 4-byte store
  	movl  $0x12345678, _a(%rip)
  	movl  $0x12345678, _a+4(%rip)
  	movl  $0x12345678, L0(%rip)
	
	# test local labels
	lea L1(%rip), %rax		
  	movl L0(%rip), %eax		

	ret


_test_calls:
	# call internal
	call	_test_branches
	
	# call internal + addend
	call	_test_branches+0x19000

	# call external
	call	_external
	
	# call external + addend
	call	_external+0x19000
	

_test_branches:
	# call internal
	jne	_test_calls
	
	# call internal + addend
	jne	_test_calls+16

	# call external
	jne	_external
	
	# call external + addend
	jne	_external+16
	
_byte_relocs:
    mov          $100, %ecx 
c_1:  
    loop         _byte_relocs
    nop

#endif


	# test that pointer-diff relocs are preserved
	.text
_test_diffs:
	.align 2
Llocal2:
	.long 0
	.long Llocal2-_test_branches
	.long . - _test_branches
	.long . - _test_branches + 8
	.long _test_branches - .
	.long _test_branches - . + 8
	.long _test_branches - . - 8
#if __ppc64__
	.quad Llocal2-_test_branches
#endif

_foo: nop

	.align 2	
_distance_from_foo:
	.long	0
	.long	. - _foo
	.long	. - 8 - _foo
	
	
_distance_to_foo:
	.long	_foo - .
	.long	_foo - . + 4
	

_distance_to_here:	
	.long	_foo - _distance_to_here
	.long	_foo - _distance_to_here - 4 
	.long	_foo - _distance_to_here - 12 
	.long	0


#if __x86_64__
	.data
L0:  .quad _test_branches
_prev:
	.quad _test_branches+4
L1:	.quad _test_branches - _test_diffs
  	.quad _test_branches - _test_diffs + 4
  	.long _test_branches - _test_diffs
#	.long LCL0-.				### assembler bug: should SUB/UNSIGNED with content= LCL0-24, or single pc-rel SIGNED reloc with content = LCL0-.+4
  	.quad L1
  	.quad L0					
  	.quad _test_branches - .
  	.quad _test_branches - L1
  	.quad L1 - _prev			

# the following generates: _foo cannot be undefined in a subtraction expression
# but it should be ok (it will be a linker error if _foo and _bar are not in same linkage unit)
#	.quad _foo - _bar	### assembler bug

	.section __DATA,__data2
LCL0: .long 2


#endif


	.data
_a:	
	.long	0

_b:
#if __ppc__ || __i386__ || __arm__
	.long	_test_calls
	.long	_test_calls+16
	.long	_external
	.long	_external+16
#elif __ppc64__ || __x86_64__
	.quad	_test_calls
	.quad	_test_calls+16
	.quad	_external
	.quad	_external+16
#endif

	# test that reloc sizes are the same
Llocal3:
	.long	0
	
Llocal4:
	.long 0
	
	.long Llocal4-Llocal3
	
Lfiller:
	.space	0x9000
_c:
	.long	0
Commit	Line	Data
d696c285	1	/*
a61fdf0a	2	* Copyright (c) 2005-2007 Apple Inc. All rights reserved.
d696c285 A	3	*
	4	* @APPLE_LICENSE_HEADER_START@
	5	*
	6	* This file contains Original Code and/or Modifications of Original Code
	7	* as defined in and that are subject to the Apple Public Source License
	8	* Version 2.0 (the 'License'). You may not use this file except in
	9	* compliance with the License. Please obtain a copy of the License at
	10	* http://www.opensource.apple.com/apsl/ and read it before using this
	11	* file.
	12	*
	13	* The Original Code and all software distributed under the License are
	14	* distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
	15	* EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
	16	* INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
	17	* FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
	18	* Please see the License for the specific language governing rights and
	19	* limitations under the License.
	20	*
	21	* @APPLE_LICENSE_HEADER_END@
	22	*/
	23
2f2f92e4 A	24	#if __arm__
	25	.text
	26	.align 2
	27
	28	.globl _test_loads
	29	_test_loads:
	30	@ PIC load of a
	31	ldr r0, L6
	32	L0:
	33	ldr r0, [pc, r0]
	34
	35	@ PIC load of c
	36	ldr r0, L6+4
	37	L1:
	38	ldr r0, [pc, r0]
	39
	40	@ sorta-absolute load of a
	41	ldr r0, L6+8
	42	ldr r0, [r0, #0]
	43
	44	@ sorta-absolute load of c
	45	ldr r0, L6+12
	46	ldr r0, [r0, #0]
	47
	48	@ sorta-absolute load of external
	49	ldr r0, L6+16
	50	ldr r0, [r0, #0]
	51
	52	@ PIC load of a + addend ??
	53	bx lr
	54
	55	L6:
	56	.long _a-(L0+8)
	57	.long _c-(L1+8)
	58	.long _a
	59	.long _c
	60	.long _ax
	61
	62	_test_calls:
	63	@ call internal
	64	bl _test_branches
	65
	66	@ call internal + addend
	67	bl _test_branches+0x19000
	68
	69	@ call external
	70	bl _external
	71
	72	@ call external + addend
	73	bl _external+0x19000
	74
	75
	76	_test_branches:
	77	@ call internal
	78	bne _test_calls
	79
	80	@ call internal + addend
	81	bne _test_calls+16
	82
	83	@ call external
	84	bne _external
	85
	86	@ call external + addend
	87	bne _external+16
88	#endif
89
d696c285 A	90	#if __ppc__ \|\| __ppc64__
	91
	92	.text
	93	.align 2
	94
	95	.globl _test_loads
	96	_test_loads:
	97	stmw r30,-8(r1)
	98	stwu r1,-48(r1)
	99	Lpicbase:
	100
	101	; PIC load of a
	102	addis r2,r10,ha16(_a-Lpicbase)
	103	lwz r2,lo16(_a-Lpicbase)(r2)
	104
	105	; PIC load of c
	106	addis r2,r10,ha16(_c-Lpicbase)
	107	lwz r2,lo16(_c-Lpicbase)(r2)
	108
	109	; absolute load of a
	110	lis r2,ha16(_a)
	111	lwz r2,lo16(_a)(r2)
	112
	113	; absolute load of c
	114	lis r2,ha16(_c)
	115	lwz r2,lo16(_c)(r2)
	116
	117	; absolute load of external
	118	lis r2,ha16(_ax)
	119	lwz r2,lo16(_ax)(r2)
	120
	121	; absolute lea of external
	122	lis r2,hi16(_ax)
	123	ori r2,r2,lo16(_ax)
	124
	125
	126	; PIC load of a + addend
	127	addis r2,r10,ha16(_a+0x19000-Lpicbase)
	128	lwz r2,lo16(_a+0x19000-Lpicbase)(r2)
	129
	130	; absolute load of a + addend
	131	lis r2,ha16(_a+0x19000)
	132	lwz r2,lo16(_a+0x19000)(r2)
	133
2f2f92e4 A	134	; lea of a + addend
	135	lis r2,ha16(_a+0x19000)
	136	addi r2,r2,lo16(_a+0x19000)
	137
	138	; alt lea of a + addend
	139	lis r2,hi16(_a+0x19000)
	140	ori r2,r2,lo16(_a+0x19000)
	141
d696c285 A	142	; absolute load of external + addend
	143	lis r2,ha16(_ax+0x19000)
	144	lwz r2,lo16(_ax+0x19000)(r2)
	145
	146	; absolute lea of external + addend
	147	lis r2,hi16(_ax+0x19000)
	148	ori r2,r2,lo16(_ax+0x19000)
	149
	150
	151	; PIC load of a + addend
	152	addis r2,r10,ha16(_a+0x09000-Lpicbase)
	153	lwz r2,lo16(_a+0x09000-Lpicbase)(r2)
	154
	155	; absolute load of a + addend
	156	lis r2,ha16(_a+0x09000)
	157	lwz r2,lo16(_a+0x09000)(r2)
	158
2f2f92e4 A	159	; lea of a + addend
	160	lis r2,ha16(_a+0x09000)
	161	addi r2,r2,lo16(_a+0x09000)
	162
	163	; alt lea of a + addend
	164	lis r2,hi16(_a+0x09000)
	165	ori r2,r2,lo16(_a+0x09000)
	166
d696c285 A	167	; absolute load of external + addend
	168	lis r2,ha16(_ax+0x09000)
	169	lwz r2,lo16(_ax+0x09000)(r2)
	170
	171	; absolute lea of external + addend
	172	lis r2,hi16(_ax+0x09000)
	173	ori r2,r2,lo16(_ax+0x09000)
	174
	175	blr
	176
	177
	178	_test_calls:
	179	; call internal
	180	bl _test_branches
	181
	182	; call internal + addend
	183	bl _test_branches+0x19000
	184
	185	; call external
	186	bl _external
	187
	188	; call external + addend
	189	bl _external+0x19000
	190
	191
	192	_test_branches:
	193	; call internal
	194	bne _test_calls
	195
	196	; call internal + addend
	197	bne _test_calls+16
	198
	199	; call external
	200	bne _external
	201
	202	; call external + addend
	203	bne _external+16
	204	#endif
	205
	206
	207
	208	#if __i386__
	209	.text
	210	.align 2
	211
	212	.globl _test_loads
	213	_test_loads:
	214	pushl %ebp
	215	Lpicbase:
	216
	217	# PIC load of a
	218	movl _a-Lpicbase(%ebx), %eax
	219
	220	# absolute load of a
	221	movl _a, %eax
	222
	223	# absolute load of external
	224	movl _ax, %eax
	225
	226	# absolute lea of external
	227	leal _ax, %eax
	228
	229
	230	# PIC load of a + addend
231	movl _a-Lpicbase+0x19000(%ebx), %eax
232
233	# absolute load of a + addend
234	movl _a+0x19000(%ebx), %eax
235
236	# absolute load of external + addend
237	movl _ax+0x19000(%ebx), %eax
238
239	# absolute lea of external + addend
240	leal _ax+0x1900, %eax
241
242	ret
243
244
245	_test_calls:
246	# call internal
247	call _test_branches
248
249	# call internal + addend
250	call _test_branches+0x19000
251
252	# call external
253	call _external
254
255	# call external + addend
256	call _external+0x19000
257
258
259	_test_branches:
260	# call internal
261	jne _test_calls
262
263	# call internal + addend
264	jne _test_calls+16
265
266	# call external
267	jne _external
268
269	# call external + addend
270	jne _external+16
a61fdf0a A	271
	272	_pointer_diffs:
	273	nop
	274	call _get_ret_eax
	275	1: movl _foo-1b(%eax),%esi
	276	movl _foo+10-1b(%eax),%esi
	277	movl _test_branches-1b(%eax),%esi
	278	movl _test_branches+3-1b(%eax),%esi
	279
	280	_word_relocs:
	281	callw _pointer_diffs
	282
2f2f92e4 A	283	_byte_relocs:
	284	mov $100, %ecx
	285	c_1:
	286	loop c_1
	287	mov $100, %ecx
	288	c_2:
	289	sub $(1), %ecx
	290	jcxz c_2
	291
d696c285 A	292	#endif
	293
	294
	295
69a49097 A	296	#if __x86_64__
	297	.text
	298	.align 2
	299
	300	.globl _test_loads
	301	_test_loads:
	302
	303	# PIC load of a
	304	movl _a(%rip), %eax
	305
	306	# PIC load of a + addend
	307	movl _a+0x1234(%rip), %eax
	308
	309	# PIC lea
	310	leaq _a(%rip), %rax
	311
	312	# PIC lea through GOT
	313	movq _a@GOTPCREL(%rip), %rax
	314
	315	# PIC access of GOT
	316	pushq _a@GOTPCREL(%rip)
	317
	318	# PIC lea external through GOT
	319	movq _ax@GOTPCREL(%rip), %rax
	320
	321	# PIC external access of GOT
	322	pushq _ax@GOTPCREL(%rip)
	323
	324	# 1-byte store
	325	movb $0x12, _a(%rip)
74cfe461 A	326	movb $0x12, _a+2(%rip)
74cfe461 A	327	movb $0x12, L0(%rip)
69a49097 A	328
	329	# 4-byte store
	330	movl $0x12345678, _a(%rip)
74cfe461 A	331	movl $0x12345678, _a+4(%rip)
74cfe461 A	332	movl $0x12345678, L0(%rip)
69a49097 A	333
69a49097 A	334	# test local labels
74cfe461 A	335	lea L1(%rip), %rax
74cfe461 A	336	movl L0(%rip), %eax
69a49097 A	337
	338	ret
	339
	340
	341	_test_calls:
	342	# call internal
	343	call _test_branches
	344
	345	# call internal + addend
	346	call _test_branches+0x19000
	347
	348	# call external
	349	call _external
	350
	351	# call external + addend
	352	call _external+0x19000
	353
	354
	355	_test_branches:
	356	# call internal
	357	jne _test_calls
	358
	359	# call internal + addend
	360	jne _test_calls+16
	361
	362	# call external
	363	jne _external
	364
	365	# call external + addend
	366	jne _external+16
2f2f92e4 A	367
	368	_byte_relocs:
	369	mov $100, %ecx
	370	c_1:
	371	loop _byte_relocs
	372	nop
	373
69a49097 A	374	#endif
	375
	376
	377
d696c285 A	378	# test that pointer-diff relocs are preserved
	379	.text
	380	_test_diffs:
	381	.align 2
	382	Llocal2:
	383	.long 0
	384	.long Llocal2-_test_branches
a61fdf0a A	385	.long . - _test_branches
	386	.long . - _test_branches + 8
	387	.long _test_branches - .
	388	.long _test_branches - . + 8
	389	.long _test_branches - . - 8
d696c285 A	390	#if __ppc64__
	391	.quad Llocal2-_test_branches
	392	#endif
	393
a61fdf0a A	394	_foo: nop
	395
	396	.align 2
	397	_distance_from_foo:
	398	.long 0
	399	.long . - _foo
	400	.long . - 8 - _foo
	401
	402
	403	_distance_to_foo:
	404	.long _foo - .
	405	.long _foo - . + 4
	406
	407
	408	_distance_to_here:
	409	.long _foo - _distance_to_here
	410	.long _foo - _distance_to_here - 4
	411	.long _foo - _distance_to_here - 12
	412	.long 0
	413
d696c285	414
69a49097 A	415	#if __x86_64__
	416	.data
	417	L0: .quad _test_branches
	418	_prev:
	419	.quad _test_branches+4
	420	L1: .quad _test_branches - _test_diffs
	421	.quad _test_branches - _test_diffs + 4
	422	.long _test_branches - _test_diffs
74cfe461	423	# .long LCL0-. ### assembler bug: should SUB/UNSIGNED with content= LCL0-24, or single pc-rel SIGNED reloc with content = LCL0-.+4
69a49097	424	.quad L1
74cfe461	425	.quad L0
69a49097 A	426	.quad _test_branches - .
	427	.quad _test_branches - L1
	428	.quad L1 - _prev
	429
	430	# the following generates: _foo cannot be undefined in a subtraction expression
	431	# but it should be ok (it will be a linker error if _foo and _bar are not in same linkage unit)
	432	# .quad _foo - _bar ### assembler bug
	433
	434	.section __DATA,__data2
	435	LCL0: .long 2
	436
	437
	438	#endif
	439
	440
d696c285 A	441	.data
	442	_a:
	443	.long 0
	444
	445	_b:
2f2f92e4	446	#if __ppc__ \|\| __i386__ \|\| __arm__
d696c285 A	447	.long _test_calls
	448	.long _test_calls+16
	449	.long _external
	450	.long _external+16
69a49097	451	#elif __ppc64__ \|\| __x86_64__
d696c285 A	452	.quad _test_calls
	453	.quad _test_calls+16
	454	.quad _external
	455	.quad _external+16
	456	#endif
	457
	458	# test that reloc sizes are the same
	459	Llocal3:
	460	.long 0
	461
	462	Llocal4:
	463	.long 0
	464
	465	.long Llocal4-Llocal3
	466
	467	Lfiller:
	468	.space 0x9000
	469	_c:
	470	.long 0
	471