ARM validator: continue with extra_load_store_instructions.

src/trusted/validator_arm/gen/arm32_decode_named_classes.h

Index: src/trusted/validator_arm/gen/arm32_decode_named_classes.h
diff --git a/src/trusted/validator_arm/gen/arm32_decode_named_classes.h b/src/trusted/validator_arm/gen/arm32_decode_named_classes.h
index b40e3fef47a682db9a75a4579d67f8b1e869009e..ddf3cb2242d45f03b91915ce81297c62eef5f790 100644
--- a/src/trusted/validator_arm/gen/arm32_decode_named_classes.h
+++ b/src/trusted/validator_arm/gen/arm32_decode_named_classes.h
@@ -607,7 +607,7 @@ class CoprocessorOp_None
     : public CoprocessorOp {
 };
 
-class Deprecated_None
+class Deprecated_cccc00010b00nnnntttt00001001tttt
     : public Deprecated {
 };
 
@@ -663,6 +663,22 @@ class ForbiddenCondNop_Wfi_Rule_412_A1_P810
     : public ForbiddenCondNop {
 };
 
+class ForbiddenCondNop_cccc00010100iiiiiiiiiiii0111iiii
+    : public ForbiddenCondNop {
+};
+
+class ForbiddenCondNop_cccc0001011000000000000001101110
+    : public ForbiddenCondNop {
+};
+
+class ForbiddenCondNop_cccc00010r00mmmmdddd001m00000000
+    : public ForbiddenCondNop {
+};
+
+class ForbiddenCondNop_cccc00010r10mmmm1111001m0000nnnn
+    : public ForbiddenCondNop {
+};
+
 class ForbiddenUncondNop_None
     : public ForbiddenUncondNop {
 };
@@ -1727,6 +1743,22 @@ class Forbidden_Wfi_Rule_412_A1_P810
     : public Forbidden {
 };
 
+class Forbidden_cccc00010100iiiiiiiiiiii0111iiii
+    : public Forbidden {
+};
+
+class Forbidden_cccc0001011000000000000001101110
+    : public Forbidden {
+};
+
+class Forbidden_cccc00010r00mmmmdddd001m00000000
+    : public Forbidden {
+};
+
+class Forbidden_cccc00010r10mmmm1111001m0000nnnn
+    : public Forbidden {
+};
+
 class LoadBasedImmedMemory_Ldr_Rule_58_A1_P120
     : public LoadBasedImmedMemory {
 };
@@ -3726,16 +3758,16 @@ class NamedCoprocessorOp_None
   NACL_DISALLOW_COPY_AND_ASSIGN(NamedCoprocessorOp_None);
 };
 
-class NamedDeprecated_None
+class NamedDeprecated_cccc00010b00nnnntttt00001001tttt
     : public NamedClassDecoder {
  public:
-  NamedDeprecated_None()
-    : NamedClassDecoder(decoder_, "Deprecated None")
+  NamedDeprecated_cccc00010b00nnnntttt00001001tttt()
+    : NamedClassDecoder(decoder_, "Deprecated cccc00010b00nnnntttt00001001tttt")
   {}
 
  private:
-  nacl_arm_dec::Deprecated_None decoder_;
-  NACL_DISALLOW_COPY_AND_ASSIGN(NamedDeprecated_None);
+  nacl_arm_dec::Deprecated_cccc00010b00nnnntttt00001001tttt decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedDeprecated_cccc00010b00nnnntttt00001001tttt);
 };
 
 class NamedDuplicateToVfpRegisters_Vdup_Rule_303_A1_P594
@@ -3894,6 +3926,54 @@ class NamedForbiddenCondNop_Wfi_Rule_412_A1_P810
   NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbiddenCondNop_Wfi_Rule_412_A1_P810);
 };
 
+class NamedForbiddenCondNop_cccc00010100iiiiiiiiiiii0111iiii
+    : public NamedClassDecoder {
+ public:
+  NamedForbiddenCondNop_cccc00010100iiiiiiiiiiii0111iiii()
+    : NamedClassDecoder(decoder_, "ForbiddenCondNop cccc00010100iiiiiiiiiiii0111iiii")
+  {}
+
+ private:
+  nacl_arm_dec::ForbiddenCondNop_cccc00010100iiiiiiiiiiii0111iiii decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbiddenCondNop_cccc00010100iiiiiiiiiiii0111iiii);
+};
+
+class NamedForbiddenCondNop_cccc0001011000000000000001101110
+    : public NamedClassDecoder {
+ public:
+  NamedForbiddenCondNop_cccc0001011000000000000001101110()
+    : NamedClassDecoder(decoder_, "ForbiddenCondNop cccc0001011000000000000001101110")
+  {}
+
+ private:
+  nacl_arm_dec::ForbiddenCondNop_cccc0001011000000000000001101110 decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbiddenCondNop_cccc0001011000000000000001101110);
+};
+
+class NamedForbiddenCondNop_cccc00010r00mmmmdddd001m00000000
+    : public NamedClassDecoder {
+ public:
+  NamedForbiddenCondNop_cccc00010r00mmmmdddd001m00000000()
+    : NamedClassDecoder(decoder_, "ForbiddenCondNop cccc00010r00mmmmdddd001m00000000")
+  {}
+
+ private:
+  nacl_arm_dec::ForbiddenCondNop_cccc00010r00mmmmdddd001m00000000 decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbiddenCondNop_cccc00010r00mmmmdddd001m00000000);
+};
+
+class NamedForbiddenCondNop_cccc00010r10mmmm1111001m0000nnnn
+    : public NamedClassDecoder {
+ public:
+  NamedForbiddenCondNop_cccc00010r10mmmm1111001m0000nnnn()
+    : NamedClassDecoder(decoder_, "ForbiddenCondNop cccc00010r10mmmm1111001m0000nnnn")
+  {}
+
+ private:
+  nacl_arm_dec::ForbiddenCondNop_cccc00010r10mmmm1111001m0000nnnn decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbiddenCondNop_cccc00010r10mmmm1111001m0000nnnn);
+};
+
 class NamedForbiddenUncondNop_None
     : public NamedClassDecoder {
  public:
@@ -7086,6 +7166,54 @@ class NamedForbidden_Wfi_Rule_412_A1_P810
   NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbidden_Wfi_Rule_412_A1_P810);
 };
 
+class NamedForbidden_cccc00010100iiiiiiiiiiii0111iiii
+    : public NamedClassDecoder {
+ public:
+  NamedForbidden_cccc00010100iiiiiiiiiiii0111iiii()
+    : NamedClassDecoder(decoder_, "Forbidden cccc00010100iiiiiiiiiiii0111iiii")
+  {}
+
+ private:
+  nacl_arm_dec::Forbidden_cccc00010100iiiiiiiiiiii0111iiii decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbidden_cccc00010100iiiiiiiiiiii0111iiii);
+};
+
+class NamedForbidden_cccc0001011000000000000001101110
+    : public NamedClassDecoder {
+ public:
+  NamedForbidden_cccc0001011000000000000001101110()
+    : NamedClassDecoder(decoder_, "Forbidden cccc0001011000000000000001101110")
+  {}
+
+ private:
+  nacl_arm_dec::Forbidden_cccc0001011000000000000001101110 decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbidden_cccc0001011000000000000001101110);
+};
+
+class NamedForbidden_cccc00010r00mmmmdddd001m00000000
+    : public NamedClassDecoder {
+ public:
+  NamedForbidden_cccc00010r00mmmmdddd001m00000000()
+    : NamedClassDecoder(decoder_, "Forbidden cccc00010r00mmmmdddd001m00000000")
+  {}
+
+ private:
+  nacl_arm_dec::Forbidden_cccc00010r00mmmmdddd001m00000000 decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbidden_cccc00010r00mmmmdddd001m00000000);
+};
+
+class NamedForbidden_cccc00010r10mmmm1111001m0000nnnn
+    : public NamedClassDecoder {
+ public:
+  NamedForbidden_cccc00010r10mmmm1111001m0000nnnn()
+    : NamedClassDecoder(decoder_, "Forbidden cccc00010r10mmmm1111001m0000nnnn")
+  {}
+
+ private:
+  nacl_arm_dec::Forbidden_cccc00010r10mmmm1111001m0000nnnn decoder_;
+  NACL_DISALLOW_COPY_AND_ASSIGN(NamedForbidden_cccc00010r10mmmm1111001m0000nnnn);
+};
+
 class NamedLoadBasedImmedMemory_Ldr_Rule_58_A1_P120
     : public NamedClassDecoder {
  public: