| Index: src/trusted/validator_ragel/gen_dfa.py
|
| ===================================================================
|
| --- src/trusted/validator_ragel/gen_dfa.py (revision 11037)
|
| +++ src/trusted/validator_ragel/gen_dfa.py (working copy)
|
| @@ -1006,7 +1006,7 @@
|
| self._out.write(address_mode.mode)
|
| if self._mode == VALIDATOR and self._bitness == 64:
|
| if Attribute('no_memory_access') not in instruction.attributes:
|
| - self._out.write(' @check_access')
|
| + self._out.write(' @check_memory_access')
|
| self._out.write(')\n')
|
|
|
| if instruction.HasOpcodeInsteadOfImmediate():
|
| @@ -1449,6 +1449,10 @@
|
| # is resolved.
|
| if Attribute('CPUFeature_AVX') in instruction.attributes:
|
| continue
|
| + if Attribute('CPUFeature_FMA') in instruction.attributes:
|
| + continue
|
| + if Attribute('CPUFeature_FMA4') in instruction.attributes:
|
| + continue
|
| if Attribute('CPUFeature_XOP') in instruction.attributes:
|
| continue
|
|
|
|
|