1; { dg-do assemble { target cris-*-* } }
2; { dg-options "--march=v32" }
3x:
4 ; There are no "push" or "pop" synonyms for v32.
5 push $r10	; { dg-error "Unknown" }
6 push $srp	; { dg-error "Unknown" }
7 pop $r8	; { dg-error "Unknown" }
8 pop $mof	; { dg-error "Unknown" }
9