Index: src/trusted/validator_arm/gen/arm32_decode.cc |
diff --git a/src/trusted/validator_arm/gen/arm32_decode.cc b/src/trusted/validator_arm/gen/arm32_decode.cc |
index bf69af6a93505b73022e7dc1f6d62734158a9691..e979a1a347e13c56bf35bff00c265b22958c239c 100644 |
--- a/src/trusted/validator_arm/gen/arm32_decode.cc |
+++ b/src/trusted/validator_arm/gen/arm32_decode.cc |
@@ -51,9 +51,9 @@ Arm32DecoderState::Arm32DecoderState() : DecoderState() |
, MoveVfpRegisterOp_instance_() |
, MoveVfpRegisterOpWithTypeSel_instance_() |
, NotImplemented_instance_() |
+ , PermanentlyUndefined_instance_() |
, PreloadRegisterPairOp_instance_() |
, PreloadRegisterPairOpWAndRnNotPc_instance_() |
- , Roadblock_instance_() |
, Store2RegisterImm12OpRnNotRtOnWriteback_instance_() |
, StoreBasedImmedMemory_instance_() |
, StoreBasedImmedMemoryDouble_instance_() |
@@ -868,7 +868,7 @@ const ClassDecoder& Arm32DecoderState::decode_media_instructions( |
if ((inst.Bits() & 0x01F00000) == 0x01F00000 /* op1(24:20)=11111 */ && |
(inst.Bits() & 0x000000E0) == 0x000000E0 /* op2(7:5)=111 */) { |
- return Roadblock_instance_; |
+ return PermanentlyUndefined_instance_; |
} |
if ((inst.Bits() & 0x01E00000) == 0x01C00000 /* op1(24:20)=1110x */ && |