SSA conversion and closure conversion

From	Florian Weimer <fw@deneb.enyo.de>
Newsgroups	comp.compilers
Subject	SSA conversion and closure conversion
Date	2013-07-01 21:36 +0200
Organization	Compilers Central
Message-ID	<13-07-005@comp.compilers> (permalink)

Show all headers | View raw

I'm trying to implement some program analysis (exact goals are still a
bit foggy) for a programming language which has mutable local
variables and closures.  I want to convert things to SSA form because
I'm mostly interested in properties which could be easily extracted in
that representation, I think.  I see three ways to deal with
closed-over variables: perform closure conversion first (and something
like scalar replacement later, to recover information on closed-over
variables), perform SSA conversion and insert phi nodes after
instructions which potentially call a closure, or somehow combine
closure conversion and SSA conversion.

Surely this has come up before, and I'm wondering which option is best
or if I'm missing some approach.

Back to comp.compilers | Previous | Next | Find similar | Unroll thread

Thread

SSA conversion and closure conversion Florian Weimer <fw@deneb.enyo.de> - 2013-07-01 21:36 +0200

csiph-web