!!!! Boissinot.xcc
Benoit Dupont de Dinechin (Benoit.Dupont-de-Dinechinst.com). Nikola Puzovic (Nikola.Puzovicst.com). Christophe Guillon (Christophe.Guillonst.com). Fabrice Rastello (Fabrice.Rastelloens-lyon.fr).
Copyright 2002 - 2007 STMicroelectronics. Copyright 1995 - 1998 Commissariat a l'Energie Atomique.
This program is free software; you can redistribute it and/or modify it under the terms of either (at your option): the GNU General Public License (GPL) version 2; the GNU Lesser General Public License (LGPL) version 2.1; any later version of these licences as published by the Free Software Foundation.
Boissinot -- SSA Form destruction using Boissinot et al. algorithms.
struct Boissinot_;
Boissinot_doBoissinot_III— Exact out of SSA method with phi virtualization Require: Interference free CONGRUENCESOutput: Generated move operations around PHIs All newly created variables put in the same phi congruence class
void Boissinot_doBoissinot_III(Boissinot this);