Static single-assignment form: Difference between revisions

Revision as of 01:47, 27 November 2024

Revision as of 12:43, 5 February 2025

Line 154:

* The [[Chromium (web browser)|Chromium]] [[V8 JavaScript engine]] implements SSA in its Crankshaft compiler infrastructure as [https://blog.chromium.org/2010/12/new-crankshaft-for-v8.html announced in December 2010]

* [[PyPy]] uses a linear SSA representation for traces in its JIT compiler.

* The [[Android Runtime]]<ref>{{cite video |title=The Evolution of ART - Google I/O 2016 |time=3m47s |url=https://www.youtube.com/watch?v=fwMM6g7wpQ8 |date=25 May 2016 |work=Google}}</ref> and the [[Dalvik (software)|Dalvik Virtual Machine]] use SSA.<ref>{{cite web |title=JIT through the ages |url=http://www.cs.columbia.edu/~aho/cs6998/reports/12-12-11_Ramanan_JIT.pdf |last=Ramanan |first=Neeraja | date=12 Dec 2011 }}</ref>

* [[Android (operating system)|Android]]'s [[Dalvik (software)|Dalvik]] virtual machine uses SSA in its JIT compiler.

* [[Android (operating system)|Android]]'s new optimizing compiler for the [[Android Runtime]] uses SSA for its IR.<ref>{{cite video |title=The Evolution of ART - Google I/O 2016 |time=3m47s |url=https://www.youtube.com/watch?v=fwMM6g7wpQ8 |date=25 May 2016 |work=Google}}</ref>

* The Standard ML compiler [[MLton]] uses SSA in one of its intermediate languages.

* [[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>