diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/reload.c | 17 |
2 files changed, 19 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4493b21..2f8c480 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-01-28 Ian Lance Taylor <ian@wasabisystems.com> + + PR inline-asm/6162 + * reload.c (find_reloads): Only support one pair of commutative + operands. + 2004-01-29 Roger Sayle <roger@eyesopen.com> PR java/13824 diff --git a/gcc/reload.c b/gcc/reload.c index 548aa7e..c1f2af9 100644 --- a/gcc/reload.c +++ b/gcc/reload.c @@ -2605,7 +2605,17 @@ find_reloads (rtx insn, int replace, int ind_levels, int live_known, if (i == noperands - 1) abort (); - commutative = i; + /* We currently only support one commutative pair of + operands. Some existing asm code currently uses more + than one pair. Previously, that would usually work, + but sometimes it would crash the compiler. We + continue supporting that case as well as we can by + silently ignoring all but the first pair. In the + future we may handle it correctly. */ + if (commutative < 0) + commutative = i; + else if (!this_insn_is_asm) + abort (); } else if (ISDIGIT (c)) { @@ -2979,9 +2989,8 @@ find_reloads (rtx insn, int replace, int ind_levels, int live_known, break; case '%': - /* The last operand should not be marked commutative. */ - if (i != noperands - 1) - commutative = i; + /* We only support one commutative marker, the first + one. We already set commutative above. */ break; case '?': |