WriteAdr describes scheduling for first operand of load:
$x0, $x1, $x2 = LDPXpost $x0, 2 # x0 is first
STRWpost should be $x0 = STRWpost $xzr, $x0. The concept of scheduling a store can be a little strange, but the address update should come as the first operand.
I agree loads look backwards.
@dmgreen Thx, I've updated the diff.