chore(ssa): Do not run Brillig entry point analysis when no globals have been declared

compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_globals.rs

@@ -186,6 +186,13 @@ impl BrilligGlobals {
         &self,
         brillig_function_id: FunctionId,
     ) -> Option<(&SsaToBrilligGlobals, &HoistedConstantsToBrilligGlobals)> {
+        // Check whether the user has declared any globals.
+        // If not we want to override the fetching of globals which relies on having performed
+        // entry point specialization. We skip entry point specialization if there are no globals.
+        if self.used_globals.values().all(|globals| globals.is_empty()) {
+            return None;
+        }
+
         // Check whether `brillig_function_id` is itself an entry point.
         // If so, return the global allocations directly.
         let entry_point_globals = self.get_entry_point_globals(&brillig_function_id);

compiler/noirc_evaluator/src/ssa/opt/brillig_entry_points.rs

@@ -80,6 +80,15 @@ impl Ssa {
             return self;
         }
 
+        // Check whether any globals have been declared. If not, we do not need to run this pass.
+        if !self
+            .functions
+            .values()
+            .any(|function| function.dfg.globals.values_iter().next().is_some())
+        {
+            return self;
+        }
+
         let brillig_entry_points = get_brillig_entry_points(&self.functions, self.main_id);
 
         let functions_to_clone_map = build_functions_to_clone(&brillig_entry_points);