On 1 March 2018 at 13:33, Peter Maydell <peter.mayd...@linaro.org> wrote: > Shouldn't there be a feature check on ARM_FEATURE_V8_FCMA somewhere > in the three_reg_same_extra code path?
Oh, there is, because FCADD &c are also (feature bit name notwithstanding) under that feature bit. thanks -- PMM