@sml_check_flag=external local_unnamed_addr global i32
@_SMLZN19DatatypeCompilation8emptyEnvE=external local_unnamed_addr global i8*
@_SMLZN3Bug3BugE=external local_unnamed_addr global i8*
@a=private unnamed_addr constant<{[4x i8],i32,[75x i8]}><{[4x i8]zeroinitializer,i32 -2147483573,[75x i8]c"src/compiler/compilePhases/recordcompilation/main/ReifyKind.sml:22.19(561)\00"}>,align 8
@b=private unnamed_addr constant<{[4x i8],i32,[18x i8]}><{[4x i8]zeroinitializer,i32 -2147483630,[18x i8]c"ReifyKind.compare\00"}>,align 8
@c=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i32(i8*)*@_SMLFN9ReifyKind7compareE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind7compareE_56 to void(...)*),i32 -2147483647}>,align 8
@d=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN9ReifyKind12generateArgsE_41 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind12generateArgsE_57 to void(...)*),i32 -2147483647}>,align 8
@e=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLFN9ReifyKind11singletonTyE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind11singletonTyE_61 to void(...)*),i32 -2147483647}>,align 8
@_SMLZN9ReifyKind11singletonTyE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@e,i64 0,i32 2)to i8*)
@f=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLFN9ReifyKind12generateArgsE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind12generateArgsE_62 to void(...)*),i32 -2147483647}>,align 8
@_SMLZN9ReifyKind12generateArgsE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@f,i64 0,i32 2)to i8*)
@_SMLZN9ReifyKind7compareE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@c,i64 0,i32 2)to i8*)
@g=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLFN9ReifyKind16generateInstanceE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind16generateInstanceE_63 to void(...)*),i32 -2147483647}>,align 8
@_SMLZN9ReifyKind16generateInstanceE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@g,i64 0,i32 2)to i8*)
@_SML_ftaba6a72cad5d4b33fd_ReifyKind=external global i8
@h=private unnamed_addr global i8 0
declare void@llvm.gcroot(i8**,i8*)#0
declare i8*@sml_alloc(i32 inreg)local_unnamed_addr#0
declare void@sml_check(i32 inreg)local_unnamed_addr
declare void@sml_gcroot(i8*,void()*,i8*,i8*)local_unnamed_addr#0
declare void@sml_raise(i8*inreg)local_unnamed_addr#1
declare i8*@_SMLFN11TypesBasics7derefTyE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN13TyToReifiedTy4toTyE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i32@_SMLFN14BoundTypeVarID7compareE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN19DatatypeCompilation10compileExpE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN7ReifyTy15TyRepWithLookUpE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_maineaa0aca8fbe4101a_Bug()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main7374574ddb619c6a_LocalID()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main2aaf2b808f82ee2e_TypesBasics()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_mainb86fd17618648356_TyToReifiedTy()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_maincf2a601f54fda40e_ReifyTy()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_maind79dd64f2e886d15_DatatypeCompilation()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_loadeaa0aca8fbe4101a_Bug(i8*)local_unnamed_addr
declare void@_SML_load7374574ddb619c6a_LocalID(i8*)local_unnamed_addr
declare void@_SML_load2aaf2b808f82ee2e_TypesBasics(i8*)local_unnamed_addr
declare void@_SML_loadb86fd17618648356_TyToReifiedTy(i8*)local_unnamed_addr
declare void@_SML_loadcf2a601f54fda40e_ReifyTy(i8*)local_unnamed_addr
declare void@_SML_loadd79dd64f2e886d15_DatatypeCompilation(i8*)local_unnamed_addr
define private void@_SML_tabba6a72cad5d4b33fd_ReifyKind()#3{
unreachable
}
define void@_SML_loada6a72cad5d4b33fd_ReifyKind(i8*%a)local_unnamed_addr#0{
%b=load i8,i8*@h,align 1
%c=icmp eq i8%b,0
br i1%c,label%e,label%d
d:
ret void
e:
store i8 1,i8*@h,align 1
tail call void@_SML_loadeaa0aca8fbe4101a_Bug(i8*%a)#0
tail call void@_SML_load7374574ddb619c6a_LocalID(i8*%a)#0
tail call void@_SML_load2aaf2b808f82ee2e_TypesBasics(i8*%a)#0
tail call void@_SML_loadb86fd17618648356_TyToReifiedTy(i8*%a)#0
tail call void@_SML_loadcf2a601f54fda40e_ReifyTy(i8*%a)#0
tail call void@_SML_loadd79dd64f2e886d15_DatatypeCompilation(i8*%a)#0
tail call void@sml_gcroot(i8*%a,void()*@_SML_tabba6a72cad5d4b33fd_ReifyKind,i8*@_SML_ftaba6a72cad5d4b33fd_ReifyKind,i8*null)#0
ret void
}
define void@_SML_maina6a72cad5d4b33fd_ReifyKind()local_unnamed_addr#2 gc"smlsharp"{
%a=load i8,i8*@h,align 1
%b=and i8%a,2
%c=icmp eq i8%b,0
br i1%c,label%e,label%d
d:
ret void
e:
store i8 3,i8*@h,align 1
tail call void@_SML_maineaa0aca8fbe4101a_Bug()#2
tail call void@_SML_main7374574ddb619c6a_LocalID()#2
tail call void@_SML_main2aaf2b808f82ee2e_TypesBasics()#2
tail call void@_SML_mainb86fd17618648356_TyToReifiedTy()#2
tail call void@_SML_maincf2a601f54fda40e_ReifyTy()#2
tail call void@_SML_maind79dd64f2e886d15_DatatypeCompilation()#2
br label%d
}
define fastcc i32@_SMLFN9ReifyKind7compareE(i8*inreg%a)#2 gc"smlsharp"{
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%f,label%h
f:
%g=bitcast i8*%a to i8**
br label%k
h:
call void@sml_check(i32 inreg%d)
%i=bitcast i8**%b to i8***
%j=load i8**,i8***%i,align 8
br label%k
k:
%l=phi i8**[%j,%h],[%g,%f]
%m=load i8*,i8**%l,align 8
%n=call fastcc i8*@_SMLFN11TypesBasics7derefTyE(i8*inreg%m)
store i8*%n,i8**%c,align 8
%o=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%p=getelementptr inbounds i8,i8*%o,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=call fastcc i8*@_SMLFN11TypesBasics7derefTyE(i8*inreg%r)
store i8*%s,i8**%b,align 8
%t=call i8*@sml_alloc(i32 inreg 20)#0
%u=getelementptr inbounds i8,i8*%t,i64 -4
%v=bitcast i8*%u to i32*
store i32 1342177296,i32*%v,align 4
%w=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%x=bitcast i8*%t to i8**
store i8*%w,i8**%x,align 8
%y=load i8*,i8**%b,align 8
%z=getelementptr inbounds i8,i8*%t,i64 8
%A=bitcast i8*%z to i8**
store i8*%y,i8**%A,align 8
%B=getelementptr inbounds i8,i8*%t,i64 16
%C=bitcast i8*%B to i32*
store i32 3,i32*%C,align 4
%D=icmp eq i8*%w,null
br i1%D,label%ae,label%E
E:
%F=bitcast i8*%w to i32*
%G=load i32,i32*%F,align 4
%H=icmp eq i32%G,1
br i1%H,label%I,label%ae
I:
%J=getelementptr inbounds i8,i8*%w,i64 4
%K=bitcast i8*%J to i32*
%L=load i32,i32*%K,align 4
%M=icmp eq i8*%y,null
br i1%M,label%ae,label%N
N:
%O=bitcast i8*%y to i32*
%P=load i32,i32*%O,align 4
%Q=icmp eq i32%P,1
br i1%Q,label%R,label%ae
R:
%S=getelementptr inbounds i8,i8*%y,i64 4
%T=bitcast i8*%S to i32*
%U=load i32,i32*%T,align 4
%V=call i8*@sml_alloc(i32 inreg 12)#0
%W=bitcast i8*%V to i32*
%X=getelementptr inbounds i8,i8*%V,i64 -4
%Y=bitcast i8*%X to i32*
store i32 1342177288,i32*%Y,align 4
store i32%L,i32*%W,align 4
%Z=getelementptr inbounds i8,i8*%V,i64 4
%aa=bitcast i8*%Z to i32*
store i32%U,i32*%aa,align 4
%ab=getelementptr inbounds i8,i8*%V,i64 8
%ac=bitcast i8*%ab to i32*
store i32 0,i32*%ac,align 4
%ad=tail call fastcc i32@_SMLFN14BoundTypeVarID7compareE(i8*inreg%V)
ret i32%ad
ae:
%af=load i8*,i8**@_SMLZN3Bug3BugE,align 8
store i8*%af,i8**%b,align 8
%ag=call i8*@sml_alloc(i32 inreg 28)#0
%ah=getelementptr inbounds i8,i8*%ag,i64 -4
%ai=bitcast i8*%ah to i32*
store i32 1342177304,i32*%ai,align 4
store i8*%ag,i8**%c,align 8
%aj=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%ak=bitcast i8*%ag to i8**
store i8*%aj,i8**%ak,align 8
%al=getelementptr inbounds i8,i8*%ag,i64 8
%am=bitcast i8*%al to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[75x i8]}>,<{[4x i8],i32,[75x i8]}>*@a,i64 0,i32 2,i64 0),i8**%am,align 8
%an=getelementptr inbounds i8,i8*%ag,i64 16
%ao=bitcast i8*%an to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[18x i8]}>,<{[4x i8],i32,[18x i8]}>*@b,i64 0,i32 2,i64 0),i8**%ao,align 8
%ap=getelementptr inbounds i8,i8*%ag,i64 24
%aq=bitcast i8*%ap to i32*
store i32 7,i32*%aq,align 4
%ar=call i8*@sml_alloc(i32 inreg 60)#0
%as=getelementptr inbounds i8,i8*%ar,i64 -4
%at=bitcast i8*%as to i32*
store i32 1342177336,i32*%at,align 4
%au=getelementptr inbounds i8,i8*%ar,i64 56
%av=bitcast i8*%au to i32*
store i32 1,i32*%av,align 4
%aw=load i8*,i8**%c,align 8
%ax=bitcast i8*%ar to i8**
store i8*%aw,i8**%ax,align 8
call void@sml_raise(i8*inreg%ar)#1
unreachable
}
define internal fastcc i8*@_SMLLN9ReifyKind12generateArgsE_41(i8*inreg%a)#4 gc"smlsharp"{
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
%d=getelementptr inbounds i8,i8*%a,i64 4
%e=bitcast i8*%d to i32*
%f=load i32,i32*%e,align 4
%g=icmp eq i32%f,0
br i1%g,label%M,label%h
h:
%i=bitcast i8*%a to i32*
%j=load i32,i32*%i,align 4
%k=call i8*@sml_alloc(i32 inreg 12)#0
%l=bitcast i8*%k to i32*
%m=getelementptr inbounds i8,i8*%k,i64 -4
%n=bitcast i8*%m to i32*
store i32 1342177288,i32*%n,align 4
store i8*%k,i8**%b,align 8
store i32 1,i32*%l,align 4
%o=getelementptr inbounds i8,i8*%k,i64 4
%p=bitcast i8*%o to i32*
store i32%j,i32*%p,align 4
%q=getelementptr inbounds i8,i8*%k,i64 8
%r=bitcast i8*%q to i32*
store i32 0,i32*%r,align 4
%s=call i8*@sml_alloc(i32 inreg 20)#0
%t=getelementptr inbounds i8,i8*%s,i64 -4
%u=bitcast i8*%t to i32*
store i32 1342177296,i32*%u,align 4
store i8*%s,i8**%c,align 8
%v=getelementptr inbounds i8,i8*%s,i64 4
%w=bitcast i8*%v to i32*
store i32 0,i32*%w,align 1
%x=bitcast i8*%s to i32*
store i32 2,i32*%x,align 4
%y=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%z=getelementptr inbounds i8,i8*%s,i64 8
%A=bitcast i8*%z to i8**
store i8*%y,i8**%A,align 8
%B=getelementptr inbounds i8,i8*%s,i64 16
%C=bitcast i8*%B to i32*
store i32 2,i32*%C,align 4
%D=call i8*@sml_alloc(i32 inreg 20)#0
%E=getelementptr inbounds i8,i8*%D,i64 -4
%F=bitcast i8*%E to i32*
store i32 1342177296,i32*%F,align 4
%G=load i8*,i8**%c,align 8
%H=bitcast i8*%D to i8**
store i8*%G,i8**%H,align 8
%I=getelementptr inbounds i8,i8*%D,i64 8
%J=bitcast i8*%I to i8**
store i8*null,i8**%J,align 8
%K=getelementptr inbounds i8,i8*%D,i64 16
%L=bitcast i8*%K to i32*
store i32 3,i32*%L,align 4
ret i8*%D
M:
ret i8*null
}
define internal fastcc i8*@_SMLL8tyRepExp_45(i8*inreg%a,i32 inreg%b)#2 gc"smlsharp"{
%c=alloca i8*,align 8
%d=alloca i8*,align 8
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
store i8*%a,i8**%c,align 8
%e=load atomic i32,i32*@sml_check_flag unordered,align 4
%f=icmp eq i32%e,0
br i1%f,label%g,label%i
g:
%h=bitcast i8*%a to i8**
br label%l
i:
call void@sml_check(i32 inreg%e)
%j=bitcast i8**%c to i8***
%k=load i8**,i8***%j,align 8
br label%l
l:
%m=phi i8**[%k,%i],[%h,%g]
%n=load i8*,i8**%m,align 8
%o=getelementptr inbounds i8,i8*%n,i64 8
%p=bitcast i8*%o to i8**
%q=load i8*,i8**%p,align 8
%r=getelementptr inbounds i8,i8*%q,i64 16
%s=bitcast i8*%r to i8*(i8*,i8*)**
%t=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%s,align 8
%u=bitcast i8*%q to i8**
%v=load i8*,i8**%u,align 8
store i8*%v,i8**%c,align 8
%w=call i8*@sml_alloc(i32 inreg 12)#0
%x=bitcast i8*%w to i32*
%y=getelementptr inbounds i8,i8*%w,i64 -4
%z=bitcast i8*%y to i32*
store i32 1342177288,i32*%z,align 4
store i8*%w,i8**%d,align 8
store i32 1,i32*%x,align 4
%A=getelementptr inbounds i8,i8*%w,i64 4
%B=bitcast i8*%A to i32*
store i32%b,i32*%B,align 4
%C=getelementptr inbounds i8,i8*%w,i64 8
%D=bitcast i8*%C to i32*
store i32 0,i32*%D,align 4
%E=call i8*@sml_alloc(i32 inreg 20)#0
%F=bitcast i8*%E to i32*
%G=getelementptr inbounds i8,i8*%E,i64 -4
%H=bitcast i8*%G to i32*
store i32 1342177296,i32*%H,align 4
%I=getelementptr inbounds i8,i8*%E,i64 4
%J=bitcast i8*%I to i32*
store i32 0,i32*%J,align 1
store i32 2,i32*%F,align 4
%K=load i8*,i8**%d,align 8
%L=getelementptr inbounds i8,i8*%E,i64 8
%M=bitcast i8*%L to i8**
store i8*%K,i8**%M,align 8
%N=getelementptr inbounds i8,i8*%E,i64 16
%O=bitcast i8*%N to i32*
store i32 2,i32*%O,align 4
%P=load i8*,i8**%c,align 8
%Q=tail call fastcc i8*%t(i8*inreg%P,i8*inreg%E)
ret i8*%Q
}
define internal fastcc i8*@_SMLLN9ReifyKind16generateInstanceE_46(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
o:
%c=alloca i8*,align 8
%d=alloca i8*,align 8
%e=alloca i8*,align 8
%f=alloca i8*,align 8
%g=alloca i8*,align 8
%h=alloca i8*,align 8
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
call void@llvm.gcroot(i8**%e,i8*null)#0
call void@llvm.gcroot(i8**%f,i8*null)#0
call void@llvm.gcroot(i8**%g,i8*null)#0
call void@llvm.gcroot(i8**%h,i8*null)#0
store i8*%a,i8**%f,align 8
store i8*%b,i8**%c,align 8
%i=load atomic i32,i32*@sml_check_flag unordered,align 4
%j=icmp eq i32%i,0
br i1%j,label%m,label%k
k:
call void@sml_check(i32 inreg%i)
%l=load i8*,i8**%c,align 8
br label%m
m:
%n=phi i8*[%l,%k],[%b,%o]
store i8*null,i8**%c,align 8
store i8*%n,i8**%e,align 8
%p=call fastcc i8*@_SMLFN13TyToReifiedTy4toTyE(i8*inreg%n)
%q=getelementptr inbounds i8,i8*%p,i64 16
%r=bitcast i8*%q to i8*(i8*,i8*)**
%s=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%r,align 8
%t=bitcast i8*%p to i8**
%u=load i8*,i8**%t,align 8
%v=load i8*,i8**%f,align 8
%w=getelementptr inbounds i8,i8*%v,i64 8
%x=bitcast i8*%w to i8**
%y=load i8*,i8**%x,align 8
%z=call fastcc i8*%s(i8*inreg%u,i8*inreg%y)
store i8*%z,i8**%c,align 8
%A=bitcast i8**%f to i8***
%B=load i8**,i8***%A,align 8
%C=load i8*,i8**%B,align 8
store i8*%C,i8**%d,align 8
%D=call i8*@sml_alloc(i32 inreg 12)#0
%E=getelementptr inbounds i8,i8*%D,i64 -4
%F=bitcast i8*%E to i32*
store i32 1342177288,i32*%F,align 4
store i8*%D,i8**%g,align 8
%G=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%H=bitcast i8*%D to i8**
store i8*%G,i8**%H,align 8
%I=getelementptr inbounds i8,i8*%D,i64 8
%J=bitcast i8*%I to i32*
store i32 1,i32*%J,align 4
%K=call i8*@sml_alloc(i32 inreg 28)#0
%L=getelementptr inbounds i8,i8*%K,i64 -4
%M=bitcast i8*%L to i32*
store i32 1342177304,i32*%M,align 4
%N=load i8*,i8**%g,align 8
store i8*null,i8**%g,align 8
%O=bitcast i8*%K to i8**
store i8*%N,i8**%O,align 8
%P=getelementptr inbounds i8,i8*%K,i64 8
%Q=bitcast i8*%P to void(...)**
store void(...)*bitcast(i8*(i8*,i32)*@_SMLL8tyRepExp_45 to void(...)*),void(...)**%Q,align 8
%R=getelementptr inbounds i8,i8*%K,i64 16
%S=bitcast i8*%R to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLL8tyRepExp_59 to void(...)*),void(...)**%S,align 8
%T=getelementptr inbounds i8,i8*%K,i64 24
%U=bitcast i8*%T to i32*
store i32 -2147483647,i32*%U,align 4
%V=call fastcc i8*@_SMLFN7ReifyTy15TyRepWithLookUpE(i8*inreg%K)
%W=getelementptr inbounds i8,i8*%V,i64 16
%X=bitcast i8*%W to i8*(i8*,i8*)**
%Y=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%X,align 8
%Z=bitcast i8*%V to i8**
%aa=load i8*,i8**%Z,align 8
%ab=load i8*,i8**%e,align 8
%ac=call fastcc i8*%Y(i8*inreg%aa,i8*inreg%ab)
%ad=getelementptr inbounds i8,i8*%ac,i64 16
%ae=bitcast i8*%ad to i8*(i8*,i8*)**
%af=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ae,align 8
%ag=bitcast i8*%ac to i8**
%ah=load i8*,i8**%ag,align 8
%ai=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%aj=call fastcc i8*%af(i8*inreg%ah,i8*inreg%ai)
store i8*%aj,i8**%c,align 8
%ak=load i8*,i8**@_SMLZN19DatatypeCompilation8emptyEnvE,align 8
%al=call fastcc i8*@_SMLFN19DatatypeCompilation10compileExpE(i8*inreg%ak)
%am=getelementptr inbounds i8,i8*%al,i64 16
%an=bitcast i8*%am to i8*(i8*,i8*)**
%ao=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%an,align 8
%ap=bitcast i8*%al to i8**
%aq=load i8*,i8**%ap,align 8
%ar=bitcast i8**%c to i8***
%as=load i8**,i8***%ar,align 8
%at=load i8*,i8**%as,align 8
%au=call fastcc i8*%ao(i8*inreg%aq,i8*inreg%at)
store i8*%au,i8**%d,align 8
%av=load i8*,i8**%c,align 8
%aw=getelementptr inbounds i8,i8*%av,i64 8
%ax=bitcast i8*%aw to i8**
%ay=load i8*,i8**%ax,align 8
store i8*%ay,i8**%c,align 8
%az=load i8*,i8**%f,align 8
%aA=getelementptr inbounds i8,i8*%az,i64 8
%aB=bitcast i8*%aA to i8**
%aC=load i8*,i8**%aB,align 8
store i8*%aC,i8**%f,align 8
%aD=call i8*@sml_alloc(i32 inreg 20)#0
%aE=getelementptr inbounds i8,i8*%aD,i64 -4
%aF=bitcast i8*%aE to i32*
store i32 1342177296,i32*%aF,align 4
store i8*%aD,i8**%g,align 8
%aG=getelementptr inbounds i8,i8*%aD,i64 4
%aH=bitcast i8*%aG to i32*
store i32 0,i32*%aH,align 1
%aI=bitcast i8*%aD to i32*
store i32 2,i32*%aI,align 4
%aJ=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%aK=getelementptr inbounds i8,i8*%aD,i64 8
%aL=bitcast i8*%aK to i8**
store i8*%aJ,i8**%aL,align 8
%aM=getelementptr inbounds i8,i8*%aD,i64 16
%aN=bitcast i8*%aM to i32*
store i32 2,i32*%aN,align 4
%aO=call i8*@sml_alloc(i32 inreg 20)#0
%aP=getelementptr inbounds i8,i8*%aO,i64 -4
%aQ=bitcast i8*%aP to i32*
store i32 1342177296,i32*%aQ,align 4
store i8*%aO,i8**%h,align 8
%aR=getelementptr inbounds i8,i8*%aO,i64 4
%aS=bitcast i8*%aR to i32*
store i32 0,i32*%aS,align 1
%aT=bitcast i8*%aO to i32*
store i32 9,i32*%aT,align 4
%aU=load i8*,i8**%g,align 8
store i8*null,i8**%g,align 8
%aV=getelementptr inbounds i8,i8*%aO,i64 8
%aW=bitcast i8*%aV to i8**
store i8*%aU,i8**%aW,align 8
%aX=getelementptr inbounds i8,i8*%aO,i64 16
%aY=bitcast i8*%aX to i32*
store i32 2,i32*%aY,align 4
%aZ=call i8*@sml_alloc(i32 inreg 44)#0
%a0=getelementptr inbounds i8,i8*%aZ,i64 -4
%a1=bitcast i8*%a0 to i32*
store i32 1342177320,i32*%a1,align 4
store i8*%aZ,i8**%f,align 8
%a2=getelementptr inbounds i8,i8*%aZ,i64 4
%a3=bitcast i8*%a2 to i32*
store i32 0,i32*%a3,align 1
%a4=bitcast i8*%aZ to i32*
store i32 1,i32*%a4,align 4
%a5=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%a6=getelementptr inbounds i8,i8*%aZ,i64 8
%a7=bitcast i8*%a6 to i8**
store i8*%a5,i8**%a7,align 8
%a8=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%a9=getelementptr inbounds i8,i8*%aZ,i64 16
%ba=bitcast i8*%a9 to i8**
store i8*%a8,i8**%ba,align 8
%bb=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%bc=getelementptr inbounds i8,i8*%aZ,i64 24
%bd=bitcast i8*%bc to i8**
store i8*%bb,i8**%bd,align 8
%be=load i8*,i8**%h,align 8
store i8*null,i8**%h,align 8
%bf=getelementptr inbounds i8,i8*%aZ,i64 32
%bg=bitcast i8*%bf to i8**
store i8*%be,i8**%bg,align 8
%bh=getelementptr inbounds i8,i8*%aZ,i64 40
%bi=bitcast i8*%bh to i32*
store i32 30,i32*%bi,align 4
%bj=call i8*@sml_alloc(i32 inreg 20)#0
%bk=getelementptr inbounds i8,i8*%bj,i64 -4
%bl=bitcast i8*%bk to i32*
store i32 1342177296,i32*%bl,align 4
store i8*%bj,i8**%c,align 8
%bm=getelementptr inbounds i8,i8*%bj,i64 4
%bn=bitcast i8*%bm to i32*
store i32 0,i32*%bn,align 1
%bo=bitcast i8*%bj to i32*
store i32 2,i32*%bo,align 4
%bp=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%bq=getelementptr inbounds i8,i8*%bj,i64 8
%br=bitcast i8*%bq to i8**
store i8*%bp,i8**%br,align 8
%bs=getelementptr inbounds i8,i8*%bj,i64 16
%bt=bitcast i8*%bs to i32*
store i32 2,i32*%bt,align 4
%bu=call i8*@sml_alloc(i32 inreg 12)#0
%bv=getelementptr inbounds i8,i8*%bu,i64 -4
%bw=bitcast i8*%bv to i32*
store i32 1342177288,i32*%bw,align 4
%bx=load i8*,i8**%c,align 8
%by=bitcast i8*%bu to i8**
store i8*%bx,i8**%by,align 8
%bz=getelementptr inbounds i8,i8*%bu,i64 8
%bA=bitcast i8*%bz to i32*
store i32 1,i32*%bA,align 4
ret i8*%bu
}
define internal fastcc i8*@_SMLLN9ReifyKind16generateInstanceE_47(i8*inreg%a,i8*inreg%b)#4 gc"smlsharp"{
%c=alloca i8*,align 8
%d=alloca i8*,align 8
%e=alloca i8*,align 8
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
call void@llvm.gcroot(i8**%e,i8*null)#0
store i8*%b,i8**%c,align 8
%f=bitcast i8*%a to i8**
%g=load i8*,i8**%f,align 8
store i8*%g,i8**%d,align 8
%h=call i8*@sml_alloc(i32 inreg 20)#0
%i=getelementptr inbounds i8,i8*%h,i64 -4
%j=bitcast i8*%i to i32*
store i32 1342177296,i32*%j,align 4
store i8*%h,i8**%e,align 8
%k=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%l=bitcast i8*%h to i8**
store i8*%k,i8**%l,align 8
%m=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%n=getelementptr inbounds i8,i8*%h,i64 8
%o=bitcast i8*%n to i8**
store i8*%m,i8**%o,align 8
%p=getelementptr inbounds i8,i8*%h,i64 16
%q=bitcast i8*%p to i32*
store i32 3,i32*%q,align 4
%r=call i8*@sml_alloc(i32 inreg 28)#0
%s=getelementptr inbounds i8,i8*%r,i64 -4
%t=bitcast i8*%s to i32*
store i32 1342177304,i32*%t,align 4
%u=load i8*,i8**%e,align 8
%v=bitcast i8*%r to i8**
store i8*%u,i8**%v,align 8
%w=getelementptr inbounds i8,i8*%r,i64 8
%x=bitcast i8*%w to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind16generateInstanceE_46 to void(...)*),void(...)**%x,align 8
%y=getelementptr inbounds i8,i8*%r,i64 16
%z=bitcast i8*%y to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind16generateInstanceE_46 to void(...)*),void(...)**%z,align 8
%A=getelementptr inbounds i8,i8*%r,i64 24
%B=bitcast i8*%A to i32*
store i32 -2147483647,i32*%B,align 4
ret i8*%r
}
define fastcc i8*@_SMLFN9ReifyKind11singletonTyE(i8*inreg%a)#4 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=call i8*@sml_alloc(i32 inreg 20)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 1342177296,i32*%f,align 4
%g=getelementptr inbounds i8,i8*%c,i64 4
%h=bitcast i8*%g to i32*
store i32 0,i32*%h,align 1
store i32 2,i32*%d,align 4
%i=load i8*,i8**%b,align 8
%j=getelementptr inbounds i8,i8*%c,i64 8
%k=bitcast i8*%j to i8**
store i8*%i,i8**%k,align 8
%l=getelementptr inbounds i8,i8*%c,i64 16
%m=bitcast i8*%l to i32*
store i32 2,i32*%m,align 4
ret i8*%c
}
define fastcc i8*@_SMLFN9ReifyKind12generateArgsE(i8*inreg%a)#2 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%f,label%e
e:
call void@sml_check(i32 inreg%c)
br label%f
f:
ret i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@d,i64 0,i32 2)to i8*)
}
define fastcc i8*@_SMLFN9ReifyKind16generateInstanceE(i8*inreg%a)#2 gc"smlsharp"{
k:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
call void@llvm.gcroot(i8**%d,i8*null)#0
store i8*%a,i8**%d,align 8
%e=load atomic i32,i32*@sml_check_flag unordered,align 4
%f=icmp eq i32%e,0
br i1%f,label%i,label%g
g:
call void@sml_check(i32 inreg%e)
%h=load i8*,i8**%d,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%a,%k]
store i8*null,i8**%d,align 8
%l=bitcast i8**%b to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%l)
%m=bitcast i8**%c to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%m)
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%j,i8**%b,align 8
%n=call i8*@sml_alloc(i32 inreg 12)#0
%o=getelementptr inbounds i8,i8*%n,i64 -4
%p=bitcast i8*%o to i32*
store i32 1342177288,i32*%p,align 4
store i8*%n,i8**%c,align 8
%q=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%r=bitcast i8*%n to i8**
store i8*%q,i8**%r,align 8
%s=getelementptr inbounds i8,i8*%n,i64 8
%t=bitcast i8*%s to i32*
store i32 1,i32*%t,align 4
%u=call i8*@sml_alloc(i32 inreg 28)#0
%v=getelementptr inbounds i8,i8*%u,i64 -4
%w=bitcast i8*%v to i32*
store i32 1342177304,i32*%w,align 4
%x=load i8*,i8**%c,align 8
%y=bitcast i8*%u to i8**
store i8*%x,i8**%y,align 8
%z=getelementptr inbounds i8,i8*%u,i64 8
%A=bitcast i8*%z to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind16generateInstanceE_47 to void(...)*),void(...)**%A,align 8
%B=getelementptr inbounds i8,i8*%u,i64 16
%C=bitcast i8*%B to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN9ReifyKind16generateInstanceE_47 to void(...)*),void(...)**%C,align 8
%D=getelementptr inbounds i8,i8*%u,i64 24
%E=bitcast i8*%D to i32*
store i32 -2147483647,i32*%E,align 4
call void@llvm.lifetime.end.p0i8(i64 8,i8*%l)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%m)
ret i8*%u
}
define internal fastcc i8*@_SMLLN9ReifyKind7compareE_56(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i32@_SMLFN9ReifyKind7compareE(i8*inreg%b)
%d=tail call i8*@sml_alloc(i32 inreg 4)#0
%e=bitcast i8*%d to i32*
%f=getelementptr inbounds i8,i8*%d,i64 -4
%g=bitcast i8*%f to i32*
store i32 4,i32*%g,align 4
store i32%c,i32*%e,align 4
ret i8*%d
}
define internal fastcc i8*@_SMLLN9ReifyKind12generateArgsE_57(i8*inreg%a,i8*inreg%b)#4 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN9ReifyKind12generateArgsE_41(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLL8tyRepExp_59(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=bitcast i8*%b to i32*
%d=load i32,i32*%c,align 4
%e=tail call fastcc i8*@_SMLL8tyRepExp_45(i8*inreg%a,i32 inreg%d)
ret i8*%e
}
define internal fastcc i8*@_SMLLN9ReifyKind11singletonTyE_61(i8*inreg%a,i8*inreg%b)#4 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLFN9ReifyKind11singletonTyE(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN9ReifyKind12generateArgsE_62(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLFN9ReifyKind12generateArgsE(i8*inreg%b)
ret i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@d,i64 0,i32 2)to i8*)
}
define internal fastcc i8*@_SMLLN9ReifyKind16generateInstanceE_63(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLFN9ReifyKind16generateInstanceE(i8*inreg%b)
ret i8*%c
}
declare void@llvm.lifetime.start.p0i8(i64,i8*)#0
declare void@llvm.lifetime.end.p0i8(i64,i8*)#0
attributes#0={nounwind}
attributes#1={noreturn}
attributes#2={uwtable}
attributes#3={noreturn nounwind}
attributes#4={nounwind uwtable}