Library multi_negate_prg

Require Import machine_int.
Import MachineInt.
Require Import mips_cmd.

Local Open Scope mips_cmd_scope.

Definition multi_negate X a0 :=
  lw a0 zero16 X ;
  subu a0 r0 a0 ;
  sw a0 zero16 X.