-We don't use the combined COMPARE AND BRANCH instructions.
-
---
-
-We should probably model just CC, not the PSW as a whole. Strictly
-speaking, every instruction changes the PSW since the PSW contains the
-current instruction address.
-
---
-
-We don't use the condition code results of anything except comparisons.
-
-Implementing this may need something more finely grained than the z_cmp
-and z_ucmp that we have now. It might (or might not) also be useful to
-have a mask of "don't care" values in conditional branches. For example,
-integer comparisons never set CC to 3, so the bottom bit of the CC mask
-isn't particularly relevant. JNLH and JE are equally good for testing
-equality after an integer comparison, etc.
-
---
-
-We don't use the LOAD AND TEST or TEST DATA CLASS instructions.