From d65912578bc735658eecc5bf285af99bc1822920 Mon Sep 17 00:00:00 2001 From: Wilco Dijkstra Date: Fri, 1 Dec 2017 19:54:29 +0000 Subject: [PATCH] [AArch64] Fix address printing on ILP32 Fix address printing for ILP32. The md file uses 'a' in assembler templates for symbolic addresses in adrp/add, which end up calling aarch64_print_operand_address. However in ILP32 these are not valid memory addresses (being ptr_mode rather than Pmode), so the assert triggers. Since it is incorrect to use symbols in memory addresses (besides literal pool accesses), change the 'a' to 'c' in the md file. Skip one failing test in ILP32 which combines the 'p' modifier with the 'a' assembler template to fake a memory reference. gcc/ * config/aarch64/aarch64.md (call_insn): Use %c rather than %a. (call_value_insn): Likewise. (sibcall_insn): Likewise. (sibcall_value_insn): Likewise. (movsi_aarch64): Likewise. (movdi_aarch64): Likewise. (add_losym_): Likewise. (ldr_got_small_): Likewise. (ldr_got_small_sidi): Likewise. (ldr_got_small_28k_): Likewise. (ldr_got_small_28k_sidi): Likewise. * config/aarch64/aarch64.c (aarch64_print_address_internal): Move output_addr_const to symbolic case. Add error check. testsuite/ * gcc.dg/asm-4.c: Skip on AArch64 with ILP32 as test is incorrect. From-SVN: r255333 --- gcc/ChangeLog | 16 ++++++++++++++++ gcc/config/aarch64/aarch64.c | 5 +++-- gcc/config/aarch64/aarch64.md | 22 +++++++++++----------- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/asm-4.c | 3 +++ 5 files changed, 37 insertions(+), 13 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 77d4c7c81a8..4018af7e588 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,19 @@ +2017-12-01 Wilco Dijkstra + + * config/aarch64/aarch64.md (call_insn): Use %c rather than %a. + (call_value_insn): Likewise. + (sibcall_insn): Likewise. + (sibcall_value_insn): Likewise. + (movsi_aarch64): Likewise. + (movdi_aarch64): Likewise. + (add_losym_): Likewise. + (ldr_got_small_): Likewise. + (ldr_got_small_sidi): Likewise. + (ldr_got_small_28k_): Likewise. + (ldr_got_small_28k_sidi): Likewise. + * config/aarch64/aarch64.c (aarch64_print_address_internal): + Move output_addr_const to symbolic case. Add error check. + 2017-12-01 Andreas Krebbel * config/s390/predicates.md (plus16_Q_operand): New predicate. diff --git a/gcc/config/aarch64/aarch64.c b/gcc/config/aarch64/aarch64.c index 904afa9d0e7..75a6c0d0421 100644 --- a/gcc/config/aarch64/aarch64.c +++ b/gcc/config/aarch64/aarch64.c @@ -5713,10 +5713,11 @@ aarch64_print_address_internal (FILE *f, machine_mode mode, rtx x, RTX_CODE op) return; case ADDRESS_SYMBOLIC: - break; + output_addr_const (f, x); + return; } - output_addr_const (f, x); + output_operand_lossage ("invalid operand for '%%%c'", op); } /* Print address 'x' of a LDP/STP with mode 'mode'. */ diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md index 83e49425090..f1e2a07ef46 100644 --- a/gcc/config/aarch64/aarch64.md +++ b/gcc/config/aarch64/aarch64.md @@ -749,7 +749,7 @@ "" "@ blr\\t%0 - bl\\t%a0" + bl\\t%c0" [(set_attr "type" "call, call")] ) @@ -775,7 +775,7 @@ "" "@ blr\\t%1 - bl\\t%a1" + bl\\t%c1" [(set_attr "type" "call, call")] ) @@ -811,7 +811,7 @@ "SIBLING_CALL_P (insn)" "@ br\\t%0 - b\\t%a0" + b\\t%c0" [(set_attr "type" "branch, branch")] ) @@ -824,7 +824,7 @@ "SIBLING_CALL_P (insn)" "@ br\\t%1 - b\\t%a1" + b\\t%c1" [(set_attr "type" "branch, branch")] ) @@ -946,7 +946,7 @@ ldr\\t%s0, %1 str\\t%w1, %0 str\\t%s1, %0 - adr\\t%x0, %a1 + adr\\t%x0, %c1 adrp\\t%x0, %A1 fmov\\t%s0, %w1 fmov\\t%w0, %s1 @@ -981,7 +981,7 @@ ldr\\t%d0, %1 str\\t%x1, %0 str\\t%d1, %0 - adr\\t%x0, %a1 + adr\\t%x0, %c1 adrp\\t%x0, %A1 fmov\\t%d0, %x1 fmov\\t%x0, %d1 @@ -5401,7 +5401,7 @@ (lo_sum:P (match_operand:P 1 "register_operand" "r") (match_operand 2 "aarch64_valid_symref" "S")))] "" - "add\\t%0, %1, :lo12:%a2" + "add\\t%0, %1, :lo12:%c2" [(set_attr "type" "alu_imm")] ) @@ -5412,7 +5412,7 @@ (match_operand:PTR 2 "aarch64_valid_symref" "S")))] UNSPEC_GOTSMALLPIC))] "" - "ldr\\t%0, [%1, #:got_lo12:%a2]" + "ldr\\t%0, [%1, #:got_lo12:%c2]" [(set_attr "type" "load_")] ) @@ -5424,7 +5424,7 @@ (match_operand:DI 2 "aarch64_valid_symref" "S")))] UNSPEC_GOTSMALLPIC)))] "TARGET_ILP32" - "ldr\\t%w0, [%1, #:got_lo12:%a2]" + "ldr\\t%w0, [%1, #:got_lo12:%c2]" [(set_attr "type" "load_4")] ) @@ -5435,7 +5435,7 @@ (match_operand:PTR 2 "aarch64_valid_symref" "S")))] UNSPEC_GOTSMALLPIC28K))] "" - "ldr\\t%0, [%1, #::%a2]" + "ldr\\t%0, [%1, #::%c2]" [(set_attr "type" "load_")] ) @@ -5447,7 +5447,7 @@ (match_operand:DI 2 "aarch64_valid_symref" "S")))] UNSPEC_GOTSMALLPIC28K)))] "TARGET_ILP32" - "ldr\\t%w0, [%1, #:gotpage_lo14:%a2]" + "ldr\\t%w0, [%1, #:gotpage_lo14:%c2]" [(set_attr "type" "load_4")] ) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 41092f02c70..c86275d2551 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2017-12-01 Wilco Dijkstra + + * gcc.dg/asm-4.c: Skip on AArch64 with ILP32 as test is incorrect. + 2017-12-01 Thomas Koenig PR fortran/83224 diff --git a/gcc/testsuite/gcc.dg/asm-4.c b/gcc/testsuite/gcc.dg/asm-4.c index 1e6a538aeab..6cbbfd0d51f 100644 --- a/gcc/testsuite/gcc.dg/asm-4.c +++ b/gcc/testsuite/gcc.dg/asm-4.c @@ -1,6 +1,9 @@ /* { dg-do compile } */ /* { dg-options "" } */ +/* "p" modifier can't be used to generate a valid memory address with ILP32. */ +/* { dg-skip-if "" { aarch64*-*-* && ilp32 } } */ + int main() { int x, y, z; -- 2.30.2