[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, L100
L0:
    ldr r0, [pc, r0]

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

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

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

	@ PIC load of a + addend ??
    bx lr

L100:
    .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

	nop
	bl	  1f
1:	nop

	.text
_pointer_diffs:
	.long _foo-1b
	.long _foo+10-1b
	.long _test_branches-1b
	.long _test_branches+3-1b
	.long (_test_branches - _test_loads) + -2097152
	.long (_test_calls - _test_loads) + -2097152 

	.text
	.code 32
_arm1: 
	bx	lr
_arm2: 
	bx	lr
	.weak_definition _arm3
	.globl _arm3
	.private_extern _arm3
_arm3: 
	bx	lr
	.weak_definition _arm4
	.globl _arm4
	.private_extern _arm4
_arm4: 
	bx	lr

	.code 16
	.thumb_func _thumb1
_thumb1: 
	bx	lr
	.thumb_func _thumb2
_thumb2: 
	bx	lr
	.weak_definition _thumb3
	.globl _thumb3
	.private_extern _thumb3
	.thumb_func _thumb3
_thumb3: 
	bx	lr
	.weak_definition _thumb4
	.globl _thumb4
	.private_extern _thumb4
	.thumb_func _thumb4
_thumb4: 
	bx	lr

	.thumb_func _thumb_func_ref_test
_thumb_func_ref_test: 
	push	{r7, lr}
	add	r7, sp, #0
	ldr	r3, L6
L2:	add	r3, pc
	ldr	r3, L7
L3:	add	r3, pc
	ldr	r3, L8
L4:	add	r3, pc
	ldr	r3, L9
L5:	add	r3, pc
	pop	{r7, pc}
	.align 2
L6:	.long	_thumb1-(L2+4)
L7:	.long	_thumb2-(L3+4)
L7a:.long	_thumb3-(L3+4)
L7b:.long	_thumb4-(L3+4)
L8:	.long	_arm1-(L4+4)
L9:	.long	_arm2-(L5+4)
L9a:.long	_arm3-(L5+4)
L9b:.long	_arm4-(L5+4)

	.code 32
	.align 2
_arm_func_ref_test: 
	push	{r7, lr}
	add	r7, sp, #0
	ldr	r3, L16
L12:add	r3, pc
	ldr	r3, L17
L13:add	r3, pc
	ldr	r3, L18
L14:add	r3, pc
	ldr	r3, L19
L15:add	r3, pc
	pop	{r7, pc}
	.align 2
L16:	.long	_thumb1-(L12+8)
L17:	.long	_thumb2-(L13+8)
L17a:	.long	_thumb3-(L3+8)
L17b:	.long	_thumb4-(L3+8)
L18:	.long	_arm1-(L14+8)
L19:	.long	_arm2-(L15+8)
L19a:	.long	_arm3-(L15+8)
L19b:	.long	_arm4-(L15+8)

	.section	__DATA,__const
_myVTable:
		.long	_thumb1
		.long	_thumb2
		.long	_thumb3
		.long	_arm1
		.long	_arm2
	
#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

	# 16-bit call internal
	callw	_test_branches
	
	# 16-bit call internal + addend
	callw	_test_branches+13

	# 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
	cmpl $(( (_test_branches - _test_loads) + -2097152 )),(%esp)
	cmpl $(( (_test_calls - _test_loads) + -2097152 )),(%esp)

	
_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
	.long 0
	.long 0
#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			
 #tests support for 32-bit absolute pointers
	.long _prev
	.long L1

# 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
55e3d2f6 A	24
55e3d2f6 A	25
2f2f92e4 A	26	#if __arm__
	27	.text
	28	.align 2
	29
	30	.globl _test_loads
	31	_test_loads:
	32	@ PIC load of a
d9246299	33	ldr r0, L100
2f2f92e4 A	34	L0:
	35	ldr r0, [pc, r0]
	36
	37	@ PIC load of c
d9246299	38	ldr r0, L100+4
2f2f92e4 A	39	L1:
	40	ldr r0, [pc, r0]
	41
	42	@ sorta-absolute load of a
d9246299	43	ldr r0, L100+8
2f2f92e4 A	44	ldr r0, [r0, #0]
	45
	46	@ sorta-absolute load of c
d9246299	47	ldr r0, L100+12
2f2f92e4 A	48	ldr r0, [r0, #0]
	49
	50	@ sorta-absolute load of external
d9246299	51	ldr r0, L100+16
2f2f92e4 A	52	ldr r0, [r0, #0]
	53
	54	@ PIC load of a + addend ??
	55	bx lr
	56
d9246299	57	L100:
2f2f92e4 A	58	.long _a-(L0+8)
	59	.long _c-(L1+8)
	60	.long _a
	61	.long _c
	62	.long _ax
	63
	64	_test_calls:
	65	@ call internal
	66	bl _test_branches
	67
	68	@ call internal + addend
	69	bl _test_branches+0x19000
	70
	71	@ call external
	72	bl _external
	73
	74	@ call external + addend
	75	bl _external+0x19000
	76
	77
	78	_test_branches:
	79	@ call internal
	80	bne _test_calls
	81
	82	@ call internal + addend
	83	bne _test_calls+16
	84
	85	@ call external
	86	bne _external
	87
	88	@ call external + addend
	89	bne _external+16
55e3d2f6	90
55e3d2f6 A	91	nop
	92	bl 1f
	93	1: nop
d9246299 A	94
	95	.text
	96	_pointer_diffs:
55e3d2f6 A	97	.long _foo-1b
	98	.long _foo+10-1b
	99	.long _test_branches-1b
	100	.long _test_branches+3-1b
	101	.long (_test_branches - _test_loads) + -2097152
	102	.long (_test_calls - _test_loads) + -2097152
	103
d9246299 A	104	.text
	105	.code 32
	106	_arm1:
	107	bx lr
	108	_arm2:
	109	bx lr
	110	.weak_definition _arm3
	111	.globl _arm3
	112	.private_extern _arm3
	113	_arm3:
	114	bx lr
	115	.weak_definition _arm4
	116	.globl _arm4
	117	.private_extern _arm4
	118	_arm4:
	119	bx lr
	120
	121	.code 16
	122	.thumb_func _thumb1
	123	_thumb1:
	124	bx lr
	125	.thumb_func _thumb2
	126	_thumb2:
	127	bx lr
	128	.weak_definition _thumb3
	129	.globl _thumb3
	130	.private_extern _thumb3
	131	.thumb_func _thumb3
	132	_thumb3:
	133	bx lr
	134	.weak_definition _thumb4
	135	.globl _thumb4
	136	.private_extern _thumb4
	137	.thumb_func _thumb4
	138	_thumb4:
	139	bx lr
	140
	141	.thumb_func _thumb_func_ref_test
	142	_thumb_func_ref_test:
	143	push {r7, lr}
	144	add r7, sp, #0
	145	ldr r3, L6
	146	L2: add r3, pc
	147	ldr r3, L7
	148	L3: add r3, pc
	149	ldr r3, L8
	150	L4: add r3, pc
	151	ldr r3, L9
	152	L5: add r3, pc
	153	pop {r7, pc}
	154	.align 2
	155	L6: .long _thumb1-(L2+4)
	156	L7: .long _thumb2-(L3+4)
	157	L7a:.long _thumb3-(L3+4)
	158	L7b:.long _thumb4-(L3+4)
	159	L8: .long _arm1-(L4+4)
	160	L9: .long _arm2-(L5+4)
	161	L9a:.long _arm3-(L5+4)
	162	L9b:.long _arm4-(L5+4)
	163
	164	.code 32
	165	.align 2
	166	_arm_func_ref_test:
	167	push {r7, lr}
168	add r7, sp, #0
169	ldr r3, L16
170	L12:add r3, pc
171	ldr r3, L17
172	L13:add r3, pc
173	ldr r3, L18
174	L14:add r3, pc
175	ldr r3, L19
176	L15:add r3, pc
177	pop {r7, pc}
178	.align 2
179	L16: .long _thumb1-(L12+8)
180	L17: .long _thumb2-(L13+8)
181	L17a: .long _thumb3-(L3+8)
182	L17b: .long _thumb4-(L3+8)
183	L18: .long _arm1-(L14+8)
184	L19: .long _arm2-(L15+8)
185	L19a: .long _arm3-(L15+8)
186	L19b: .long _arm4-(L15+8)
187
188	.section __DATA,__const
189	_myVTable:
190	.long _thumb1
191	.long _thumb2
192	.long _thumb3
193	.long _arm1
194	.long _arm2
195
2f2f92e4 A	196	#endif
2f2f92e4 A	197
d696c285 A	198	#if __ppc__ \|\| __ppc64__
	199
	200	.text
	201	.align 2
	202
	203	.globl _test_loads
	204	_test_loads:
	205	stmw r30,-8(r1)
	206	stwu r1,-48(r1)
	207	Lpicbase:
	208
	209	; PIC load of a
	210	addis r2,r10,ha16(_a-Lpicbase)
	211	lwz r2,lo16(_a-Lpicbase)(r2)
	212
	213	; PIC load of c
	214	addis r2,r10,ha16(_c-Lpicbase)
	215	lwz r2,lo16(_c-Lpicbase)(r2)
	216
	217	; absolute load of a
	218	lis r2,ha16(_a)
	219	lwz r2,lo16(_a)(r2)
	220
	221	; absolute load of c
	222	lis r2,ha16(_c)
	223	lwz r2,lo16(_c)(r2)
	224
	225	; absolute load of external
	226	lis r2,ha16(_ax)
	227	lwz r2,lo16(_ax)(r2)
	228
	229	; absolute lea of external
	230	lis r2,hi16(_ax)
	231	ori r2,r2,lo16(_ax)
	232
	233
	234	; PIC load of a + addend
	235	addis r2,r10,ha16(_a+0x19000-Lpicbase)
	236	lwz r2,lo16(_a+0x19000-Lpicbase)(r2)
	237
	238	; absolute load of a + addend
	239	lis r2,ha16(_a+0x19000)
	240	lwz r2,lo16(_a+0x19000)(r2)
	241
2f2f92e4 A	242	; lea of a + addend
	243	lis r2,ha16(_a+0x19000)
	244	addi r2,r2,lo16(_a+0x19000)
	245
	246	; alt lea of a + addend
	247	lis r2,hi16(_a+0x19000)
	248	ori r2,r2,lo16(_a+0x19000)
	249
d696c285 A	250	; absolute load of external + addend
	251	lis r2,ha16(_ax+0x19000)
	252	lwz r2,lo16(_ax+0x19000)(r2)
	253
	254	; absolute lea of external + addend
	255	lis r2,hi16(_ax+0x19000)
	256	ori r2,r2,lo16(_ax+0x19000)
	257
	258
	259	; PIC load of a + addend
	260	addis r2,r10,ha16(_a+0x09000-Lpicbase)
	261	lwz r2,lo16(_a+0x09000-Lpicbase)(r2)
	262
	263	; absolute load of a + addend
	264	lis r2,ha16(_a+0x09000)
	265	lwz r2,lo16(_a+0x09000)(r2)
	266
2f2f92e4 A	267	; lea of a + addend
	268	lis r2,ha16(_a+0x09000)
	269	addi r2,r2,lo16(_a+0x09000)
	270
	271	; alt lea of a + addend
	272	lis r2,hi16(_a+0x09000)
	273	ori r2,r2,lo16(_a+0x09000)
	274
d696c285 A	275	; absolute load of external + addend
	276	lis r2,ha16(_ax+0x09000)
	277	lwz r2,lo16(_ax+0x09000)(r2)
	278
	279	; absolute lea of external + addend
	280	lis r2,hi16(_ax+0x09000)
	281	ori r2,r2,lo16(_ax+0x09000)
	282
	283	blr
	284
	285
	286	_test_calls:
	287	; call internal
	288	bl _test_branches
	289
	290	; call internal + addend
	291	bl _test_branches+0x19000
	292
	293	; call external
	294	bl _external
	295
	296	; call external + addend
	297	bl _external+0x19000
	298
	299
	300	_test_branches:
	301	; call internal
	302	bne _test_calls
	303
	304	; call internal + addend
	305	bne _test_calls+16
	306
	307	; call external
	308	bne _external
	309
	310	; call external + addend
	311	bne _external+16
	312	#endif
	313
	314
	315
	316	#if __i386__
	317	.text
	318	.align 2
	319
	320	.globl _test_loads
	321	_test_loads:
	322	pushl %ebp
	323	Lpicbase:
	324
	325	# PIC load of a
	326	movl _a-Lpicbase(%ebx), %eax
	327
	328	# absolute load of a
	329	movl _a, %eax
	330
	331	# absolute load of external
	332	movl _ax, %eax
	333
	334	# absolute lea of external
	335	leal _ax, %eax
	336
	337
	338	# PIC load of a + addend
339	movl _a-Lpicbase+0x19000(%ebx), %eax
340
341	# absolute load of a + addend
342	movl _a+0x19000(%ebx), %eax
343
344	# absolute load of external + addend
345	movl _ax+0x19000(%ebx), %eax
346
347	# absolute lea of external + addend
348	leal _ax+0x1900, %eax
349
350	ret
351
352
353	_test_calls:
354	# call internal
355	call _test_branches
356
357	# call internal + addend
358	call _test_branches+0x19000
359
55e3d2f6 A	360	# 16-bit call internal
	361	callw _test_branches
	362
	363	# 16-bit call internal + addend
	364	callw _test_branches+13
	365
d696c285 A	366	# call external
	367	call _external
	368
	369	# call external + addend
	370	call _external+0x19000
	371
	372
	373	_test_branches:
	374	# call internal
	375	jne _test_calls
	376
	377	# call internal + addend
	378	jne _test_calls+16
	379
	380	# call external
	381	jne _external
	382
	383	# call external + addend
	384	jne _external+16
a61fdf0a A	385
	386	_pointer_diffs:
	387	nop
	388	call _get_ret_eax
	389	1: movl _foo-1b(%eax),%esi
	390	movl _foo+10-1b(%eax),%esi
	391	movl _test_branches-1b(%eax),%esi
	392	movl _test_branches+3-1b(%eax),%esi
55e3d2f6 A	393	cmpl $(( (_test_branches - _test_loads) + -2097152 )),(%esp)
	394	cmpl $(( (_test_calls - _test_loads) + -2097152 )),(%esp)
	395
a61fdf0a A	396
	397	_word_relocs:
	398	callw _pointer_diffs
	399
2f2f92e4 A	400	_byte_relocs:
	401	mov $100, %ecx
	402	c_1:
	403	loop c_1
	404	mov $100, %ecx
	405	c_2:
	406	sub $(1), %ecx
	407	jcxz c_2
	408
d696c285 A	409	#endif
	410
	411
	412
69a49097 A	413	#if __x86_64__
	414	.text
	415	.align 2
	416
	417	.globl _test_loads
	418	_test_loads:
	419
	420	# PIC load of a
	421	movl _a(%rip), %eax
	422
	423	# PIC load of a + addend
	424	movl _a+0x1234(%rip), %eax
	425
	426	# PIC lea
	427	leaq _a(%rip), %rax
	428
	429	# PIC lea through GOT
	430	movq _a@GOTPCREL(%rip), %rax
	431
	432	# PIC access of GOT
	433	pushq _a@GOTPCREL(%rip)
	434
	435	# PIC lea external through GOT
	436	movq _ax@GOTPCREL(%rip), %rax
	437
	438	# PIC external access of GOT
	439	pushq _ax@GOTPCREL(%rip)
	440
	441	# 1-byte store
	442	movb $0x12, _a(%rip)
74cfe461 A	443	movb $0x12, _a+2(%rip)
74cfe461 A	444	movb $0x12, L0(%rip)
69a49097 A	445
	446	# 4-byte store
	447	movl $0x12345678, _a(%rip)
74cfe461 A	448	movl $0x12345678, _a+4(%rip)
74cfe461 A	449	movl $0x12345678, L0(%rip)
69a49097 A	450
69a49097 A	451	# test local labels
74cfe461 A	452	lea L1(%rip), %rax
74cfe461 A	453	movl L0(%rip), %eax
69a49097 A	454
	455	ret
	456
	457
	458	_test_calls:
	459	# call internal
	460	call _test_branches
	461
	462	# call internal + addend
	463	call _test_branches+0x19000
	464
	465	# call external
	466	call _external
	467
	468	# call external + addend
	469	call _external+0x19000
	470
	471
	472	_test_branches:
	473	# call internal
	474	jne _test_calls
	475
	476	# call internal + addend
	477	jne _test_calls+16
	478
	479	# call external
	480	jne _external
	481
	482	# call external + addend
	483	jne _external+16
2f2f92e4 A	484
	485	_byte_relocs:
	486	mov $100, %ecx
	487	c_1:
	488	loop _byte_relocs
	489	nop
	490
69a49097 A	491	#endif
	492
	493
	494
d696c285 A	495	# test that pointer-diff relocs are preserved
	496	.text
	497	_test_diffs:
	498	.align 2
	499	Llocal2:
	500	.long 0
	501	.long Llocal2-_test_branches
a61fdf0a A	502	.long . - _test_branches
	503	.long . - _test_branches + 8
	504	.long _test_branches - .
	505	.long _test_branches - . + 8
	506	.long _test_branches - . - 8
d9246299 A	507	.long 0
d9246299 A	508	.long 0
d696c285 A	509	#if __ppc64__
	510	.quad Llocal2-_test_branches
	511	#endif
	512
a61fdf0a A	513	_foo: nop
	514
	515	.align 2
	516	_distance_from_foo:
	517	.long 0
	518	.long . - _foo
	519	.long . - 8 - _foo
	520
	521
	522	_distance_to_foo:
	523	.long _foo - .
	524	.long _foo - . + 4
	525
	526
	527	_distance_to_here:
	528	.long _foo - _distance_to_here
	529	.long _foo - _distance_to_here - 4
	530	.long _foo - _distance_to_here - 12
	531	.long 0
	532
d696c285	533
69a49097 A	534	#if __x86_64__
	535	.data
	536	L0: .quad _test_branches
	537	_prev:
	538	.quad _test_branches+4
	539	L1: .quad _test_branches - _test_diffs
	540	.quad _test_branches - _test_diffs + 4
	541	.long _test_branches - _test_diffs
74cfe461	542	# .long LCL0-. ### assembler bug: should SUB/UNSIGNED with content= LCL0-24, or single pc-rel SIGNED reloc with content = LCL0-.+4
69a49097	543	.quad L1
74cfe461	544	.quad L0
69a49097 A	545	.quad _test_branches - .
	546	.quad _test_branches - L1
	547	.quad L1 - _prev
55e3d2f6 A	548	#tests support for 32-bit absolute pointers
	549	.long _prev
	550	.long L1
69a49097 A	551
	552	# the following generates: _foo cannot be undefined in a subtraction expression
	553	# but it should be ok (it will be a linker error if _foo and _bar are not in same linkage unit)
	554	# .quad _foo - _bar ### assembler bug
	555
	556	.section __DATA,__data2
	557	LCL0: .long 2
	558
	559
	560	#endif
	561
	562
d696c285 A	563	.data
	564	_a:
	565	.long 0
	566
	567	_b:
2f2f92e4	568	#if __ppc__ \|\| __i386__ \|\| __arm__
d696c285 A	569	.long _test_calls
	570	.long _test_calls+16
	571	.long _external
	572	.long _external+16
69a49097	573	#elif __ppc64__ \|\| __x86_64__
d696c285 A	574	.quad _test_calls
	575	.quad _test_calls+16
	576	.quad _external
	577	.quad _external+16
	578	#endif
	579
	580	# test that reloc sizes are the same
	581	Llocal3:
	582	.long 0
	583
	584	Llocal4:
	585	.long 0
	586
	587	.long Llocal4-Llocal3
	588
	589	Lfiller:
	590	.space 0x9000
	591	_c:
	592	.long 0
	593