| commit | 25a6a97b0ae8546d78d1f2f2c3c9077d956467b0 | [log] [tgz] |
|---|---|---|
| author | Sam McCall <sam.mccall@gmail.com> | Thu Jun 22 02:05:12 2023 +0200 |
| committer | Copybara-Service <copybara-worker@google.com> | Wed Jul 05 05:10:39 2023 -0700 |
| tree | adad4a5a7997b784c76d038fcd427f436ebd75c8 | |
| parent | af939c81197f895d823e3eef18ab36470bd75c73 [diff] |
[dataflow] use true/false literals in formulas, rather than variables And simplify formulas containing true/false It's unclear to me how useful this is, it does make formulas more conveniently self-contained now (we can usefully print them without carrying around the "true/false" labels) (while here, simplify !!X to X, too) Differential Revision: https://reviews.llvm.org/D153485 GitOrigin-RevId: 71579569f4399d3cf6bc618dcd449b5388d749cc