C++: Make AST GVN a wrapper for IR-based GVN#2724

Closed

MathiasVP wants to merge 45 commits intogithub:masterfrom

MathiasVP:rdmarsh2/rdmarsh/cpp/ir-gvn-ast-wrapper

Commits on Jan 31, 2020

C++: separate IR ValueNumber newtype and interface

Robert Marsh
authored and
MathiasVP
committed
C++: add IR-based wrapper for value numbering

Robert Marsh
authored and
MathiasVP
committed
C++: Change toString predicate and add hasLocationInfo predicate on ValueNumber
MathiasVP
committed
C++: Added getKind predicate
MathiasVP
committed
C++: Added IR global value numbering uniqueness test
MathiasVP
committed
C++: Sync'd unaliased_ssa and aliased_ssa files
MathiasVP
committed
C++: Added getAnExpr predicate to ValueNumber class
MathiasVP
committed
C++: Added getAnExpr test
MathiasVP
committed
C++: Fix incorrect merge conflict resolution
MathiasVP
committed
C#: Sync files
MathiasVP
committed
C++: Fix new formatting (hopefully)
MathiasVP
committed
Update csharp/ql/src/semmle/code/csharp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll

authored and
MathiasVP
committed
Update csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll

authored and
MathiasVP
committed
Update cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll

authored and
MathiasVP
committed
Update cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll

authored and
MathiasVP
committed
C++: Updated ir_uniqueness test based on Robert's comments (and accepted output)
MathiasVP
committed
C++: Accepted ir_gvn output after changing toString implemenetation
MathiasVP
committed
C++/C#: Sync identical files
MathiasVP
committed
C++: Fix bad merge
MathiasVP
committed
C++: Use getDebugString instead of toString in ValueNumberPropertyProvider
MathiasVP
committed
C++: Accept output
MathiasVP
committed
C++: Fix new formatting
MathiasVP
committed
C++/C#: Sync identical files
MathiasVP
committed
C++: Fix new formatting
MathiasVP
committed
C++: Modify Bound.qll to use hasLocationInfo instead of getLocation on ValueNumber
MathiasVP
committed
C++: Sync identical files
MathiasVP
committed
C++: Accept output. Currently too many locations are being reported due to the hasLocationInfo not picked the 'smallest' location (as Robert suggested we should do)
MathiasVP
committed

Commits on Feb 3, 2020