[PATCH] handle bzero/bcopy in DSE and aliasing (PR 80933, 80934)

Martin Sebor msebor@gmail.com
Fri Jun 16 20:52:00 GMT 2017


> +static bool
> +gimple_fold_builtin_bcmp (gimple_stmt_iterator *gsi)
> +{
>
> +  /* Transform bcmp (a, b, len) into memcmp (a, b, len).  */
> +
> +  gimple *stmt = gsi_stmt (*gsi);
> +  tree a = gimple_call_arg (stmt, 0);
> +  tree b = gimple_call_arg (stmt, 1);
> +  tree len = gimple_call_arg (stmt, 2);
> +
> +  gimple_seq seq = NULL;
> +  gimple *repl = gimple_build_call (fn, 3, a, b, len);
> +  gimple_seq_add_stmt_without_update (&seq, repl);
> +  gsi_replace_with_seq_vops (gsi, seq);
>
> given they have the same prototype you can do like gimple_fold_builtin_stpcpy:
>
>   gimple_call_set_fndecl (stmt, fn);
>   fold_stmt (gsi);
>
> That works even with bcopy -> memmove if you swap arguments.
>
> Ok with that changes.

I made these changes along with those mentioned downthread and
committed r249278.

Martin



More information about the Gcc-patches mailing list