Replace the hardcoded %4 argument with a general pattern match
Is the store/load necessary? This appears to be just the -O0 stack behaviour
small changes according to Simon review.
Please can add the alignment operand to the CHECK (it should be align 1)?
add align to CHECK
You need {{$}} after the 1 to indicate end of line or it can match 16 too.
LGTM