Merge pull request #53 from rust-lang/lvalue-remove

Add a way to remove a global
rust-lang · Apr 25, 2024 · 426316e · 426316e
2 parents 2482856 + 2d4800c
commit 426316e
Show file tree

Hide file tree

Showing 7 changed files with 40 additions and 10 deletions.
diff --git a/gcc/jit/jit-playback.cc b/gcc/jit/jit-playback.cc
@@ -776,7 +776,8 @@ global_new_decl (location *loc,
 		 enum global_var_flags flags,
 		 const std::vector<std::pair<gcc_jit_variable_attribute,
 					     std::string>> &attributes,
-		 bool readonly)
+		 bool readonly,
+                 bool removed)
 {
   gcc_assert (type);
   gcc_assert (name);
@@ -788,6 +789,8 @@ global_new_decl (location *loc,
 			   type_tree);
 
   TREE_PUBLIC (inner) = (kind != GCC_JIT_GLOBAL_INTERNAL);
+  if (removed)
+    TREE_ASM_WRITTEN (inner) = 1;
 
 
   int will_be_init = flags & (GLOBAL_VAR_FLAGS_WILL_BE_RVAL_INIT |
@@ -869,10 +872,11 @@ new_global (location *loc,
 	    enum global_var_flags flags,
 	    const std::vector<std::pair<gcc_jit_variable_attribute,
 					std::string>> &attributes,
-	    bool readonly)
+	    bool readonly,
+            bool removed)
 {
   tree inner =
-    global_new_decl (loc, kind, type, name, flags, attributes, readonly);
+    global_new_decl (loc, kind, type, name, flags, attributes, readonly, removed);
 
   return global_finalize_lvalue (inner);
 }
@@ -1020,9 +1024,10 @@ new_global_initialized (location *loc,
 			enum global_var_flags flags,
 			const std::vector<std::pair<gcc_jit_variable_attribute,
 						    std::string>> &attributes,
-			bool readonly)
+			bool readonly,
+                        bool removed)
 {
-  tree inner = global_new_decl (loc, kind, type, name, flags, attributes, readonly);
+  tree inner = global_new_decl (loc, kind, type, name, flags, attributes, readonly, removed);
 
   vec<constructor_elt, va_gc> *constructor_elements = NULL;
 

diff --git a/gcc/jit/jit-playback.h b/gcc/jit/jit-playback.h
@@ -137,7 +137,8 @@ class context : public log_user
 	      enum global_var_flags flags,
 	      const std::vector<std::pair<gcc_jit_variable_attribute,
 					  std::string>> &attributes,
-	      bool readonly);
+	      bool readonly,
+              bool removed);
 
   lvalue *
   new_global_initialized (location *loc,
@@ -152,7 +153,8 @@ class context : public log_user
 					    gcc_jit_variable_attribute,
 					    std::string>>
 					    &attributes,
-			  bool readonly);
+			  bool readonly,
+                          bool removed);
 
   rvalue *
   new_ctor (location *log,
@@ -362,7 +364,8 @@ class context : public log_user
 		   enum global_var_flags flags,
 		   const std::vector<std::pair<gcc_jit_variable_attribute,
 					       std::string>> &attributes,
-		   bool readonly);
+		   bool readonly,
+                   bool removed);
   lvalue *
   global_finalize_lvalue (tree inner);
 

diff --git a/gcc/jit/jit-recording.cc b/gcc/jit/jit-recording.cc
@@ -5407,14 +5407,16 @@ recording::global::replay_into (replayer *r)
 				 playback_string (m_name),
 				 m_flags,
 				 m_string_attributes,
-				 m_readonly)
+				 m_readonly,
+                                 m_removed)
     : r->new_global (playback_location (r, m_loc),
 		     m_kind,
 		     m_type->playback_type (),
 		     playback_string (m_name),
 		     m_flags,
 		     m_string_attributes,
-		     m_readonly);
+		     m_readonly,
+                     m_removed);
 
   if (m_tls_model != GCC_JIT_TLS_MODEL_NONE)
     global->set_tls_model (recording::tls_models[m_tls_model]);

diff --git a/gcc/jit/jit-recording.h b/gcc/jit/jit-recording.h
@@ -1455,6 +1455,11 @@ class lvalue : public rvalue
     m_readonly = true;
   }
 
+  void remove ()
+  {
+    m_removed = true;
+  }
+
   virtual const char *access_as_lvalue (reproducer &r);
   virtual bool is_global () const { return false; }
   virtual bool is_local () const { return false; }
@@ -1472,6 +1477,7 @@ class lvalue : public rvalue
   std::vector<std::pair<gcc_jit_variable_attribute,
 	      std::string>> m_string_attributes;
   bool m_readonly = false;
+  bool m_removed = false;
 };
 
 class param : public lvalue

diff --git a/gcc/jit/libgccjit.cc b/gcc/jit/libgccjit.cc
@@ -2007,6 +2007,12 @@ gcc_jit_rvalue_get_type (gcc_jit_rvalue *rvalue)
   return static_cast <gcc_jit_type *> (rvalue->get_type ());
 }
 
+void
+gcc_jit_lvalue_remove (gcc_jit_lvalue *lvalue)
+{
+  lvalue->remove ();
+}
+
 /* Verify that NUMERIC_TYPE is non-NULL, and that it is a "numeric"
    type i.e. it satisfies gcc::jit::type::is_numeric (), such as the
    result of gcc_jit_context_get_type (GCC_JIT_TYPE_INT).  */

diff --git a/gcc/jit/libgccjit.h b/gcc/jit/libgccjit.h
@@ -1079,6 +1079,9 @@ gcc_jit_rvalue_as_object (gcc_jit_rvalue *rvalue);
 extern gcc_jit_type *
 gcc_jit_rvalue_get_type (gcc_jit_rvalue *rvalue);
 
+extern void
+gcc_jit_lvalue_remove (gcc_jit_lvalue *lvalue);
+
 /* Integer constants. */
 extern gcc_jit_rvalue *
 gcc_jit_context_new_rvalue_from_int (gcc_jit_context *ctxt,

diff --git a/gcc/jit/libgccjit.map b/gcc/jit/libgccjit.map
@@ -362,3 +362,8 @@ LIBGCCJIT_ABI_40 {
   global:
     gcc_jit_type_is_floating_point;
 } LIBGCCJIT_ABI_39;
+
+LIBGCCJIT_ABI_41 {
+   global:
+    gcc_jit_lvalue_remove;
+} LIBGCCJIT_ABI_40;