Dmitri Gribenko
b5e3dac33d
[clang][dataflow] Add explicit "AST" nodes for implications and iff
...
Previously we used to desugar implications and biconditionals into
equivalent CNF/DNF as soon as possible. However, this desugaring makes
debug output (Environment::dump()) less readable than it could be.
Therefore, it makes sense to keep the sugared representation of a
boolean formula, and desugar it in the solver.
Reviewed By: sgatev, xazax.hun, wyt
Differential Revision: https://reviews.llvm.org/D130519
2022-07-26 14:19:22 +02:00
Dmitri Gribenko
b5414b566a
[clang][dataflow] Add DataflowEnvironment::dump()
...
Start by dumping the flow condition.
Reviewed By: ymandel
Differential Revision: https://reviews.llvm.org/D130398
2022-07-23 01:31:53 +02:00
Dmitri Gribenko
ee6aba85aa
[clang][dataflow] Expose stringification functions for SAT solver enums
...
Reviewed By: ymandel
Differential Revision: https://reviews.llvm.org/D130399
2022-07-23 01:21:20 +02:00
Dmitri Gribenko
589ddd7fe8
[clang][dataflow] ArrayRef'ize debugString()
...
Reviewed By: ymandel
Differential Revision: https://reviews.llvm.org/D130400
2022-07-23 01:16:31 +02:00
Fangrui Song
3c849d0aef
Modernize Optional::{getValueOr,hasValue}
2022-07-15 01:20:39 -07:00
Kazu Hirata
cb2c8f694d
[clang] Use value instead of getValue (NFC)
2022-07-13 23:39:33 -07:00
Wei Yi Tee
b8d83e8004
[clang][dataflow] Generate readable form of input and output of satisfiability checking.
...
Differential Revision: https://reviews.llvm.org/D129548
2022-07-13 11:58:51 +00:00
Wei Yi Tee
c9666d2339
[clang][dataflow] Generate readable form of boolean values.
...
Differential Revision: https://reviews.llvm.org/D129547
2022-07-13 10:35:17 +00:00
