2 // Test various implies relations
12 // Symmetric to previous example
13 .pred.rel.imply p1, p2
19 // Verify that the implies relationship caused by the unconditional compare
20 // prevents RAW on r4.
21 (p3) cmp.eq.unc p1, p2 = r1, r2 // p1,p2 imply p3
27 // An instance of cmp.rel.or should not affect an implies relation.
28 (p3) cmp.eq.unc p1, p2 = r1, r2 // p1,p2 imply p3
29 cmp.eq.or p3, p4 = r5, r6 // doesn't affect implies rel
35 // An instance of cmp.rel.and only affects imply targets
37 cmp.ne.and p1, p2 = r5, r6 // doesn't affect imply source
43 // FIXME -- add tests for and.orcm and or.andcm