| // |
| // Test various implies relations |
| // |
| .text |
| // User-supplied hint |
| .pred.rel.imply p1, p2 |
| (p1) mov r4 = 2 |
| (p2) br.cond.sptk L |
| mov r4 = 7 |
| rfi |
| |
| // Symmetric to previous example |
| .pred.rel.imply p1, p2 |
| mov r4 = 2 |
| (p2) br.cond.sptk L |
| (p1) mov r4 = 7 |
| rfi |
| |
| // Verify that the implies relationship caused by the unconditional compare |
| // prevents RAW on r4. |
| (p3) cmp.eq.unc p1, p2 = r1, r2;; // p1,p2 imply p3 |
| (p1) mov r4 = 2 |
| (p3) br.cond.sptk L |
| mov r4 = 7 |
| rfi |
| |
| // An instance of cmp.rel.or should not affect an implies relation. |
| (p3) cmp.eq.unc p1, p2 = r1, r2 // p1,p2 imply p3 |
| cmp.eq.or p3, p4 = r5, r6;; // doesn't affect implies rel |
| (p1) mov r4 = 2 |
| (p3) br.cond.sptk L |
| mov r4 = 7 |
| rfi |
| |
| // An instance of cmp.rel.and only affects imply targets |
| .pred.rel.imply p1,p3 |
| cmp.ne.and p1, p2 = r5, r6 // doesn't affect imply source |
| (p1) mov r4 = 2 |
| (p3) br.cond.sptk L |
| mov r4 = 7 |
| rfi |
| |
| // FIXME -- add tests for and.orcm and or.andcm |
| L: |
