From 81df85c483545d4dc79fb375379ed8a98bb452bc Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Sat, 14 Apr 2001 11:09:21 +0000 Subject: [PATCH] mn10300.md (cmpsi): Tell reload to disregard the first alternative. * config/mn10300/mn10300.md (cmpsi): Tell reload to disregard the first alternative. From-SVN: r41355 --- gcc/ChangeLog | 5 +++++ gcc/config/mn10300/mn10300.md | 10 +++++++++- 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 699056450d3..17451eff5bc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-04-14 Alexandre Oliva + + * config/mn10300/mn10300.md (cmpsi): Tell reload to disregard the + first alternative. + 2001-04-14 Alan Modra * pa.c (force_mode): New function. diff --git a/gcc/config/mn10300/mn10300.md b/gcc/config/mn10300/mn10300.md index 4f32cd489d0..7050f7adc9f 100644 --- a/gcc/config/mn10300/mn10300.md +++ b/gcc/config/mn10300/mn10300.md @@ -718,9 +718,17 @@ ;; but will have the proper effect on cc0. Using d0 is arbitrary; any ;; data register would work.) +;; Even though the first alternative would be preferrable if it can +;; possibly match, reload must not be given the opportunity to attempt +;; to use it. It assumes that such matches can only occur when one of +;; the operands is used for input and the other for output. Since +;; this is not the case, it abort()s. Indeed, such a reload cannot be +;; possibly satisfied, so just mark the alternative with a `!', so +;; that it is not considered by reload. + (define_insn "cmpsi" [(set (cc0) - (compare (match_operand:SI 0 "register_operand" "*d*a*x,dax") + (compare (match_operand:SI 0 "register_operand" "!*d*a*x,dax") (match_operand:SI 1 "nonmemory_operand" "*0,daxi")))] "" "@