Merge #970

970: Add file!() builtin r=CohenArthur a=CohenArthur



Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>

Author: bors[bot]

gcc/rust/expand/rust-macro-builtins.cc

@@ -18,13 +18,35 @@
 
 #include "rust-macro-builtins.h"
 #include "rust-diagnostics.h"
+#include "rust-expr.h"
+#include "rust-session-manager.h"
 
 namespace Rust {
+namespace {
+std::unique_ptr<AST::Expr>
+make_string (Location locus, std::string value)
+{
+  return std::unique_ptr<AST::Expr> (
+    new AST::LiteralExpr (value, AST::Literal::STRING,
+			  PrimitiveCoreType::CORETYPE_STR, {}, locus));
+}
+} // namespace
+
 AST::ASTFragment
 MacroBuiltin::assert (Location invoc_locus, AST::MacroInvocData &invoc)
 {
   rust_debug ("assert!() called");
 
   return AST::ASTFragment::create_empty ();
 }
+
+AST::ASTFragment
+MacroBuiltin::file (Location invoc_locus, AST::MacroInvocData &invoc)
+{
+  auto current_file
+    = Session::get_instance ().linemap->location_file (invoc_locus);
+  auto file_str = AST::SingleASTNode (make_string (invoc_locus, current_file));
+
+  return AST::ASTFragment ({file_str});
+}
 } // namespace Rust

gcc/rust/expand/rust-macro-builtins.h

@@ -28,6 +28,9 @@ class MacroBuiltin
 public:
   static AST::ASTFragment assert (Location invoc_locus,
 				  AST::MacroInvocData &invoc);
+
+  static AST::ASTFragment file (Location invoc_locus,
+				AST::MacroInvocData &invoc);
 };
 } // namespace Rust
 

gcc/rust/util/rust-hir-map.cc

@@ -746,6 +746,7 @@ Mappings::insert_macro_def (AST::MacroRulesDefinition *macro)
 				 Location, AST::MacroInvocData &)>>
     builtin_macros = {
       {"assert", MacroBuiltin::assert},
+      {"file", MacroBuiltin::file},
     };
 
   auto builtin = builtin_macros.find (macro->get_rule_name ());

gcc/testsuite/rust/execute/torture/builtin_macros1.rs

@@ -0,0 +1,18 @@
+// { dg-output "rust/execute/torture/builtin_macros1.rs" }
+macro_rules! file {
+    () => {{}};
+}
+
+extern "C" {
+    fn printf(fmt: *const i8, ...);
+}
+
+fn print(s: &str) {
+    printf("%s\n\0" as *const str as *const i8, s);
+}
+
+fn main() -> i32 {
+    print(file!());
+
+    0
+}