| // Make sure all forms of .pred.rel are accepted | |
| _start: | |
| .pred.rel "mutex", p1, p2 | |
| .pred.rel "imply", p2, p3 | |
| .pred.rel "clear", p1, p2, p3 | |
| .pred.rel "mutex" p1, p2 | |
| .pred.rel "imply" p2, p3 | |
| .pred.rel "clear" p1, p2, p3 | |
| .pred.rel.mutex p1, p2 | |
| .pred.rel.imply p2, p3 | |
| .pred.rel.clear p1, p2, p3 | |
| .pred.rel @mutex, p1, p2 | |
| .pred.rel @imply, p2, p3 | |
| .pred.rel @clear, p1, p2, p3 | |
| .pred.rel @mutex p1, p2 | |
| .pred.rel @imply p2, p3 | |
| .pred.rel @clear p1, p2, p3 |