public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
* How is REG_EQUAL interpreted?
@ 2002-12-28 20:53 Kazu Hirata
  0 siblings, 0 replies; only message in thread
From: Kazu Hirata @ 2002-12-28 20:53 UTC (permalink / raw)
  To: gcc

Hi,

gcc's internal manual explains the interpretation of REG_EQUAL note as

  If the output of the single set is a strict_low_part expression, the
  note refers to the register that is contained in SUBREG_REG of the
  subreg expression.

Now is it OK to have a REG_EQUAL note like the following?

(insn 16 15 19 (nil) (set (subreg:HI (reg/v:DI 17) 6)
                          (mem/u/f:HI (reg/f:HI 21) [3 S2 A16])) -1 (nil)
      (expr_list:REG_EQUAL (const_double 1 [0x1] 1 [0x1] 0 [0x0] 0 [0x0] 0 [0x0] 0 [0x0])
                           (nil)))

This does not have a strict_low_part, but the REG_EQUAL note here
seems to suggest that (reg:DI 17) is equal to (const_double ...).

I get the above insn as the last insn of a sequence emitted by
move_insn for a 64-bit move.

Thanks,

Kazu Hirata

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2002-12-29  2:34 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-12-28 20:53 How is REG_EQUAL interpreted? Kazu Hirata

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).