diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-08-10 10:35:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-10 10:35:07 +0000 |
commit | 7027e5c21ae6b8cb1ea2222e55960f1587071d14 (patch) | |
tree | 06b15017e8448050efdab82eef322b1918b22b29 /gcc/rust/backend | |
parent | 7c3766ccfce1b90be8facf1124303519be93e66a (diff) | |
parent | 71b5bc8705c789fa61ad0d7858441da861213356 (diff) | |
download | gcc-7027e5c21ae6b8cb1ea2222e55960f1587071d14.zip gcc-7027e5c21ae6b8cb1ea2222e55960f1587071d14.tar.gz gcc-7027e5c21ae6b8cb1ea2222e55960f1587071d14.tar.bz2 |
Merge #1452
1452: transmute: Fix behavior by always performing the raw copy r=CohenArthur a=CohenArthur
This desugars calls to transmute the following way:
`transmute::<T1, T2>(value)`
->
`*((T2 *) &value)`
This always ends up being optimized into a simple copy for small types
and a memcpy for larger types.
Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>
Diffstat (limited to 'gcc/rust/backend')
-rw-r--r-- | gcc/rust/backend/rust-compile-intrinsic.cc | 36 |
1 files changed, 9 insertions, 27 deletions
diff --git a/gcc/rust/backend/rust-compile-intrinsic.cc b/gcc/rust/backend/rust-compile-intrinsic.cc index a68ccc5..67e38c3 100644 --- a/gcc/rust/backend/rust-compile-intrinsic.cc +++ b/gcc/rust/backend/rust-compile-intrinsic.cc @@ -312,33 +312,15 @@ transmute_handler (Context *ctx, TyTy::FnType *fntype) enter_intrinsic_block (ctx, fndecl); // BUILTIN transmute FN BODY BEGIN - tree result_type_tree = TREE_TYPE (DECL_RESULT (fndecl)); - tree result_expr = error_mark_node; - if (AGGREGATE_TYPE_P (TREE_TYPE (convert_me_expr))) - { - // Return *(orig_type*)&decl. */ - // tree t = build_fold_addr_expr_loc (location.gcc_location (), this->t_); - // t = fold_build1_loc (location.gcc_location (), NOP_EXPR, - // build_pointer_type (this->orig_type_), t); - // return build_fold_indirect_ref_loc (location.gcc_location (), t); - - // result_expr = fold_build1_loc (Location ().gcc_location (), - // CONVERT_EXPR, - // result_type_tree, convert_me_expr); - - tree t = build_fold_addr_expr_loc (Location ().gcc_location (), - convert_me_expr); - t = fold_build1_loc (Location ().gcc_location (), NOP_EXPR, - build_pointer_type (target_type_expr), t); - result_expr - = build_fold_indirect_ref_loc (Location ().gcc_location (), t); - } - else - { - result_expr = ctx->get_backend ()->convert_expression (result_type_tree, - convert_me_expr, - Location ()); - } + + // Return *((orig_type*)&decl) */ + + tree t + = build_fold_addr_expr_loc (Location ().gcc_location (), convert_me_expr); + t = fold_build1_loc (Location ().gcc_location (), NOP_EXPR, + build_pointer_type (target_type_expr), t); + tree result_expr + = build_fold_indirect_ref_loc (Location ().gcc_location (), t); auto return_statement = ctx->get_backend ()->return_statement (fndecl, {result_expr}, |