Commit | Line | Data |
---|---|---|
05ee4b0f JB |
1 | // Make sure all forms of .pred.rel are accepted |
2 | _start: | |
3 | .pred.rel "mutex", p1, p2 | |
4 | .pred.rel "imply", p2, p3 | |
5 | .pred.rel "clear", p1, p2, p3 | |
6 | ||
7 | .pred.rel "mutex" p1, p2 | |
8 | .pred.rel "imply" p2, p3 | |
9 | .pred.rel "clear" p1, p2, p3 | |
10 | ||
11 | .pred.rel.mutex p1, p2 | |
12 | .pred.rel.imply p2, p3 | |
13 | .pred.rel.clear p1, p2, p3 | |
14 | ||
15 | .pred.rel @mutex, p1, p2 | |
16 | .pred.rel @imply, p2, p3 | |
17 | .pred.rel @clear, p1, p2, p3 | |
18 | ||
19 | .pred.rel @mutex p1, p2 | |
20 | .pred.rel @imply p2, p3 | |
21 | .pred.rel @clear p1, p2, p3 |