commit | ba4b180a0bc42d5903db4cbf073e645ff1f4a0ec | [log] [tgz] |
---|---|---|
author | Simon Pilgrim <llvm-dev@redking.me.uk> | Sat Feb 13 13:21:15 2021 +0000 |
committer | Copybara-Service <copybara-worker@google.com> | Fri Feb 19 02:21:02 2021 -0800 |
tree | 668383998d9c1739a413c5cf84f9bd7cc7cdbb98 | |
parent | 9aaa000f25f22a00d51a2a8e11bee0de22cc5beb [diff] |
[DAG] Fold i1/vXi1 ssubsat/usubsat(x,y) -> and(x,~y) Alive2: https://alive2.llvm.org/ce/z/4nkNGh GitOrigin-RevId: 0df15e5eff8dec82a619c1d27985356a8aa4037e