* alpha-opc.c (fetch, fetch_m, ecb, wh64): RA must be R31.