C++: Avoid quadratic blowup with use-use flow (WIP)#5853

Closed

MathiasVP wants to merge 26 commits into

github:mainfrom

MathiasVP:avoid-quadratic-blowup-with-use-use

Commits on Mar 24, 2021

Merge branch 'main' into field-flow-without-array-content
MathiasVP
committed

Commits on Apr 21, 2021

Merge branch 'main' into field-flow-without-array-content
MathiasVP
committed

Commits on Apr 22, 2021

C++: Remove dispatching from getEnclosingCallable. This prevents a bad join order in a later commit when we add more dataflow nodes.
MathiasVP
committed
C++: Introduce two new dataflow nodes. One for doing store steps and one for doing read steps.
MathiasVP
committed
C++: Replace the old read and store steps with the new ones that target the new dataflow nodes.
MathiasVP
committed
C++: Flow into (and out of) address nodes.
MathiasVP
committed
C++: Use the pre{Read|Store}Step and post{Read|Store}Step predicates in simpleLocalFlowStep.
MathiasVP
committed
C++: Add post update nodes and partial definition nodes.
MathiasVP
committed
C++: Update the rule for flow through single-field structs.
MathiasVP
committed
C++: Include DataFlowPrivate in DataFlowUtil so that things actually compile.
MathiasVP
committed
C++: Fix join order in DataFlowDispatch. This is the same predicate that's used internally in the DataFlowImpl file.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed

Commits on Apr 26, 2021

C++: Add more comments to postStoreStep and addressFlowInstrTC.
MathiasVP
committed

Commits on Apr 28, 2021

Commits on Apr 29, 2021

C++: Accept test changes.
MathiasVP
committed

Commits on May 2, 2021

C++: Fix performance problems by restricting field flow nodes to only nodes that participate in field flow.
MathiasVP
committed

Commits on May 3, 2021

Commits on May 4, 2021

Commits on May 7, 2021

Commits on May 10, 2021

C++: Fix bug and fix join order.
MathiasVP
committed