aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVladimir Makarov <vmakarov@redhat.com>2018-03-23 19:31:00 +0000
committerVladimir Makarov <vmakarov@gcc.gnu.org>2018-03-23 19:31:00 +0000
commita426543a1f31388186edb92036a87032c66bcd17 (patch)
tree93bc61e8a59ad00fb88c653ae63c761dcbe19d30
parent63028caaeb63f5a3fa1dcabaae10fe5902a39048 (diff)
downloadgcc-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/ChangeLog6
-rw-r--r--gcc/lra-constraints.c8
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.target/i386/pr85030.c10
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'" } */
+}