method reload_operation : Mach.operation ->
Reg.t array ->
Reg.t array ->
Reg.t array * Reg.t arraymethod fundecl : Mach.fundecl -> int array -> Mach.fundecl * boolmethod reload_operation : Mach.operation ->
Reg.t array ->
Reg.t array ->
Reg.t array * Reg.t arraymethod fundecl : Mach.fundecl -> int array -> Mach.fundecl * bool