Change BKPT and UDF encodings on ARM.

src/trusted/validator_arm/gen/arm32_decode_media_instructions_tests.cc

 /*
  * Copyright 2012 The Native Client Authors.  All rights reserved.
  * Use of this source code is governed by a BSD-style license that can
  * be found in the LICENSE file.
  */
 
 // DO NOT EDIT: GENERATED CODE
 
 #ifndef NACL_TRUSTED_BUT_NOT_TCB
 #error This file is not meant for use in the TCB
@@ skipping 82 matching lines @@
   if ((inst.Bits() & 0x000000E0) != 0x00000000 /* op2(7:5)=~000 */) return false;
   if ((inst.Bits() & 0x0000F000) != 0x0000F000 /* Rd(15:12)=~1111 */) return false;
 
   // Check other preconditions defined for the base decoder.
   return Binary3RegisterOpAltATesterRegsNotPc::
       PassesParsePreconditions(inst, decoder);
 }
 
 // Neutral case:
 // inst(24:20)=11111 & inst(7:5)=111
-//    = {baseline: 'Roadblock',
+//    = {baseline: 'PermanentlyUndefined',
 //       constraints: }
 //
 // Representaive case:
 // op1(24:20)=11111 & op2(7:5)=111
-//    = {baseline: Roadblock,
+//    = {baseline: PermanentlyUndefined,
 //       constraints: }
-class RoadblockTesterCase2
-    : public RoadblockTester {
+class PermanentlyUndefinedTesterCase2
+    : public PermanentlyUndefinedTester {
  public:
-  RoadblockTesterCase2(const NamedClassDecoder& decoder)
-    : RoadblockTester(decoder) {}
+  PermanentlyUndefinedTesterCase2(const NamedClassDecoder& decoder)
+    : PermanentlyUndefinedTester(decoder) {}
   virtual bool PassesParsePreconditions(
       nacl_arm_dec::Instruction inst,
       const NamedClassDecoder& decoder);
 };
 
-bool RoadblockTesterCase2
+bool PermanentlyUndefinedTesterCase2
 ::PassesParsePreconditions(
      nacl_arm_dec::Instruction inst,
      const NamedClassDecoder& decoder) {
 
   // Check that row patterns apply to pattern being checked.'
   if ((inst.Bits() & 0x01F00000) != 0x01F00000 /* op1(24:20)=~11111 */) return false;
   if ((inst.Bits() & 0x000000E0) != 0x000000E0 /* op2(7:5)=~111 */) return false;
 
   // Check other preconditions defined for the base decoder.
-  return RoadblockTester::
+  return PermanentlyUndefinedTester::
       PassesParsePreconditions(inst, decoder);
 }
 
 // Neutral case:
 // inst(24:20)=1101x & inst(7:5)=x10
 //    = {baseline: 'Binary2RegisterBitRangeNotRnIsPcBitfieldExtract',
 //       constraints: ,
 //       safety: ["'RegsNotPc'"]}
 //
 // Representaive case:
@@ skipping 176 matching lines @@
     : public Binary3RegisterOpAltATesterCase1 {
  public:
   Binary3RegisterOpAltATester_Case1()
     : Binary3RegisterOpAltATesterCase1(
       state_.Binary3RegisterOpAltA_Usad8_Rule_253_A1_P500_instance_)
   {}
 };
 
 // Neutral case:
 // inst(24:20)=11111 & inst(7:5)=111
-//    = {baseline: 'Roadblock',
+//    = {baseline: 'PermanentlyUndefined',
 //       constraints: ,
 //       rule: 'Udf_Rule_A1'}
 //
 // Representative case:
 // op1(24:20)=11111 & op2(7:5)=111
-//    = {baseline: Roadblock,
+//    = {baseline: PermanentlyUndefined,
 //       constraints: ,
 //       rule: Udf_Rule_A1}
-class RoadblockTester_Case2
-    : public RoadblockTesterCase2 {
+class PermanentlyUndefinedTester_Case2
+    : public PermanentlyUndefinedTesterCase2 {
  public:
-  RoadblockTester_Case2()
-    : RoadblockTesterCase2(
-      state_.Roadblock_Udf_Rule_A1_instance_)
+  PermanentlyUndefinedTester_Case2()
+    : PermanentlyUndefinedTesterCase2(
+      state_.PermanentlyUndefined_Udf_Rule_A1_instance_)
   {}
 };
 
 // Neutral case:
 // inst(24:20)=1101x & inst(7:5)=x10
 //    = {baseline: 'Binary2RegisterBitRangeNotRnIsPcBitfieldExtract',
 //       constraints: ,
 //       rule: 'Sbfx_Rule_154_A1_P308',
 //       safety: ["'RegsNotPc'"]}
 //
@@ skipping 132 matching lines @@
 TEST_F(Arm32DecoderStateTests,
        Binary3RegisterOpAltATester_Case1_TestCase1) {
   Binary3RegisterOpAltATester_Case1 baseline_tester;
   NamedDefs16To19CondsDontCareRdRmRnNotPc_Usad8_Rule_253_A1_P500 actual;
   ActualVsBaselineTester a_vs_b_tester(actual, baseline_tester);
   a_vs_b_tester.Test("cccc01111000dddd1111mmmm0001nnnn");
 }
 
 // Neutral case:
 // inst(24:20)=11111 & inst(7:5)=111
-//    = {actual: 'Roadblock',
-//       baseline: 'Roadblock',
+//    = {actual: 'PermanentlyUndefined',
+//       baseline: 'PermanentlyUndefined',
 //       constraints: ,
 //       pattern: 'cccc01111111iiiiiiiiiiii1111iiii',
 //       rule: 'Udf_Rule_A1'}
 //
 // Representaive case:
 // op1(24:20)=11111 & op2(7:5)=111
-//    = {actual: Roadblock,
-//       baseline: Roadblock,
+//    = {actual: PermanentlyUndefined,
+//       baseline: PermanentlyUndefined,
 //       constraints: ,
 //       pattern: cccc01111111iiiiiiiiiiii1111iiii,
 //       rule: Udf_Rule_A1}
 TEST_F(Arm32DecoderStateTests,
-       RoadblockTester_Case2_TestCase2) {
-  RoadblockTester_Case2 tester;
+       PermanentlyUndefinedTester_Case2_TestCase2) {
+  PermanentlyUndefinedTester_Case2 tester;
   tester.Test("cccc01111111iiiiiiiiiiii1111iiii");
 }
 
 // Neutral case:
 // inst(24:20)=1101x & inst(7:5)=x10
 //    = {actual: 'Defs12To15CondsDontCareRdRnNotPcBitfieldExtract',
 //       baseline: 'Binary2RegisterBitRangeNotRnIsPcBitfieldExtract',
 //       constraints: ,
 //       pattern: 'cccc0111101wwwwwddddlllll101nnnn',
 //       rule: 'Sbfx_Rule_154_A1_P308',
@@ skipping 87 matching lines @@
   ActualVsBaselineTester a_vs_b_tester(actual, baseline_tester);
   a_vs_b_tester.Test("cccc0111111mmmmmddddlllll101nnnn");
 }
 
 }  // namespace nacl_arm_test
 
 int main(int argc, char* argv[]) {
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
 }