[gcc/devel/rust/master] Add hir lowering to ForLoopExpr this will eventually all become a simple HIR::LoopExpr

[gcc/devel/rust/master] Add hir lowering to ForLoopExpr this will eventually all become a simple HIR::LoopExpr

[Thomas Schwinge]

https://gcc.gnu.org/g:92f9eb46ec0ef70c808db613da4312af09f736df

commit 92f9eb46ec0ef70c808db613da4312af09f736df
Author: Philip Herron <philip.herron@embecosm.com>
Date:   Wed Jun 1 10:53:37 2022 +0100

    Add hir lowering to ForLoopExpr this will eventually all become a simple HIR::LoopExpr

Diff:
---
 gcc/rust/hir/rust-ast-lower-block.h |  2 ++
 gcc/rust/hir/rust-ast-lower-expr.h  |  5 +++++
 gcc/rust/hir/rust-ast-lower.cc      | 26 ++++++++++++++++++++++++++
 3 files changed, 33 insertions(+)

diff --git a/gcc/rust/hir/rust-ast-lower-block.h b/gcc/rust/hir/rust-ast-lower-block.h
index 5c328b53446..b8f71750950 100644
--- a/gcc/rust/hir/rust-ast-lower-block.h
+++ b/gcc/rust/hir/rust-ast-lower-block.h
@@ -225,6 +225,8 @@ public:
 
   void visit (AST::WhileLoopExpr &expr) override;
 
+  void visit (AST::ForLoopExpr &expr) override;
+
   void visit (AST::MatchExpr &expr) override;
 
 private:
diff --git a/gcc/rust/hir/rust-ast-lower-expr.h b/gcc/rust/hir/rust-ast-lower-expr.h
index 5ae538621aa..a3f8d6e24a0 100644
--- a/gcc/rust/hir/rust-ast-lower-expr.h
+++ b/gcc/rust/hir/rust-ast-lower-expr.h
@@ -579,6 +579,11 @@ public:
     translated = ASTLoweringExprWithBlock::translate (&expr, &terminated);
   }
 
+  void visit (AST::ForLoopExpr &expr) override
+  {
+    translated = ASTLoweringExprWithBlock::translate (&expr, &terminated);
+  }
+
   void visit (AST::BreakExpr &expr) override
   {
     HIR::Lifetime break_label = lower_lifetime (expr.get_label ());
diff --git a/gcc/rust/hir/rust-ast-lower.cc b/gcc/rust/hir/rust-ast-lower.cc
index d8a04883232..b3b0ee8c465 100644
--- a/gcc/rust/hir/rust-ast-lower.cc
+++ b/gcc/rust/hir/rust-ast-lower.cc
@@ -323,6 +323,32 @@ ASTLoweringExprWithBlock::visit (AST::WhileLoopExpr &expr)
 			      expr.get_outer_attrs ());
 }
 
+void
+ASTLoweringExprWithBlock::visit (AST::ForLoopExpr &expr)
+{
+  HIR::BlockExpr *loop_block
+    = ASTLoweringBlock::translate (expr.get_loop_block ().get (), &terminated);
+  HIR::LoopLabel loop_label = lower_loop_label (expr.get_loop_label ());
+  HIR::Expr *iterator_expr
+    = ASTLoweringExpr::translate (expr.get_iterator_expr ().get (),
+				  &terminated);
+  HIR::Pattern *loop_pattern
+    = ASTLoweringPattern::translate (expr.get_pattern ().get ());
+
+  auto crate_num = mappings->get_current_crate ();
+  Analysis::NodeMapping mapping (crate_num, expr.get_node_id (),
+				 mappings->get_next_hir_id (crate_num),
+				 UNKNOWN_LOCAL_DEFID);
+
+  translated
+    = new HIR::ForLoopExpr (mapping,
+			    std::unique_ptr<HIR::Pattern> (loop_pattern),
+			    std::unique_ptr<HIR::Expr> (iterator_expr),
+			    std::unique_ptr<HIR::BlockExpr> (loop_block),
+			    expr.get_locus (), std::move (loop_label),
+			    expr.get_outer_attrs ());
+}
+
 void
 ASTLoweringExprWithBlock::visit (AST::MatchExpr &expr)
 {