Skip to content
This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Performance: Fix bad join ordering#547

Merged
smowton merged 1 commit intogithub:mainfrom
edoardopirovano:fix-join-order
Jun 21, 2021
Merged

Performance: Fix bad join ordering#547
smowton merged 1 commit intogithub:mainfrom
edoardopirovano:fix-join-order

Conversation

@edoardopirovano
Copy link
Copy Markdown
Contributor

@edoardopirovano edoardopirovano commented Jun 21, 2021

This PR adds a pragma[noopt] to force the current join ordering for the guards predicate in the DataFlowUtil library. This is necessary because of an upcoming change to the optimiser (computing size estimates for newtypes) that will unfortunately lead to a bad choice of join ordering in this case.

cc. @github/codeql-core

@@ -1163,20 +1163,23 @@ abstract class BarrierGuard extends Node {
* Holds if `guard` markes a point in the control-flow graph where this node
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
* Holds if `guard` markes a point in the control-flow graph where this node
* Holds if `guard` marks a point in the control-flow graph where this node

You could fix this typo while you're at it.

@smowton smowton merged commit 52028cf into github:main Jun 21, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants