Activate fp-vrp at -O2.

diff --git a/main.c b/main.c
index 7f3a087..702ef70 100644 (file)
--- a/main.c
+++ b/main.c
@@ -821,6 +821,7 @@ int main(int argc, char **argv)
        case 2:
                set_option("strict-aliasing");
                set_option("inline");
+               set_option("fp-vrp");
                set_option("deconv");
                set_be_option("omitfp");
                break;