[MIPS] Forbid $sp update at the end of the last bundle.

src/trusted/validator_mips/ncvalidate.cc

 /*
  * 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.
  */
 
 #include "native_client/src/trusted/validator_mips/ncvalidate.h"
 
 #include <vector>
 
 #include "native_client/src/include/nacl_string.h"
 #include "native_client/src/include/portability.h"
 #include "native_client/src/trusted/service_runtime/arch/mips/sel_ldr_mips.h"
 #include "native_client/src/trusted/validator_mips/validator.h"
 #include "native_client/src/trusted/validator_mips/model.h"
 #include "native_client/src/trusted/validator/ncvalidate.h"
 
 using nacl_mips_val::SfiValidator;
 using nacl_mips_val::CodeSegment;
 using nacl_mips_dec::Register;
+using nacl_mips_dec::RegisterList;
 using nacl_mips_dec::kRegisterStack;
 using nacl_mips_dec::kRegListReserved;
 using std::vector;
 
 
 class EarlyExitProblemSink : public nacl_mips_val::ProblemSink {
  private:
   bool problems_;
 
  public:
@@ skipping 47 matching lines @@
 #endif
     *reinterpret_cast<uint32_t *>(vaddr) = kNaClFullStop;
   }
 };
 
 EXTERN_C_BEGIN
 
 int NCValidateSegment(uint8_t *mbase, uint32_t vbase, size_t size,
                       bool stubout_mode) {
   SfiValidator validator(
-      16,                            // 64,  // bytes per bundle
-      1U * NACL_DATA_SEGMENT_START,  // bytes of code space
-      1U * (1<<NACL_MAX_ADDR_BITS),  // bytes of data space // keep in sync w/
-                                     // SConstruct: irt_compatible_rodata_addr
-      kRegListReserved,              // read only register(s)
-      kRegisterStack);               // data addressing register(s)
+      16,                             // 64,  // bytes per bundle
+      1U * NACL_DATA_SEGMENT_START,   // bytes of code space
+      1U * (1<<NACL_MAX_ADDR_BITS),   // bytes of data space // keep in sync w/
+                                      // SConstruct: irt_compatible_rodata_addr
+      kRegListReserved,               // read only register(s)
+      RegisterList(kRegisterStack));  // data addressing register(s)
   bool success = false;
 
   vector<CodeSegment> segments;
   segments.push_back(CodeSegment(mbase, vbase, size));
 
   if (stubout_mode) {
     StuboutProblemSink sink;
     success = validator.Validate(segments, &sink);
   } else {
     EarlyExitProblemSink sink;
@@ skipping 73 matching lines @@
  */
 int NaClCopyInstruction(uint8_t *dst, uint8_t *src, uint8_t sz) {
   UNREFERENCED_PARAMETER(dst);
   UNREFERENCED_PARAMETER(src);
   UNREFERENCED_PARAMETER(sz);
 
   return 0;
 }
 
 EXTERN_C_END