Alexandre Oliva <ol...@adacore.com> writes: > Back in September last year, some of the vmsr and vmrs patterns had an > extraneous blank removed, and the case of register names lowered, but > another instance remained, and so did a few testcases.
[...] Hi Alexandre, I'm not approver but LGTM, thanks for fixing this. Andrea