Some of them do test only one status bit (as on the 6502), but some test combinations of two bits. The ARM has similar measures.

It took me awhile to grasp what you meant by that. Those two examples are for the 6502.

On the 680x, I just do:

You can generate them with macros.



I like the 6800 but why do store instructions need to set the NZ flags? Very odd.

_________________
Andrew Jacobs
6502 & PIC Stuff - http://www.obelisk.me.uk/
Cross-Platform 6502/65C02/65816 Macro Assembler - http://www.obelisk.me.uk/dev65/
Open Source Projects - https://github.com/andrew-jacobs

It may be that the flags are generated from an internal bus rather than from the ALU.

I should think there could be one or two cases where the 6502 approach saves some bytes. It's one of the things a beginner has to get to know, that the value of a flag can be quite long-lived, and it can be checked in a branch quite some distance away from where it was set.

I have done much programming on Motorola processors. Their designs were supposedly inspired by the PDP-11.

The PDP-11 does not have separate load and store instructions, but a unified move instruction which affect the flags. The follow-on 68000 family is the same except when an address register is the destination.

A few times setting the flags on store was a help or a problem. Most of the time it did not matter.

So, I was pointed to this post after asking about Inequality Logic in the 6502. I was trying hard to build something like a digital comparator table for the 6502. I really was only after cmp and friends, their relationship to the processor status register, and their implications for mathematical inequality. I was ignoring the branch instructions on purpose.

I was after: [combination of status register flags after comparison] [corresponding inequality symbol].

After mulling over the code at the top of this post, my question, and some tutorials am I correct in understanding that might have been wrong headed on my part? What I mean is, is there a sort of Schrödinger's cat relationship here? Are the flags not relevant until the branch instructions execute and resolve the question of mathematical inequality for us? That is, looking at them from the "vantage point" of the branch instruction is the equivalent of opening the box to finally see the status of the cat?

If I'm still "not getting it" that's fine. I'll keep trying until the proverbial light-bulb comes on.

You previously linked to Bruce Clark's
6502 Compare Instructions
and there's a table in there under the heading

Use of Branch Instructions with Compare

Doesn't that contain exactly the wisdom you're after? Here are the instructions, here's what they mean.

I think the main subtlety is that the correct method of performing compares changes between signed and unsigned values, and between single-byte and multi-byte values. The ARM generates status flags according to the same rules (modified for the much wider ALU), but has a much richer array of branch instructions (actually, condition field values that can be applied to most instructions, not just branches) which make dealing with signed values far more convenient: The above table works only for comparing single-byte operands (though on the '816 you can also use it for 16-bit compares). For multi-precision compares, the correct method is to refer to the above table for the most-significant byte, but if they are equal you must defer the result of the comparison to an unsigned compare of the next significant byte, and so on if there's more than two.

The PowerPC takes a rather different approach to this: the three status flags are equivalent to Positive (or Greater), Zero (or Equal), and Negative (or Less). There are distinct signed and unsigned compare instructions to generate these flags correctly. For floating-point comparisons there is a fourth flag meaning Unordered.

The question on the flip side is why does the 6502 set flags when pulling from the stack?

Consider some code in which all of the registers are being used. The stack is used to temporarily free one up to make a comparison.

On the 6800, the code is



While on the 6502, it becomes more convoluted

_________________
http://WilsonMinesCo.com/ lots of 6502 resources
The "second front page" is http://wilsonminesco.com/links.html .
What's an additional VIA among friends, anyhow?

My theory is that loads (including from the stack) pass through the ALU on their way to the register bank, so the NZ flags get updated by that.