Walter's talk on D backend

claptrap clap at trap.com
Mon Sep 23 15:46:25 UTC 2024


On Monday, 23 September 2024 at 14:39:12 UTC, user1234 wrote:
> On Monday, 23 September 2024 at 13:39:46 UTC, claptrap wrote:
>> On Monday, 23 September 2024 at 12:31:27 UTC, user1234 wrote:
>>
>
> Sorry, I knewn this had the potential to go off topic. It's 
> really just the word "variable" that has initially triggered 
> me. Let's call this "SSA node".

first 3 web hits...

"In compiler design, static single assignment form (often 
abbreviated as SSA form or simply SSA) is a type of intermediate 
representation (IR) where each variable is assigned exactly once"
https://en.wikipedia.org/wiki/Static_single-assignment_form

"In compiler design, Static Single Assignment ( shortened SSA) is 
a means of structuring the IR (intermediate representation) such 
that every variable is allotted a value only once and every 
variable is defined before it’s use"
https://www.geeksforgeeks.org/static-single-assignment-with-relevant-examples/

"At its core, the SSA form of any program source program 
introduces only one new constraint: all variables are assigned 
(i.e., stored to) exactly once."
https://blog.yossarian.net/2020/10/23/Understanding-static-single-assignment-forms

SSA is by definition about assigning *variables* only once. You 
can call them nodes if you want, but the %n is referring to a 
variable of some sort.

Look at it this way, you can only think of them as nodes in a 
graph because the variables are renamed on each definition, if 
they weren't you'd have nodes with the same "%n" at the front.



More information about the Digitalmars-d mailing list