diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2018-11-21 17:41:03 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-11-21 17:41:03 +0100 |
| commit | e21679a8bb17aac603b8704891e60ac502200629 (patch) | |
| tree | 393203eab07f2a07eaf8c5fca7466cf36b4b094b /gcc | |
| parent | 0358d788d238ba7407648962f40026bd8c190308 (diff) | |
| download | gcc-e21679a8bb17aac603b8704891e60ac502200629.zip gcc-e21679a8bb17aac603b8704891e60ac502200629.tar.gz gcc-e21679a8bb17aac603b8704891e60ac502200629.tar.bz2 | |
re PR target/87839 (ICE in final_scan_insn_1, at final.c:3070)
PR target/87839
* config/aarch64/atomics.md (@aarch64_compare_and_swap<mode>): Use
rIJ constraint for aarch64_plus_operand rather than rn.
* gcc.target/aarch64/pr87839.c: New test.
From-SVN: r266346
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/config/aarch64/atomics.md | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/aarch64/pr87839.c | 29 |
4 files changed, 41 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e0eedf7..185bf1c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-11-21 Jakub Jelinek <jakub@redhat.com> + + PR target/87839 + * config/aarch64/atomics.md (@aarch64_compare_and_swap<mode>): Use + rIJ constraint for aarch64_plus_operand rather than rn. + 2018-11-21 Renlin Li <renlin.li@arm.com> PR middle-end/84877 diff --git a/gcc/config/aarch64/atomics.md b/gcc/config/aarch64/atomics.md index 00f7af4..a429703 100644 --- a/gcc/config/aarch64/atomics.md +++ b/gcc/config/aarch64/atomics.md @@ -71,7 +71,7 @@ (match_operand:GPI 1 "aarch64_sync_memory_operand" "+Q")) ;; memory (set (match_dup 1) (unspec_volatile:GPI - [(match_operand:GPI 2 "aarch64_plus_operand" "rn") ;; expect + [(match_operand:GPI 2 "aarch64_plus_operand" "rIJ") ;; expect (match_operand:GPI 3 "aarch64_reg_or_zero" "rZ") ;; desired (match_operand:SI 4 "const_int_operand") ;; is_weak (match_operand:SI 5 "const_int_operand") ;; mod_s diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0561996..f12fb97 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-11-21 Jakub Jelinek <jakub@redhat.com> + + PR target/87839 + * gcc.target/aarch64/pr87839.c: New test. + 2018-11-21 Renlin Li <renlin.li@arm.com> PR middle-end/84877 diff --git a/gcc/testsuite/gcc.target/aarch64/pr87839.c b/gcc/testsuite/gcc.target/aarch64/pr87839.c new file mode 100644 index 0000000..1da0830 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/pr87839.c @@ -0,0 +1,29 @@ +/* PR target/87839 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -w" } */ + +long long b[64]; +void foo (void); +int bar (void (*) (void)); +void qux (long long *, long long) __attribute__((noreturn)); +void quux (long long *, long long); + +void +baz (void) +{ + __sync_val_compare_and_swap (b, 4294967298LL, 78187493520LL); + __sync_bool_compare_and_swap (b + 1, 8589934595LL, 21474836489LL); + __sync_fetch_and_xor (b, 60129542145LL); + quux (b, 42949672967LL); + __sync_xor_and_fetch (b + 22, 60129542145LL); + quux (b + 23, 42949672967LL); + if (bar (baz)) + __builtin_abort (); + foo (); + __sync_val_compare_and_swap (b, 4294967298LL, 0); + __sync_bool_compare_and_swap (b + 1, 8589934595LL, 78187493520LL); + if (__sync_or_and_fetch (b, 21474836489LL) != 21474836489LL) + qux (b + 22, 60129542145LL); + __atomic_fetch_nand (b + 23, 42949672967LL, __ATOMIC_RELAXED); + bar (baz); +} |