binutils-gdb/gold/testsuite/thumb_blx_out_of_range.s

# thumb_blx_out_of_range.s
# Test THUMB/THUMB-2 blx instructions just out of the branch range limits.
	.syntax	unified

	.section	.text.pre,"x"

# Add padding so that target is just output of branch range. 
	.space	4

	.global	_forward_target
	.global	_backward_target
	.type	_backword_target, %function
_backward_target:
	bx	lr
	.size	_backward_target, .-_backward_target
	
	.text
# Use 256-byte alignment so that we know where the stubs start.
	.align	8

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

	.global	_backward_test
	.code	16
	.thumb_func
	.type	_backward_test, %function
_backward_test:
	bl	_backward_target
	.size	_backward_test, .-_backward_test

	.align	2
	.global	_forward_test
	.code	16
	.thumb_func
	.type	_forward_test, %function
_forward_test:
	# Bit 1 of the BLX target comes from bit 1 of branch base address,
	# which is BLX instruction's address + 4.  We intentionally put this
	# forward BLX at an address n*4 + 2 so that the branch offset is
	# bumped up by 2.
	nop.n
	bl	_forward_target
	.size	_forward_test, .-_forward_test

# switch back to ARM mode so that stubs are disassembled correctly.
	.align	2
	.code	32
	
# Align stub table for address matching.
        .align  8

	.section	.text.post,"x"

# Add padding so that target is just out of branch range. 
	.space	12
	.align 2
	.code	32
	.global	_forward_target
	.type	_forward_target, %function
_forward_target:
	bx	lr
	.size	_forward_target, .-_forward_target