hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-23 12:16:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8542 from MathiasVP/public-iterated-dominance-frontier

Browse Source 
C++: Use `iterated (post)dominance frontier` algorithm in `IRBlock`
This commit is contained in:
Mathias Vorreiter Pedersen
2022-03-25 11:51:15 +00:00
committed by GitHub
parent b91914bd89 80630972b1
commit c115c68247
5 changed files with 70 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll
View File

@@ -161,8 +161,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock dominanceFrontier() { final IRBlock dominanceFrontier() {
this.dominates(result.getAPredecessor()) and this.getASuccessor() = result and
not this.strictlyDominates(result) not this.immediatelyDominates(result)
or
exists(IRBlock prev | result = prev.dominanceFrontier() |
this.immediatelyDominates(prev) and
not this.immediatelyDominates(result)
)
} }
/** /**
@@ -201,8 +206,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock postDominanceFrontier() { final IRBlock postDominanceFrontier() {
this.postDominates(result.getASuccessor()) and this.getAPredecessor() = result and
not this.strictlyPostDominates(result) not this.immediatelyPostDominates(result)
or
exists(IRBlock prev | result = prev.postDominanceFrontier() |
this.immediatelyPostDominates(prev) and
not this.immediatelyPostDominates(result)
)
} }
/** /**

18
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRBlock.qll
View File

@@ -161,8 +161,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock dominanceFrontier() { final IRBlock dominanceFrontier() {
this.dominates(result.getAPredecessor()) and this.getASuccessor() = result and
not this.strictlyDominates(result) not this.immediatelyDominates(result)
or
exists(IRBlock prev | result = prev.dominanceFrontier() |
this.immediatelyDominates(prev) and
not this.immediatelyDominates(result)
)
} }
/** /**
@@ -201,8 +206,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock postDominanceFrontier() { final IRBlock postDominanceFrontier() {
this.postDominates(result.getASuccessor()) and this.getAPredecessor() = result and
not this.strictlyPostDominates(result) not this.immediatelyPostDominates(result)
or
exists(IRBlock prev | result = prev.postDominanceFrontier() |
this.immediatelyPostDominates(prev) and
not this.immediatelyPostDominates(result)
)
} }
/** /**

18
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll
View File

@@ -161,8 +161,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock dominanceFrontier() { final IRBlock dominanceFrontier() {
this.dominates(result.getAPredecessor()) and this.getASuccessor() = result and
not this.strictlyDominates(result) not this.immediatelyDominates(result)
or
exists(IRBlock prev | result = prev.dominanceFrontier() |
this.immediatelyDominates(prev) and
not this.immediatelyDominates(result)
)
} }
/** /**
@@ -201,8 +206,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock postDominanceFrontier() { final IRBlock postDominanceFrontier() {
this.postDominates(result.getASuccessor()) and this.getAPredecessor() = result and
not this.strictlyPostDominates(result) not this.immediatelyPostDominates(result)
or
exists(IRBlock prev | result = prev.postDominanceFrontier() |
this.immediatelyPostDominates(prev) and
not this.immediatelyPostDominates(result)
)
} }
/** /**

18
csharp/ql/src/experimental/ir/implementation/raw/IRBlock.qll
View File

@@ -161,8 +161,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock dominanceFrontier() { final IRBlock dominanceFrontier() {
this.dominates(result.getAPredecessor()) and this.getASuccessor() = result and
not this.strictlyDominates(result) not this.immediatelyDominates(result)
or
exists(IRBlock prev | result = prev.dominanceFrontier() |
this.immediatelyDominates(prev) and
not this.immediatelyDominates(result)
)
} }
/** /**
@@ -201,8 +206,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock postDominanceFrontier() { final IRBlock postDominanceFrontier() {
this.postDominates(result.getASuccessor()) and this.getAPredecessor() = result and
not this.strictlyPostDominates(result) not this.immediatelyPostDominates(result)
or
exists(IRBlock prev | result = prev.postDominanceFrontier() |
this.immediatelyPostDominates(prev) and
not this.immediatelyPostDominates(result)
)
} }
/** /**

18
csharp/ql/src/experimental/ir/implementation/unaliased_ssa/IRBlock.qll
View File

@@ -161,8 +161,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock dominanceFrontier() { final IRBlock dominanceFrontier() {
this.dominates(result.getAPredecessor()) and this.getASuccessor() = result and
not this.strictlyDominates(result) not this.immediatelyDominates(result)
or
exists(IRBlock prev | result = prev.dominanceFrontier() |
this.immediatelyDominates(prev) and
not this.immediatelyDominates(result)
)
} }
/** /**
@@ -201,8 +206,13 @@ class IRBlock extends IRBlockBase {
*/ */
pragma[noinline] pragma[noinline]
final IRBlock postDominanceFrontier() { final IRBlock postDominanceFrontier() {
this.postDominates(result.getASuccessor()) and this.getAPredecessor() = result and
not this.strictlyPostDominates(result) not this.immediatelyPostDominates(result)
or
exists(IRBlock prev | result = prev.postDominanceFrontier() |
this.immediatelyPostDominates(prev) and
not this.immediatelyPostDominates(result)
)
} }
/** /**