C++: Redesign IR dataflow using the shared SSA library#6825

Merged

geoffw0 merged 41 commits intogithub:mainfrom

MathiasVP:use-shared-ssa-in-ir-dataflow

Nov 9, 2021

Commits on Oct 28, 2021

C++: Add 'getReturnAddress' and 'getReturnAddressOperand' predicates to 'ReturnValueInstruction'.
MathiasVP
committed
C++/C#: Sync identical IR files·
MathiasVP
committed
C++: Add shared SSA library and instantiate it with the IR.
MathiasVP
committed
C++: Throw away the old way of doing store steps using memory edges. Instead, we introduce a StoreNode IPA branch that does store steps and instead use the shared SSA library to transfer flow into …
MathiasVP
committed
C++: Similarly to the previous commit, we throw away the old memory-edges based way of doing read steps. Instead, we use the shared SSA library to transfer flow into a new ReadNode IPA branch, perf…
MathiasVP
committed
C++: Rewrite the PartialDefinitionNode classes to match the new StoreNodes.
MathiasVP
committed
C++: Throw away most of the usage of IR-computed def-use information. Instead, we rely on the shared SSA library's use-use edges.
MathiasVP
committed
C++: Since we now no longer have flow from exact memory operands to LoadInstructions, we no longer have flow from PhiInstructions to LoadInstructions. We could allow flow in this particular case, b…
MathiasVP
committed
C++: Remove the taintflow edges that gives performance problems.
MathiasVP
committed
C++: Add a special dataflow step from InitializeIndirection instructions.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed
C++: Add annoying case in SSA.qll related to 'NewExpr' and accept test changes.
MathiasVP
committed
C++: Fix join orders in 'DataFlowDispatch.qll' and `Ssa.qll`.
MathiasVP
committed
C++: Autoformat.
MathiasVP
committed
Merge branch 'main' into use-shared-ssa-in-ir-dataflow
MathiasVP
committed
Accept test changes.
MathiasVP
committed
Merge branch 'main' into use-shared-ssa-in-ir-dataflow
MathiasVP
committed
Add a copy of SsaImplCommon to the identical-files script.
MathiasVP
committed
C++: Sync identical files.
MathiasVP
committed
Rename 'SourceVariable.getVariable' to 'SourceVariable.getIRVariable' and replace 'Def.getVariable' to 'Def.getSourceVariable'.
MathiasVP
committed
Replace 'hasLocationInfo' with 'getLocation'.
MathiasVP
committed
C++: Fix QLDoc on 'getDestinationAddress'.
MathiasVP
committed
C++: A 'LoadInstruction' in a store chain always sets 'certain = false'.
MathiasVP
committed
C++: Rename 'Ssa' to 'SsaInternals' and move definitions from 'SSaImplSpecific' to 'SsaInternals'. Now we can avoid cyclic imports.
MathiasVP
committed
C++: Remove the 'isIndirection' predicate on 'SourceVariable' and move the rootdef of 'getIRVariable' into the two subclasses.
MathiasVP
committed

Commits on Oct 29, 2021

C++: Fix comments.
MathiasVP
committed

Commits on Nov 2, 2021

Commits on Nov 8, 2021