[MIPS] Adding validator for MIPS architecture.

src/trusted/validator_mips/testdata/test_read_only_regs.S

Index: src/trusted/validator_mips/testdata/test_read_only_regs.S
diff --git a/src/trusted/validator_mips/testdata/test_read_only_regs.S b/src/trusted/validator_mips/testdata/test_read_only_regs.S
new file mode 100644
index 0000000000000000000000000000000000000000..e1640212412335f1bfbe14f8063f9011b5c6ee66
--- /dev/null
+++ b/src/trusted/validator_mips/testdata/test_read_only_regs.S
@@ -0,0 +1,69 @@
+# 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.
+# Copyright 2012 MIPS Technologies / RT-RK.
+
+#
+# Tests altering the value stored in read-only registers.
+#
+
+.globl _start
+_start:
+.align 4
+.set noreorder
+.set STORE_MASK, $t7
+.set JUMP_MASK, $t6
+.set TLS_REG, $t8
+
+# checking instructions that alter t6
+bundle_altering_t6:
+   addiu   JUMP_MASK, JUMP_MASK, 64       # kProblemReadOnlyRegister
+   and     JUMP_MASK, JUMP_MASK, $a2      # kProblemReadOnlyRegister
+   lui     JUMP_MASK, $f0                 # kProblemReadOnlyRegister
+   clo     JUMP_MASK, $a2                 # kProblemReadOnlyRegister
+   ins     JUMP_MASK, $s3, 2, 10          # kProblemReadOnlyRegister
+   lui     JUMP_MASK, 0x1f                # kProblemReadOnlyRegister
+   mfc1    JUMP_MASK, $f12                # kProblemReadOnlyRegister
+   mfhc1   JUMP_MASK, $f10                # kProblemReadOnlyRegister
+   mflo    JUMP_MASK                      # kProblemReadOnlyRegister
+   movn    JUMP_MASK, $v0, $v1            # kProblemReadOnlyRegister
+   movt    JUMP_MASK, $s4, $fcc4          # kProblemReadOnlyRegister
+   mul     JUMP_MASK, $s0, $s1            # kProblemReadOnlyRegister
+
+bundle_altering_t7:
+   addiu   STORE_MASK, STORE_MASK, 64     # kProblemReadOnlyRegister
+   and     STORE_MASK, STORE_MASK, $a2    # kProblemReadOnlyRegister
+   cfc1    STORE_MASK, $f0                # kProblemReadOnlyRegister
+   clo     STORE_MASK, $a2                # kProblemReadOnlyRegister
+
+bundle_altering_t8:
+   lui     TLS_REG, 0x1f                  # kProblemReadOnlyRegister
+   mfc1    TLS_REG, $f12                  # kProblemReadOnlyRegister
+   mfhc1   TLS_REG, $f10                  # kProblemReadOnlyRegister
+   mflo    TLS_REG                        # kProblemReadOnlyRegister
+
+bundle_jalr_sp_t9:
+   nop
+   and     $t9, $t9, JUMP_MASK
+   jalr    STORE_MASK, $t9                # kProblemReadOnlyRegister
+    nop
+
+# make sure $14 is not interpreted
+# as $t6, when in fp instruction
+
+bundle_fp_instr:
+   add.s   $f14, $f4, $f2
+   mov.d   $f14, $f0
+   neg.d   $f14, $f4
+   lwc1    $f14,24($sp)
+
+# a few instructions where $t6/$t7
+# is the 1st operand, but don't alter it
+
+bundle_t6_t7_not_altered:
+   mthi    JUMP_MASK                      #ok
+   mult    STORE_MASK, $t9                #ok
+   nop
+   nop
+
+end_of_code: