Decision #1329 — macros.rs:481
Status: no_witness
Truth table
| row | c0 br 8957 | c1 br 8958 | outcome |
|---|---|---|---|
| 13034 | F | F | T |
| 13035 | F | F | T |
| 14359 | F | F | T |
| 14360 | F | F | T |
| 15735 | F | F | T |
| 15736 | F | F | T |
| 51205 | F | F | T |
| 55743 | F | F | T |
| 60003 | F | F | T |
| 64129 | F | F | T |
| 91420 | F | F | T |
| 91421 | F | F | T |
| 91422 | F | F | T |
| 91423 | F | F | T |
| 95688 | F | F | T |
| 95689 | F | F | T |
| 95690 | F | F | T |
| 95691 | F | F | T |
| 99265 | F | F | T |
| 100680 | F | F | T |
| 102198 | F | F | T |
| 164542 | F | F | T |
| 166263 | F | F | T |
| 167898 | F | F | T |
Independent-effect pairs
c0(branch8957): GAP view gap →__lshrti3· br_ifc1(branch8958): GAP view gap →__lshrti3· br_if