MarkGFaust

Is this note correct? I believe the immediate field is *sign* extended (not zero extended) and then is treated (along with rs1) as an unsigned value for the comparison. See...

Is this note correct? Both source operands are registers. What is being zero-extended? The < comparison is treating both operands as unsigned but nothing is being sign-extended or zero-extended.