`a2_vcmpwgt`, `a4_vcmpwgti` and `a2_vcmpwgtu` don't seem to generate reproducable. Probably a grammar bug.