[PATCH] D153584: [dataflow] Make SAT solver deterministic

This revision was landed with ongoing or failed builds. This revision was automatically updated to reflect the committed changes. Closed by commit rGd85c233e4b05: [dataflow] Make SAT solver deterministic (authored by sammccall). Changed prior to commit:

[PATCH] D153584: [dataflow] Make SAT solver deterministic

sammccall added a comment. In D153584#4443796 , @xazax.hun wrote: > Is there a measurable perf cost for this determinism? I'm going to say no... All the extra cost is paid in addTransitiveFlowConditionConstraints. (We were building a set, now we're

[PATCH] D153584: [dataflow] Make SAT solver deterministic

xazax.hun added a comment. Is there a measurable perf cost for this determinism? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D153584/new/ https://reviews.llvm.org/D153584 ___ cfe-commits mailing list

[PATCH] D153584: [dataflow] Make SAT solver deterministic

sammccall created this revision. sammccall added reviewers: ymandel, xazax.hun. Herald added subscribers: martong, mgrang. Herald added a reviewer: NoQ. Herald added a project: All. sammccall requested review of this revision. Herald added a project: clang. Herald added a subscriber: cfe-commits.