Globals are no longer is_valid_ir_argument

JuliaLang/julia#56746.  Also call :slot and :static_parameter valid (for now)

Author: mlechu

src/linear_ir.jl

@@ -3,24 +3,15 @@
 
 function is_valid_ir_argument(ctx, ex)
     k = kind(ex)
-    if is_simple_atom(ctx, ex) || k == K"inert" || k == K"top" || k == K"core"
+    if is_simple_atom(ctx, ex) || k in KSet"inert top core quote"
         true
     elseif k == K"BindingId"
         binfo = lookup_binding(ctx, ex)
         bk = binfo.kind
         # TODO: Can we allow bk == :local || bk == :argument || bk == :static_parameter ???
         # Why does flisp seem to allow (slot) and (static_parameter), but these
         # aren't yet converted to by existing lowering??
-        if bk == :global
-            # Globals are nothrow when they are defined - we assume a previously
-            # defined global can never be set to undefined. (TODO: This could be
-            # broken when precompiling a module `B` in the presence of a badly
-            # behaved module `A`, which inconsistently defines globals during
-            # `A.__init__()`??)
-            is_defined_nothrow_global(binfo.mod, Symbol(binfo.name))
-        else
-            false
-        end
+        (bk == :slot || bk == :static_parameter)
     else
         false
     end