binutils-gdb/gold/testsuite/thumb_blx_in_range.s

# thumb_blx_in_range.s
#
# Test THUMB/THUMB-2 blx instructions just within the branch range limits.
# Because bit 1 of the branch target comes from the branch instruction
# address, the branch range from PC (branch instruction address + 4) is
# acutally -((1<<22) + 2) to ((1<<22) - 4) for THUMB and -((1<<24) + 2) to
# ((1<<24) - 4) from THUMB2.

	.syntax	unified
	.section	.text.pre,"x"

# Add padding so that target is just in branch range. 
	.space	8

	.align	2
	.global	_backward_target
	.code	32
	.type	_backword_target, %function
_backward_target:
	bx	lr
	.size	_backward_target, .-_backward_target
	
	.text

# Define _start so that linker does not complain.
	.global	_start
	.code	32
	.align	2
	.type	_start, %function
_start:
	bx	lr
	.size	_start, .-_start

	.global	_backward_test
	.code	16
	.thumb_func
	.type	_backward_test, %function
_backward_test:
	nop.n
	blx	_backward_target
	.size	_backward_test, .-_backward_test

	.align	2
	.global	_forward_test
	.code	16
	.thumb_func
	.type	_forward_test, %function
_forward_test:
	blx	_forward_target
	.size	_forward_test, .-_forward_test
	.code	32
	
	.section	.text.post,"x"

# Add padding so that target is just in branch range. 
	.space	12

	.align	2
	.global	_forward_target
	.code	32
	.type	_forward_target, %function
_forward_target:
	bx	lr
	.size	_forward_target, .-_forward_target
2010-03-22 Doug Kwan <dougkwan@google.com> * arm.cc (Arm_relocate_functions::abs8, Arm_relocate_functions::abs16): Use correct check for overflow specified in the ARM ELF specs. (Arm_relocate_functions): thumb_branch_common. Handle bit 1 of branch target of a BLX instruction specially. (Reloc_stub::stub_type_for_reloc): Ditto. (Relocate::relocate): Use symbolic names instead of numeric relocation codes to report error. (Target_arm::do_relox): Reduce default stub-group size for Cortex-A8 workaround. * testsuite/Makefile.am (check_DATA): add thumb_blx_in_range.stdout, thumb_blx_out_of_range.stdout, thumb2_blx_in_range.stdout and thumb2_blx_out_of_range.stdout (thumb_bl_out_of_range, thumb_bl_out_of_range.o, thumb2_bl_out_of_range, thumb2_bl_out_of_range.o): Fix dependenices. (thumb_blx_in_range.stdout, thumb_blx_in_range, thumb_blx_in_range.o, thumb_blx_out_of_range.stdout, thumb_blx_out_of_range, thumb_blx_out_of_range.o, thumb2_blx_in_range.stdout, thumb2_blx_in_range, thumb2_blx_in_range.o, thumb2_blx_out_of_range.stdout, thumb2_blx_out_of_range, thumb2_blx_out_of_range.o): New rules. (MOSTLYCLEANFILES): Add thumb_blx_in_range, thumb_blx_out_of_range, thumb2_blx_in_range and thumb2_blx_out_of_range. * testsuite/Makefile.in: Regenerate. * arm_branch_in_range.sh: Add tests for THUMB BLX. * testsuite/thumb_blx_in_range.s: New file. * testsuite/thumb_blx_out_of_range.s: New file. 2010-03-23 06:48:05 +08:00			`# thumb_blx_in_range.s`
			`#`
			`# Test THUMB/THUMB-2 blx instructions just within the branch range limits.`
			`# Because bit 1 of the branch target comes from the branch instruction`
			`# address, the branch range from PC (branch instruction address + 4) is`
			`# acutally -((1<<22) + 2) to ((1<<22) - 4) for THUMB and -((1<<24) + 2) to`
			`# ((1<<24) - 4) from THUMB2.`

			`.syntax unified`
			`.section .text.pre,"x"`

			`# Add padding so that target is just in branch range.`
			`.space 8`

			`.align 2`
			`.global _backward_target`
			`.code 32`
			`.type _backword_target, %function`
			`_backward_target:`
			`bx lr`
			`.size _backward_target, .-_backward_target`

			`.text`

			`# Define _start so that linker does not complain.`
			`.global _start`
			`.code 32`
			`.align 2`
			`.type _start, %function`
			`_start:`
			`bx lr`
			`.size _start, .-_start`

			`.global _backward_test`
			`.code 16`
			`.thumb_func`
			`.type _backward_test, %function`
			`_backward_test:`
			`nop.n`
			`blx _backward_target`
			`.size _backward_test, .-_backward_test`

			`.align 2`
			`.global _forward_test`
			`.code 16`
			`.thumb_func`
			`.type _forward_test, %function`
			`_forward_test:`
			`blx _forward_target`
			`.size _forward_test, .-_forward_test`
			`.code 32`

			`.section .text.post,"x"`

			`# Add padding so that target is just in branch range.`
			`.space 12`

			`.align 2`
			`.global _forward_target`
			`.code 32`
			`.type _forward_target, %function`
			`_forward_target:`
			`bx lr`
			`.size _forward_target, .-_forward_target`