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

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 23 02:16:01 PDT 2023

Previous message: [PATCH] D153584: [dataflow] Make SAT solver deterministic
Next message: [PATCH] D153584: [dataflow] Make SAT solver deterministic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [PATCH] D153584: [dataflow] Make SAT solver deterministic
Next message: [PATCH] D153584: [dataflow] Make SAT solver deterministic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list