Clean up code to clarify we are only tracking the condition flags of APSR.

src/trusted/validator_arm/model.h

Index: src/trusted/validator_arm/model.h
===================================================================
--- src/trusted/validator_arm/model.h	(revision 8564)
+++ src/trusted/validator_arm/model.h	(working copy)
@@ -80,15 +80,18 @@
  */
 const Register kRegisterNone(31);
 
-// The APSR (flags register) is modeled as r16.
-const Register kRegisterFlags(16);
+// The conditions (i.e. APSR N, Z, C, and V) is modeled as r16.

[sehr (please use chromium), 2012/05/14 19:48:12]

conditions are collectively modeled as ...

[Karl, 2012/05/14 21:09:50]

Done.

+// These bits of the APSR flag are separately tracked, so we can

[sehr (please use chromium), 2012/05/14 19:48:12]

APSR register rather than flag?

[Karl, 2012/05/14 21:09:50]

Done.

+// test when any of the 4 bits (and hence conditional execution) is
+// affected. If you need to track other bits in the APSR, add them as
+// a separate register.
+const Register kConditions(16);
 
 // Registers with special meaning in our model:
 const Register kRegisterPc(15);
 const Register kRegisterLink(14);
 const Register kRegisterStack(13);
 
-
 /*
  * A collection of Registers.  Used to describe the side effects of operations.
  *