hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

SSA: Fix a poor join-order and avoid SSA recomputation.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-03-18 10:33:55 +01:00
parent 36532bc58c
commit 0162b84d20
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
shared/ssa/codeql/ssa/Ssa.qll
View File

@@ -1571,9 +1571,9 @@ module Make<LocationSig Location, InputSig<Location> Input> {
SsaPhiExt phi, SsaPhiExt phi2, BasicBlock input, boolean relevant
) {
exists(BasicBlock bb1, int i, SourceVariable v, BasicBlock bb2 |
phi.definesAt(v, bb1, i, _) and
phi.definesAt(pragma[only_bind_into](v), bb1, i, _) and
AdjacentSsaRefs::adjacentRefPhi(bb1, i, input, bb2, v) and
phi2.definesAt(v, bb2, _, _) and
phi2.definesAt(pragma[only_bind_into](v), bb2, _, _) and
if relevantPhiInputNode(phi2, input) then relevant = true else relevant = false
)
}
@@ -1614,6 +1614,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
)
}
cached
private newtype TNode =
TParamNode(DfInput::Parameter p) {
exists(WriteDefinition def | DfInput::ssaDefInitializesParam(def, p))