The predicate relationship annotation .pred.rel provides information for the assembler about a logical relationship between the values of predicate registers. It is relevant only for explicit code.
The annotation .pred.rel takes the following forms:
"mutex" mutual exclusion
"imply" implication
"clear" clear existing relations
When conflicting instructions follow an entry point, IAS ignores all existing predicate relationships defined before the entry point.