diff options
| author | Richard Biener <rguenther@suse.de> | 2014-02-07 13:41:10 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-02-07 13:41:10 +0000 |
| commit | 831806cb211df749b12f47ee4b669e30f7a5f009 (patch) | |
| tree | 2aea068f44b0bf1732891a2a54d9ef96c170e646 /gcc/gimple-low.c | |
| parent | 7ee9c16fa85f5670bc906894f1216835f277c2d7 (diff) | |
| download | gcc-831806cb211df749b12f47ee4b669e30f7a5f009.zip gcc-831806cb211df749b12f47ee4b669e30f7a5f009.tar.gz gcc-831806cb211df749b12f47ee4b669e30f7a5f009.tar.bz2 | |
re PR middle-end/60092 (posix_memalign not recognized to derive alias and alignment info)
2014-02-07 Richard Biener <rguenther@suse.de>
PR middle-end/60092
* gimple-low.c (lower_builtin_posix_memalign): New function.
(lower_stmt): Call it to lower posix_memalign in a way
to make alignment info accessible.
* gcc.dg/vect/pr60092-2.c: New testcase.
From-SVN: r207598
Diffstat (limited to 'gcc/gimple-low.c')
| -rw-r--r-- | gcc/gimple-low.c | 61 |
1 files changed, 56 insertions, 5 deletions
diff --git a/gcc/gimple-low.c b/gcc/gimple-low.c index 5fbcf3f3..01e9e9c 100644 --- a/gcc/gimple-low.c +++ b/gcc/gimple-low.c @@ -83,6 +83,7 @@ static void lower_gimple_bind (gimple_stmt_iterator *, struct lower_data *); static void lower_try_catch (gimple_stmt_iterator *, struct lower_data *); static void lower_gimple_return (gimple_stmt_iterator *, struct lower_data *); static void lower_builtin_setjmp (gimple_stmt_iterator *); +static void lower_builtin_posix_memalign (gimple_stmt_iterator *); /* Lower the body of current_function_decl from High GIMPLE into Low @@ -327,12 +328,19 @@ lower_stmt (gimple_stmt_iterator *gsi, struct lower_data *data) } if (decl - && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL - && DECL_FUNCTION_CODE (decl) == BUILT_IN_SETJMP) + && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL) { - lower_builtin_setjmp (gsi); - data->cannot_fallthru = false; - return; + if (DECL_FUNCTION_CODE (decl) == BUILT_IN_SETJMP) + { + lower_builtin_setjmp (gsi); + data->cannot_fallthru = false; + return; + } + else if (DECL_FUNCTION_CODE (decl) == BUILT_IN_POSIX_MEMALIGN) + { + lower_builtin_posix_memalign (gsi); + return; + } } if (decl && (flags_from_decl_or_type (decl) & ECF_NORETURN)) @@ -771,6 +779,49 @@ lower_builtin_setjmp (gimple_stmt_iterator *gsi) /* Remove the call to __builtin_setjmp. */ gsi_remove (gsi, false); } + +/* Lower calls to posix_memalign to + posix_memalign (ptr, align, size); + tem = *ptr; + tem = __builtin_assume_aligned (tem, align); + *ptr = tem; + or to + void *tem; + posix_memalign (&tem, align, size); + ttem = tem; + ttem = __builtin_assume_aligned (ttem, align); + ptr = tem; + in case the first argument was &ptr. That way we can get at the + alignment of the heap pointer in CCP. */ + +static void +lower_builtin_posix_memalign (gimple_stmt_iterator *gsi) +{ + gimple stmt = gsi_stmt (*gsi); + tree pptr = gimple_call_arg (stmt, 0); + tree align = gimple_call_arg (stmt, 1); + tree ptr = create_tmp_reg (ptr_type_node, NULL); + if (TREE_CODE (pptr) == ADDR_EXPR) + { + tree tem = create_tmp_var (ptr_type_node, NULL); + TREE_ADDRESSABLE (tem) = 1; + gimple_call_set_arg (stmt, 0, build_fold_addr_expr (tem)); + stmt = gimple_build_assign (ptr, tem); + } + else + stmt = gimple_build_assign (ptr, + fold_build2 (MEM_REF, ptr_type_node, pptr, + build_int_cst (ptr_type_node, 0))); + gsi_insert_after (gsi, stmt, GSI_NEW_STMT); + stmt = gimple_build_call (builtin_decl_implicit (BUILT_IN_ASSUME_ALIGNED), + 2, ptr, align); + gimple_call_set_lhs (stmt, ptr); + gsi_insert_after (gsi, stmt, GSI_NEW_STMT); + stmt = gimple_build_assign (fold_build2 (MEM_REF, ptr_type_node, pptr, + build_int_cst (ptr_type_node, 0)), + ptr); + gsi_insert_after (gsi, stmt, GSI_NEW_STMT); +} /* Record the variables in VARS into function FN. */ |