diff options
author | Vladimir Makarov <vmakarov@redhat.com> | 2018-03-23 19:31:00 +0000 |
---|---|---|
committer | Vladimir Makarov <vmakarov@gcc.gnu.org> | 2018-03-23 19:31:00 +0000 |
commit | a426543a1f31388186edb92036a87032c66bcd17 (patch) | |
tree | 93bc61e8a59ad00fb88c653ae63c761dcbe19d30 | |
parent | 63028caaeb63f5a3fa1dcabaae10fe5902a39048 (diff) | |
download | gcc-a426543a1f31388186edb92036a87032c66bcd17.zip gcc-a426543a1f31388186edb92036a87032c66bcd17.tar.gz gcc-a426543a1f31388186edb92036a87032c66bcd17.tar.bz2 |
re PR inline-asm/85030 (internal compiler error: Floating point exception (validate_subreg()))
2018-03-23 Vladimir Makarov <vmakarov@redhat.com>
PR inline-asm/85030
* lra-constraints.c (process_alt_operands): Don't match BLKmode
and non BLKmode operands.
2018-03-23 Vladimir Makarov <vmakarov@redhat.com>
PR inline-asm/85030
* testsuite/gcc.target/i386/pr85030.c: New.
From-SVN: r258820
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/lra-constraints.c | 8 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.target/i386/pr85030.c | 10 |
4 files changed, 29 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 53b67fb..2fd85d7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-03-23 Vladimir Makarov <vmakarov@redhat.com> + + PR inline-asm/85030 + * lra-constraints.c (process_alt_operands): Don't match BLKmode + and non BLKmode operands. + 2018-03-23 Kyrylo Tkachov <kyrylo.tkachov@arm.com> PR target/85026 diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c index 31faefa..0dd4787 100644 --- a/gcc/lra-constraints.c +++ b/gcc/lra-constraints.c @@ -2118,6 +2118,14 @@ process_alt_operands (int only_alternative) GET_MODE_SIZE (biggest_mode[nop]))) break; + /* Don't match wrong asm insn operands for proper + diagnostic later. */ + if (INSN_CODE (curr_insn) < 0 + && (curr_operand_mode[m] == BLKmode + || curr_operand_mode[nop] == BLKmode) + && curr_operand_mode[m] != curr_operand_mode[nop]) + break; + this_alternative_matches = m; m_hregno = get_hard_regno (*curr_id->operand_loc[m], false); /* We are supposed to match a previous operand. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e709ff1..503ddaa 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-03-23 Vladimir Makarov <vmakarov@redhat.com> + + PR inline-asm/85030 + * testsuite/gcc.target/i386/pr85030.c: New. + 2018-03-23 Kyrylo Tkachov <kyrylo.tkachov@arm.com> PR target/85026 diff --git a/gcc/testsuite/gcc.target/i386/pr85030.c b/gcc/testsuite/gcc.target/i386/pr85030.c new file mode 100644 index 0000000..ff41df6 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr85030.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-options "-O1" } */ +struct S { int c, *b, *e; }; + +void +foo () +{ + struct S a; + asm volatile ("" : "=rm" (a) : "0" (1)); /* { dg-error "inconsistent operand constraints in an 'asm'" } */ +} |