Spilling in LCC

mike@comlab.oxford.ac.uk (Mike Spivey)
Wed, 25 Oct 1995 10:57:22 GMT

          From comp.compilers
Related articles
Spilling in LCC mike@comlab.oxford.ac.uk (1995-10-25)
Re: Spilling in LCC cwf@research.att.com (Chris Fraser) (1995-10-31)
| List of all articles for this month |
Newsgroups: comp.compilers
From: mike@comlab.oxford.ac.uk (Mike Spivey)
Keywords: C, registers
Organization: Oxford University Computing Laboratory, UK
Date: Wed, 25 Oct 1995 10:57:22 GMT

>From reading the Fraser/Hanson book about LCC, it seems to me that


(i) the register spiller assumes that each temporary is assigned once,
and the assignment is the first use. Thus, the store operation can
be inserted just after the instruction that first uses the temp.


(ii) conditional expressions (b ? e1 : e2) are translated as


if (not b) goto L1
tmp = e1
goto L2
        L1:
tmp = e2
        L2:


with the result in tmp. And this code contains two assignments to
tmp.


What am I missing?


-- Mike Spivey


--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.