Add testing of generated (ARM) baseline decoders using hand-written decoders.

src/trusted/validator_arm/actual_vs_baseline.h

 /*
  * Copyright (c) 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.
  */
 
 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_ARM_ACTUAL_VS_BASELINE_H_
 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_ARM_ACTUAL_VS_BASELINE_H_
 
 #include "native_client/src/trusted/validator_arm/decoder_tester.h"
@@ skipping 24 matching lines @@
   virtual void ProcessMatch();
   virtual const NamedClassDecoder& ExpectedDecoder() const;
   virtual bool ApplySanityChecks(
       nacl_arm_dec::Instruction inst,
       const NamedClassDecoder& decoder);
 
  protected:
   // Note: we quit early if the safety values are not MAY_BE_SAFE
   bool MayBeSafe();
 
-  // Checks that each corresponding ClassDecoder virtual matches.
+  // Applies Sanity checks, as defined by the baseline tester.
+  // Returns true if the sanity checks pass.
+  virtual bool DoApplySanityChecks();
+
   void CheckDefs();
   void CheckBaseAddressRegisterWritebackSmallImmediate();
   void CheckBaseAddressRegister();
   void CheckIsLiteralLoad();
   void CheckBranchTargetRegister();
   void CheckIsRelativeBranch();
   void CheckBranchTargetOffset();
   void CheckIsLiteralPoolHead();
   void CheckClearsBits();
   void CheckSetsZIfBitsClear();
 
   // Holds the arguments to use in comparisons.
   const NamedClassDecoder& actual_;
   const NamedClassDecoder& baseline_;
   DecoderTester& baseline_tester_;
 
   // These are added to cut down virtual redirection and
   // speed up tests by about 33%.
   const nacl_arm_dec::ClassDecoder& actual_decoder_;
   const nacl_arm_dec::ClassDecoder& baseline_decoder_;
 
  private:
   NACL_DISALLOW_COPY_AND_ASSIGN(ActualVsBaselineTester);
 };
 
 }  // namespace nacl_arm_test
 
 #endif  // NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_ARM_ACTUAL_VS_BASELINE_H_