Static single-assignment form: Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Revision as of 18:10, 30 June 2025 edit AHMartin (talk \| contribs) Extended confirmed users 3,584 edits →Benefits: copyedit: change "constant propagation" to "constant folding" - since that is what the example illustrates. If SSA facilitates constant propagation - then give an example of it ← Previous edit		Latest revision as of 03:34, 11 August 2025 edit undo Bender the Bot (talk \| contribs) Bots 1,064,377 edits m →Research and abandoned: HTTP to HTTPS for SourceForge Tag: AWB
(One intermediate revision by one other user not shown)
Line 157: * [[LuaJIT]] makes heavy use of SSA-based optimizations.<ref>{{cite web\|url=http://wiki.luajit.org/Optimizations\|title=Bytecode Optimizations\|publisher=the LuaJIT project}}</ref> * The [[PHP]] and [[Hack (programming language)\|Hack]] compiler [[HHVM]] uses SSA in its IR.<ref>{{cite web\|url=https://github.com/facebook/hhvm/blob/master/hphp/doc/ir.specification\|title=HipHop Intermediate Representation (HHIR)\|website=[[GitHub]]\|date=30 October 2021}}</ref> * The [[OCaml]] compiler uses SSA in its CMM IR (which stands for C--).<ref>{{Cite web \|~~last~~last1=Chambart \|~~first~~first1=Pierre \|last2=Laviron \|first2=Vincent \|last3=Pinto \|first3=Dario \|date=2024-03-18 \|title=Behind the Scenes of the OCaml Optimising Compiler \|url=https://ocamlpro.com/blog/2024_03_18_the_flambda2_snippets_0/ ~~\|url-status=live~~ \|website=OCaml Pro}}</ref> * libFirm, a library for use as the [[Compiler#Three-stage compiler structure\|middle and back ends of a compiler]], uses SSA form for all scalar register values until code generation by use of an SSA-aware register allocator.<ref>{{cite web\|url=http://pp.ipd.kit.edu/firm/\|title=Firm - Optimization and Machine Code Generation}}</ref> * Various [[Mesa (computer graphics)\|Mesa]] drivers via NIR, an SSA representation for shading languages.<ref>{{Cite web\|url=https://lists.freedesktop.org/archives/mesa-dev/2014-December/072761.html\|title=Reintroducing NIR, a new IR for mesa\|last=Ekstrand\|first=Jason\|date=16 December 2014 }}</ref> Line 178: * The COINS compiler uses SSA form optimizations as explained [https://web.archive.org/web/20040531024854/http://www.is.titech.ac.jp/~sassa/coins-www-ssa/english/ here]. * Reservoir Labs' R-Stream compiler supports non-SSA (quad list), SSA and SSI (Static Single Information<ref>{{cite tech report \|url=https://cscott.net/Publications/ssi.pdf \|title=Static Single Information Form \|last1=Ananian \|first1=C. Scott \|last2=Rinard \|first2=Martin \|year=1999\|citeseerx = 10.1.1.1.9976}}</ref>) forms.<ref>{{cite book\|url=https://www.springer.com/us/book/9780387097657\|title=Encyclopedia of Parallel Computing}}</ref> * Although not a compiler, the [~~http~~https://boomerang.sourceforge.net/ Boomerang] decompiler uses SSA form in its internal representation. SSA is used to simplify expression propagation, identifying parameters and returns, preservation analysis, and more. * [[DotGNU]] Portable.NET used SSA in its JIT compiler.