DO NOT MERGE: Perform alias analysis in C/C++ dataflow - #177

Draft

Mathias Vorreiter Pedersen (MathiasVP) wants to merge 14 commits into

mainfrom

alias-analysis-wip-microsoft-2

Commits on Mar 12, 2025

C++: Move indirect dataflow nodes into a new type that's computed after node0, but which can be computed before SSA.
Mathias Vorreiter Pedersen (MathiasVP)
committed
fadf2d3
C++: Move the 'final parameter node' class into the new node1 type.
Mathias Vorreiter Pedersen (MathiasVP)
committed
633b0b6
C++: Move the 'final global value' class into the new node1 type.
Mathias Vorreiter Pedersen (MathiasVP)
committed
8265539
C++: Move the 'initial global value' class into the new node1 type.
Mathias Vorreiter Pedersen (MathiasVP)
committed
d7bced0
C++: Move phi-related nodes to the node1 type.
Mathias Vorreiter Pedersen (MathiasVP)
committed
f24552d
C++: Drive-by cleanup: Define a final parameter node using the matching FinalParameterUse.
Mathias Vorreiter Pedersen (MathiasVP)
committed
a8dc482
C++: Small refactoring.
Mathias Vorreiter Pedersen (MathiasVP)
committed
a5be254
C++: Move post-update nodes to node1.
Mathias Vorreiter Pedersen (MathiasVP)
committed
bed1add
C++: Add a getARead0 predicate on SSA definitions.
Mathias Vorreiter Pedersen (MathiasVP)
committed
f955701
C++: Move entire SSA computation into the node1 domain.
Mathias Vorreiter Pedersen (MathiasVP)
committed
48aae57
C++: Move most local-flow steps into the node1 domain.
Mathias Vorreiter Pedersen (MathiasVP)
committed
c1ac6ed
C++: Move non-MaD model flow into node1 domain.
Mathias Vorreiter Pedersen (MathiasVP)
committed
477a9f4
C++: Move reverse-flow to the node1 domain.
Mathias Vorreiter Pedersen (MathiasVP)
committed
8781cb0
C++: Implement alias analysis for dataflow.
Mathias Vorreiter Pedersen (MathiasVP)
committed
f304fee

Navigation Menu

Uh oh!

DO NOT MERGE: Perform alias analysis in C/C++ dataflow - #177

DO NOT MERGE: Perform alias analysis in C/C++ dataflow#177
Mathias Vorreiter Pedersen (MathiasVP) wants to merge 14 commits into
mainfrom
alias-analysis-wip-microsoft-2

Commits on Mar 12, 2025

C++: Move indirect dataflow nodes into a new type that's computed after node0, but which can be computed before SSA.

C++: Move the 'final parameter node' class into the new node1 type.

C++: Move the 'final global value' class into the new node1 type.

C++: Move the 'initial global value' class into the new node1 type.

C++: Move phi-related nodes to the node1 type.

C++: Drive-by cleanup: Define a final parameter node using the matching FinalParameterUse.

C++: Small refactoring.

C++: Move post-update nodes to node1.

C++: Add a getARead0 predicate on SSA definitions.

C++: Move entire SSA computation into the node1 domain.

C++: Move most local-flow steps into the node1 domain.

C++: Move non-MaD model flow into node1 domain.

C++: Move reverse-flow to the node1 domain.

C++: Implement alias analysis for dataflow.