Index: src/trusted/validator_arm/baseline_classes.cc |
=================================================================== |
--- src/trusted/validator_arm/baseline_classes.cc (revision 10458) |
+++ src/trusted/validator_arm/baseline_classes.cc (working copy) |
@@ -200,6 +200,10 @@ |
return RegisterList(d.reg(i)); |
} |
+RegisterList Binary2RegisterBitRangeMsbGeLsb::uses(Instruction i) const { |
+ return RegisterList(n.reg(i)); |
JF
2012/12/14 22:39:33
And d.
Karl
2012/12/17 17:35:57
Done.
|
+} |
+ |
// Binary2RegisterBitRangeNotRnIsPcBitfieldExtract |
SafetyLevel Binary2RegisterBitRangeNotRnIsPcBitfieldExtract |
::safety(Instruction i) const { |
@@ -347,6 +351,8 @@ |
return UNPREDICTABLE; |
} |
+ // TODO(karl): This doesn't apply to all uses in rows in armv7.table. |
+ // However, it doesn't really matter since we only accept version 7. |
if ((ArchVersion() < 6) && m.reg(i).Equals(n.reg(i))) return UNPREDICTABLE; |
// Note: We would restrict out PC as well for Rd in NaCl, but no need |