On 11/12/19 9:21 PM, Richard Sandiford wrote: > Apart from the vc/vs thing you mentioned in the follow-up for 4/6, > it looks like 4/6, 5/6 and 6/6 are missing "hs" and "lo". OK for > aarch64 with those added.
Are those aliases for two of the other conditions? They're not in the list within the pseudocode for ConditionHolds in the ARM ARM. Which is what I was documenting to support... r~