Skip to content

Commit 843c2ea

Browse files
philbertyCohenArthur
philberty
authored and
CohenArthur
committed
Refactor expression hir lowering into cc file
Add hir lowering of closure expressions In the AST we have ClosureExprInner and ClosureExprInnerTyped the first is the closure expression of the form: let closure_inferred = |i| i + 1; The second is of the form: let closure_annotated = |i: i32| -> i32 { i + 1 }; Both of these can be seguared into a single HIR::ClosureExpr with an optional return type and parameter types. Addresses #195
1 parent ae35bc3 commit 843c2ea

24 files changed

+1009
-906
lines changed

‎gcc/rust/Make-lang.in

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,7 @@ GRS_OBJS = \
9494
rust/rust-ast-lower-base.o \
9595
rust/rust-ast-lower-pattern.o \
9696
rust/rust-ast-lower-item.o \
97+
rust/rust-ast-lower-expr.o \
9798
rust/rust-early-name-resolver.o \
9899
rust/rust-name-resolver.o \
99100
rust/rust-ast-resolve.o \

‎gcc/rust/ast/rust-expr.h

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2134,8 +2134,6 @@ struct ClosureParam
21342134
private:
21352135
std::vector<Attribute> outer_attrs;
21362136
std::unique_ptr<Pattern> pattern;
2137-
2138-
// bool has_type_given;
21392137
std::unique_ptr<Type> type;
21402138
Location locus;
21412139

@@ -2202,19 +2200,19 @@ struct ClosureParam
22022200
const std::vector<Attribute> &get_outer_attrs () const { return outer_attrs; }
22032201
std::vector<Attribute> &get_outer_attrs () { return outer_attrs; }
22042202

2205-
// TODO: is this better? Or is a "vis_block" better?
22062203
std::unique_ptr<Pattern> &get_pattern ()
22072204
{
22082205
rust_assert (pattern != nullptr);
22092206
return pattern;
22102207
}
22112208

2212-
// TODO: is this better? Or is a "vis_block" better?
22132209
std::unique_ptr<Type> &get_type ()
22142210
{
22152211
rust_assert (has_type_given ());
22162212
return type;
22172213
}
2214+
2215+
Location get_locus () const { return locus; }
22182216
};
22192217

22202218
// Base closure definition expression AST node - abstract
@@ -2248,6 +2246,8 @@ class ClosureExpr : public ExprWithoutBlock
22482246
{
22492247
outer_attrs = std::move (new_attrs);
22502248
}
2249+
2250+
bool get_has_move () const { return has_move; }
22512251
};
22522252

22532253
// Represents a non-type-specified closure expression AST node
@@ -2307,7 +2307,6 @@ class ClosureExprInner : public ClosureExpr
23072307
return closure_inner == nullptr;
23082308
}
23092309

2310-
// TODO: is this better? Or is a "vis_block" better?
23112310
std::unique_ptr<Expr> &get_definition_expr ()
23122311
{
23132312
rust_assert (closure_inner != nullptr);

‎gcc/rust/backend/rust-compile-block.h

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -57,8 +57,7 @@ class CompileConditionalBlocks : public HIRCompileBase,
5757
// Empty visit for unused Expression HIR nodes.
5858
void visit (HIR::PathInExpression &) override {}
5959
void visit (HIR::QualifiedPathInExpression &) override {}
60-
void visit (HIR::ClosureExprInner &) override {}
61-
void visit (HIR::ClosureExprInnerTyped &) override {}
60+
void visit (HIR::ClosureExpr &) override {}
6261
void visit (HIR::StructExprFieldIdentifier &) override {}
6362
void visit (HIR::StructExprFieldIdentifierValue &) override {}
6463
void visit (HIR::StructExprFieldIndexValue &) override {}
@@ -146,8 +145,7 @@ class CompileExprWithBlock : public HIRCompileBase,
146145
// Empty visit for unused Expression HIR nodes.
147146
void visit (HIR::PathInExpression &) override {}
148147
void visit (HIR::QualifiedPathInExpression &) override {}
149-
void visit (HIR::ClosureExprInner &) override {}
150-
void visit (HIR::ClosureExprInnerTyped &) override {}
148+
void visit (HIR::ClosureExpr &) override {}
151149
void visit (HIR::StructExprFieldIdentifier &) override {}
152150
void visit (HIR::StructExprFieldIdentifierValue &) override {}
153151
void visit (HIR::StructExprFieldIndexValue &) override {}

‎gcc/rust/backend/rust-compile-expr.cc

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2803,5 +2803,11 @@ CompileExpr::visit (HIR::ArrayIndexExpr &expr)
28032803
expr.get_locus ());
28042804
}
28052805

2806+
void
2807+
CompileExpr::visit (HIR::ClosureExpr &expr)
2808+
{
2809+
gcc_unreachable ();
2810+
}
2811+
28062812
} // namespace Compile
28072813
} // namespace Rust

‎gcc/rust/backend/rust-compile-expr.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -67,10 +67,9 @@ class CompileExpr : private HIRCompileBase, protected HIR::HIRExpressionVisitor
6767
void visit (HIR::RangeToExpr &expr) override;
6868
void visit (HIR::RangeFullExpr &expr) override;
6969
void visit (HIR::RangeFromToInclExpr &expr) override;
70+
void visit (HIR::ClosureExpr &expr) override;
7071

7172
// TODO
72-
void visit (HIR::ClosureExprInner &) override {}
73-
void visit (HIR::ClosureExprInnerTyped &) override {}
7473
void visit (HIR::ErrorPropagationExpr &) override {}
7574
void visit (HIR::RangeToInclExpr &) override {}
7675
void visit (HIR::ForLoopExpr &) override {}

‎gcc/rust/checks/errors/privacy/rust-privacy-reporter.cc

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -426,7 +426,7 @@ PrivacyReporter::visit (HIR::FieldAccessExpr &expr)
426426
}
427427

428428
void
429-
PrivacyReporter::visit (HIR::ClosureExprInner &expr)
429+
PrivacyReporter::visit (HIR::ClosureExpr &expr)
430430
{
431431
// Not handled yet
432432
}
@@ -442,12 +442,6 @@ PrivacyReporter::visit (HIR::BlockExpr &expr)
442442
last_expr->accept_vis (*this);
443443
}
444444

445-
void
446-
PrivacyReporter::visit (HIR::ClosureExprInnerTyped &expr)
447-
{
448-
// Not handled yet
449-
}
450-
451445
void
452446
PrivacyReporter::visit (HIR::ContinueExpr &expr)
453447
{}

‎gcc/rust/checks/errors/privacy/rust-privacy-reporter.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -83,8 +83,7 @@ types
8383

8484
virtual void visit (HIR::QualifiedPathInExpression &expr);
8585
virtual void visit (HIR::PathInExpression &expr);
86-
virtual void visit (HIR::ClosureExprInnerTyped &);
87-
virtual void visit (HIR::ClosureExprInner &expr);
86+
virtual void visit (HIR::ClosureExpr &expr);
8887
virtual void visit (HIR::StructExprStructFields &);
8988
virtual void visit (HIR::StructExprStruct &);
9089
virtual void visit (HIR::LiteralExpr &expr);

‎gcc/rust/checks/errors/rust-const-checker.cc

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -382,7 +382,7 @@ ConstChecker::visit (FieldAccessExpr &expr)
382382
}
383383

384384
void
385-
ConstChecker::visit (ClosureExprInner &expr)
385+
ConstChecker::visit (ClosureExpr &expr)
386386
{}
387387

388388
void
@@ -395,10 +395,6 @@ ConstChecker::visit (BlockExpr &expr)
395395
expr.get_final_expr ()->accept_vis (*this);
396396
}
397397

398-
void
399-
ConstChecker::visit (ClosureExprInnerTyped &expr)
400-
{}
401-
402398
void
403399
ConstChecker::visit (ContinueExpr &expr)
404400
{}

‎gcc/rust/checks/errors/rust-const-checker.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -111,9 +111,8 @@ class ConstChecker : public HIRFullVisitor
111111
virtual void visit (CallExpr &expr) override;
112112
virtual void visit (MethodCallExpr &expr) override;
113113
virtual void visit (FieldAccessExpr &expr) override;
114-
virtual void visit (ClosureExprInner &expr) override;
114+
virtual void visit (ClosureExpr &expr) override;
115115
virtual void visit (BlockExpr &expr) override;
116-
virtual void visit (ClosureExprInnerTyped &expr) override;
117116
virtual void visit (ContinueExpr &expr) override;
118117
virtual void visit (BreakExpr &expr) override;
119118
virtual void visit (RangeFromToExpr &expr) override;

‎gcc/rust/checks/errors/rust-unsafe-checker.cc

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -453,7 +453,7 @@ UnsafeChecker::visit (FieldAccessExpr &expr)
453453
}
454454

455455
void
456-
UnsafeChecker::visit (ClosureExprInner &expr)
456+
UnsafeChecker::visit (ClosureExpr &expr)
457457
{}
458458

459459
void
@@ -466,10 +466,6 @@ UnsafeChecker::visit (BlockExpr &expr)
466466
expr.get_final_expr ()->accept_vis (*this);
467467
}
468468

469-
void
470-
UnsafeChecker::visit (ClosureExprInnerTyped &expr)
471-
{}
472-
473469
void
474470
UnsafeChecker::visit (ContinueExpr &expr)
475471
{}

‎gcc/rust/checks/errors/rust-unsafe-checker.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -88,9 +88,8 @@ class UnsafeChecker : public HIRFullVisitor
8888
virtual void visit (CallExpr &expr) override;
8989
virtual void visit (MethodCallExpr &expr) override;
9090
virtual void visit (FieldAccessExpr &expr) override;
91-
virtual void visit (ClosureExprInner &expr) override;
91+
virtual void visit (ClosureExpr &expr) override;
9292
virtual void visit (BlockExpr &expr) override;
93-
virtual void visit (ClosureExprInnerTyped &expr) override;
9493
virtual void visit (ContinueExpr &expr) override;
9594
virtual void visit (BreakExpr &expr) override;
9695
virtual void visit (RangeFromToExpr &expr) override;

‎gcc/rust/hir/rust-ast-lower-base.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -313,6 +313,8 @@ class ASTLoweringBase : public AST::ASTVisitor
313313
HIR::Literal lower_literal (const AST::Literal &literal);
314314

315315
HIR::ExternBlock *lower_extern_block (AST::ExternBlock &extern_block);
316+
317+
HIR::ClosureParam lower_closure_param (AST::ClosureParam &param);
316318
};
317319

318320
} // namespace HIR

0 commit comments

Comments
 (0)