Compilation et optimisation statique des communications hôte-accélérateur