Added support for unordered operations over global-accessing functions. Call array builtins, and any user-function "f(...)" that take globals as arguments, with f(...) to ignore effects in that function call. Any use of the unordered tag will fail well-formedness checks for a pipelined target (e.g., tofino) but is fine for non-pipelined targets (e.g., CPU-based).
Added support for unordered operations over global-accessing functions. Call array builtins, and any user-function "f(...)" that take globals as arguments, with f(...) to ignore effects in that function call. Any use of the unordered tag will fail well-formedness checks for a pipelined target (e.g., tofino) but is fine for non-pipelined targets (e.g., CPU-based).