On 5/13/25 18:12, Philippe Mathieu-Daudé wrote:
On 13/5/25 19:03, Richard Henderson wrote:On 5/13/25 03:41, Philippe Mathieu-Daudé wrote:+ /* AArch32 does not have FEAT_HADFS */ + assert(cpu_isar_feature(aa64_hafs, env_archcpu(env)));Why? This is checked in the setting of param.{ha,hd}. See aa{32,64}_va_parameters.I suppose the "AArch32 does not have FEAT_HADFS" is misleading then.
It isn't -- aa32_va_parameters does not set param.{ha,hd}.
r~
