[gcc/devel/rust/master] Implement lowering ReferencePattern from AST to HIR

[gcc/devel/rust/master] Implement lowering ReferencePattern from AST to HIR

[Thomas Schwinge]

https://gcc.gnu.org/g:1b46cfb35ac4ea7e5e00ac9a332ac7daeeeeb0ba

commit 1b46cfb35ac4ea7e5e00ac9a332ac7daeeeeb0ba
Author: Owen Avery <powerboat9.gamer@gmail.com>
Date:   Thu Feb 2 00:05:36 2023 -0500

    Implement lowering ReferencePattern from AST to HIR
    
    gcc/rust/ChangeLog:
    
            * ast/rust-pattern.h:
            (ReferencePattern::is_double_reference): Add method.
            (ReferencePattern::get_is_mut): Add method.
            * hir/rust-ast-lower-pattern.cc
            (ASTLoweringPattern::visit): Add ReferencePattern visitor.
            * hir/rust-ast-lower-pattern.h:
            (ASTLoweringPattern::visit): Add ReferencePattern visitor.
    
    Signed-off-by: Owen Avery <powerboat9.gamer@gmail.com>

Diff:
---
 gcc/rust/ast/rust-pattern.h            |  4 ++++
 gcc/rust/hir/rust-ast-lower-pattern.cc | 29 +++++++++++++++++++++++++++++
 gcc/rust/hir/rust-ast-lower-pattern.h  |  1 +
 3 files changed, 34 insertions(+)

diff --git a/gcc/rust/ast/rust-pattern.h b/gcc/rust/ast/rust-pattern.h
index 247af5dbe05..1337bc0835a 100644
--- a/gcc/rust/ast/rust-pattern.h
+++ b/gcc/rust/ast/rust-pattern.h
@@ -469,6 +469,10 @@ public:
     return pattern;
   }
 
+  bool is_double_reference () const { return has_two_amps; }
+
+  bool get_is_mut () const { return is_mut; }
+
   NodeId get_node_id () const { return node_id; }
 
   NodeId get_pattern_node_id () const override final { return node_id; }
diff --git a/gcc/rust/hir/rust-ast-lower-pattern.cc b/gcc/rust/hir/rust-ast-lower-pattern.cc
index d13af46523b..9f673926f9d 100644
--- a/gcc/rust/hir/rust-ast-lower-pattern.cc
+++ b/gcc/rust/hir/rust-ast-lower-pattern.cc
@@ -259,5 +259,34 @@ ASTLoweringPattern::visit (AST::GroupedPattern &pattern)
 			       pattern.get_locus ());
 }
 
+void
+ASTLoweringPattern::visit (AST::ReferencePattern &pattern)
+{
+  auto crate_num = mappings->get_current_crate ();
+  Analysis::NodeMapping mapping (crate_num, pattern.get_node_id (),
+				 mappings->get_next_hir_id (crate_num),
+				 UNKNOWN_LOCAL_DEFID);
+
+  HIR::Pattern *inner
+    = ASTLoweringPattern::translate (pattern.get_referenced_pattern ().get ());
+
+  translated
+    = new HIR::ReferencePattern (mapping, std::unique_ptr<HIR::Pattern> (inner),
+				 pattern.get_is_mut () ? Mutability::Mut
+						       : Mutability::Imm,
+				 pattern.get_locus ());
+
+  if (pattern.is_double_reference ())
+    {
+      Analysis::NodeMapping mapping2 (crate_num, pattern.get_node_id (),
+				      mappings->get_next_hir_id (crate_num),
+				      UNKNOWN_LOCAL_DEFID);
+      translated
+	= new HIR::ReferencePattern (mapping2,
+				     std::unique_ptr<HIR::Pattern> (translated),
+				     Mutability::Imm, pattern.get_locus ());
+    }
+}
+
 } // namespace HIR
 } // namespace Rust
diff --git a/gcc/rust/hir/rust-ast-lower-pattern.h b/gcc/rust/hir/rust-ast-lower-pattern.h
index 20a5529d856..c7ef31aac4b 100644
--- a/gcc/rust/hir/rust-ast-lower-pattern.h
+++ b/gcc/rust/hir/rust-ast-lower-pattern.h
@@ -40,6 +40,7 @@ public:
   void visit (AST::LiteralPattern &pattern) override;
   void visit (AST::RangePattern &pattern) override;
   void visit (AST::GroupedPattern &pattern) override;
+  void visit (AST::ReferencePattern &pattern) override;
 
 private:
   ASTLoweringPattern ();