Lines Matching defs:Register
101 | Register of
1473 fun dfn'Register (opc,(setflags,(d,(n,m)))) =
1938 | Register v10 => dfn'Register v10
2039 Data(Register(opc,(setflags,(d,(n,m)))))
2185 Data(Register(opc,(setflags,(d,(n,m)))))
2194 Data(Register(opc,(setflags,(d,(n,m)))))
2203 Data(Register(opc,(setflags,(d,(n,m)))))
2212 Data(Register(opc,(setflags,(d,(n,m)))))
2221 Data(Register(opc,(setflags,(d,(n,m)))))
2230 Data(Register(opc,(setflags,(d,(n,m)))))
2350 Data(Register(BitsN.B(0x4,4),(setflags,(d,(n,Rm)))))
3297 | Register(opc,(setflags,(d,(n,m)))) =>
3331 else BadCode "Register")
3901 OK(c,Data(Register(opc,(setflags,(rd,(rn,rm))))))
4797 | Register(opc,(setflags,(d,(n,m)))) =>