diff options
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr112618.c | 26 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.cc | 11 |
2 files changed, 36 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/pr112618.c b/gcc/testsuite/gcc.dg/pr112618.c new file mode 100644 index 0000000..897e6a8 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr112618.c @@ -0,0 +1,26 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +int m, *p; + +__attribute__ ((simd)) int +bar (int x) +{ + if (x) + { + if (m < 1) + for (m = 0; m < 1; ++m) + ++x; + p = &x; + for (;;) + ++m; + } + return 0; +} + +__attribute__ ((simd)) int +foo (int x) +{ + bar (x); + return 0; +} diff --git a/gcc/tree-vect-loop.cc b/gcc/tree-vect-loop.cc index b7675d8..58679e91 100644 --- a/gcc/tree-vect-loop.cc +++ b/gcc/tree-vect-loop.cc @@ -11361,7 +11361,16 @@ vect_transform_loop_stmt (loop_vec_info loop_vinfo, stmt_vec_info stmt_info, if (!STMT_VINFO_RELEVANT_P (stmt_info) && !STMT_VINFO_LIVE_P (stmt_info)) - return false; + { + if (is_gimple_call (stmt_info->stmt) + && gimple_call_internal_p (stmt_info->stmt, IFN_MASK_CALL)) + { + gcc_assert (!gimple_call_lhs (stmt_info->stmt)); + *seen_store = stmt_info; + return false; + } + return false; + } if (STMT_VINFO_VECTYPE (stmt_info)) { |