yggdrasil/binutils-gdb
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

MSP430 Linker: Define __crt0_init_bss/__crt0_movedata symbols when .lower or .either prefixed sections are present.

Browse Source 
ld	* config/tc-msp430.c (msp430_make_init_symbols): Define __crt0_init_bss
	symbol when .lower.bss or .either.bss sections exist.
	Define __crt0_movedata when .lower.data or .either.data sections exist.
	* testsuite/gas/msp430/either-data-bss-sym.d: New test.
	* testsuite/gas/msp430/low-data-bss-sym.d: New test.
	* testsuite/gas/msp430/either-data-bss-sym.s: New test source.
	* testsuite/gas/msp430/low-data-bss-sym.s: New test source.
	* testsuite/gas/msp430/msp430.exp: Run new tests.
	Enable large code model when running -mdata-region={upper,either}
	tests.
This commit is contained in:
Jozef Lawrynowicz 2019-04-17 15:05:08 +01:00 committed by Nick Clifton
parent afff667ae8
commit e25de718de
11 changed files with 253 additions and 72 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
ld/ChangeLog
View File

@ -1,3 +1,16 @@
2019-04-17 Jozef Lawrynowicz <jozef.l@mittosystems.com>
* config/tc-msp430.c (msp430_make_init_symbols): Define __crt0_init_bss
symbol when .lower.bss or .either.bss sections exist.
Define __crt0_movedata when .lower.data or .either.data sections exist.
* testsuite/gas/msp430/either-data-bss-sym.d: New test.
* testsuite/gas/msp430/low-data-bss-sym.d: New test.
* testsuite/gas/msp430/either-data-bss-sym.s: New test source.
* testsuite/gas/msp430/low-data-bss-sym.s: New test source.
* testsuite/gas/msp430/msp430.exp: Run new tests.
Enable large code model when running -mdata-region={upper,either}
tests.
2019-04-16 Alan Modra <amodra@gmail.com>
* testsuite/ld-scripts/pr20302.d: Don't run for ns32k-*-*.

110
ld/emultempl/msp430.em
View File

@ -215,6 +215,40 @@ scan_children (lang_statement_union_type * l)
return amount;
}
#define WARN_UPPER 0
#define WARN_LOWER 1
#define WARN_TEXT 0
#define WARN_DATA 1
#define WARN_BSS 2
#define WARN_RODATA 3
/* Warn only once per output section.
* NAME starts with ".upper." or ".lower.". */
static void
warn_no_output_section (const char *name)
{
static bfd_boolean warned[2][4] = {{FALSE, FALSE, FALSE, FALSE},
{FALSE, FALSE, FALSE, FALSE}};
int i = WARN_LOWER;
if (strncmp (name, ".upper.", 7) == 0)
i = WARN_UPPER;
if (!warned[i][WARN_TEXT] && strcmp (name + 6, ".text") == 0)
warned[i][WARN_TEXT] = TRUE;
else if (!warned[i][WARN_DATA] && strcmp (name + 6, ".data") == 0)
warned[i][WARN_DATA] = TRUE;
else if (!warned[i][WARN_BSS] && strcmp (name + 6, ".bss") == 0)
warned[i][WARN_BSS] = TRUE;
else if (!warned[i][WARN_RODATA] && strcmp (name + 6, ".rodata") == 0)
warned[i][WARN_RODATA] = TRUE;
else
return;
einfo ("%P: warning: no input section rule matches %s in linker script\n",
name);
}
/* Place an orphan section. We use this to put .either sections
into either their lower or their upper equivalents. */
@ -240,6 +274,13 @@ gld${EMULATION_NAME}_place_orphan (asection * s,
if (constraint != 0)
return NULL;
if (strncmp (secname, ".upper.", 7) == 0
|| strncmp (secname, ".lower.", 7) == 0)
{
warn_no_output_section (secname);
return NULL;
}
/* We only need special handling for .either sections. */
if (strncmp (secname, ".either.", 8) != 0)
return NULL;
@ -340,52 +381,21 @@ change_output_section (lang_statement_union_type ** head,
return FALSE;
}
static void
move_prefixed_section (asection *s, char *new_name,
lang_output_section_statement_type * new_output_sec)
{
s->name = new_name;
if (s->output_section == NULL)
lang_add_section (& (new_output_sec->children), s, NULL, new_output_sec);
else
{
lang_output_section_statement_type * curr_output_sec
= lang_output_section_find (s->output_section->name);
change_output_section (&(curr_output_sec->children.head), s,
new_output_sec);
}
}
static void
add_region_prefix (bfd *abfd, asection *s,
ATTRIBUTE_UNUSED void *unused)
{
const char *curr_name = bfd_get_section_name (abfd, s);
char * base_name;
char * new_input_sec_name = NULL;
char * new_output_sec_name = NULL;
int region = REGION_NONE;
if (strncmp (curr_name, ".text", 5) == 0)
{
region = code_region;
base_name = concat (".text", NULL);
}
region = code_region;
else if (strncmp (curr_name, ".data", 5) == 0)
{
region = data_region;
base_name = concat (".data", NULL);
}
region = data_region;
else if (strncmp (curr_name, ".bss", 4) == 0)
{
region = data_region;
base_name = concat (".bss", NULL);
}
region = data_region;
else if (strncmp (curr_name, ".rodata", 7) == 0)
{
region = data_region;
base_name = concat (".rodata", NULL);
}
region = data_region;
else
return;
@ -394,30 +404,10 @@ add_region_prefix (bfd *abfd, asection *s,
case REGION_NONE:
break;
case REGION_UPPER:
new_input_sec_name = concat (".upper", curr_name, NULL);
new_output_sec_name = concat (".upper", base_name, NULL);
lang_output_section_statement_type * upper
= lang_output_section_find (new_output_sec_name);
if (upper != NULL)
{
move_prefixed_section (s, new_input_sec_name, upper);
}
else
einfo (_("%P: error: no section named %s in linker script\n"),
new_output_sec_name);
bfd_rename_section (abfd, s, concat (".upper", curr_name, NULL));
break;
case REGION_LOWER:
new_input_sec_name = concat (".lower", curr_name, NULL);
new_output_sec_name = concat (".lower", base_name, NULL);
lang_output_section_statement_type * lower
= lang_output_section_find (new_output_sec_name);
if (lower != NULL)
{
move_prefixed_section (s, new_input_sec_name, lower);
}
else
einfo (_("%P: error: no section named %s in linker script\n"),
new_output_sec_name);
bfd_rename_section (abfd, s, concat (".lower", curr_name, NULL));
break;
case REGION_EITHER:
s->name = concat (".either", curr_name, NULL);
@ -427,12 +417,6 @@ add_region_prefix (bfd *abfd, asection *s,
FAIL ();
break;
}
free (base_name);
if (new_input_sec_name)
{
free (new_input_sec_name);
free (new_output_sec_name);
}
}
static void

52
ld/testsuite/ld-msp430-elf/msp430-elf.exp
View File

@ -23,15 +23,29 @@ if { ![istarget "msp430*elf*"] } {
return
}
# List contains test-items with 3 items followed by 2 lists and one more item:
# 0:name 1:ld early options 2:ld late options 3:assembler options
# 4:filenames of assembler files 5: action and options. 6: name of output file
# Actions:
# objdump: Apply objdump options on result. Compare with regex (last arg).
# nm: Apply nm options on result. Compare with regex (last arg).
# readelf: Apply readelf options on result. Compare with regex (last arg).
# List contains test-items with 3 items followed by 2 lists, one item and
# one optional item:
# 0:name
# 1:ld/ar leading options, placed before object files
# 2:ld/ar trailing options, placed after object files
# 3:assembler options
# 4:filenames of assembler files
# 5:list of actions, options and expected outputs.
# 6:name of output file
# 7:compiler flags (optional)
#
# Actions: { command command-line-options file-containg-expected-output-regexps }
# Commands:
# objdump: Apply objdump options on result.
# nm: Apply nm options on result.
# readelf: Apply readelf options on result.
# ld: Don't apply anything on result. Compare output during linking with
# the file containing regexps (which is the second arg, not the third).
# Note that this *must* be the first action if it is to be used at all;
# in all other cases, any output from the linker during linking is
# treated as a sign of an error and FAILs the test.
#
#
set msp430regionprefixtests {
{"Move main() to .upper.text" "-T msp430.ld --code-region=upper"
"" "" {main-with-text-rodata.s} {{objdump -d main-text-upper.d}} "main-upper"}
@ -136,6 +150,26 @@ set msp430eithershuffletests {
{{objdump -D main-const-upper.d}} "either-to-upper-const-unique-sec"}
}
set msp430warntests {
{"Warn when section cannot be transformed because output section does not exist in linker script (text,data,bss,rodata)"
"-T msp430-no-lower.ld --code-region=lower --data-region=lower" "" "" {warn-no-lower.s}
{{ld warn-no-lower.r}} "warn-no-lower"}
{"Warn when section cannot be transformed because output section does not exist in linker script (text only)"
"-T msp430-no-lower.ld --code-region=lower" "" "" {warn-no-lower.s}
{{ld warn-no-lower-code.r}} "warn-no-lower-code"}
{"Warn when section cannot be transformed because output section does not exist in linker script (data,bss,rodata)"
"-T msp430-no-lower.ld --data-region=lower" "" "" {warn-no-lower.s}
{{ld warn-no-lower-data.r}} "warn-no-lower-data"}
}
# Don't run section shuffle tests when msp430 ISA is selected
if {[string match "*-mcpu=msp430 *" [board_info [target_info name] multilib_flags]]
|| [string match "*-mcpu=msp430" [board_info [target_info name] multilib_flags]]} {
return
}
run_ld_link_tests $msp430regionprefixtests
run_ld_link_tests $msp430regionprefixuniquesectiontests
run_ld_link_tests $msp430eithershuffletests
run_ld_link_tests $msp430warntests
run_dump_test valid-map

26
ld/testsuite/ld-msp430-elf/valid-map-foo.s Normal file
View File

@ -0,0 +1,26 @@
.file "foo.c"
.text
.section .text.foo1,"ax",@progbits
.balign 2
.global foo1
.type foo1, @function
foo1:
; start of function
; framesize_regs: 0
; framesize_locals: 0
; framesize_outgoing: 0
; framesize: 0
; elim ap -> fp 2
; elim fp -> sp 0
; saved regs:(none)
; start of prologue
; end of prologue
NOP
.L2:
MOV.W &a, R12
CMP.W #0, R12 { JNE .L2
MOV.B #0, R12
; start of epilogue
RET
.size foo1, .-foo1
.ident "GCC: (jozef) 7.3.2"

6
ld/testsuite/ld-msp430-elf/valid-map.d Normal file
View File

@ -0,0 +1,6 @@
# source: valid-map-foo.s
# source: valid-map.s
# ld: -Map=valid-map.map --code-region=lower --script=msp430.ld
# map: valid-map.map
#pass

6
ld/testsuite/ld-msp430-elf/valid-map.map Normal file
View File

@ -0,0 +1,6 @@
# Test that the transformed section name foo1 from foo.s appears correctly
# in the map file
#...
.lower.text.foo1
#pass

60
ld/testsuite/ld-msp430-elf/valid-map.s Normal file
View File

@ -0,0 +1,60 @@
.file "tester.c"
.text
.global a
.data
.balign 2
.type a, @object
.size a, 2
a:
.short 5
.text
.balign 2
.global foo
.type foo, @function
foo:
; start of function
; framesize_regs: 0
; framesize_locals: 2
; framesize_outgoing: 0
; framesize: 2
; elim ap -> fp 2
; elim fp -> sp 2
; saved regs:(none)
; start of prologue
SUB.W #2, R1
; end of prologue
MOV.W R12, @R1
MOV.W @R1, R12
ADD.W #-2, R12
MOV.W @R12, R12
CMP.W #0, R12 { JEQ .L2
MOV.B #0, R12
BR #.L3
.L2:
MOV.B #1, R12
.L3:
; start of epilogue
ADD.W #2, R1
RET
.size foo, .-foo
.balign 2
.global main
.type main, @function
main:
; start of function
; framesize_regs: 0
; framesize_locals: 0
; framesize_outgoing: 0
; framesize: 0
; elim ap -> fp 2
; elim fp -> sp 0
; saved regs:(none)
; start of prologue
; end of prologue
MOV.W #a, R12
CALL #foo
; start of epilogue
.refsym __crt0_call_exit
RET
.size main, .-main
.ident "GCC: (jozef) 7.3.2"

1
ld/testsuite/ld-msp430-elf/warn-no-lower-code.r Normal file
View File

@ -0,0 +1 @@
.*warning: no input section rule matches .lower.text in linker script

3
ld/testsuite/ld-msp430-elf/warn-no-lower-data.r Normal file
View File

@ -0,0 +1,3 @@
.*warning: no input section rule matches .lower.data in linker script
.*warning: no input section rule matches .lower.bss in linker script
.*warning: no input section rule matches .lower.rodata in linker script

4
ld/testsuite/ld-msp430-elf/warn-no-lower.r Normal file
View File

@ -0,0 +1,4 @@
.*warning: no input section rule matches .lower.text in linker script
.*warning: no input section rule matches .lower.data in linker script
.*warning: no input section rule matches .lower.bss in linker script
.*warning: no input section rule matches .lower.rodata in linker script

44
ld/testsuite/ld-msp430-elf/warn-no-lower.s Normal file
View File

@ -0,0 +1,44 @@
.file "tester.c"
.text
.global foo
.section .rodata
.LC0:
.string "bar"
.section .data,"aw",@progbits
.balign 2
.type foo, @object
.size foo, 2
foo:
.short .LC0
.section .text,"ax",@progbits
.balign 2
.global main
.type main, @function
main:
; start of function
; framesize_regs: 0
; framesize_locals: 2
; framesize_outgoing: 0
; framesize: 2
; elim ap -> fp 2
; elim fp -> sp 2
; saved regs:(none)
; start of prologue
SUB.W #2, R1
; end of prologue
MOV.W #1, @R1
BR #.L2
.L3:
MOV.W &foo, R12
ADD.W #-1, R12
MOV.W R12, &foo
.L2:
MOV.W @R1, R12
CMP.W #0, R12 { JNE .L3
MOV.B #0, R12
; start of epilogue
.refsym __crt0_call_exit
ADD.W #2, R1
RET
.size main, .-main
.ident "GCC: (jozef) 7.3.2"