From f5225b69e55941147527839ebc77e517cebaeca8 Mon Sep 17 00:00:00 2001
From: Thomas Harte <thomas.harte@gmail.com>
Date: Thu, 7 Mar 2024 11:48:44 -0500
Subject: [PATCH] Add note to self.

---
 InstructionSets/ARM/OperationMapper.hpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/InstructionSets/ARM/OperationMapper.hpp b/InstructionSets/ARM/OperationMapper.hpp
index aff28dd93..01c210d76 100644
--- a/InstructionSets/ARM/OperationMapper.hpp
+++ b/InstructionSets/ARM/OperationMapper.hpp
@@ -422,6 +422,9 @@ struct OperationMapper {
 
 		// Data processing; cf. p.17.
 		if constexpr (((partial >> 26) & 0b11) == 0b00) {
+			// TODO: This decoding technically requires that either b4 is 0 or, failing that, that b7 is 0.
+			// i.e. b4 and b7 set should be rejected. Which is not quite fully tested by the multiply
+			// condition above.
 			scheduler.template perform<i>(DataProcessing(instruction));
 			return;
 		}