ira.c validate_equiv_mem