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