2010-02-21 Doug Kwan <dougkwan@google.com>
* arm.cc (Arm_relocate_functions::arm_branch_common): Fix bug in
handling of the maximum backward branch offset.
(Arm_relocate_functions::thumb_branch_common): Ditto.
* testsuite/Makefile.am (check_SCRIPTS): Add arm_branch_in_range.sh.
(check_DATA): Add arm_bl_in_range.stdout, arm_bl_out_of_range.stdout
thumb_bl_in_range.stdout, thumb_bl_out_of_range.stdout,
thumb2_bl_in_range.stdout and thumb2_bl_out_of_range.stdout.
(arm_bl_in_range.stdout, arm_bl_in_range, arm_bl_in_range.o,
arm_bl_out_of_range.stdout, arm_bl_out_of_range,
arm_bl_out_of_range.o, thumb_bl_in_range.stdout, thumb_bl_in_range,
thumb_bl_in_range.o, thumb_bl_out_of_range.stdout,
thumb_bl_out_of_range thumb_bl_out_of_range.o,
thumb2_bl_in_range.stdout, thumb2_bl_in_range, thumb2_bl_in_range.o
thumb2_bl_out_of_range.stdout, thumb2_bl_out_of_range,
thumb2_bl_out_of_range.o): New rules.
(MOSTLYCLEANFILES): Add arm_bl_in_range, arm_bl_out_of_range,
thumb_bl_in_range, thumb_bl_out_of_range, thumb2_bl_in_range and
thumb2_bl_out_of_range
* testsuite/Makefile.in: Regenerate.
* testsuite/arm_bl_in_range.s: New file.
* testsuite/arm_bl_out_of_range.s: Ditto.
* testsuite/arm_branch_in_range.sh: Ditto.
* testsuite/arm_branch_range.t: Ditto.
* testsuite/thumb2_branch_range.t: Ditto.
* testsuite/thumb_bl_in_range.s: Ditto.
* testsuite/thumb_bl_out_of_range.s: Ditto.
* testsuite/thumb_branch_range.t: Ditto.
2010-02-22 07:26:07 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# arm_branch_in_range.sh -- test ARM/THUMB/THUMB branch instructions whose
|
|
|
|
# targets are just within the branch range limits.
|
|
|
|
|
|
|
|
# Copyright 2010 Free Software Foundation, Inc.
|
|
|
|
# Written by Doug Kwan <dougkwan@google.com>
|
|
|
|
|
|
|
|
# This file is part of gold.
|
|
|
|
|
|
|
|
# This program is free software; you can redistribute it and/or modify
|
|
|
|
# it under the terms of the GNU General Public License as published by
|
|
|
|
# the Free Software Foundation; either version 3 of the License, or
|
|
|
|
# (at your option) any later version.
|
|
|
|
|
|
|
|
# This program is distributed in the hope that it will be useful,
|
|
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
# GNU General Public License for more details.
|
|
|
|
|
|
|
|
# You should have received a copy of the GNU General Public License
|
|
|
|
# along with this program; if not, write to the Free Software
|
|
|
|
# Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
|
|
|
|
# MA 02110-1301, USA.
|
|
|
|
|
|
|
|
# This file goes with the assembler source files arm_bl_in_range.s
|
|
|
|
# thumb_bl_in_range.s that are assembled and linked to check that branches
|
|
|
|
# whose target are just within the branch range limits are handle correctly.
|
|
|
|
|
|
|
|
check()
|
|
|
|
{
|
|
|
|
file=$1
|
|
|
|
pattern=$2
|
|
|
|
|
|
|
|
found=`grep "$pattern" $file`
|
|
|
|
if test -z "$found"; then
|
|
|
|
echo "pattern \"$pattern\" not found in file $file."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
# This is a bit crude. Also, there are tabs in the grep patterns.
|
|
|
|
|
|
|
|
check arm_bl_in_range.stdout \
|
|
|
|
" 4000004: eb800000 bl 200000c <_backward_target>"
|
|
|
|
check arm_bl_in_range.stdout \
|
|
|
|
" 4000008: eb7fffff bl 600000c <_forward_target>"
|
|
|
|
check thumb_bl_in_range.stdout \
|
|
|
|
" 800004: f400 f800 bl 400008 <_backward_target>"
|
|
|
|
check thumb_bl_in_range.stdout \
|
|
|
|
" 800008: f3ff ffff bl c0000a <_forward_target>"
|
|
|
|
check thumb2_bl_in_range.stdout \
|
|
|
|
" 2000004: f400 d000 bl 1000008 <_backward_target>"
|
|
|
|
check thumb2_bl_in_range.stdout \
|
|
|
|
" 2000008: f3ff d7ff bl 300000a <_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-22 23:48:05 +01:00
|
|
|
check thumb_blx_in_range.stdout \
|
|
|
|
" 800006: f400 e800 blx 400008 <_backward_target>"
|
|
|
|
check thumb_blx_in_range.stdout \
|
|
|
|
" 80000c: f3ff effe blx c0000c <_forward_target>"
|
|
|
|
check thumb2_blx_in_range.stdout \
|
|
|
|
" 2000006: f400 c000 blx 1000008 <_backward_target>"
|
|
|
|
check thumb2_blx_in_range.stdout \
|
|
|
|
" 200000c: f3ff c7fe blx 300000c <_forward_target>"
|
2011-06-27 19:53:32 +02:00
|
|
|
check arm_thm_jump11.stdout \
|
|
|
|
" 8804: e400 b.n 8008 <_backward_target>"
|
|
|
|
check arm_thm_jump11.stdout \
|
|
|
|
" 8806: e3ff b.n 9008 <_forward_target>"
|
|
|
|
check arm_thm_jump8.stdout \
|
|
|
|
" 8104: d080 beq.n 8008 <_backward_target>"
|
|
|
|
check arm_thm_jump8.stdout \
|
|
|
|
" 8106: d07f beq.n 8208 <_forward_target>"
|
|
|
|
|
2010-02-21 Doug Kwan <dougkwan@google.com>
* arm.cc (Arm_relocate_functions::arm_branch_common): Fix bug in
handling of the maximum backward branch offset.
(Arm_relocate_functions::thumb_branch_common): Ditto.
* testsuite/Makefile.am (check_SCRIPTS): Add arm_branch_in_range.sh.
(check_DATA): Add arm_bl_in_range.stdout, arm_bl_out_of_range.stdout
thumb_bl_in_range.stdout, thumb_bl_out_of_range.stdout,
thumb2_bl_in_range.stdout and thumb2_bl_out_of_range.stdout.
(arm_bl_in_range.stdout, arm_bl_in_range, arm_bl_in_range.o,
arm_bl_out_of_range.stdout, arm_bl_out_of_range,
arm_bl_out_of_range.o, thumb_bl_in_range.stdout, thumb_bl_in_range,
thumb_bl_in_range.o, thumb_bl_out_of_range.stdout,
thumb_bl_out_of_range thumb_bl_out_of_range.o,
thumb2_bl_in_range.stdout, thumb2_bl_in_range, thumb2_bl_in_range.o
thumb2_bl_out_of_range.stdout, thumb2_bl_out_of_range,
thumb2_bl_out_of_range.o): New rules.
(MOSTLYCLEANFILES): Add arm_bl_in_range, arm_bl_out_of_range,
thumb_bl_in_range, thumb_bl_out_of_range, thumb2_bl_in_range and
thumb2_bl_out_of_range
* testsuite/Makefile.in: Regenerate.
* testsuite/arm_bl_in_range.s: New file.
* testsuite/arm_bl_out_of_range.s: Ditto.
* testsuite/arm_branch_in_range.sh: Ditto.
* testsuite/arm_branch_range.t: Ditto.
* testsuite/thumb2_branch_range.t: Ditto.
* testsuite/thumb_bl_in_range.s: Ditto.
* testsuite/thumb_bl_out_of_range.s: Ditto.
* testsuite/thumb_branch_range.t: Ditto.
2010-02-22 07:26:07 +01:00
|
|
|
exit 0
|