[gcc r14-7951] gccrs: Fix bad uninit intrinsic

[gcc r14-7951] gccrs: Fix bad uninit intrinsic

[Arthur Cohen]

https://gcc.gnu.org/g:ad1c244dd607fd7607ef95eecc2718e98578a70c

commit r14-7951-gad1c244dd607fd7607ef95eecc2718e98578a70c
Author: Philip Herron <herron.philip@googlemail.com>
Date:   Mon Aug 28 14:20:04 2023 +0100

    gccrs: Fix bad uninit intrinsic
    
    We were using the DECL_RESULT but this just contains the TREE_TYPE of the
    retval. It was also missing taking the address of the destination for the
    memset call. This changes the code to create a temp variable for the return
    value and asserts the destination size is the same as the size of the
    template param.
    
    Fixes #2583
    
    gcc/rust/ChangeLog:
    
            * backend/rust-compile-intrinsic.cc (enter_intrinsic_block): take the locals vector
            (uninit_handler): make a temp variable and use the address of it
    
    gcc/testsuite/ChangeLog:
    
            * rust/execute/torture/issue-2583.rs: New test.
    
    Signed-off-by: Philip Herron <herron.philip@googlemail.com>

Diff:
---
 gcc/rust/backend/rust-compile-intrinsic.cc       | 27 ++++++++++++++++++------
 gcc/testsuite/rust/execute/torture/issue-2583.rs | 13 ++++++++++++
 2 files changed, 33 insertions(+), 7 deletions(-)

diff --git a/gcc/rust/backend/rust-compile-intrinsic.cc b/gcc/rust/backend/rust-compile-intrinsic.cc
index b5cb84b22a9..5c1cde3b202 100644
--- a/gcc/rust/backend/rust-compile-intrinsic.cc
+++ b/gcc/rust/backend/rust-compile-intrinsic.cc
@@ -315,13 +315,14 @@ compile_intrinsic_function (Context *ctx, TyTy::FnType *fntype)
 }
 
 static void
-enter_intrinsic_block (Context *ctx, tree fndecl)
+enter_intrinsic_block (Context *ctx, tree fndecl,
+		       const std::vector<Bvariable *> &vars = {})
 {
   tree enclosing_scope = NULL_TREE;
   location_t start_location = UNDEF_LOCATION;
   location_t end_location = UNDEF_LOCATION;
 
-  auto block = ctx->get_backend ()->block (fndecl, enclosing_scope, {},
+  auto block = ctx->get_backend ()->block (fndecl, enclosing_scope, vars,
 					   start_location, end_location);
 
   ctx->push_block (block);
@@ -1010,7 +1011,19 @@ uninit_handler (Context *ctx, TyTy::FnType *fntype)
   tree template_parameter_type
     = TyTyResolveCompile::compile (ctx, resolved_tyty);
 
-  enter_intrinsic_block (ctx, fndecl);
+  // result temporary
+  tree dst_type = TREE_TYPE (DECL_RESULT (fndecl));
+  rust_assert (TYPE_SIZE_UNIT (template_parameter_type)
+	       == TYPE_SIZE_UNIT (dst_type));
+
+  tree tmp_stmt = error_mark_node;
+  Bvariable *bvar
+    = ctx->get_backend ()->temporary_variable (fndecl, NULL_TREE, dst_type,
+					       NULL_TREE,
+					       true /*address_is_taken*/,
+					       UNDEF_LOCATION, &tmp_stmt);
+
+  enter_intrinsic_block (ctx, fndecl, {bvar});
 
   // BUILTIN size_of FN BODY BEGIN
 
@@ -1021,20 +1034,20 @@ uninit_handler (Context *ctx, TyTy::FnType *fntype)
   // call memset with 0x01 and size of the thing see
   // https://github.com/Rust-GCC/gccrs/issues/1899
 
-  tree dst = DECL_RESULT (fndecl);
+  tree dst = bvar->get_tree (BUILTINS_LOCATION);
+  tree dst_addr = build_fold_addr_expr_loc (BUILTINS_LOCATION, dst);
   tree constant_byte = build_int_cst (integer_type_node, 0x01);
   tree size_expr = TYPE_SIZE_UNIT (template_parameter_type);
 
   tree memset_call = build_call_expr_loc (BUILTINS_LOCATION, memset_builtin, 3,
-					  dst, constant_byte, size_expr);
+					  dst_addr, constant_byte, size_expr);
   TREE_READONLY (memset_call) = 0;
   TREE_SIDE_EFFECTS (memset_call) = 1;
 
   ctx->add_statement (memset_call);
 
   auto return_statement
-    = ctx->get_backend ()->return_statement (fndecl, DECL_RESULT (fndecl),
-					     UNDEF_LOCATION);
+    = ctx->get_backend ()->return_statement (fndecl, dst, UNDEF_LOCATION);
   ctx->add_statement (return_statement);
   // BUILTIN size_of FN BODY END
 
diff --git a/gcc/testsuite/rust/execute/torture/issue-2583.rs b/gcc/testsuite/rust/execute/torture/issue-2583.rs
new file mode 100644
index 00000000000..46f501ee2d1
--- /dev/null
+++ b/gcc/testsuite/rust/execute/torture/issue-2583.rs
@@ -0,0 +1,13 @@
+#[lang = "sized"]
+pub trait Sized {}
+
+mod intrinsics {
+    extern "rust-intrinsic" {
+        pub fn uninit<T>() -> T;
+    }
+}
+
+pub fn main() -> i32 {
+    let _val: usize = unsafe { intrinsics::uninit() };
+    0
+}