diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index fb21536c4..c6eb6c29a 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -588,11 +588,14 @@ and xlate_global : x -> Llvm.llvalue -> Global.t =
          its own initializer *)
       Hashtbl.set memo_global ~key:llg ~data:(Global.mk g typ loc) ;
       let init =
-        match (Llvm.classify_value llg, Llvm.global_initializer llg) with
-        | GlobalVariable, Some llinit ->
-            let siz = size_of x (Llvm.element_type llt) in
-            let init = xlate_value x llinit in
-            Some (init, siz)
+        match Llvm.classify_value llg with
+        | GlobalVariable -> (
+          match Llvm.global_initializer llg with
+          | Some llinit ->
+              let siz = size_of x (Llvm.element_type llt) in
+              let init = xlate_value x llinit in
+              Some (init, siz)
+          | _ -> None )
         | _ -> None
       in
       Global.mk ?init g typ loc