Machine-SUIF pass for replacing a function call by a SUIFvm operator