On 10/11/16 17:11, Wilco Dijkstra wrote:
> Currently the SBFM, UBFM and BFM instructions all use the attribute "bfm".
> SBFM and UBFM include all shifts on AArch64, which are simpler than bitfield
> insert. Add a new bfx attribute for these instructions so that they can be
> modelled more accurate
Currently the SBFM, UBFM and BFM instructions all use the attribute "bfm".
SBFM and UBFM include all shifts on AArch64, which are simpler than bitfield
insert. Add a new bfx attribute for these instructions so that they can be
modelled more accurately in the future. There is no difference in code
