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 |