diff --git a/gcc/testsuite/gcc.dg/profile-generate-4.c b/gcc/testsuite/gcc.dg/profile-generate-4.c new file mode 100644 index 0000000000000000000000000000000000000000..c2b999fe4cb378a5f0b4e83d40910f3cd6378ede --- /dev/null +++ b/gcc/testsuite/gcc.dg/profile-generate-4.c @@ -0,0 +1,19 @@ +/* PR106912 */ +/* { dg-require-profiling "-fprofile-generate" } */ +/* { dg-options "-O2 -fprofile-generate -ftree-vectorize" } */ + +__attribute__ ((__simd__)) +__attribute__ ((__nothrow__ , __leaf__ , __const__, __noinline__)) +double foo (double x); + +void bar(double *f, int n) +{ + int i; + for (i = 0; i < n; i++) + f[i] = foo(f[i]); +} + +double foo(double x) +{ + return x * x / 3.0; +} diff --git a/gcc/tree-profile.cc b/gcc/tree-profile.cc index ea9d7a234439e489f4c6ee31fe1d735313e55056..6f9a43e4bd50fb2b4cf3669aa5e6731ae6ee14f9 100644 --- a/gcc/tree-profile.cc +++ b/gcc/tree-profile.cc @@ -835,16 +835,36 @@ tree_profiling (void) push_cfun (DECL_STRUCT_FUNCTION (node->decl)); - FOR_EACH_BB_FN (bb, cfun) - { - gimple_stmt_iterator gsi; - for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi)) - { - gimple *stmt = gsi_stmt (gsi); - if (is_gimple_call (stmt)) - update_stmt (stmt); - } - } + if (profile_arc_flag || flag_test_coverage) + FOR_EACH_BB_FN (bb, cfun) + { + gimple_stmt_iterator gsi; + for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi)) + { + gcall *call = dyn_cast <gcall *> (gsi_stmt (gsi)); + if (!call) + continue; + + /* We do not clear pure/const on decls without body. */ + tree fndecl = gimple_call_fndecl (call); + if (fndecl && !gimple_has_body_p (fndecl)) + continue; + + /* Drop the const attribute from the call type (the pure + attribute is not available on types). */ + tree fntype = gimple_call_fntype (call); + if (fntype && TYPE_READONLY (fntype)) + { + int quals = TYPE_QUALS (fntype) & ~TYPE_QUAL_CONST; + fntype = build_qualified_type (fntype, quals); + gimple_call_set_fntype (call, fntype); + } + + /* Update virtual operands of calls to no longer const/pure + functions. */ + update_stmt (call); + } + } /* re-merge split blocks. */ cleanup_tree_cfg ();