@sml_check_flag=external local_unnamed_addr global i32
@_SMLZN3Bug3BugE=external local_unnamed_addr global i8*
@_SMLZN5Types10arrayTypIdE=external local_unnamed_addr global i32
@_SMLZN5Types8refTypIdE=external local_unnamed_addr global i32
@_SMLZ5Match=external unnamed_addr constant i8*
@a=private unnamed_addr constant<{[4x i8],i32,[9x i8]}><{[4x i8]zeroinitializer,i32 -2147483639,[9x i8]c"NonBoxed\00"}>,align 8
@b=private unnamed_addr constant<{[4x i8],i32,i8*,i32,[4x i8],i32}><{[4x i8]zeroinitializer,i32 -805306352,i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,[9x i8]}>,<{[4x i8],i32,[9x i8]}>*@a,i32 0,i32 0,i32 0),i32 8),i32 0,[4x i8]zeroinitializer,i32 1}>,align 8
@c=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:58.58(2083)\00"}>,align 8
@d=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:59.51(2143)\00"}>,align 8
@e=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:61.63(2291)\00"}>,align 8
@f=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:63.49(2411)\00"}>,align 8
@g=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:56.12(1956)\00"}>,align 8
@h=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:39.49(1070)\00"}>,align 8
@i=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:40.37(1116)\00"}>,align 8
@j=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:41.33(1158)\00"}>,align 8
@k=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:54.68(1895)\00"}>,align 8
@l=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:38.12(1010)\00"}>,align 8
@m=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i32(i8*)*@_SMLFN10TypesUtils9isBoxedTyE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN10TypesUtils9isBoxedTyE_166 to void(...)*),i32 -2147483647}>,align 8
@n=private unnamed_addr constant<{[4x i8],i32,[6x i8]}><{[4x i8]zeroinitializer,i32 -2147483642,[6x i8]c"NonEQ\00"}>,align 8
@o=private unnamed_addr constant<{[4x i8],i32,i8*,i32,[4x i8],i32}><{[4x i8]zeroinitializer,i32 -805306352,i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,[6x i8]}>,<{[4x i8],i32,[6x i8]}>*@n,i32 0,i32 0,i32 0),i32 8),i32 0,[4x i8]zeroinitializer,i32 1}>,align 8
@p=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:74.49(2649)\00"}>,align 8
@q=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:75.37(2692)\00"}>,align 8
@r=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:76.33(2731)\00"}>,align 8
@s=private unnamed_addr constant<{[4x i8],i32,[57x i8]}><{[4x i8]zeroinitializer,i32 -2147483591,[57x i8]c"src/compiler/data/types/main/TypesUtils.sml:101.65(3914)\00"}>,align 8
@t=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:82.34(3053)\00"}>,align 8
@u=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:88.25(3384)\00"}>,align 8
@v=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:73.12(2589)\00"}>,align 8
@w=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i32(i8*)*@_SMLFN10TypesUtils9admitEqTyE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN10TypesUtils9admitEqTyE_169 to void(...)*),i32 -2147483647}>,align 8
@x=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i32)*@_SMLFN10TypesUtils19isCoercibleTyToPropE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN10TypesUtils19isCoercibleTyToPropE_171 to void(...)*),i32 -2147483647}>,align 8
@y=private unnamed_addr constant<{[4x i8],i32,[32x i8]}><{[4x i8]zeroinitializer,i32 -2147483616,[32x i8]c"TypesUtils.CoerceTvarKindToProp\00"}>,align 8
@z=private unnamed_addr constant<{[4x i8],i32,i8*,i32,[4x i8],i32}><{[4x i8]zeroinitializer,i32 -805306352,i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,[32x i8]}>,<{[4x i8],i32,[32x i8]}>*@y,i32 0,i32 0,i32 0),i32 8),i32 0,[4x i8]zeroinitializer,i32 1}>,align 8
@_SMLDL144=private constant<{[4x i8],i32,i8*}><{[4x i8]zeroinitializer,i32 -1879048184,i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,i8*,i32,[4x i8],i32}>,<{[4x i8],i32,i8*,i32,[4x i8],i32}>*@z,i32 0,i32 0,i32 0),i32 8)}>,align 8
@A=private unnamed_addr constant<{[4x i8],i32,[57x i8]}><{[4x i8]zeroinitializer,i32 -2147483591,[57x i8]c"src/compiler/data/types/main/TypesUtils.sml:146.26(5570)\00"}>,align 8
@B=private unnamed_addr constant<{[4x i8],i32,[45x i8]}><{[4x i8]zeroinitializer,i32 -2147483603,[45x i8]c"non TVAR in adjustDepthInTy (TypesUtils.sml)\00"}>,align 8
@C=private unnamed_addr constant<{[4x i8],i32,[57x i8]}><{[4x i8]zeroinitializer,i32 -2147483591,[57x i8]c"src/compiler/data/types/main/TypesUtils.sml:152.12(5746)\00"}>,align 8
@D=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:161.9(6072)\00"}>,align 8
@E=private unnamed_addr constant<{[4x i8],i32,[57x i8]}><{[4x i8]zeroinitializer,i32 -2147483591,[57x i8]c"src/compiler/data/types/main/TypesUtils.sml:174.28(6507)\00"}>,align 8
@F=private unnamed_addr constant<{[4x i8],i32,i8*,i8*,i32}><{[4x i8]zeroinitializer,i32 -805306352,i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,i8*}>,<{[4x i8],i32,i8*}>*@_SMLDL144,i32 0,i32 0,i32 0),i32 8),i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@E,i32 0,i32 0,i32 0),i32 8),i32 3}>,align 8
@G=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:115.6(4304)\00"}>,align 8
@H=private unnamed_addr constant<{[4x i8],i32,[57x i8]}><{[4x i8]zeroinitializer,i32 -2147483591,[57x i8]c"src/compiler/data/types/main/TypesUtils.sml:182.28(6796)\00"}>,align 8
@I=private unnamed_addr constant<{[4x i8],i32,i8*,i8*,i32}><{[4x i8]zeroinitializer,i32 -805306352,i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,i8*}>,<{[4x i8],i32,i8*}>*@_SMLDL144,i32 0,i32 0,i32 0),i32 8),i8*getelementptr inbounds(i8,i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@H,i32 0,i32 0,i32 0),i32 8),i32 3}>,align 8
@J=private unnamed_addr constant<{[4x i8],i32,[56x i8]}><{[4x i8]zeroinitializer,i32 -2147483592,[56x i8]c"src/compiler/data/types/main/TypesUtils.sml:166.9(6248)\00"}>,align 8
@K=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i32)*@_SMLFN10TypesUtils20coerceTvarKindToPropE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN10TypesUtils20coerceTvarKindToPropE_176 to void(...)*),i32 -2147483647}>,align 8
@_SMLZN10TypesUtils20CoerceTvarKindToPropE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*}>,<{[4x i8],i32,i8*}>*@_SMLDL144,i64 0,i32 2)to i8*)
@_SMLZN10TypesUtils9admitEqTyE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@w,i64 0,i32 2)to i8*)
@_SMLZN10TypesUtils9isBoxedTyE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@m,i64 0,i32 2)to i8*)
@_SMLZN10TypesUtils19isCoercibleTyToPropE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@x,i64 0,i32 2)to i8*)
@_SMLZN10TypesUtils20coerceTvarKindToPropE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@K,i64 0,i32 2)to i8*)
@_SML_ftab9b20828c632822bf_TypesUtils=external global i8
@L=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_matchcomp_bug()local_unnamed_addr
declare i32@sml_personality(...)#0
declare void@sml_raise(i8*inreg)local_unnamed_addr#1
declare void@sml_write(i8*inreg,i8**inreg,i8*inreg)local_unnamed_addr#0
declare i8*@_SMLFN11RecordLabel3Map3appE(i32 inreg,i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN11TypesBasics4EFTVE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN14BoundTypeVarID3Map3appE(i32 inreg,i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare i32@_SMLFN4Bool3notE(i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN4List3appE(i32 inreg,i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN4List6filterE(i32 inreg,i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN5OTSet3appE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i32@_SMLFN5TypID2eqE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN5Types12isPropertiesE(i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN5Types13addPropertiesE(i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_maindaa180c1799f3810_Bool()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main03d87556ec7f64b2_List()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_maina142c315f12317c0_RecordLabel()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_maineaa0aca8fbe4101a_Bug()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main22c101bff228a4a9_LocalID()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_mainfe3e21425e4479c1_Types_ppg()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main74af8aadffed1774_VarInfoEnv()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main7833b15b41d4b824_TypesBasics()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_loaddaa180c1799f3810_Bool(i8*)local_unnamed_addr
declare void@_SML_load03d87556ec7f64b2_List(i8*)local_unnamed_addr
declare void@_SML_loada142c315f12317c0_RecordLabel(i8*)local_unnamed_addr
declare void@_SML_loadeaa0aca8fbe4101a_Bug(i8*)local_unnamed_addr
declare void@_SML_load22c101bff228a4a9_LocalID(i8*)local_unnamed_addr
declare void@_SML_loadfe3e21425e4479c1_Types_ppg(i8*)local_unnamed_addr
declare void@_SML_load74af8aadffed1774_VarInfoEnv(i8*)local_unnamed_addr
declare void@_SML_load7833b15b41d4b824_TypesBasics(i8*)local_unnamed_addr
define private void@_SML_tabb9b20828c632822bf_TypesUtils()#3{
unreachable
}
define void@_SML_load9b20828c632822bf_TypesUtils(i8*%a)local_unnamed_addr#0{
%b=load i8,i8*@L,align 1
%c=icmp eq i8%b,0
br i1%c,label%e,label%d
d:
ret void
e:
store i8 1,i8*@L,align 1
tail call void@_SML_loaddaa180c1799f3810_Bool(i8*%a)#0
tail call void@_SML_load03d87556ec7f64b2_List(i8*%a)#0
tail call void@_SML_loada142c315f12317c0_RecordLabel(i8*%a)#0
tail call void@_SML_loadeaa0aca8fbe4101a_Bug(i8*%a)#0
tail call void@_SML_load22c101bff228a4a9_LocalID(i8*%a)#0
tail call void@_SML_loadfe3e21425e4479c1_Types_ppg(i8*%a)#0
tail call void@_SML_load74af8aadffed1774_VarInfoEnv(i8*%a)#0
tail call void@_SML_load7833b15b41d4b824_TypesBasics(i8*%a)#0
tail call void@sml_gcroot(i8*%a,void()*@_SML_tabb9b20828c632822bf_TypesUtils,i8*@_SML_ftab9b20828c632822bf_TypesUtils,i8*null)#0
ret void
}
define void@_SML_main9b20828c632822bf_TypesUtils()local_unnamed_addr#2 gc"smlsharp"{
%a=load i8,i8*@L,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*@L,align 1
tail call void@_SML_maindaa180c1799f3810_Bool()#2
tail call void@_SML_main03d87556ec7f64b2_List()#2
tail call void@_SML_maina142c315f12317c0_RecordLabel()#2
tail call void@_SML_maineaa0aca8fbe4101a_Bug()#2
tail call void@_SML_main22c101bff228a4a9_LocalID()#2
tail call void@_SML_mainfe3e21425e4479c1_Types_ppg()#2
tail call void@_SML_main74af8aadffed1774_VarInfoEnv()#2
tail call void@_SML_main7833b15b41d4b824_TypesBasics()#2
br label%d
}
define internal fastcc void@_SMLLL9visitKind_102(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
k:
%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**%d,align 8
store i8*%b,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%i,label%g
g:
call void@sml_check(i32 inreg%e)
%h=load i8*,i8**%c,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%b,%k]
%l=getelementptr inbounds i8,i8*%j,i64 8
%m=bitcast i8*%l to i8**
%n=load i8*,i8**%m,align 8
store i8*%n,i8**%c,align 8
%o=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 0)
%p=getelementptr inbounds i8,i8*%o,i64 16
%q=bitcast i8*%p to i8*(i8*,i8*)**
%r=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%q,align 8
%s=bitcast i8*%o to i8**
%t=load i8*,i8**%s,align 8
%u=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%v=call fastcc i8*%r(i8*inreg%t,i8*inreg%u)
%w=bitcast i8*%v to i32*
%x=load i32,i32*%w,align 4
%y=icmp eq i32%x,0
br i1%y,label%A,label%z
z:
ret void
A:
%B=bitcast i8**%d to i8***
%C=load i8**,i8***%B,align 8
store i8*null,i8**%d,align 8
%D=load i8*,i8**%C,align 8
store i8*%D,i8**%c,align 8
%E=call i8*@sml_alloc(i32 inreg 20)#0
%F=getelementptr inbounds i8,i8*%E,i64 -4
%G=bitcast i8*%F to i32*
store i32 1342177296,i32*%G,align 4
store i8*%E,i8**%d,align 8
%H=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%I=bitcast i8*%E to i8**
store i8*%H,i8**%I,align 8
%J=getelementptr inbounds i8,i8*%E,i64 8
%K=bitcast i8*%J to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@k,i64 0,i32 2,i64 0),i8**%K,align 8
%L=getelementptr inbounds i8,i8*%E,i64 16
%M=bitcast i8*%L to i32*
store i32 3,i32*%M,align 4
%N=call i8*@sml_alloc(i32 inreg 60)#0
%O=getelementptr inbounds i8,i8*%N,i64 -4
%P=bitcast i8*%O to i32*
store i32 1342177336,i32*%P,align 4
%Q=getelementptr inbounds i8,i8*%N,i64 56
%R=bitcast i8*%Q to i32*
store i32 1,i32*%R,align 4
%S=load i8*,i8**%d,align 8
%T=bitcast i8*%N to i8**
store i8*%S,i8**%T,align 8
call void@sml_raise(i8*inreg%N)#1
unreachable
}
define internal fastcc void@_SMLLL5visit_103(i8*inreg%a,i8*inreg%b)#2 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*%a,i8**%e,align 8
store i8*%b,i8**%c,align 8
br label%f
f:
%g=load atomic i32,i32*@sml_check_flag unordered,align 4
%h=icmp eq i32%g,0
br i1%h,label%j,label%i
i:
call void@sml_check(i32 inreg%g)
br label%j
j:
%k=load i8*,i8**%c,align 8
%l=icmp eq i8*%k,null
br i1%l,label%dk,label%m
m:
%n=bitcast i8*%k to i32*
%o=load i32,i32*%n,align 4
switch i32%o,label%p[
i32 9,label%dY
i32 0,label%dE
i32 4,label%dk
i32 3,label%cF
i32 5,label%b0
i32 10,label%aS
i32 1,label%aR
i32 6,label%aR
i32 8,label%an
i32 2,label%aj
i32 7,label%H
]
p:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%q=load i8*,i8**@_SMLZ5Match,align 8
store i8*%q,i8**%c,align 8
%r=call i8*@sml_alloc(i32 inreg 20)#0
%s=getelementptr inbounds i8,i8*%r,i64 -4
%t=bitcast i8*%s to i32*
store i32 1342177296,i32*%t,align 4
store i8*%r,i8**%d,align 8
%u=load i8*,i8**%c,align 8
store i8*null,i8**%c,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 i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@l,i64 0,i32 2,i64 0),i8**%x,align 8
%y=getelementptr inbounds i8,i8*%r,i64 16
%z=bitcast i8*%y to i32*
store i32 3,i32*%z,align 4
%A=call i8*@sml_alloc(i32 inreg 60)#0
%B=getelementptr inbounds i8,i8*%A,i64 -4
%C=bitcast i8*%B to i32*
store i32 1342177336,i32*%C,align 4
%D=getelementptr inbounds i8,i8*%A,i64 56
%E=bitcast i8*%D to i32*
store i32 1,i32*%E,align 4
%F=load i8*,i8**%d,align 8
%G=bitcast i8*%A to i8**
store i8*%F,i8**%G,align 8
call void@sml_raise(i8*inreg%A)#1
unreachable
H:
%I=getelementptr inbounds i8,i8*%k,i64 8
%J=bitcast i8*%I to i8**
%K=load i8*,i8**%J,align 8
%L=bitcast i8*%K to i8**
%M=load i8*,i8**%L,align 8
store i8*%M,i8**%c,align 8
%N=getelementptr inbounds i8,i8*%K,i64 8
%O=bitcast i8*%N to i8**
%P=load i8*,i8**%O,align 8
store i8*%P,i8**%d,align 8
%Q=call fastcc i8*@_SMLFN14BoundTypeVarID3Map3appE(i32 inreg 1,i32 inreg 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
%W=load i8*,i8**%e,align 8
%X=getelementptr inbounds i8,i8*%W,i64 8
%Y=bitcast i8*%X to i8**
%Z=load i8*,i8**%Y,align 8
%aa=call fastcc i8*%T(i8*inreg%V,i8*inreg%Z)
%ab=getelementptr inbounds i8,i8*%aa,i64 16
%ac=bitcast i8*%ab to i8*(i8*,i8*)**
%ad=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ac,align 8
%ae=bitcast i8*%aa to i8**
%af=load i8*,i8**%ae,align 8
%ag=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%ah=call fastcc i8*%ad(i8*inreg%af,i8*inreg%ag)
br label%ai
ai:
br label%f
aj:
store i8*null,i8**%c,align 8
%ak=getelementptr inbounds i8,i8*%k,i64 8
%al=bitcast i8*%ak to i8**
%am=load i8*,i8**%al,align 8
br label%ei
an:
%ao=getelementptr inbounds i8,i8*%k,i64 8
%ap=bitcast i8*%ao to i8**
%aq=load i8*,i8**%ap,align 8
store i8*%aq,i8**%c,align 8
%ar=call fastcc i8*@_SMLFN11RecordLabel3Map3appE(i32 inreg 1,i32 inreg 8)
%as=getelementptr inbounds i8,i8*%ar,i64 16
%at=bitcast i8*%as to i8*(i8*,i8*)**
%au=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%at,align 8
%av=bitcast i8*%ar to i8**
%aw=load i8*,i8**%av,align 8
store i8*%aw,i8**%d,align 8
%ax=call i8*@sml_alloc(i32 inreg 28)#0
%ay=getelementptr inbounds i8,i8*%ax,i64 -4
%az=bitcast i8*%ay to i32*
store i32 1342177304,i32*%az,align 4
%aA=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%aB=bitcast i8*%ax to i8**
store i8*%aA,i8**%aB,align 8
%aC=getelementptr inbounds i8,i8*%ax,i64 8
%aD=bitcast i8*%aC to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL5visit_103 to void(...)*),void(...)**%aD,align 8
%aE=getelementptr inbounds i8,i8*%ax,i64 16
%aF=bitcast i8*%aE to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL5visit_165 to void(...)*),void(...)**%aF,align 8
%aG=getelementptr inbounds i8,i8*%ax,i64 24
%aH=bitcast i8*%aG to i32*
store i32 -2147483647,i32*%aH,align 4
%aI=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%aJ=call fastcc i8*%au(i8*inreg%aI,i8*inreg%ax)
%aK=getelementptr inbounds i8,i8*%aJ,i64 16
%aL=bitcast i8*%aK to i8*(i8*,i8*)**
%aM=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aL,align 8
%aN=bitcast i8*%aJ to i8**
%aO=load i8*,i8**%aN,align 8
%aP=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%aQ=call fastcc i8*%aM(i8*inreg%aO,i8*inreg%aP)
ret void
aR:
ret void
aS:
store i8*null,i8**%c,align 8
%aT=getelementptr inbounds i8,i8*%k,i64 8
%aU=bitcast i8*%aT to i8***
%aV=load i8**,i8***%aU,align 8
%aW=load i8*,i8**%aV,align 8
%aX=bitcast i8*%aW to i32*
%aY=load i32,i32*%aX,align 4
switch i32%aY,label%aZ[
i32 1,label%bl
i32 0,label%bh
]
aZ:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%a0=load i8*,i8**@_SMLZ5Match,align 8
store i8*%a0,i8**%c,align 8
%a1=call i8*@sml_alloc(i32 inreg 20)#0
%a2=getelementptr inbounds i8,i8*%a1,i64 -4
%a3=bitcast i8*%a2 to i32*
store i32 1342177296,i32*%a3,align 4
store i8*%a1,i8**%d,align 8
%a4=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%a5=bitcast i8*%a1 to i8**
store i8*%a4,i8**%a5,align 8
%a6=getelementptr inbounds i8,i8*%a1,i64 8
%a7=bitcast i8*%a6 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@l,i64 0,i32 2,i64 0),i8**%a7,align 8
%a8=getelementptr inbounds i8,i8*%a1,i64 16
%a9=bitcast i8*%a8 to i32*
store i32 3,i32*%a9,align 4
%ba=call i8*@sml_alloc(i32 inreg 60)#0
%bb=getelementptr inbounds i8,i8*%ba,i64 -4
%bc=bitcast i8*%bb to i32*
store i32 1342177336,i32*%bc,align 4
%bd=getelementptr inbounds i8,i8*%ba,i64 56
%be=bitcast i8*%bd to i32*
store i32 1,i32*%be,align 4
%bf=load i8*,i8**%d,align 8
%bg=bitcast i8*%ba to i8**
store i8*%bf,i8**%bg,align 8
call void@sml_raise(i8*inreg%ba)#1
unreachable
bh:
%bi=getelementptr inbounds i8,i8*%aW,i64 8
%bj=bitcast i8*%bi to i8**
%bk=load i8*,i8**%bj,align 8
store i8*%bk,i8**%c,align 8
br label%ai
bl:
%bm=getelementptr inbounds i8,i8*%aW,i64 8
%bn=bitcast i8*%bm to i8**
%bo=load i8*,i8**%bn,align 8
%bp=getelementptr inbounds i8,i8*%bo,i64 8
%bq=bitcast i8*%bp to i8**
%br=load i8*,i8**%bq,align 8
%bs=getelementptr inbounds i8,i8*%br,i64 8
%bt=bitcast i8*%bs to i8**
%bu=load i8*,i8**%bt,align 8
store i8*%bu,i8**%c,align 8
%bv=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 0)
%bw=getelementptr inbounds i8,i8*%bv,i64 16
%bx=bitcast i8*%bw to i8*(i8*,i8*)**
%by=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bx,align 8
%bz=bitcast i8*%bv to i8**
%bA=load i8*,i8**%bz,align 8
%bB=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%bC=call fastcc i8*%by(i8*inreg%bA,i8*inreg%bB)
%bD=bitcast i8*%bC to i32*
%bE=load i32,i32*%bD,align 4
%bF=icmp eq i32%bE,0
br i1%bF,label%bG,label%aR
bG:
%bH=bitcast i8**%e to i8***
%bI=load i8**,i8***%bH,align 8
store i8*null,i8**%e,align 8
%bJ=load i8*,i8**%bI,align 8
store i8*%bJ,i8**%c,align 8
%bK=call i8*@sml_alloc(i32 inreg 20)#0
%bL=getelementptr inbounds i8,i8*%bK,i64 -4
%bM=bitcast i8*%bL to i32*
store i32 1342177296,i32*%bM,align 4
store i8*%bK,i8**%d,align 8
%bN=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%bO=bitcast i8*%bK to i8**
store i8*%bN,i8**%bO,align 8
%bP=getelementptr inbounds i8,i8*%bK,i64 8
%bQ=bitcast i8*%bP to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@k,i64 0,i32 2,i64 0),i8**%bQ,align 8
%bR=getelementptr inbounds i8,i8*%bK,i64 16
%bS=bitcast i8*%bR to i32*
store i32 3,i32*%bS,align 4
%bT=call i8*@sml_alloc(i32 inreg 60)#0
%bU=getelementptr inbounds i8,i8*%bT,i64 -4
%bV=bitcast i8*%bU to i32*
store i32 1342177336,i32*%bV,align 4
%bW=getelementptr inbounds i8,i8*%bT,i64 56
%bX=bitcast i8*%bW to i32*
store i32 1,i32*%bX,align 4
%bY=load i8*,i8**%d,align 8
%bZ=bitcast i8*%bT to i8**
store i8*%bY,i8**%bZ,align 8
call void@sml_raise(i8*inreg%bT)#1
unreachable
b0:
%b1=getelementptr inbounds i8,i8*%k,i64 8
%b2=bitcast i8*%b1 to i8**
%b3=load i8*,i8**%b2,align 8
%b4=getelementptr inbounds i8,i8*%b3,i64 8
%b5=bitcast i8*%b4 to i8**
%b6=load i8*,i8**%b5,align 8
%b7=getelementptr inbounds i8,i8*%b6,i64 8
%b8=bitcast i8*%b7 to i8**
%b9=load i8*,i8**%b8,align 8
store i8*%b9,i8**%c,align 8
%ca=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 0)
%cb=getelementptr inbounds i8,i8*%ca,i64 16
%cc=bitcast i8*%cb to i8*(i8*,i8*)**
%cd=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cc,align 8
%ce=bitcast i8*%ca to i8**
%cf=load i8*,i8**%ce,align 8
%cg=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ch=call fastcc i8*%cd(i8*inreg%cf,i8*inreg%cg)
%ci=bitcast i8*%ch to i32*
%cj=load i32,i32*%ci,align 4
%ck=icmp eq i32%cj,0
br i1%ck,label%cl,label%aR
cl:
%cm=bitcast i8**%e to i8***
%cn=load i8**,i8***%cm,align 8
store i8*null,i8**%e,align 8
%co=load i8*,i8**%cn,align 8
store i8*%co,i8**%c,align 8
%cp=call i8*@sml_alloc(i32 inreg 20)#0
%cq=getelementptr inbounds i8,i8*%cp,i64 -4
%cr=bitcast i8*%cq to i32*
store i32 1342177296,i32*%cr,align 4
store i8*%cp,i8**%d,align 8
%cs=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ct=bitcast i8*%cp to i8**
store i8*%cs,i8**%ct,align 8
%cu=getelementptr inbounds i8,i8*%cp,i64 8
%cv=bitcast i8*%cu to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@k,i64 0,i32 2,i64 0),i8**%cv,align 8
%cw=getelementptr inbounds i8,i8*%cp,i64 16
%cx=bitcast i8*%cw to i32*
store i32 3,i32*%cx,align 4
%cy=call i8*@sml_alloc(i32 inreg 60)#0
%cz=getelementptr inbounds i8,i8*%cy,i64 -4
%cA=bitcast i8*%cz to i32*
store i32 1342177336,i32*%cA,align 4
%cB=getelementptr inbounds i8,i8*%cy,i64 56
%cC=bitcast i8*%cB to i32*
store i32 1,i32*%cC,align 4
%cD=load i8*,i8**%d,align 8
%cE=bitcast i8*%cy to i8**
store i8*%cD,i8**%cE,align 8
call void@sml_raise(i8*inreg%cy)#1
unreachable
cF:
%cG=getelementptr inbounds i8,i8*%k,i64 8
%cH=bitcast i8*%cG to i8**
%cI=load i8*,i8**%cH,align 8
%cJ=getelementptr inbounds i8,i8*%cI,i64 8
%cK=bitcast i8*%cJ to i8**
%cL=load i8*,i8**%cK,align 8
%cM=getelementptr inbounds i8,i8*%cL,i64 8
%cN=bitcast i8*%cM to i8**
%cO=load i8*,i8**%cN,align 8
store i8*%cO,i8**%c,align 8
%cP=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 0)
%cQ=getelementptr inbounds i8,i8*%cP,i64 16
%cR=bitcast i8*%cQ to i8*(i8*,i8*)**
%cS=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cR,align 8
%cT=bitcast i8*%cP to i8**
%cU=load i8*,i8**%cT,align 8
%cV=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%cW=call fastcc i8*%cS(i8*inreg%cU,i8*inreg%cV)
%cX=bitcast i8*%cW to i32*
%cY=load i32,i32*%cX,align 4
%cZ=icmp eq i32%cY,0
br i1%cZ,label%c0,label%aR
c0:
%c1=bitcast i8**%e to i8***
%c2=load i8**,i8***%c1,align 8
store i8*null,i8**%e,align 8
%c3=load i8*,i8**%c2,align 8
store i8*%c3,i8**%c,align 8
%c4=call i8*@sml_alloc(i32 inreg 20)#0
%c5=getelementptr inbounds i8,i8*%c4,i64 -4
%c6=bitcast i8*%c5 to i32*
store i32 1342177296,i32*%c6,align 4
store i8*%c4,i8**%d,align 8
%c7=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%c8=bitcast i8*%c4 to i8**
store i8*%c7,i8**%c8,align 8
%c9=getelementptr inbounds i8,i8*%c4,i64 8
%da=bitcast i8*%c9 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@k,i64 0,i32 2,i64 0),i8**%da,align 8
%db=getelementptr inbounds i8,i8*%c4,i64 16
%dc=bitcast i8*%db to i32*
store i32 3,i32*%dc,align 4
%dd=call i8*@sml_alloc(i32 inreg 60)#0
%de=getelementptr inbounds i8,i8*%dd,i64 -4
%df=bitcast i8*%de to i32*
store i32 1342177336,i32*%df,align 4
%dg=getelementptr inbounds i8,i8*%dd,i64 56
%dh=bitcast i8*%dg to i32*
store i32 1,i32*%dh,align 4
%di=load i8*,i8**%d,align 8
%dj=bitcast i8*%dd to i8**
store i8*%di,i8**%dj,align 8
call void@sml_raise(i8*inreg%dd)#1
unreachable
dk:
%dl=bitcast i8**%e to i8***
%dm=load i8**,i8***%dl,align 8
store i8*null,i8**%e,align 8
%dn=load i8*,i8**%dm,align 8
store i8*%dn,i8**%c,align 8
%do=call i8*@sml_alloc(i32 inreg 20)#0
%dp=getelementptr inbounds i8,i8*%do,i64 -4
%dq=bitcast i8*%dp to i32*
store i32 1342177296,i32*%dq,align 4
store i8*%do,i8**%d,align 8
%dr=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ds=bitcast i8*%do to i8**
store i8*%dr,i8**%ds,align 8
%dt=getelementptr inbounds i8,i8*%do,i64 8
%du=bitcast i8*%dt to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@j,i64 0,i32 2,i64 0),i8**%du,align 8
%dv=getelementptr inbounds i8,i8*%do,i64 16
%dw=bitcast i8*%dv to i32*
store i32 3,i32*%dw,align 4
%dx=call i8*@sml_alloc(i32 inreg 60)#0
%dy=getelementptr inbounds i8,i8*%dx,i64 -4
%dz=bitcast i8*%dy to i32*
store i32 1342177336,i32*%dz,align 4
%dA=getelementptr inbounds i8,i8*%dx,i64 56
%dB=bitcast i8*%dA to i32*
store i32 1,i32*%dB,align 4
%dC=load i8*,i8**%d,align 8
%dD=bitcast i8*%dx to i8**
store i8*%dC,i8**%dD,align 8
call void@sml_raise(i8*inreg%dx)#1
unreachable
dE:
%dF=bitcast i8**%e to i8***
%dG=load i8**,i8***%dF,align 8
store i8*null,i8**%e,align 8
%dH=load i8*,i8**%dG,align 8
store i8*%dH,i8**%c,align 8
%dI=call i8*@sml_alloc(i32 inreg 20)#0
%dJ=getelementptr inbounds i8,i8*%dI,i64 -4
%dK=bitcast i8*%dJ to i32*
store i32 1342177296,i32*%dK,align 4
store i8*%dI,i8**%d,align 8
%dL=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%dM=bitcast i8*%dI to i8**
store i8*%dL,i8**%dM,align 8
%dN=getelementptr inbounds i8,i8*%dI,i64 8
%dO=bitcast i8*%dN to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@i,i64 0,i32 2,i64 0),i8**%dO,align 8
%dP=getelementptr inbounds i8,i8*%dI,i64 16
%dQ=bitcast i8*%dP to i32*
store i32 3,i32*%dQ,align 4
%dR=call i8*@sml_alloc(i32 inreg 60)#0
%dS=getelementptr inbounds i8,i8*%dR,i64 -4
%dT=bitcast i8*%dS to i32*
store i32 1342177336,i32*%dT,align 4
%dU=getelementptr inbounds i8,i8*%dR,i64 56
%dV=bitcast i8*%dU to i32*
store i32 1,i32*%dV,align 4
%dW=load i8*,i8**%d,align 8
%dX=bitcast i8*%dR to i8**
store i8*%dW,i8**%dX,align 8
call void@sml_raise(i8*inreg%dR)#1
unreachable
dY:
%dZ=bitcast i8**%e to i8***
%d0=load i8**,i8***%dZ,align 8
store i8*null,i8**%e,align 8
%d1=load i8*,i8**%d0,align 8
store i8*%d1,i8**%c,align 8
%d2=call i8*@sml_alloc(i32 inreg 20)#0
%d3=getelementptr inbounds i8,i8*%d2,i64 -4
%d4=bitcast i8*%d3 to i32*
store i32 1342177296,i32*%d4,align 4
store i8*%d2,i8**%d,align 8
%d5=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%d6=bitcast i8*%d2 to i8**
store i8*%d5,i8**%d6,align 8
%d7=getelementptr inbounds i8,i8*%d2,i64 8
%d8=bitcast i8*%d7 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@h,i64 0,i32 2,i64 0),i8**%d8,align 8
%d9=getelementptr inbounds i8,i8*%d2,i64 16
%ea=bitcast i8*%d9 to i32*
store i32 3,i32*%ea,align 4
%eb=call i8*@sml_alloc(i32 inreg 60)#0
%ec=getelementptr inbounds i8,i8*%eb,i64 -4
%ed=bitcast i8*%ec to i32*
store i32 1342177336,i32*%ed,align 4
%ee=getelementptr inbounds i8,i8*%eb,i64 56
%ef=bitcast i8*%ee to i32*
store i32 1,i32*%ef,align 4
%eg=load i8*,i8**%d,align 8
%eh=bitcast i8*%eb to i8**
store i8*%eg,i8**%eh,align 8
call void@sml_raise(i8*inreg%eb)#1
unreachable
ei:
%ej=phi i8*[%am,%aj],[%fG,%fF]
%ek=getelementptr inbounds i8,i8*%ej,i64 8
%el=bitcast i8*%ek to i8**
%em=load i8*,i8**%el,align 8
store i8*%em,i8**%c,align 8
%en=load atomic i32,i32*@sml_check_flag unordered,align 4
%eo=icmp eq i32%en,0
br i1%eo,label%er,label%ep
ep:
call void@sml_check(i32 inreg%en)
%eq=load i8*,i8**%c,align 8
br label%er
er:
%es=phi i8*[%eq,%ep],[%em,%ei]
store i8*null,i8**%c,align 8
%et=getelementptr inbounds i8,i8*%es,i64 24
%eu=bitcast i8*%et to i8**
%ev=load i8*,i8**%eu,align 8
%ew=bitcast i8*%ev to i32*
%ex=load i32,i32*%ew,align 4
switch i32%ex,label%ey[
i32 0,label%gj
i32 2,label%fy
i32 1,label%eQ
]
ey:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%ez=load i8*,i8**@_SMLZ5Match,align 8
store i8*%ez,i8**%c,align 8
%eA=call i8*@sml_alloc(i32 inreg 20)#0
%eB=getelementptr inbounds i8,i8*%eA,i64 -4
%eC=bitcast i8*%eB to i32*
store i32 1342177296,i32*%eC,align 4
store i8*%eA,i8**%d,align 8
%eD=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%eE=bitcast i8*%eA to i8**
store i8*%eD,i8**%eE,align 8
%eF=getelementptr inbounds i8,i8*%eA,i64 8
%eG=bitcast i8*%eF to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@g,i64 0,i32 2,i64 0),i8**%eG,align 8
%eH=getelementptr inbounds i8,i8*%eA,i64 16
%eI=bitcast i8*%eH to i32*
store i32 3,i32*%eI,align 4
%eJ=call i8*@sml_alloc(i32 inreg 60)#0
%eK=getelementptr inbounds i8,i8*%eJ,i64 -4
%eL=bitcast i8*%eK to i32*
store i32 1342177336,i32*%eL,align 4
%eM=getelementptr inbounds i8,i8*%eJ,i64 56
%eN=bitcast i8*%eM to i32*
store i32 1,i32*%eN,align 4
%eO=load i8*,i8**%d,align 8
%eP=bitcast i8*%eJ to i8**
store i8*%eO,i8**%eP,align 8
call void@sml_raise(i8*inreg%eJ)#1
unreachable
eQ:
%eR=getelementptr inbounds i8,i8*%ev,i64 8
%eS=bitcast i8*%eR to i8**
%eT=load i8*,i8**%eS,align 8
%eU=bitcast i8*%eT to i32*
%eV=load i32,i32*%eU,align 4
switch i32%eV,label%eW[
i32 1,label%fF
i32 0,label%fe
]
eW:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%eX=load i8*,i8**@_SMLZ5Match,align 8
store i8*%eX,i8**%c,align 8
%eY=call i8*@sml_alloc(i32 inreg 20)#0
%eZ=getelementptr inbounds i8,i8*%eY,i64 -4
%e0=bitcast i8*%eZ to i32*
store i32 1342177296,i32*%e0,align 4
store i8*%eY,i8**%d,align 8
%e1=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%e2=bitcast i8*%eY to i8**
store i8*%e1,i8**%e2,align 8
%e3=getelementptr inbounds i8,i8*%eY,i64 8
%e4=bitcast i8*%e3 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@g,i64 0,i32 2,i64 0),i8**%e4,align 8
%e5=getelementptr inbounds i8,i8*%eY,i64 16
%e6=bitcast i8*%e5 to i32*
store i32 3,i32*%e6,align 4
%e7=call i8*@sml_alloc(i32 inreg 60)#0
%e8=getelementptr inbounds i8,i8*%e7,i64 -4
%e9=bitcast i8*%e8 to i32*
store i32 1342177336,i32*%e9,align 4
%fa=getelementptr inbounds i8,i8*%e7,i64 56
%fb=bitcast i8*%fa to i32*
store i32 1,i32*%fb,align 4
%fc=load i8*,i8**%d,align 8
%fd=bitcast i8*%e7 to i8**
store i8*%fc,i8**%fd,align 8
call void@sml_raise(i8*inreg%e7)#1
unreachable
fe:
%ff=bitcast i8**%e to i8***
%fg=load i8**,i8***%ff,align 8
store i8*null,i8**%e,align 8
%fh=load i8*,i8**%fg,align 8
store i8*%fh,i8**%c,align 8
%fi=call i8*@sml_alloc(i32 inreg 20)#0
%fj=getelementptr inbounds i8,i8*%fi,i64 -4
%fk=bitcast i8*%fj to i32*
store i32 1342177296,i32*%fk,align 4
store i8*%fi,i8**%d,align 8
%fl=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%fm=bitcast i8*%fi to i8**
store i8*%fl,i8**%fm,align 8
%fn=getelementptr inbounds i8,i8*%fi,i64 8
%fo=bitcast i8*%fn to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@f,i64 0,i32 2,i64 0),i8**%fo,align 8
%fp=getelementptr inbounds i8,i8*%fi,i64 16
%fq=bitcast i8*%fp to i32*
store i32 3,i32*%fq,align 4
%fr=call i8*@sml_alloc(i32 inreg 60)#0
%fs=getelementptr inbounds i8,i8*%fr,i64 -4
%ft=bitcast i8*%fs to i32*
store i32 1342177336,i32*%ft,align 4
%fu=getelementptr inbounds i8,i8*%fr,i64 56
%fv=bitcast i8*%fu to i32*
store i32 1,i32*%fv,align 4
%fw=load i8*,i8**%d,align 8
%fx=bitcast i8*%fr to i8**
store i8*%fw,i8**%fx,align 8
call void@sml_raise(i8*inreg%fr)#1
unreachable
fy:
%fz=getelementptr inbounds i8,i8*%ev,i64 8
%fA=bitcast i8*%fz to i8***
%fB=load i8**,i8***%fA,align 8
%fC=load i8*,i8**%fB,align 8
%fD=bitcast i8*%fC to i32*
%fE=load i32,i32*%fD,align 4
switch i32%fE,label%fH[
i32 1,label%fF
i32 0,label%fZ
]
fF:
%fG=phi i8*[%eT,%eQ],[%fC,%fy]
br label%ei
fH:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%fI=load i8*,i8**@_SMLZ5Match,align 8
store i8*%fI,i8**%c,align 8
%fJ=call i8*@sml_alloc(i32 inreg 20)#0
%fK=getelementptr inbounds i8,i8*%fJ,i64 -4
%fL=bitcast i8*%fK to i32*
store i32 1342177296,i32*%fL,align 4
store i8*%fJ,i8**%d,align 8
%fM=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%fN=bitcast i8*%fJ to i8**
store i8*%fM,i8**%fN,align 8
%fO=getelementptr inbounds i8,i8*%fJ,i64 8
%fP=bitcast i8*%fO to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@g,i64 0,i32 2,i64 0),i8**%fP,align 8
%fQ=getelementptr inbounds i8,i8*%fJ,i64 16
%fR=bitcast i8*%fQ to i32*
store i32 3,i32*%fR,align 4
%fS=call i8*@sml_alloc(i32 inreg 60)#0
%fT=getelementptr inbounds i8,i8*%fS,i64 -4
%fU=bitcast i8*%fT to i32*
store i32 1342177336,i32*%fU,align 4
%fV=getelementptr inbounds i8,i8*%fS,i64 56
%fW=bitcast i8*%fV to i32*
store i32 1,i32*%fW,align 4
%fX=load i8*,i8**%d,align 8
%fY=bitcast i8*%fS to i8**
store i8*%fX,i8**%fY,align 8
call void@sml_raise(i8*inreg%fS)#1
unreachable
fZ:
%f0=bitcast i8**%e to i8***
%f1=load i8**,i8***%f0,align 8
store i8*null,i8**%e,align 8
%f2=load i8*,i8**%f1,align 8
store i8*%f2,i8**%c,align 8
%f3=call i8*@sml_alloc(i32 inreg 20)#0
%f4=getelementptr inbounds i8,i8*%f3,i64 -4
%f5=bitcast i8*%f4 to i32*
store i32 1342177296,i32*%f5,align 4
store i8*%f3,i8**%d,align 8
%f6=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%f7=bitcast i8*%f3 to i8**
store i8*%f6,i8**%f7,align 8
%f8=getelementptr inbounds i8,i8*%f3,i64 8
%f9=bitcast i8*%f8 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@e,i64 0,i32 2,i64 0),i8**%f9,align 8
%ga=getelementptr inbounds i8,i8*%f3,i64 16
%gb=bitcast i8*%ga to i32*
store i32 3,i32*%gb,align 4
%gc=call i8*@sml_alloc(i32 inreg 60)#0
%gd=getelementptr inbounds i8,i8*%gc,i64 -4
%ge=bitcast i8*%gd to i32*
store i32 1342177336,i32*%ge,align 4
%gf=getelementptr inbounds i8,i8*%gc,i64 56
%gg=bitcast i8*%gf to i32*
store i32 1,i32*%gg,align 4
%gh=load i8*,i8**%d,align 8
%gi=bitcast i8*%gc to i8**
store i8*%gh,i8**%gi,align 8
call void@sml_raise(i8*inreg%gc)#1
unreachable
gj:
%gk=getelementptr inbounds i8,i8*%ev,i64 8
%gl=bitcast i8*%gk to i8**
%gm=load i8*,i8**%gl,align 8
%gn=getelementptr inbounds i8,i8*%gm,i64 16
%go=bitcast i8*%gn to i8**
%gp=load i8*,i8**%go,align 8
%gq=icmp eq i8*%gp,null
br i1%gq,label%gr,label%gL
gr:
%gs=bitcast i8**%e to i8***
%gt=load i8**,i8***%gs,align 8
store i8*null,i8**%e,align 8
%gu=load i8*,i8**%gt,align 8
store i8*%gu,i8**%c,align 8
%gv=call i8*@sml_alloc(i32 inreg 20)#0
%gw=getelementptr inbounds i8,i8*%gv,i64 -4
%gx=bitcast i8*%gw to i32*
store i32 1342177296,i32*%gx,align 4
store i8*%gv,i8**%d,align 8
%gy=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%gz=bitcast i8*%gv to i8**
store i8*%gy,i8**%gz,align 8
%gA=getelementptr inbounds i8,i8*%gv,i64 8
%gB=bitcast i8*%gA to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@d,i64 0,i32 2,i64 0),i8**%gB,align 8
%gC=getelementptr inbounds i8,i8*%gv,i64 16
%gD=bitcast i8*%gC to i32*
store i32 3,i32*%gD,align 4
%gE=call i8*@sml_alloc(i32 inreg 60)#0
%gF=getelementptr inbounds i8,i8*%gE,i64 -4
%gG=bitcast i8*%gF to i32*
store i32 1342177336,i32*%gG,align 4
%gH=getelementptr inbounds i8,i8*%gE,i64 56
%gI=bitcast i8*%gH to i32*
store i32 1,i32*%gI,align 4
%gJ=load i8*,i8**%d,align 8
%gK=bitcast i8*%gE to i8**
store i8*%gJ,i8**%gK,align 8
call void@sml_raise(i8*inreg%gE)#1
unreachable
gL:
%gM=bitcast i8*%gp to i32*
%gN=load i32,i32*%gM,align 4
%gO=icmp eq i32%gN,0
br i1%gO,label%aR,label%gP
gP:
%gQ=bitcast i8**%e to i8***
%gR=load i8**,i8***%gQ,align 8
store i8*null,i8**%e,align 8
%gS=load i8*,i8**%gR,align 8
store i8*%gS,i8**%c,align 8
%gT=call i8*@sml_alloc(i32 inreg 20)#0
%gU=getelementptr inbounds i8,i8*%gT,i64 -4
%gV=bitcast i8*%gU to i32*
store i32 1342177296,i32*%gV,align 4
store i8*%gT,i8**%d,align 8
%gW=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%gX=bitcast i8*%gT to i8**
store i8*%gW,i8**%gX,align 8
%gY=getelementptr inbounds i8,i8*%gT,i64 8
%gZ=bitcast i8*%gY to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@c,i64 0,i32 2,i64 0),i8**%gZ,align 8
%g0=getelementptr inbounds i8,i8*%gT,i64 16
%g1=bitcast i8*%g0 to i32*
store i32 3,i32*%g1,align 4
%g2=call i8*@sml_alloc(i32 inreg 60)#0
%g3=getelementptr inbounds i8,i8*%g2,i64 -4
%g4=bitcast i8*%g3 to i32*
store i32 1342177336,i32*%g4,align 4
%g5=getelementptr inbounds i8,i8*%g2,i64 56
%g6=bitcast i8*%g5 to i32*
store i32 1,i32*%g6,align 4
%g7=load i8*,i8**%d,align 8
%g8=bitcast i8*%g2 to i8**
store i8*%g7,i8**%g8,align 8
call void@sml_raise(i8*inreg%g2)#1
unreachable
}
define fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(i8*inreg%a)#2 gc"smlsharp"personality i32(...)*@sml_personality{
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
%e=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
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*%a,i8**%b,align 8
%f=load atomic i32,i32*@sml_check_flag unordered,align 4
%g=icmp eq i32%f,0
br i1%g,label%i,label%h
h:
call void@sml_check(i32 inreg%f)
br label%i
i:
%j=call i8*@sml_alloc(i32 inreg 8)#0
%k=getelementptr inbounds i8,i8*%j,i64 -4
%l=bitcast i8*%k to i32*
store i32 268435464,i32*%l,align 4
store i8*%j,i8**%c,align 8
%m=bitcast i8*%j to i64*
store i64 0,i64*%m,align 1
%n=bitcast i8*%j to i8**
call void@sml_write(i8*inreg%j,i8**inreg%n,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,i32,[4x i8],i32}>,<{[4x i8],i32,i8*,i32,[4x i8],i32}>*@b,i64 0,i32 2)to i8*))#0
%o=call i8*@sml_alloc(i32 inreg 12)#0
%p=getelementptr inbounds i8,i8*%o,i64 -4
%q=bitcast i8*%p to i32*
store i32 1342177288,i32*%q,align 4
store i8*%o,i8**%d,align 8
%r=load i8*,i8**%c,align 8
%s=bitcast i8*%o to i8**
store i8*%r,i8**%s,align 8
%t=getelementptr inbounds i8,i8*%o,i64 8
%u=bitcast i8*%t to i32*
store i32 1,i32*%u,align 4
%v=call i8*@sml_alloc(i32 inreg 28)#0
%w=getelementptr inbounds i8,i8*%v,i64 -4
%x=bitcast i8*%w to i32*
store i32 1342177304,i32*%x,align 4
store i8*%v,i8**%e,align 8
%y=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%z=bitcast i8*%v to i8**
store i8*%y,i8**%z,align 8
%A=getelementptr inbounds i8,i8*%v,i64 8
%B=bitcast i8*%A to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL9visitKind_102 to void(...)*),void(...)**%B,align 8
%C=getelementptr inbounds i8,i8*%v,i64 16
%D=bitcast i8*%C to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL9visitKind_164 to void(...)*),void(...)**%D,align 8
%E=getelementptr inbounds i8,i8*%v,i64 24
%F=bitcast i8*%E to i32*
store i32 -2147483647,i32*%F,align 4
%G=call i8*@sml_alloc(i32 inreg 20)#0
%H=getelementptr inbounds i8,i8*%G,i64 -4
%I=bitcast i8*%H to i32*
store i32 1342177296,i32*%I,align 4
store i8*%G,i8**%d,align 8
%J=load i8*,i8**%c,align 8
%K=bitcast i8*%G to i8**
store i8*%J,i8**%K,align 8
%L=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%M=getelementptr inbounds i8,i8*%G,i64 8
%N=bitcast i8*%M to i8**
store i8*%L,i8**%N,align 8
%O=getelementptr inbounds i8,i8*%G,i64 16
%P=bitcast i8*%O to i32*
store i32 3,i32*%P,align 4
%Q=call i8*@sml_alloc(i32 inreg 28)#0
%R=getelementptr inbounds i8,i8*%Q,i64 -4
%S=bitcast i8*%R to i32*
store i32 1342177304,i32*%S,align 4
%T=load i8*,i8**%d,align 8
%U=bitcast i8*%Q to i8**
store i8*%T,i8**%U,align 8
%V=getelementptr inbounds i8,i8*%Q,i64 8
%W=bitcast i8*%V to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL5visit_103 to void(...)*),void(...)**%W,align 8
%X=getelementptr inbounds i8,i8*%Q,i64 16
%Y=bitcast i8*%X to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL5visit_165 to void(...)*),void(...)**%Y,align 8
%Z=getelementptr inbounds i8,i8*%Q,i64 24
%aa=bitcast i8*%Z to i32*
store i32 -2147483647,i32*%aa,align 4
%ab=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
store i8*null,i8**%d,align 8
invoke fastcc void@_SMLLL5visit_103(i8*inreg%T,i8*inreg%ab)
to label%al unwind label%ac
ac:
%ad=landingpad{i8*,i8*}
catch i8*null
%ae=extractvalue{i8*,i8*}%ad,1
%af=bitcast i8*%ae to i8**
%ag=load i8*,i8**%af,align 8
store i8*%ag,i8**%b,align 8
%ah=bitcast i8*%ag to i8**
%ai=load i8*,i8**%ah,align 8
%aj=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ak=icmp eq i8*%ai,%aj
br i1%ak,label%al,label%an
al:
%am=phi i32[0,%ac],[1,%i]
ret i32%am
an:
%ao=call i8*@sml_alloc(i32 inreg 60)#0
%ap=getelementptr inbounds i8,i8*%ao,i64 -4
%aq=bitcast i8*%ap to i32*
store i32 1342177336,i32*%aq,align 4
%ar=getelementptr inbounds i8,i8*%ao,i64 56
%as=bitcast i8*%ar to i32*
store i32 1,i32*%as,align 4
%at=load i8*,i8**%b,align 8
%au=bitcast i8*%ao to i8**
store i8*%at,i8**%au,align 8
call void@sml_raise(i8*inreg%ao)#1
unreachable
}
define internal fastcc void@_SMLLL9visitKind_124(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
k:
%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**%d,align 8
store i8*%b,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%i,label%g
g:
call void@sml_check(i32 inreg%e)
%h=load i8*,i8**%c,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%b,%k]
%l=getelementptr inbounds i8,i8*%j,i64 8
%m=bitcast i8*%l to i8**
%n=load i8*,i8**%m,align 8
store i8*%n,i8**%c,align 8
%o=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 1)
%p=getelementptr inbounds i8,i8*%o,i64 16
%q=bitcast i8*%p to i8*(i8*,i8*)**
%r=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%q,align 8
%s=bitcast i8*%o to i8**
%t=load i8*,i8**%s,align 8
%u=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%v=call fastcc i8*%r(i8*inreg%t,i8*inreg%u)
%w=bitcast i8*%v to i32*
%x=load i32,i32*%w,align 4
%y=icmp eq i32%x,0
br i1%y,label%A,label%z
z:
ret void
A:
%B=bitcast i8**%d to i8***
%C=load i8**,i8***%B,align 8
store i8*null,i8**%d,align 8
%D=load i8*,i8**%C,align 8
store i8*%D,i8**%c,align 8
%E=call i8*@sml_alloc(i32 inreg 20)#0
%F=getelementptr inbounds i8,i8*%E,i64 -4
%G=bitcast i8*%F to i32*
store i32 1342177296,i32*%G,align 4
store i8*%E,i8**%d,align 8
%H=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%I=bitcast i8*%E to i8**
store i8*%H,i8**%I,align 8
%J=getelementptr inbounds i8,i8*%E,i64 8
%K=bitcast i8*%J to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@s,i64 0,i32 2,i64 0),i8**%K,align 8
%L=getelementptr inbounds i8,i8*%E,i64 16
%M=bitcast i8*%L to i32*
store i32 3,i32*%M,align 4
%N=call i8*@sml_alloc(i32 inreg 60)#0
%O=getelementptr inbounds i8,i8*%N,i64 -4
%P=bitcast i8*%O to i32*
store i32 1342177336,i32*%P,align 4
%Q=getelementptr inbounds i8,i8*%N,i64 56
%R=bitcast i8*%Q to i32*
store i32 1,i32*%R,align 4
%S=load i8*,i8**%d,align 8
%T=bitcast i8*%N to i8**
store i8*%S,i8**%T,align 8
call void@sml_raise(i8*inreg%N)#1
unreachable
}
define internal fastcc void@_SMLLL5visit_125(i8*inreg%a,i8*inreg%b)#2 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*%a,i8**%e,align 8
store i8*%b,i8**%c,align 8
br label%f
f:
%g=load atomic i32,i32*@sml_check_flag unordered,align 4
%h=icmp eq i32%g,0
br i1%h,label%j,label%i
i:
call void@sml_check(i32 inreg%g)
br label%j
j:
%k=load i8*,i8**%c,align 8
%l=icmp eq i8*%k,null
br i1%l,label%eY,label%m
m:
%n=bitcast i8*%k to i32*
%o=load i32,i32*%n,align 4
switch i32%o,label%p[
i32 9,label%fC
i32 0,label%fi
i32 4,label%eY
i32 3,label%ej
i32 5,label%dE
i32 10,label%cw
i32 1,label%aI
i32 6,label%cc
i32 8,label%bI
i32 2,label%aj
i32 7,label%H
]
p:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%q=load i8*,i8**@_SMLZ5Match,align 8
store i8*%q,i8**%c,align 8
%r=call i8*@sml_alloc(i32 inreg 20)#0
%s=getelementptr inbounds i8,i8*%r,i64 -4
%t=bitcast i8*%s to i32*
store i32 1342177296,i32*%t,align 4
store i8*%r,i8**%d,align 8
%u=load i8*,i8**%c,align 8
store i8*null,i8**%c,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 i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@v,i64 0,i32 2,i64 0),i8**%x,align 8
%y=getelementptr inbounds i8,i8*%r,i64 16
%z=bitcast i8*%y to i32*
store i32 3,i32*%z,align 4
%A=call i8*@sml_alloc(i32 inreg 60)#0
%B=getelementptr inbounds i8,i8*%A,i64 -4
%C=bitcast i8*%B to i32*
store i32 1342177336,i32*%C,align 4
%D=getelementptr inbounds i8,i8*%A,i64 56
%E=bitcast i8*%D to i32*
store i32 1,i32*%E,align 4
%F=load i8*,i8**%d,align 8
%G=bitcast i8*%A to i8**
store i8*%F,i8**%G,align 8
call void@sml_raise(i8*inreg%A)#1
unreachable
H:
%I=getelementptr inbounds i8,i8*%k,i64 8
%J=bitcast i8*%I to i8**
%K=load i8*,i8**%J,align 8
%L=bitcast i8*%K to i8**
%M=load i8*,i8**%L,align 8
store i8*%M,i8**%c,align 8
%N=getelementptr inbounds i8,i8*%K,i64 8
%O=bitcast i8*%N to i8**
%P=load i8*,i8**%O,align 8
store i8*%P,i8**%d,align 8
%Q=call fastcc i8*@_SMLFN14BoundTypeVarID3Map3appE(i32 inreg 1,i32 inreg 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
%W=load i8*,i8**%e,align 8
%X=getelementptr inbounds i8,i8*%W,i64 8
%Y=bitcast i8*%X to i8**
%Z=load i8*,i8**%Y,align 8
%aa=call fastcc i8*%T(i8*inreg%V,i8*inreg%Z)
%ab=getelementptr inbounds i8,i8*%aa,i64 16
%ac=bitcast i8*%ab to i8*(i8*,i8*)**
%ad=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ac,align 8
%ae=bitcast i8*%aa to i8**
%af=load i8*,i8**%ae,align 8
%ag=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%ah=call fastcc i8*%ad(i8*inreg%af,i8*inreg%ag)
br label%ai
ai:
br label%f
aj:
%ak=getelementptr inbounds i8,i8*%k,i64 8
%al=bitcast i8*%ak to i8**
%am=load i8*,i8**%al,align 8
%an=bitcast i8*%am to i8**
%ao=load i8*,i8**%an,align 8
store i8*%ao,i8**%c,align 8
%ap=getelementptr inbounds i8,i8*%am,i64 8
%aq=bitcast i8*%ap to i8**
%ar=load i8*,i8**%aq,align 8
%as=bitcast i8*%ar to i32*
%at=load i32,i32*%as,align 4
%au=getelementptr inbounds i8,i8*%ar,i64 40
%av=bitcast i8*%au to i32*
%aw=load i32,i32*%av,align 4
%ax=load i32,i32*@_SMLZN5Types10arrayTypIdE,align 4
%ay=call i8*@sml_alloc(i32 inreg 12)#0
%az=bitcast i8*%ay to i32*
%aA=getelementptr inbounds i8,i8*%ay,i64 -4
%aB=bitcast i8*%aA to i32*
store i32 1342177288,i32*%aB,align 4
store i32%aw,i32*%az,align 4
%aC=getelementptr inbounds i8,i8*%ay,i64 4
%aD=bitcast i8*%aC to i32*
store i32%ax,i32*%aD,align 4
%aE=getelementptr inbounds i8,i8*%ay,i64 8
%aF=bitcast i8*%aE to i32*
store i32 0,i32*%aF,align 4
%aG=call fastcc i32@_SMLFN5TypID2eqE(i8*inreg%ay)
%aH=icmp eq i32%aG,0
br i1%aH,label%aJ,label%aI
aI:
ret void
aJ:
%aK=load i32,i32*@_SMLZN5Types8refTypIdE,align 4
%aL=call i8*@sml_alloc(i32 inreg 12)#0
%aM=bitcast i8*%aL to i32*
%aN=getelementptr inbounds i8,i8*%aL,i64 -4
%aO=bitcast i8*%aN to i32*
store i32 1342177288,i32*%aO,align 4
store i32%aw,i32*%aM,align 4
%aP=getelementptr inbounds i8,i8*%aL,i64 4
%aQ=bitcast i8*%aP to i32*
store i32%aK,i32*%aQ,align 4
%aR=getelementptr inbounds i8,i8*%aL,i64 8
%aS=bitcast i8*%aR to i32*
store i32 0,i32*%aS,align 4
%aT=call fastcc i32@_SMLFN5TypID2eqE(i8*inreg%aL)
%aU=icmp eq i32%aT,0
br i1%aU,label%aV,label%aI
aV:
%aW=icmp eq i32%at,0
br i1%aW,label%bo,label%aX
aX:
%aY=call fastcc i8*@_SMLFN4List3appE(i32 inreg 1,i32 inreg 8)
%aZ=getelementptr inbounds i8,i8*%aY,i64 16
%a0=bitcast i8*%aZ to i8*(i8*,i8*)**
%a1=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%a0,align 8
%a2=bitcast i8*%aY to i8**
%a3=load i8*,i8**%a2,align 8
store i8*%a3,i8**%d,align 8
%a4=call i8*@sml_alloc(i32 inreg 28)#0
%a5=getelementptr inbounds i8,i8*%a4,i64 -4
%a6=bitcast i8*%a5 to i32*
store i32 1342177304,i32*%a6,align 4
%a7=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%a8=bitcast i8*%a4 to i8**
store i8*%a7,i8**%a8,align 8
%a9=getelementptr inbounds i8,i8*%a4,i64 8
%ba=bitcast i8*%a9 to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL5visit_125 to void(...)*),void(...)**%ba,align 8
%bb=getelementptr inbounds i8,i8*%a4,i64 16
%bc=bitcast i8*%bb to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL5visit_168 to void(...)*),void(...)**%bc,align 8
%bd=getelementptr inbounds i8,i8*%a4,i64 24
%be=bitcast i8*%bd to i32*
store i32 -2147483647,i32*%be,align 4
%bf=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%bg=call fastcc i8*%a1(i8*inreg%bf,i8*inreg%a4)
%bh=getelementptr inbounds i8,i8*%bg,i64 16
%bi=bitcast i8*%bh to i8*(i8*,i8*)**
%bj=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bi,align 8
%bk=bitcast i8*%bg to i8**
%bl=load i8*,i8**%bk,align 8
%bm=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%bn=call fastcc i8*%bj(i8*inreg%bl,i8*inreg%bm)
ret void
bo:
%bp=bitcast i8**%e to i8***
%bq=load i8**,i8***%bp,align 8
store i8*null,i8**%e,align 8
%br=load i8*,i8**%bq,align 8
store i8*%br,i8**%c,align 8
%bs=call i8*@sml_alloc(i32 inreg 20)#0
%bt=getelementptr inbounds i8,i8*%bs,i64 -4
%bu=bitcast i8*%bt to i32*
store i32 1342177296,i32*%bu,align 4
store i8*%bs,i8**%d,align 8
%bv=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%bw=bitcast i8*%bs to i8**
store i8*%bv,i8**%bw,align 8
%bx=getelementptr inbounds i8,i8*%bs,i64 8
%by=bitcast i8*%bx to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@u,i64 0,i32 2,i64 0),i8**%by,align 8
%bz=getelementptr inbounds i8,i8*%bs,i64 16
%bA=bitcast i8*%bz to i32*
store i32 3,i32*%bA,align 4
%bB=call i8*@sml_alloc(i32 inreg 60)#0
%bC=getelementptr inbounds i8,i8*%bB,i64 -4
%bD=bitcast i8*%bC to i32*
store i32 1342177336,i32*%bD,align 4
%bE=getelementptr inbounds i8,i8*%bB,i64 56
%bF=bitcast i8*%bE to i32*
store i32 1,i32*%bF,align 4
%bG=load i8*,i8**%d,align 8
%bH=bitcast i8*%bB to i8**
store i8*%bG,i8**%bH,align 8
call void@sml_raise(i8*inreg%bB)#1
unreachable
bI:
%bJ=getelementptr inbounds i8,i8*%k,i64 8
%bK=bitcast i8*%bJ to i8**
%bL=load i8*,i8**%bK,align 8
store i8*%bL,i8**%c,align 8
%bM=call fastcc i8*@_SMLFN11RecordLabel3Map3appE(i32 inreg 1,i32 inreg 8)
%bN=getelementptr inbounds i8,i8*%bM,i64 16
%bO=bitcast i8*%bN to i8*(i8*,i8*)**
%bP=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bO,align 8
%bQ=bitcast i8*%bM to i8**
%bR=load i8*,i8**%bQ,align 8
store i8*%bR,i8**%d,align 8
%bS=call i8*@sml_alloc(i32 inreg 28)#0
%bT=getelementptr inbounds i8,i8*%bS,i64 -4
%bU=bitcast i8*%bT to i32*
store i32 1342177304,i32*%bU,align 4
%bV=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%bW=bitcast i8*%bS to i8**
store i8*%bV,i8**%bW,align 8
%bX=getelementptr inbounds i8,i8*%bS,i64 8
%bY=bitcast i8*%bX to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL5visit_125 to void(...)*),void(...)**%bY,align 8
%bZ=getelementptr inbounds i8,i8*%bS,i64 16
%b0=bitcast i8*%bZ to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL5visit_168 to void(...)*),void(...)**%b0,align 8
%b1=getelementptr inbounds i8,i8*%bS,i64 24
%b2=bitcast i8*%b1 to i32*
store i32 -2147483647,i32*%b2,align 4
%b3=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%b4=call fastcc i8*%bP(i8*inreg%b3,i8*inreg%bS)
%b5=getelementptr inbounds i8,i8*%b4,i64 16
%b6=bitcast i8*%b5 to i8*(i8*,i8*)**
%b7=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%b6,align 8
%b8=bitcast i8*%b4 to i8**
%b9=load i8*,i8**%b8,align 8
%ca=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%cb=call fastcc i8*%b7(i8*inreg%b9,i8*inreg%ca)
ret void
cc:
%cd=bitcast i8**%e to i8***
%ce=load i8**,i8***%cd,align 8
store i8*null,i8**%e,align 8
%cf=load i8*,i8**%ce,align 8
store i8*%cf,i8**%c,align 8
%cg=call i8*@sml_alloc(i32 inreg 20)#0
%ch=getelementptr inbounds i8,i8*%cg,i64 -4
%ci=bitcast i8*%ch to i32*
store i32 1342177296,i32*%ci,align 4
store i8*%cg,i8**%d,align 8
%cj=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ck=bitcast i8*%cg to i8**
store i8*%cj,i8**%ck,align 8
%cl=getelementptr inbounds i8,i8*%cg,i64 8
%cm=bitcast i8*%cl to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@t,i64 0,i32 2,i64 0),i8**%cm,align 8
%cn=getelementptr inbounds i8,i8*%cg,i64 16
%co=bitcast i8*%cn to i32*
store i32 3,i32*%co,align 4
%cp=call i8*@sml_alloc(i32 inreg 60)#0
%cq=getelementptr inbounds i8,i8*%cp,i64 -4
%cr=bitcast i8*%cq to i32*
store i32 1342177336,i32*%cr,align 4
%cs=getelementptr inbounds i8,i8*%cp,i64 56
%ct=bitcast i8*%cs to i32*
store i32 1,i32*%ct,align 4
%cu=load i8*,i8**%d,align 8
%cv=bitcast i8*%cp to i8**
store i8*%cu,i8**%cv,align 8
call void@sml_raise(i8*inreg%cp)#1
unreachable
cw:
store i8*null,i8**%c,align 8
%cx=getelementptr inbounds i8,i8*%k,i64 8
%cy=bitcast i8*%cx to i8***
%cz=load i8**,i8***%cy,align 8
%cA=load i8*,i8**%cz,align 8
%cB=bitcast i8*%cA to i32*
%cC=load i32,i32*%cB,align 4
switch i32%cC,label%cD[
i32 1,label%cZ
i32 0,label%cV
]
cD:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%cE=load i8*,i8**@_SMLZ5Match,align 8
store i8*%cE,i8**%c,align 8
%cF=call i8*@sml_alloc(i32 inreg 20)#0
%cG=getelementptr inbounds i8,i8*%cF,i64 -4
%cH=bitcast i8*%cG to i32*
store i32 1342177296,i32*%cH,align 4
store i8*%cF,i8**%d,align 8
%cI=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%cJ=bitcast i8*%cF to i8**
store i8*%cI,i8**%cJ,align 8
%cK=getelementptr inbounds i8,i8*%cF,i64 8
%cL=bitcast i8*%cK to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@v,i64 0,i32 2,i64 0),i8**%cL,align 8
%cM=getelementptr inbounds i8,i8*%cF,i64 16
%cN=bitcast i8*%cM to i32*
store i32 3,i32*%cN,align 4
%cO=call i8*@sml_alloc(i32 inreg 60)#0
%cP=getelementptr inbounds i8,i8*%cO,i64 -4
%cQ=bitcast i8*%cP to i32*
store i32 1342177336,i32*%cQ,align 4
%cR=getelementptr inbounds i8,i8*%cO,i64 56
%cS=bitcast i8*%cR to i32*
store i32 1,i32*%cS,align 4
%cT=load i8*,i8**%d,align 8
%cU=bitcast i8*%cO to i8**
store i8*%cT,i8**%cU,align 8
call void@sml_raise(i8*inreg%cO)#1
unreachable
cV:
%cW=getelementptr inbounds i8,i8*%cA,i64 8
%cX=bitcast i8*%cW to i8**
%cY=load i8*,i8**%cX,align 8
store i8*%cY,i8**%c,align 8
br label%ai
cZ:
%c0=getelementptr inbounds i8,i8*%cA,i64 8
%c1=bitcast i8*%c0 to i8**
%c2=load i8*,i8**%c1,align 8
%c3=getelementptr inbounds i8,i8*%c2,i64 8
%c4=bitcast i8*%c3 to i8**
%c5=load i8*,i8**%c4,align 8
%c6=getelementptr inbounds i8,i8*%c5,i64 8
%c7=bitcast i8*%c6 to i8**
%c8=load i8*,i8**%c7,align 8
store i8*%c8,i8**%c,align 8
%c9=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 1)
%da=getelementptr inbounds i8,i8*%c9,i64 16
%db=bitcast i8*%da to i8*(i8*,i8*)**
%dc=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%db,align 8
%dd=bitcast i8*%c9 to i8**
%de=load i8*,i8**%dd,align 8
%df=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%dg=call fastcc i8*%dc(i8*inreg%de,i8*inreg%df)
%dh=bitcast i8*%dg to i32*
%di=load i32,i32*%dh,align 4
%dj=icmp eq i32%di,0
br i1%dj,label%dk,label%aI
dk:
%dl=bitcast i8**%e to i8***
%dm=load i8**,i8***%dl,align 8
store i8*null,i8**%e,align 8
%dn=load i8*,i8**%dm,align 8
store i8*%dn,i8**%c,align 8
%do=call i8*@sml_alloc(i32 inreg 20)#0
%dp=getelementptr inbounds i8,i8*%do,i64 -4
%dq=bitcast i8*%dp to i32*
store i32 1342177296,i32*%dq,align 4
store i8*%do,i8**%d,align 8
%dr=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ds=bitcast i8*%do to i8**
store i8*%dr,i8**%ds,align 8
%dt=getelementptr inbounds i8,i8*%do,i64 8
%du=bitcast i8*%dt to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@s,i64 0,i32 2,i64 0),i8**%du,align 8
%dv=getelementptr inbounds i8,i8*%do,i64 16
%dw=bitcast i8*%dv to i32*
store i32 3,i32*%dw,align 4
%dx=call i8*@sml_alloc(i32 inreg 60)#0
%dy=getelementptr inbounds i8,i8*%dx,i64 -4
%dz=bitcast i8*%dy to i32*
store i32 1342177336,i32*%dz,align 4
%dA=getelementptr inbounds i8,i8*%dx,i64 56
%dB=bitcast i8*%dA to i32*
store i32 1,i32*%dB,align 4
%dC=load i8*,i8**%d,align 8
%dD=bitcast i8*%dx to i8**
store i8*%dC,i8**%dD,align 8
call void@sml_raise(i8*inreg%dx)#1
unreachable
dE:
%dF=getelementptr inbounds i8,i8*%k,i64 8
%dG=bitcast i8*%dF to i8**
%dH=load i8*,i8**%dG,align 8
%dI=getelementptr inbounds i8,i8*%dH,i64 8
%dJ=bitcast i8*%dI to i8**
%dK=load i8*,i8**%dJ,align 8
%dL=getelementptr inbounds i8,i8*%dK,i64 8
%dM=bitcast i8*%dL to i8**
%dN=load i8*,i8**%dM,align 8
store i8*%dN,i8**%c,align 8
%dO=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 1)
%dP=getelementptr inbounds i8,i8*%dO,i64 16
%dQ=bitcast i8*%dP to i8*(i8*,i8*)**
%dR=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dQ,align 8
%dS=bitcast i8*%dO to i8**
%dT=load i8*,i8**%dS,align 8
%dU=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%dV=call fastcc i8*%dR(i8*inreg%dT,i8*inreg%dU)
%dW=bitcast i8*%dV to i32*
%dX=load i32,i32*%dW,align 4
%dY=icmp eq i32%dX,0
br i1%dY,label%dZ,label%aI
dZ:
%d0=bitcast i8**%e to i8***
%d1=load i8**,i8***%d0,align 8
store i8*null,i8**%e,align 8
%d2=load i8*,i8**%d1,align 8
store i8*%d2,i8**%c,align 8
%d3=call i8*@sml_alloc(i32 inreg 20)#0
%d4=getelementptr inbounds i8,i8*%d3,i64 -4
%d5=bitcast i8*%d4 to i32*
store i32 1342177296,i32*%d5,align 4
store i8*%d3,i8**%d,align 8
%d6=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%d7=bitcast i8*%d3 to i8**
store i8*%d6,i8**%d7,align 8
%d8=getelementptr inbounds i8,i8*%d3,i64 8
%d9=bitcast i8*%d8 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@s,i64 0,i32 2,i64 0),i8**%d9,align 8
%ea=getelementptr inbounds i8,i8*%d3,i64 16
%eb=bitcast i8*%ea to i32*
store i32 3,i32*%eb,align 4
%ec=call i8*@sml_alloc(i32 inreg 60)#0
%ed=getelementptr inbounds i8,i8*%ec,i64 -4
%ee=bitcast i8*%ed to i32*
store i32 1342177336,i32*%ee,align 4
%ef=getelementptr inbounds i8,i8*%ec,i64 56
%eg=bitcast i8*%ef to i32*
store i32 1,i32*%eg,align 4
%eh=load i8*,i8**%d,align 8
%ei=bitcast i8*%ec to i8**
store i8*%eh,i8**%ei,align 8
call void@sml_raise(i8*inreg%ec)#1
unreachable
ej:
%ek=getelementptr inbounds i8,i8*%k,i64 8
%el=bitcast i8*%ek to i8**
%em=load i8*,i8**%el,align 8
%en=getelementptr inbounds i8,i8*%em,i64 8
%eo=bitcast i8*%en to i8**
%ep=load i8*,i8**%eo,align 8
%eq=getelementptr inbounds i8,i8*%ep,i64 8
%er=bitcast i8*%eq to i8**
%es=load i8*,i8**%er,align 8
store i8*%es,i8**%c,align 8
%et=call fastcc i8*@_SMLFN5Types12isPropertiesE(i32 inreg 1)
%eu=getelementptr inbounds i8,i8*%et,i64 16
%ev=bitcast i8*%eu to i8*(i8*,i8*)**
%ew=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ev,align 8
%ex=bitcast i8*%et to i8**
%ey=load i8*,i8**%ex,align 8
%ez=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%eA=call fastcc i8*%ew(i8*inreg%ey,i8*inreg%ez)
%eB=bitcast i8*%eA to i32*
%eC=load i32,i32*%eB,align 4
%eD=icmp eq i32%eC,0
br i1%eD,label%eE,label%aI
eE:
%eF=bitcast i8**%e to i8***
%eG=load i8**,i8***%eF,align 8
store i8*null,i8**%e,align 8
%eH=load i8*,i8**%eG,align 8
store i8*%eH,i8**%c,align 8
%eI=call i8*@sml_alloc(i32 inreg 20)#0
%eJ=getelementptr inbounds i8,i8*%eI,i64 -4
%eK=bitcast i8*%eJ to i32*
store i32 1342177296,i32*%eK,align 4
store i8*%eI,i8**%d,align 8
%eL=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%eM=bitcast i8*%eI to i8**
store i8*%eL,i8**%eM,align 8
%eN=getelementptr inbounds i8,i8*%eI,i64 8
%eO=bitcast i8*%eN to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@s,i64 0,i32 2,i64 0),i8**%eO,align 8
%eP=getelementptr inbounds i8,i8*%eI,i64 16
%eQ=bitcast i8*%eP to i32*
store i32 3,i32*%eQ,align 4
%eR=call i8*@sml_alloc(i32 inreg 60)#0
%eS=getelementptr inbounds i8,i8*%eR,i64 -4
%eT=bitcast i8*%eS to i32*
store i32 1342177336,i32*%eT,align 4
%eU=getelementptr inbounds i8,i8*%eR,i64 56
%eV=bitcast i8*%eU to i32*
store i32 1,i32*%eV,align 4
%eW=load i8*,i8**%d,align 8
%eX=bitcast i8*%eR to i8**
store i8*%eW,i8**%eX,align 8
call void@sml_raise(i8*inreg%eR)#1
unreachable
eY:
%eZ=bitcast i8**%e to i8***
%e0=load i8**,i8***%eZ,align 8
store i8*null,i8**%e,align 8
%e1=load i8*,i8**%e0,align 8
store i8*%e1,i8**%c,align 8
%e2=call i8*@sml_alloc(i32 inreg 20)#0
%e3=getelementptr inbounds i8,i8*%e2,i64 -4
%e4=bitcast i8*%e3 to i32*
store i32 1342177296,i32*%e4,align 4
store i8*%e2,i8**%d,align 8
%e5=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%e6=bitcast i8*%e2 to i8**
store i8*%e5,i8**%e6,align 8
%e7=getelementptr inbounds i8,i8*%e2,i64 8
%e8=bitcast i8*%e7 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@r,i64 0,i32 2,i64 0),i8**%e8,align 8
%e9=getelementptr inbounds i8,i8*%e2,i64 16
%fa=bitcast i8*%e9 to i32*
store i32 3,i32*%fa,align 4
%fb=call i8*@sml_alloc(i32 inreg 60)#0
%fc=getelementptr inbounds i8,i8*%fb,i64 -4
%fd=bitcast i8*%fc to i32*
store i32 1342177336,i32*%fd,align 4
%fe=getelementptr inbounds i8,i8*%fb,i64 56
%ff=bitcast i8*%fe to i32*
store i32 1,i32*%ff,align 4
%fg=load i8*,i8**%d,align 8
%fh=bitcast i8*%fb to i8**
store i8*%fg,i8**%fh,align 8
call void@sml_raise(i8*inreg%fb)#1
unreachable
fi:
%fj=bitcast i8**%e to i8***
%fk=load i8**,i8***%fj,align 8
store i8*null,i8**%e,align 8
%fl=load i8*,i8**%fk,align 8
store i8*%fl,i8**%c,align 8
%fm=call i8*@sml_alloc(i32 inreg 20)#0
%fn=getelementptr inbounds i8,i8*%fm,i64 -4
%fo=bitcast i8*%fn to i32*
store i32 1342177296,i32*%fo,align 4
store i8*%fm,i8**%d,align 8
%fp=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%fq=bitcast i8*%fm to i8**
store i8*%fp,i8**%fq,align 8
%fr=getelementptr inbounds i8,i8*%fm,i64 8
%fs=bitcast i8*%fr to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@q,i64 0,i32 2,i64 0),i8**%fs,align 8
%ft=getelementptr inbounds i8,i8*%fm,i64 16
%fu=bitcast i8*%ft to i32*
store i32 3,i32*%fu,align 4
%fv=call i8*@sml_alloc(i32 inreg 60)#0
%fw=getelementptr inbounds i8,i8*%fv,i64 -4
%fx=bitcast i8*%fw to i32*
store i32 1342177336,i32*%fx,align 4
%fy=getelementptr inbounds i8,i8*%fv,i64 56
%fz=bitcast i8*%fy to i32*
store i32 1,i32*%fz,align 4
%fA=load i8*,i8**%d,align 8
%fB=bitcast i8*%fv to i8**
store i8*%fA,i8**%fB,align 8
call void@sml_raise(i8*inreg%fv)#1
unreachable
fC:
%fD=bitcast i8**%e to i8***
%fE=load i8**,i8***%fD,align 8
store i8*null,i8**%e,align 8
%fF=load i8*,i8**%fE,align 8
store i8*%fF,i8**%c,align 8
%fG=call i8*@sml_alloc(i32 inreg 20)#0
%fH=getelementptr inbounds i8,i8*%fG,i64 -4
%fI=bitcast i8*%fH to i32*
store i32 1342177296,i32*%fI,align 4
store i8*%fG,i8**%d,align 8
%fJ=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%fK=bitcast i8*%fG to i8**
store i8*%fJ,i8**%fK,align 8
%fL=getelementptr inbounds i8,i8*%fG,i64 8
%fM=bitcast i8*%fL to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@p,i64 0,i32 2,i64 0),i8**%fM,align 8
%fN=getelementptr inbounds i8,i8*%fG,i64 16
%fO=bitcast i8*%fN to i32*
store i32 3,i32*%fO,align 4
%fP=call i8*@sml_alloc(i32 inreg 60)#0
%fQ=getelementptr inbounds i8,i8*%fP,i64 -4
%fR=bitcast i8*%fQ to i32*
store i32 1342177336,i32*%fR,align 4
%fS=getelementptr inbounds i8,i8*%fP,i64 56
%fT=bitcast i8*%fS to i32*
store i32 1,i32*%fT,align 4
%fU=load i8*,i8**%d,align 8
%fV=bitcast i8*%fP to i8**
store i8*%fU,i8**%fV,align 8
call void@sml_raise(i8*inreg%fP)#1
unreachable
}
define fastcc i32@_SMLFN10TypesUtils9admitEqTyE(i8*inreg%a)#2 gc"smlsharp"personality i32(...)*@sml_personality{
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
%e=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
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*%a,i8**%b,align 8
%f=load atomic i32,i32*@sml_check_flag unordered,align 4
%g=icmp eq i32%f,0
br i1%g,label%i,label%h
h:
call void@sml_check(i32 inreg%f)
br label%i
i:
%j=call i8*@sml_alloc(i32 inreg 8)#0
%k=getelementptr inbounds i8,i8*%j,i64 -4
%l=bitcast i8*%k to i32*
store i32 268435464,i32*%l,align 4
store i8*%j,i8**%c,align 8
%m=bitcast i8*%j to i64*
store i64 0,i64*%m,align 1
%n=bitcast i8*%j to i8**
call void@sml_write(i8*inreg%j,i8**inreg%n,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,i32,[4x i8],i32}>,<{[4x i8],i32,i8*,i32,[4x i8],i32}>*@o,i64 0,i32 2)to i8*))#0
%o=call i8*@sml_alloc(i32 inreg 12)#0
%p=getelementptr inbounds i8,i8*%o,i64 -4
%q=bitcast i8*%p to i32*
store i32 1342177288,i32*%q,align 4
store i8*%o,i8**%d,align 8
%r=load i8*,i8**%c,align 8
%s=bitcast i8*%o to i8**
store i8*%r,i8**%s,align 8
%t=getelementptr inbounds i8,i8*%o,i64 8
%u=bitcast i8*%t to i32*
store i32 1,i32*%u,align 4
%v=call i8*@sml_alloc(i32 inreg 28)#0
%w=getelementptr inbounds i8,i8*%v,i64 -4
%x=bitcast i8*%w to i32*
store i32 1342177304,i32*%x,align 4
store i8*%v,i8**%e,align 8
%y=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%z=bitcast i8*%v to i8**
store i8*%y,i8**%z,align 8
%A=getelementptr inbounds i8,i8*%v,i64 8
%B=bitcast i8*%A to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL9visitKind_124 to void(...)*),void(...)**%B,align 8
%C=getelementptr inbounds i8,i8*%v,i64 16
%D=bitcast i8*%C to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL9visitKind_167 to void(...)*),void(...)**%D,align 8
%E=getelementptr inbounds i8,i8*%v,i64 24
%F=bitcast i8*%E to i32*
store i32 -2147483647,i32*%F,align 4
%G=call i8*@sml_alloc(i32 inreg 20)#0
%H=getelementptr inbounds i8,i8*%G,i64 -4
%I=bitcast i8*%H to i32*
store i32 1342177296,i32*%I,align 4
store i8*%G,i8**%d,align 8
%J=load i8*,i8**%c,align 8
%K=bitcast i8*%G to i8**
store i8*%J,i8**%K,align 8
%L=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%M=getelementptr inbounds i8,i8*%G,i64 8
%N=bitcast i8*%M to i8**
store i8*%L,i8**%N,align 8
%O=getelementptr inbounds i8,i8*%G,i64 16
%P=bitcast i8*%O to i32*
store i32 3,i32*%P,align 4
%Q=call i8*@sml_alloc(i32 inreg 28)#0
%R=getelementptr inbounds i8,i8*%Q,i64 -4
%S=bitcast i8*%R to i32*
store i32 1342177304,i32*%S,align 4
%T=load i8*,i8**%d,align 8
%U=bitcast i8*%Q to i8**
store i8*%T,i8**%U,align 8
%V=getelementptr inbounds i8,i8*%Q,i64 8
%W=bitcast i8*%V to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL5visit_125 to void(...)*),void(...)**%W,align 8
%X=getelementptr inbounds i8,i8*%Q,i64 16
%Y=bitcast i8*%X to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL5visit_168 to void(...)*),void(...)**%Y,align 8
%Z=getelementptr inbounds i8,i8*%Q,i64 24
%aa=bitcast i8*%Z to i32*
store i32 -2147483647,i32*%aa,align 4
%ab=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
store i8*null,i8**%d,align 8
invoke fastcc void@_SMLLL5visit_125(i8*inreg%T,i8*inreg%ab)
to label%al unwind label%ac
ac:
%ad=landingpad{i8*,i8*}
catch i8*null
%ae=extractvalue{i8*,i8*}%ad,1
%af=bitcast i8*%ae to i8**
%ag=load i8*,i8**%af,align 8
store i8*%ag,i8**%b,align 8
%ah=bitcast i8*%ag to i8**
%ai=load i8*,i8**%ah,align 8
%aj=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ak=icmp eq i8*%ai,%aj
br i1%ak,label%al,label%an
al:
%am=phi i32[0,%ac],[1,%i]
ret i32%am
an:
%ao=call i8*@sml_alloc(i32 inreg 60)#0
%ap=getelementptr inbounds i8,i8*%ao,i64 -4
%aq=bitcast i8*%ap to i32*
store i32 1342177336,i32*%aq,align 4
%ar=getelementptr inbounds i8,i8*%ao,i64 56
%as=bitcast i8*%ar to i32*
store i32 1,i32*%as,align 4
%at=load i8*,i8**%b,align 8
%au=bitcast i8*%ao to i8**
store i8*%at,i8**%au,align 8
call void@sml_raise(i8*inreg%ao)#1
unreachable
}
define internal fastcc i32@_SMLLLN10TypesUtils19isCoercibleTyToPropE_139(i8*inreg%a,i8*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
store i8*%b,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%g,label%i
g:
%h=bitcast i8*%a to i32*
br label%m
i:
call void@sml_check(i32 inreg%e)
%j=load i8*,i8**%d,align 8
%k=bitcast i8**%c to i32**
%l=load i32*,i32**%k,align 8
br label%m
m:
%n=phi i32*[%l,%i],[%h,%g]
%o=phi i8*[%j,%i],[%b,%g]
store i8*null,i8**%d,align 8
store i8*null,i8**%c,align 8
%p=load i32,i32*%n,align 4
switch i32%p,label%q[
i32 2,label%P
i32 0,label%N
i32 3,label%K
i32 1,label%I
]
q:
call void@sml_matchcomp_bug()
%r=load i8*,i8**@_SMLZ5Match,align 8
store i8*%r,i8**%c,align 8
%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**%d,align 8
%v=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%w=bitcast i8*%s to i8**
store i8*%v,i8**%w,align 8
%x=getelementptr inbounds i8,i8*%s,i64 8
%y=bitcast i8*%x to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@G,i64 0,i32 2,i64 0),i8**%y,align 8
%z=getelementptr inbounds i8,i8*%s,i64 16
%A=bitcast i8*%z to i32*
store i32 3,i32*%A,align 4
%B=call i8*@sml_alloc(i32 inreg 60)#0
%C=getelementptr inbounds i8,i8*%B,i64 -4
%D=bitcast i8*%C to i32*
store i32 1342177336,i32*%D,align 4
%E=getelementptr inbounds i8,i8*%B,i64 56
%F=bitcast i8*%E to i32*
store i32 1,i32*%F,align 4
%G=load i8*,i8**%d,align 8
%H=bitcast i8*%B to i8**
store i8*%G,i8**%H,align 8
call void@sml_raise(i8*inreg%B)#1
unreachable
I:
%J=tail call fastcc i32@_SMLFN10TypesUtils9admitEqTyE(i8*inreg%o)
ret i32%J
K:
%L=call fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(i8*inreg%o)
%M=tail call fastcc i32@_SMLFN4Bool3notE(i32 inreg%L)
ret i32%M
N:
%O=tail call fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(i8*inreg%o)
ret i32%O
P:
ret i32 1
}
define fastcc i8*@_SMLFN10TypesUtils19isCoercibleTyToPropE(i32 inreg%a)#4 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
%c=call i8*@sml_alloc(i32 inreg 12)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 1342177288,i32*%f,align 4
store i8*%c,i8**%b,align 8
store i32%a,i32*%d,align 4
%g=getelementptr inbounds i8,i8*%c,i64 8
%h=bitcast i8*%g to i32*
store i32 0,i32*%h,align 4
%i=call i8*@sml_alloc(i32 inreg 28)#0
%j=getelementptr inbounds i8,i8*%i,i64 -4
%k=bitcast i8*%j to i32*
store i32 1342177304,i32*%k,align 4
%l=load i8*,i8**%b,align 8
%m=bitcast i8*%i to i8**
store i8*%l,i8**%m,align 8
%n=getelementptr inbounds i8,i8*%i,i64 8
%o=bitcast i8*%n to void(...)**
store void(...)*bitcast(i32(i8*,i8*)*@_SMLLLN10TypesUtils19isCoercibleTyToPropE_139 to void(...)*),void(...)**%o,align 8
%p=getelementptr inbounds i8,i8*%i,i64 16
%q=bitcast i8*%p to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN10TypesUtils19isCoercibleTyToPropE_170 to void(...)*),void(...)**%q,align 8
%r=getelementptr inbounds i8,i8*%i,i64 24
%s=bitcast i8*%r to i32*
store i32 -2147483647,i32*%s,align 4
ret i8*%i
}
define internal fastcc void@_SMLLL14adjustKindInTy_147(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%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**%h,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%k,label%m
k:
%l=bitcast i8*%b to i8**
br label%p
m:
call void@sml_check(i32 inreg%i)
%n=bitcast i8**%c to i8***
%o=load i8**,i8***%n,align 8
br label%p
p:
%q=phi i8**[%o,%m],[%l,%k]
%r=load i8*,i8**%q,align 8
%s=bitcast i8*%r to i32*
%t=load i32,i32*%s,align 4
%u=icmp eq i32%t,1
br i1%u,label%P,label%v
v:
store i8*null,i8**%h,align 8
%w=load i8*,i8**@_SMLZN3Bug3BugE,align 8
store i8*%w,i8**%c,align 8
%x=call i8*@sml_alloc(i32 inreg 28)#0
%y=getelementptr inbounds i8,i8*%x,i64 -4
%z=bitcast i8*%y to i32*
store i32 1342177304,i32*%z,align 4
store i8*%x,i8**%d,align 8
%A=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%B=bitcast i8*%x to i8**
store i8*%A,i8**%B,align 8
%C=getelementptr inbounds i8,i8*%x,i64 8
%D=bitcast i8*%C to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@A,i64 0,i32 2,i64 0),i8**%D,align 8
%E=getelementptr inbounds i8,i8*%x,i64 16
%F=bitcast i8*%E to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[45x i8]}>,<{[4x i8],i32,[45x i8]}>*@B,i64 0,i32 2,i64 0),i8**%F,align 8
%G=getelementptr inbounds i8,i8*%x,i64 24
%H=bitcast i8*%G to i32*
store i32 7,i32*%H,align 4
%I=call i8*@sml_alloc(i32 inreg 60)#0
%J=getelementptr inbounds i8,i8*%I,i64 -4
%K=bitcast i8*%J to i32*
store i32 1342177336,i32*%K,align 4
%L=getelementptr inbounds i8,i8*%I,i64 56
%M=bitcast i8*%L to i32*
store i32 1,i32*%M,align 4
%N=load i8*,i8**%d,align 8
%O=bitcast i8*%I to i8**
store i8*%N,i8**%O,align 8
call void@sml_raise(i8*inreg%I)#1
unreachable
P:
%Q=getelementptr inbounds i8,i8*%r,i64 8
%R=bitcast i8*%Q to i8**
%S=load i8*,i8**%R,align 8
%T=bitcast i8*%S to i32*
%U=load i32,i32*%T,align 4
%V=getelementptr inbounds i8,i8*%S,i64 8
%W=bitcast i8*%V to i8**
%X=load i8*,i8**%W,align 8
%Y=bitcast i8*%X to i8**
%Z=load i8*,i8**%Y,align 8
store i8*%Z,i8**%d,align 8
%aa=getelementptr inbounds i8,i8*%X,i64 8
%ab=bitcast i8*%aa to i8**
%ac=load i8*,i8**%ab,align 8
store i8*%ac,i8**%e,align 8
%ad=getelementptr inbounds i8,i8*%X,i64 16
%ae=bitcast i8*%ad to i8**
%af=load i8*,i8**%ae,align 8
store i8*%af,i8**%f,align 8
%ag=getelementptr inbounds i8,i8*%S,i64 16
%ah=bitcast i8*%ag to i32*
%ai=load i32,i32*%ah,align 4
%aj=getelementptr inbounds i8,i8*%S,i64 24
%ak=bitcast i8*%aj to i8**
%al=load i8*,i8**%ak,align 8
store i8*%al,i8**%g,align 8
%am=bitcast i8**%h to i32**
%an=load i32*,i32**%am,align 8
store i8*null,i8**%h,align 8
%ao=load i32,i32*%an,align 4
%ap=call fastcc i8*@_SMLFN5Types13addPropertiesE(i32 inreg%ao)
%aq=getelementptr inbounds i8,i8*%ap,i64 16
%ar=bitcast i8*%aq to i8*(i8*,i8*)**
%as=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ar,align 8
%at=bitcast i8*%ap to i8**
%au=load i8*,i8**%at,align 8
%av=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%aw=call fastcc i8*%as(i8*inreg%au,i8*inreg%av)
store i8*%aw,i8**%e,align 8
%ax=call i8*@sml_alloc(i32 inreg 28)#0
%ay=getelementptr inbounds i8,i8*%ax,i64 -4
%az=bitcast i8*%ay to i32*
store i32 1342177304,i32*%az,align 4
store i8*%ax,i8**%h,align 8
%aA=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%aB=bitcast i8*%ax to i8**
store i8*%aA,i8**%aB,align 8
%aC=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%aD=getelementptr inbounds i8,i8*%ax,i64 8
%aE=bitcast i8*%aD to i8**
store i8*%aC,i8**%aE,align 8
%aF=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%aG=getelementptr inbounds i8,i8*%ax,i64 16
%aH=bitcast i8*%aG to i8**
store i8*%aF,i8**%aH,align 8
%aI=getelementptr inbounds i8,i8*%ax,i64 24
%aJ=bitcast i8*%aI to i32*
store i32 7,i32*%aJ,align 4
%aK=call i8*@sml_alloc(i32 inreg 36)#0
%aL=getelementptr inbounds i8,i8*%aK,i64 -4
%aM=bitcast i8*%aL to i32*
store i32 1342177312,i32*%aM,align 4
store i8*%aK,i8**%d,align 8
%aN=getelementptr inbounds i8,i8*%aK,i64 4
call void@llvm.memset.p0i8.i32(i8*%aN,i8 0,i32 20,i1 false)
%aO=bitcast i8*%aK to i32*
store i32%U,i32*%aO,align 4
%aP=load i8*,i8**%h,align 8
store i8*null,i8**%h,align 8
%aQ=getelementptr inbounds i8,i8*%aK,i64 8
%aR=bitcast i8*%aQ to i8**
store i8*%aP,i8**%aR,align 8
%aS=getelementptr inbounds i8,i8*%aK,i64 16
%aT=bitcast i8*%aS to i32*
store i32%ai,i32*%aT,align 4
%aU=load i8*,i8**%g,align 8
store i8*null,i8**%g,align 8
%aV=getelementptr inbounds i8,i8*%aK,i64 24
%aW=bitcast i8*%aV to i8**
store i8*%aU,i8**%aW,align 8
%aX=getelementptr inbounds i8,i8*%aK,i64 32
%aY=bitcast i8*%aX to i32*
store i32 10,i32*%aY,align 4
%aZ=call i8*@sml_alloc(i32 inreg 20)#0
%a0=bitcast i8*%aZ to i32*
%a1=getelementptr inbounds i8,i8*%aZ,i64 -4
%a2=bitcast i8*%a1 to i32*
store i32 1342177296,i32*%a2,align 4
%a3=getelementptr inbounds i8,i8*%aZ,i64 4
%a4=bitcast i8*%a3 to i32*
store i32 0,i32*%a4,align 1
store i32 1,i32*%a0,align 4
%a5=load i8*,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=getelementptr inbounds i8,i8*%aZ,i64 16
%a9=bitcast i8*%a8 to i32*
store i32 2,i32*%a9,align 4
%ba=load i8*,i8**%c,align 8
%bb=bitcast i8*%ba to i8**
call void@sml_write(i8*inreg%ba,i8**inreg%bb,i8*inreg%aZ)#0
ret void
}
define internal fastcc void@_SMLLL14adjustKindInTy_148(i8*inreg%a,i8*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**%d,align 8
store i8*%b,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%h,label%g
g:
call void@sml_check(i32 inreg%e)
br label%h
h:
%i=call i8*@sml_alloc(i32 inreg 20)#0
%j=getelementptr inbounds i8,i8*%i,i64 -4
%k=bitcast i8*%j to i32*
store i32 1342177296,i32*%k,align 4
%l=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%m=bitcast i8*%i to i8**
store i8*%l,i8**%m,align 8
%n=getelementptr inbounds i8,i8*%i,i64 8
%o=bitcast i8*%n to i8**
store i8*null,i8**%o,align 8
%p=getelementptr inbounds i8,i8*%i,i64 16
%q=bitcast i8*%p to i32*
store i32 3,i32*%q,align 4
%r=call fastcc i8*@_SMLFN11TypesBasics4EFTVE(i8*inreg%i)
%s=getelementptr inbounds i8,i8*%r,i64 8
%t=bitcast i8*%s to i8**
%u=load i8*,i8**%t,align 8
store i8*%u,i8**%c,align 8
%v=bitcast i8**%d to i32**
%w=load i32*,i32**%v,align 8
store i8*null,i8**%d,align 8
%x=load i32,i32*%w,align 4
%y=call i8*@sml_alloc(i32 inreg 12)#0
%z=bitcast i8*%y to i32*
%A=getelementptr inbounds i8,i8*%y,i64 -4
%B=bitcast i8*%A to i32*
store i32 1342177288,i32*%B,align 4
store i8*%y,i8**%d,align 8
store i32%x,i32*%z,align 4
%C=getelementptr inbounds i8,i8*%y,i64 8
%D=bitcast i8*%C to i32*
store i32 0,i32*%D,align 4
%E=call i8*@sml_alloc(i32 inreg 28)#0
%F=getelementptr inbounds i8,i8*%E,i64 -4
%G=bitcast i8*%F to i32*
store i32 1342177304,i32*%G,align 4
%H=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%I=bitcast i8*%E to i8**
store i8*%H,i8**%I,align 8
%J=getelementptr inbounds i8,i8*%E,i64 8
%K=bitcast i8*%J to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL14adjustKindInTy_147 to void(...)*),void(...)**%K,align 8
%L=getelementptr inbounds i8,i8*%E,i64 16
%M=bitcast i8*%L to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL14adjustKindInTy_172 to void(...)*),void(...)**%M,align 8
%N=getelementptr inbounds i8,i8*%E,i64 24
%O=bitcast i8*%N to i32*
store i32 -2147483647,i32*%O,align 4
%P=call fastcc i8*@_SMLFN5OTSet3appE(i8*inreg%E)
%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**%c,align 8
store i8*null,i8**%c,align 8
%W=call fastcc i8*%S(i8*inreg%U,i8*inreg%V)
ret void
}
define internal fastcc i32@_SMLLL1L_153(i8*inreg%a,i8*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
store i8*%b,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%g,label%i
g:
%h=bitcast i8*%a to i32*
br label%m
i:
call void@sml_check(i32 inreg%e)
%j=load i8*,i8**%d,align 8
%k=bitcast i8**%c to i32**
%l=load i32*,i32**%k,align 8
br label%m
m:
%n=phi i32*[%l,%i],[%h,%g]
%o=phi i8*[%j,%i],[%b,%g]
store i8*null,i8**%d,align 8
store i8*null,i8**%c,align 8
%p=load i32,i32*%n,align 4
switch i32%p,label%q[
i32 2,label%P
i32 0,label%N
i32 3,label%K
i32 1,label%I
]
q:
call void@sml_matchcomp_bug()
%r=load i8*,i8**@_SMLZ5Match,align 8
store i8*%r,i8**%c,align 8
%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**%d,align 8
%v=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%w=bitcast i8*%s to i8**
store i8*%v,i8**%w,align 8
%x=getelementptr inbounds i8,i8*%s,i64 8
%y=bitcast i8*%x to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@G,i64 0,i32 2,i64 0),i8**%y,align 8
%z=getelementptr inbounds i8,i8*%s,i64 16
%A=bitcast i8*%z to i32*
store i32 3,i32*%A,align 4
%B=call i8*@sml_alloc(i32 inreg 60)#0
%C=getelementptr inbounds i8,i8*%B,i64 -4
%D=bitcast i8*%C to i32*
store i32 1342177336,i32*%D,align 4
%E=getelementptr inbounds i8,i8*%B,i64 56
%F=bitcast i8*%E to i32*
store i32 1,i32*%F,align 4
%G=load i8*,i8**%d,align 8
%H=bitcast i8*%B to i8**
store i8*%G,i8**%H,align 8
call void@sml_raise(i8*inreg%B)#1
unreachable
I:
%J=tail call fastcc i32@_SMLFN10TypesUtils9admitEqTyE(i8*inreg%o)
ret i32%J
K:
%L=call fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(i8*inreg%o)
%M=tail call fastcc i32@_SMLFN4Bool3notE(i32 inreg%L)
ret i32%M
N:
%O=tail call fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(i8*inreg%o)
ret i32%O
P:
ret i32 1
}
define internal fastcc i32@_SMLLL9instances_157(i8*inreg%a,i8*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
store i8*%b,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%g,label%i
g:
%h=bitcast i8*%a to i32*
br label%m
i:
call void@sml_check(i32 inreg%e)
%j=load i8*,i8**%d,align 8
%k=bitcast i8**%c to i32**
%l=load i32*,i32**%k,align 8
br label%m
m:
%n=phi i32*[%l,%i],[%h,%g]
%o=phi i8*[%j,%i],[%b,%g]
store i8*null,i8**%d,align 8
store i8*null,i8**%c,align 8
%p=load i32,i32*%n,align 4
switch i32%p,label%q[
i32 2,label%P
i32 0,label%N
i32 3,label%K
i32 1,label%I
]
q:
call void@sml_matchcomp_bug()
%r=load i8*,i8**@_SMLZ5Match,align 8
store i8*%r,i8**%c,align 8
%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**%d,align 8
%v=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%w=bitcast i8*%s to i8**
store i8*%v,i8**%w,align 8
%x=getelementptr inbounds i8,i8*%s,i64 8
%y=bitcast i8*%x to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@G,i64 0,i32 2,i64 0),i8**%y,align 8
%z=getelementptr inbounds i8,i8*%s,i64 16
%A=bitcast i8*%z to i32*
store i32 3,i32*%A,align 4
%B=call i8*@sml_alloc(i32 inreg 60)#0
%C=getelementptr inbounds i8,i8*%B,i64 -4
%D=bitcast i8*%C to i32*
store i32 1342177336,i32*%D,align 4
%E=getelementptr inbounds i8,i8*%B,i64 56
%F=bitcast i8*%E to i32*
store i32 1,i32*%F,align 4
%G=load i8*,i8**%d,align 8
%H=bitcast i8*%B to i8**
store i8*%G,i8**%H,align 8
call void@sml_raise(i8*inreg%B)#1
unreachable
I:
%J=tail call fastcc i32@_SMLFN10TypesUtils9admitEqTyE(i8*inreg%o)
ret i32%J
K:
%L=call fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(i8*inreg%o)
%M=tail call fastcc i32@_SMLFN4Bool3notE(i32 inreg%L)
ret i32%M
N:
%O=tail call fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(i8*inreg%o)
ret i32%O
P:
ret i32 1
}
define internal fastcc i8*@_SMLLLN10TypesUtils20coerceTvarKindToPropE_161(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=alloca i8*,align 8
%d=alloca i8*,align 8
%e=alloca i8*,align 8
%f=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
store i8*%a,i8**%e,align 8
store i8*%b,i8**%c,align 8
%g=load atomic i32,i32*@sml_check_flag unordered,align 4
%h=icmp eq i32%g,0
br i1%h,label%i,label%l
i:
%j=bitcast i8*%a to i32*
%k=bitcast i8**%e to i32**
br label%o
l:
call void@sml_check(i32 inreg%g)
%m=bitcast i8**%e to i32**
%n=load i32*,i32**%m,align 8
br label%o
o:
%p=phi i32**[%k,%i],[%m,%l]
%q=phi i32*[%j,%i],[%n,%l]
%r=load i32,i32*%q,align 4
%s=call i8*@sml_alloc(i32 inreg 12)#0
%t=bitcast i8*%s to i32*
%u=getelementptr inbounds i8,i8*%s,i64 -4
%v=bitcast i8*%u to i32*
store i32 1342177288,i32*%v,align 4
store i8*%s,i8**%d,align 8
store i32%r,i32*%t,align 4
%w=getelementptr inbounds i8,i8*%s,i64 8
%x=bitcast i8*%w to i32*
store i32 0,i32*%x,align 4
%y=call i8*@sml_alloc(i32 inreg 28)#0
%z=getelementptr inbounds i8,i8*%y,i64 -4
%A=bitcast i8*%z to i32*
store i32 1342177304,i32*%A,align 4
store i8*%y,i8**%f,align 8
%B=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%C=bitcast i8*%y to i8**
store i8*%B,i8**%C,align 8
%D=getelementptr inbounds i8,i8*%y,i64 8
%E=bitcast i8*%D to void(...)**
store void(...)*bitcast(void(i8*,i8*)*@_SMLLL14adjustKindInTy_148 to void(...)*),void(...)**%E,align 8
%F=getelementptr inbounds i8,i8*%y,i64 16
%G=bitcast i8*%F to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL14adjustKindInTy_173 to void(...)*),void(...)**%G,align 8
%H=getelementptr inbounds i8,i8*%y,i64 24
%I=bitcast i8*%H to i32*
store i32 -2147483647,i32*%I,align 4
%J=load i32*,i32**%p,align 8
%K=load i32,i32*%J,align 4
switch i32%K,label%L[
i32 2,label%bA
i32 0,label%bz
i32 3,label%by
i32 1,label%ad
]
L:
store i8*null,i8**%e,align 8
store i8*null,i8**%f,align 8
call void@sml_matchcomp_bug()
%M=load i8*,i8**@_SMLZ5Match,align 8
store i8*%M,i8**%c,align 8
%N=call i8*@sml_alloc(i32 inreg 20)#0
%O=getelementptr inbounds i8,i8*%N,i64 -4
%P=bitcast i8*%O to i32*
store i32 1342177296,i32*%P,align 4
store i8*%N,i8**%d,align 8
%Q=load i8*,i8**%c,align 8
store i8*null,i8**%c,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 i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@D,i64 0,i32 2,i64 0),i8**%T,align 8
%U=getelementptr inbounds i8,i8*%N,i64 16
%V=bitcast i8*%U to i32*
store i32 3,i32*%V,align 4
%W=call i8*@sml_alloc(i32 inreg 60)#0
%X=getelementptr inbounds i8,i8*%W,i64 -4
%Y=bitcast i8*%X to i32*
store i32 1342177336,i32*%Y,align 4
%Z=getelementptr inbounds i8,i8*%W,i64 56
%aa=bitcast i8*%Z to i32*
store i32 1,i32*%aa,align 4
%ab=load i8*,i8**%d,align 8
%ac=bitcast i8*%W to i8**
store i8*%ab,i8**%ac,align 8
call void@sml_raise(i8*inreg%W)#1
unreachable
ad:
%ae=load i8*,i8**%c,align 8
%af=icmp eq i8*%ae,null
br i1%af,label%aU,label%ag
ag:
%ah=bitcast i8*%ae to i32*
%ai=load i32,i32*%ah,align 4
switch i32%ai,label%aj[
i32 0,label%bf
i32 1,label%aV
i32 3,label%aU
i32 2,label%aB
]
aj:
store i8*null,i8**%e,align 8
store i8*null,i8**%f,align 8
call void@sml_matchcomp_bug()
%ak=load i8*,i8**@_SMLZ5Match,align 8
store i8*%ak,i8**%c,align 8
%al=call i8*@sml_alloc(i32 inreg 20)#0
%am=getelementptr inbounds i8,i8*%al,i64 -4
%an=bitcast i8*%am to i32*
store i32 1342177296,i32*%an,align 4
store i8*%al,i8**%d,align 8
%ao=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ap=bitcast i8*%al to i8**
store i8*%ao,i8**%ap,align 8
%aq=getelementptr inbounds i8,i8*%al,i64 8
%ar=bitcast i8*%aq to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@C,i64 0,i32 2,i64 0),i8**%ar,align 8
%as=getelementptr inbounds i8,i8*%al,i64 16
%at=bitcast i8*%as to i32*
store i32 3,i32*%at,align 4
%au=call i8*@sml_alloc(i32 inreg 60)#0
%av=getelementptr inbounds i8,i8*%au,i64 -4
%aw=bitcast i8*%av to i32*
store i32 1342177336,i32*%aw,align 4
%ax=getelementptr inbounds i8,i8*%au,i64 56
%ay=bitcast i8*%ax to i32*
store i32 1,i32*%ay,align 4
%az=load i8*,i8**%d,align 8
%aA=bitcast i8*%au to i8**
store i8*%az,i8**%aA,align 8
call void@sml_raise(i8*inreg%au)#1
unreachable
aB:
%aC=getelementptr inbounds i8,i8*%ae,i64 8
%aD=bitcast i8*%aC to i8**
%aE=load i8*,i8**%aD,align 8
store i8*%aE,i8**%d,align 8
%aF=call fastcc i8*@_SMLFN11RecordLabel3Map3appE(i32 inreg 1,i32 inreg 8)
%aG=getelementptr inbounds i8,i8*%aF,i64 16
%aH=bitcast i8*%aG to i8*(i8*,i8*)**
%aI=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aH,align 8
%aJ=bitcast i8*%aF to i8**
%aK=load i8*,i8**%aJ,align 8
%aL=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%aM=call fastcc i8*%aI(i8*inreg%aK,i8*inreg%aL)
%aN=getelementptr inbounds i8,i8*%aM,i64 16
%aO=bitcast i8*%aN to i8*(i8*,i8*)**
%aP=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aO,align 8
%aQ=bitcast i8*%aM to i8**
%aR=load i8*,i8**%aQ,align 8
%aS=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%aT=call fastcc i8*%aP(i8*inreg%aR,i8*inreg%aS)
br label%cV
aU:
store i8*null,i8**%f,align 8
br label%cV
aV:
%aW=getelementptr inbounds i8,i8*%ae,i64 8
%aX=bitcast i8*%aW to i8***
%aY=load i8**,i8***%aX,align 8
%aZ=load i8*,i8**%aY,align 8
store i8*%aZ,i8**%d,align 8
%a0=call fastcc i8*@_SMLFN4List3appE(i32 inreg 1,i32 inreg 8)
%a1=getelementptr inbounds i8,i8*%a0,i64 16
%a2=bitcast i8*%a1 to i8*(i8*,i8*)**
%a3=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%a2,align 8
%a4=bitcast i8*%a0 to i8**
%a5=load i8*,i8**%a4,align 8
%a6=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%a7=call fastcc i8*%a3(i8*inreg%a5,i8*inreg%a6)
%a8=getelementptr inbounds i8,i8*%a7,i64 16
%a9=bitcast i8*%a8 to i8*(i8*,i8*)**
%ba=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%a9,align 8
%bb=bitcast i8*%a7 to i8**
%bc=load i8*,i8**%bb,align 8
%bd=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%be=call fastcc i8*%ba(i8*inreg%bc,i8*inreg%bd)
br label%cV
bf:
%bg=getelementptr inbounds i8,i8*%ae,i64 8
%bh=bitcast i8*%bg to i8**
%bi=load i8*,i8**%bh,align 8
store i8*%bi,i8**%d,align 8
%bj=call fastcc i8*@_SMLFN4List3appE(i32 inreg 1,i32 inreg 8)
%bk=getelementptr inbounds i8,i8*%bj,i64 16
%bl=bitcast i8*%bk to i8*(i8*,i8*)**
%bm=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bl,align 8
%bn=bitcast i8*%bj to i8**
%bo=load i8*,i8**%bn,align 8
%bp=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%bq=call fastcc i8*%bm(i8*inreg%bo,i8*inreg%bp)
%br=getelementptr inbounds i8,i8*%bq,i64 16
%bs=bitcast i8*%br to i8*(i8*,i8*)**
%bt=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bs,align 8
%bu=bitcast i8*%bq to i8**
%bv=load i8*,i8**%bu,align 8
%bw=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%bx=call fastcc i8*%bt(i8*inreg%bv,i8*inreg%bw)
br label%cV
by:
store i8*null,i8**%f,align 8
br label%cV
bz:
store i8*null,i8**%f,align 8
br label%cV
bA:
%bB=load i8*,i8**%c,align 8
%bC=icmp eq i8*%bB,null
br i1%bC,label%ch,label%bD
bD:
%bE=bitcast i8*%bB to i32*
%bF=load i32,i32*%bE,align 4
switch i32%bF,label%bG[
i32 0,label%cC
i32 1,label%ci
i32 3,label%ch
i32 2,label%bY
]
bG:
store i8*null,i8**%e,align 8
store i8*null,i8**%f,align 8
call void@sml_matchcomp_bug()
%bH=load i8*,i8**@_SMLZ5Match,align 8
store i8*%bH,i8**%c,align 8
%bI=call i8*@sml_alloc(i32 inreg 20)#0
%bJ=getelementptr inbounds i8,i8*%bI,i64 -4
%bK=bitcast i8*%bJ to i32*
store i32 1342177296,i32*%bK,align 4
store i8*%bI,i8**%d,align 8
%bL=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%bM=bitcast i8*%bI to i8**
store i8*%bL,i8**%bM,align 8
%bN=getelementptr inbounds i8,i8*%bI,i64 8
%bO=bitcast i8*%bN to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[57x i8]}>,<{[4x i8],i32,[57x i8]}>*@C,i64 0,i32 2,i64 0),i8**%bO,align 8
%bP=getelementptr inbounds i8,i8*%bI,i64 16
%bQ=bitcast i8*%bP to i32*
store i32 3,i32*%bQ,align 4
%bR=call i8*@sml_alloc(i32 inreg 60)#0
%bS=getelementptr inbounds i8,i8*%bR,i64 -4
%bT=bitcast i8*%bS to i32*
store i32 1342177336,i32*%bT,align 4
%bU=getelementptr inbounds i8,i8*%bR,i64 56
%bV=bitcast i8*%bU to i32*
store i32 1,i32*%bV,align 4
%bW=load i8*,i8**%d,align 8
%bX=bitcast i8*%bR to i8**
store i8*%bW,i8**%bX,align 8
call void@sml_raise(i8*inreg%bR)#1
unreachable
bY:
%bZ=getelementptr inbounds i8,i8*%bB,i64 8
%b0=bitcast i8*%bZ to i8**
%b1=load i8*,i8**%b0,align 8
store i8*%b1,i8**%d,align 8
%b2=call fastcc i8*@_SMLFN11RecordLabel3Map3appE(i32 inreg 1,i32 inreg 8)
%b3=getelementptr inbounds i8,i8*%b2,i64 16
%b4=bitcast i8*%b3 to i8*(i8*,i8*)**
%b5=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%b4,align 8
%b6=bitcast i8*%b2 to i8**
%b7=load i8*,i8**%b6,align 8
%b8=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%b9=call fastcc i8*%b5(i8*inreg%b7,i8*inreg%b8)
%ca=getelementptr inbounds i8,i8*%b9,i64 16
%cb=bitcast i8*%ca to i8*(i8*,i8*)**
%cc=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cb,align 8
%cd=bitcast i8*%b9 to i8**
%ce=load i8*,i8**%cd,align 8
%cf=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%cg=call fastcc i8*%cc(i8*inreg%ce,i8*inreg%cf)
br label%cV
ch:
store i8*null,i8**%f,align 8
br label%cV
ci:
%cj=getelementptr inbounds i8,i8*%bB,i64 8
%ck=bitcast i8*%cj to i8***
%cl=load i8**,i8***%ck,align 8
%cm=load i8*,i8**%cl,align 8
store i8*%cm,i8**%d,align 8
%cn=call fastcc i8*@_SMLFN4List3appE(i32 inreg 1,i32 inreg 8)
%co=getelementptr inbounds i8,i8*%cn,i64 16
%cp=bitcast i8*%co to i8*(i8*,i8*)**
%cq=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cp,align 8
%cr=bitcast i8*%cn to i8**
%cs=load i8*,i8**%cr,align 8
%ct=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%cu=call fastcc i8*%cq(i8*inreg%cs,i8*inreg%ct)
%cv=getelementptr inbounds i8,i8*%cu,i64 16
%cw=bitcast i8*%cv to i8*(i8*,i8*)**
%cx=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cw,align 8
%cy=bitcast i8*%cu to i8**
%cz=load i8*,i8**%cy,align 8
%cA=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%cB=call fastcc i8*%cx(i8*inreg%cz,i8*inreg%cA)
br label%cV
cC:
%cD=getelementptr inbounds i8,i8*%bB,i64 8
%cE=bitcast i8*%cD to i8**
%cF=load i8*,i8**%cE,align 8
store i8*%cF,i8**%d,align 8
%cG=call fastcc i8*@_SMLFN4List3appE(i32 inreg 1,i32 inreg 8)
%cH=getelementptr inbounds i8,i8*%cG,i64 16
%cI=bitcast i8*%cH to i8*(i8*,i8*)**
%cJ=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cI,align 8
%cK=bitcast i8*%cG to i8**
%cL=load i8*,i8**%cK,align 8
%cM=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%cN=call fastcc i8*%cJ(i8*inreg%cL,i8*inreg%cM)
%cO=getelementptr inbounds i8,i8*%cN,i64 16
%cP=bitcast i8*%cO to i8*(i8*,i8*)**
%cQ=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cP,align 8
%cR=bitcast i8*%cN to i8**
%cS=load i8*,i8**%cR,align 8
%cT=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%cU=call fastcc i8*%cQ(i8*inreg%cS,i8*inreg%cT)
br label%cV
cV:
%cW=load i8*,i8**%c,align 8
%cX=icmp eq i8*%cW,null
br i1%cX,label%dy,label%cY
cY:
%cZ=bitcast i8*%cW to i32*
%c0=load i32,i32*%cZ,align 4
switch i32%c0,label%c1[
i32 0,label%eK
i32 1,label%dz
i32 3,label%dy
i32 2,label%dj
]
c1:
store i8*null,i8**%e,align 8
call void@sml_matchcomp_bug()
%c2=load i8*,i8**@_SMLZ5Match,align 8
store i8*%c2,i8**%c,align 8
%c3=call i8*@sml_alloc(i32 inreg 20)#0
%c4=getelementptr inbounds i8,i8*%c3,i64 -4
%c5=bitcast i8*%c4 to i32*
store i32 1342177296,i32*%c5,align 4
store i8*%c3,i8**%d,align 8
%c6=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%c7=bitcast i8*%c3 to i8**
store i8*%c6,i8**%c7,align 8
%c8=getelementptr inbounds i8,i8*%c3,i64 8
%c9=bitcast i8*%c8 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[56x i8]}>,<{[4x i8],i32,[56x i8]}>*@J,i64 0,i32 2,i64 0),i8**%c9,align 8
%da=getelementptr inbounds i8,i8*%c3,i64 16
%db=bitcast i8*%da to i32*
store i32 3,i32*%db,align 4
%dc=call i8*@sml_alloc(i32 inreg 60)#0
%dd=getelementptr inbounds i8,i8*%dc,i64 -4
%de=bitcast i8*%dd to i32*
store i32 1342177336,i32*%de,align 4
%df=getelementptr inbounds i8,i8*%dc,i64 56
%dg=bitcast i8*%df to i32*
store i32 1,i32*%dg,align 4
%dh=load i8*,i8**%d,align 8
%di=bitcast i8*%dc to i8**
store i8*%dh,i8**%di,align 8
call void@sml_raise(i8*inreg%dc)#1
unreachable
dj:
store i8*null,i8**%e,align 8
%dk=getelementptr inbounds i8,i8*%cW,i64 8
%dl=bitcast i8*%dk to i8**
%dm=load i8*,i8**%dl,align 8
store i8*%dm,i8**%c,align 8
%dn=call i8*@sml_alloc(i32 inreg 20)#0
%do=bitcast i8*%dn to i32*
%dp=getelementptr inbounds i8,i8*%dn,i64 -4
%dq=bitcast i8*%dp to i32*
store i32 1342177296,i32*%dq,align 4
%dr=getelementptr inbounds i8,i8*%dn,i64 4
%ds=bitcast i8*%dr to i32*
store i32 0,i32*%ds,align 1
store i32 2,i32*%do,align 4
%dt=load i8*,i8**%c,align 8
%du=getelementptr inbounds i8,i8*%dn,i64 8
%dv=bitcast i8*%du to i8**
store i8*%dt,i8**%dv,align 8
%dw=getelementptr inbounds i8,i8*%dn,i64 16
%dx=bitcast i8*%dw to i32*
store i32 2,i32*%dx,align 4
ret i8*%dn
dy:
ret i8*null
dz:
%dA=getelementptr inbounds i8,i8*%cW,i64 8
%dB=bitcast i8*%dA to i8**
%dC=load i8*,i8**%dB,align 8
%dD=bitcast i8*%dC to i8**
%dE=load i8*,i8**%dD,align 8
store i8*%dE,i8**%c,align 8
%dF=getelementptr inbounds i8,i8*%dC,i64 8
%dG=bitcast i8*%dF to i8**
%dH=load i8*,i8**%dG,align 8
store i8*%dH,i8**%d,align 8
%dI=call fastcc i8*@_SMLFN4List6filterE(i32 inreg 1,i32 inreg 8)
%dJ=getelementptr inbounds i8,i8*%dI,i64 16
%dK=bitcast i8*%dJ to i8*(i8*,i8*)**
%dL=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dK,align 8
%dM=bitcast i8*%dI to i8**
%dN=load i8*,i8**%dM,align 8
store i8*%dN,i8**%f,align 8
%dO=load i32*,i32**%p,align 8
store i8*null,i8**%e,align 8
%dP=load i32,i32*%dO,align 4
%dQ=call i8*@sml_alloc(i32 inreg 12)#0
%dR=bitcast i8*%dQ to i32*
%dS=getelementptr inbounds i8,i8*%dQ,i64 -4
%dT=bitcast i8*%dS to i32*
store i32 1342177288,i32*%dT,align 4
store i8*%dQ,i8**%e,align 8
store i32%dP,i32*%dR,align 4
%dU=getelementptr inbounds i8,i8*%dQ,i64 8
%dV=bitcast i8*%dU to i32*
store i32 0,i32*%dV,align 4
%dW=call i8*@sml_alloc(i32 inreg 28)#0
%dX=getelementptr inbounds i8,i8*%dW,i64 -4
%dY=bitcast i8*%dX to i32*
store i32 1342177304,i32*%dY,align 4
%dZ=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%d0=bitcast i8*%dW to i8**
store i8*%dZ,i8**%d0,align 8
%d1=getelementptr inbounds i8,i8*%dW,i64 8
%d2=bitcast i8*%d1 to void(...)**
store void(...)*bitcast(i32(i8*,i8*)*@_SMLLL9instances_157 to void(...)*),void(...)**%d2,align 8
%d3=getelementptr inbounds i8,i8*%dW,i64 16
%d4=bitcast i8*%d3 to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL9instances_175 to void(...)*),void(...)**%d4,align 8
%d5=getelementptr inbounds i8,i8*%dW,i64 24
%d6=bitcast i8*%d5 to i32*
store i32 -2147483647,i32*%d6,align 4
%d7=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%d8=call fastcc i8*%dL(i8*inreg%d7,i8*inreg%dW)
%d9=getelementptr inbounds i8,i8*%d8,i64 16
%ea=bitcast i8*%d9 to i8*(i8*,i8*)**
%eb=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ea,align 8
%ec=bitcast i8*%d8 to i8**
%ed=load i8*,i8**%ec,align 8
%ee=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%ef=call fastcc i8*%eb(i8*inreg%ed,i8*inreg%ee)
store i8*%ef,i8**%c,align 8
%eg=icmp eq i8*%ef,null
br i1%eg,label%eh,label%eo
eh:
store i8*null,i8**%d,align 8
store i8*null,i8**%c,align 8
%ei=call i8*@sml_alloc(i32 inreg 60)#0
%ej=getelementptr inbounds i8,i8*%ei,i64 -4
%ek=bitcast i8*%ej to i32*
store i32 1342177336,i32*%ek,align 4
%el=getelementptr inbounds i8,i8*%ei,i64 56
%em=bitcast i8*%el to i32*
store i32 1,i32*%em,align 4
%en=bitcast i8*%ei to i8**
store i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,i8*,i32}>,<{[4x i8],i32,i8*,i8*,i32}>*@I,i64 0,i32 2)to i8*),i8**%en,align 8
call void@sml_raise(i8*inreg%ei)#1
unreachable
eo:
%ep=call i8*@sml_alloc(i32 inreg 20)#0
%eq=getelementptr inbounds i8,i8*%ep,i64 -4
%er=bitcast i8*%eq to i32*
store i32 1342177296,i32*%er,align 4
store i8*%ep,i8**%e,align 8
%es=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%et=bitcast i8*%ep to i8**
store i8*%es,i8**%et,align 8
%eu=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%ev=getelementptr inbounds i8,i8*%ep,i64 8
%ew=bitcast i8*%ev to i8**
store i8*%eu,i8**%ew,align 8
%ex=getelementptr inbounds i8,i8*%ep,i64 16
%ey=bitcast i8*%ex to i32*
store i32 3,i32*%ey,align 4
%ez=call i8*@sml_alloc(i32 inreg 20)#0
%eA=bitcast i8*%ez to i32*
%eB=getelementptr inbounds i8,i8*%ez,i64 -4
%eC=bitcast i8*%eB to i32*
store i32 1342177296,i32*%eC,align 4
%eD=getelementptr inbounds i8,i8*%ez,i64 4
%eE=bitcast i8*%eD to i32*
store i32 0,i32*%eE,align 1
store i32 1,i32*%eA,align 4
%eF=load i8*,i8**%e,align 8
%eG=getelementptr inbounds i8,i8*%ez,i64 8
%eH=bitcast i8*%eG to i8**
store i8*%eF,i8**%eH,align 8
%eI=getelementptr inbounds i8,i8*%ez,i64 16
%eJ=bitcast i8*%eI to i32*
store i32 2,i32*%eJ,align 4
ret i8*%ez
eK:
%eL=getelementptr inbounds i8,i8*%cW,i64 8
%eM=bitcast i8*%eL to i8**
%eN=load i8*,i8**%eM,align 8
store i8*%eN,i8**%c,align 8
%eO=call fastcc i8*@_SMLFN4List6filterE(i32 inreg 1,i32 inreg 8)
%eP=getelementptr inbounds i8,i8*%eO,i64 16
%eQ=bitcast i8*%eP to i8*(i8*,i8*)**
%eR=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eQ,align 8
%eS=bitcast i8*%eO to i8**
%eT=load i8*,i8**%eS,align 8
store i8*%eT,i8**%d,align 8
%eU=load i32*,i32**%p,align 8
store i8*null,i8**%e,align 8
%eV=load i32,i32*%eU,align 4
%eW=call i8*@sml_alloc(i32 inreg 12)#0
%eX=bitcast i8*%eW to i32*
%eY=getelementptr inbounds i8,i8*%eW,i64 -4
%eZ=bitcast i8*%eY to i32*
store i32 1342177288,i32*%eZ,align 4
store i8*%eW,i8**%e,align 8
store i32%eV,i32*%eX,align 4
%e0=getelementptr inbounds i8,i8*%eW,i64 8
%e1=bitcast i8*%e0 to i32*
store i32 0,i32*%e1,align 4
%e2=call i8*@sml_alloc(i32 inreg 28)#0
%e3=getelementptr inbounds i8,i8*%e2,i64 -4
%e4=bitcast i8*%e3 to i32*
store i32 1342177304,i32*%e4,align 4
%e5=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%e6=bitcast i8*%e2 to i8**
store i8*%e5,i8**%e6,align 8
%e7=getelementptr inbounds i8,i8*%e2,i64 8
%e8=bitcast i8*%e7 to void(...)**
store void(...)*bitcast(i32(i8*,i8*)*@_SMLLL1L_153 to void(...)*),void(...)**%e8,align 8
%e9=getelementptr inbounds i8,i8*%e2,i64 16
%fa=bitcast i8*%e9 to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL1L_174 to void(...)*),void(...)**%fa,align 8
%fb=getelementptr inbounds i8,i8*%e2,i64 24
%fc=bitcast i8*%fb to i32*
store i32 -2147483647,i32*%fc,align 4
%fd=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%fe=call fastcc i8*%eR(i8*inreg%fd,i8*inreg%e2)
%ff=getelementptr inbounds i8,i8*%fe,i64 16
%fg=bitcast i8*%ff to i8*(i8*,i8*)**
%fh=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fg,align 8
%fi=bitcast i8*%fe to i8**
%fj=load i8*,i8**%fi,align 8
%fk=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%fl=call fastcc i8*%fh(i8*inreg%fj,i8*inreg%fk)
store i8*%fl,i8**%c,align 8
%fm=icmp eq i8*%fl,null
br i1%fm,label%fn,label%fu
fn:
store i8*null,i8**%c,align 8
%fo=call i8*@sml_alloc(i32 inreg 60)#0
%fp=getelementptr inbounds i8,i8*%fo,i64 -4
%fq=bitcast i8*%fp to i32*
store i32 1342177336,i32*%fq,align 4
%fr=getelementptr inbounds i8,i8*%fo,i64 56
%fs=bitcast i8*%fr to i32*
store i32 1,i32*%fs,align 4
%ft=bitcast i8*%fo to i8**
store i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,i8*,i32}>,<{[4x i8],i32,i8*,i8*,i32}>*@F,i64 0,i32 2)to i8*),i8**%ft,align 8
call void@sml_raise(i8*inreg%fo)#1
unreachable
fu:
%fv=call i8*@sml_alloc(i32 inreg 20)#0
%fw=getelementptr inbounds i8,i8*%fv,i64 -4
%fx=bitcast i8*%fw to i32*
store i32 1342177296,i32*%fx,align 4
%fy=bitcast i8*%fv to i64*
store i64 0,i64*%fy,align 4
%fz=load i8*,i8**%c,align 8
%fA=getelementptr inbounds i8,i8*%fv,i64 8
%fB=bitcast i8*%fA to i8**
store i8*%fz,i8**%fB,align 8
%fC=getelementptr inbounds i8,i8*%fv,i64 16
%fD=bitcast i8*%fC to i32*
store i32 2,i32*%fD,align 4
ret i8*%fv
}
define fastcc i8*@_SMLFN10TypesUtils20coerceTvarKindToPropE(i32 inreg%a)#4 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
%c=call i8*@sml_alloc(i32 inreg 12)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 1342177288,i32*%f,align 4
store i8*%c,i8**%b,align 8
store i32%a,i32*%d,align 4
%g=getelementptr inbounds i8,i8*%c,i64 8
%h=bitcast i8*%g to i32*
store i32 0,i32*%h,align 4
%i=call i8*@sml_alloc(i32 inreg 28)#0
%j=getelementptr inbounds i8,i8*%i,i64 -4
%k=bitcast i8*%j to i32*
store i32 1342177304,i32*%k,align 4
%l=load i8*,i8**%b,align 8
%m=bitcast i8*%i to i8**
store i8*%l,i8**%m,align 8
%n=getelementptr inbounds i8,i8*%i,i64 8
%o=bitcast i8*%n to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN10TypesUtils20coerceTvarKindToPropE_161 to void(...)*),void(...)**%o,align 8
%p=getelementptr inbounds i8,i8*%i,i64 16
%q=bitcast i8*%p to void(...)**
store void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN10TypesUtils20coerceTvarKindToPropE_161 to void(...)*),void(...)**%q,align 8
%r=getelementptr inbounds i8,i8*%i,i64 24
%s=bitcast i8*%r to i32*
store i32 -2147483647,i32*%s,align 4
ret i8*%i
}
define internal fastcc i8*@_SMLLL9visitKind_164(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
tail call fastcc void@_SMLLL9visitKind_102(i8*inreg%a,i8*inreg%b)
%c=tail call i8*@sml_alloc(i32 inreg 4)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 4,i32*%f,align 4
store i32 0,i32*%d,align 4
ret i8*%c
}
define internal fastcc i8*@_SMLLL5visit_165(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
tail call fastcc void@_SMLLL5visit_103(i8*inreg%a,i8*inreg%b)
%c=tail call i8*@sml_alloc(i32 inreg 4)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 4,i32*%f,align 4
store i32 0,i32*%d,align 4
ret i8*%c
}
define internal fastcc i8*@_SMLLLN10TypesUtils9isBoxedTyE_166(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i32@_SMLFN10TypesUtils9isBoxedTyE(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*@_SMLLL9visitKind_167(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
tail call fastcc void@_SMLLL9visitKind_124(i8*inreg%a,i8*inreg%b)
%c=tail call i8*@sml_alloc(i32 inreg 4)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 4,i32*%f,align 4
store i32 0,i32*%d,align 4
ret i8*%c
}
define internal fastcc i8*@_SMLLL5visit_168(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
tail call fastcc void@_SMLLL5visit_125(i8*inreg%a,i8*inreg%b)
%c=tail call i8*@sml_alloc(i32 inreg 4)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 4,i32*%f,align 4
store i32 0,i32*%d,align 4
ret i8*%c
}
define internal fastcc i8*@_SMLLLN10TypesUtils9admitEqTyE_169(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i32@_SMLFN10TypesUtils9admitEqTyE(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*@_SMLLLN10TypesUtils19isCoercibleTyToPropE_170(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i32@_SMLLLN10TypesUtils19isCoercibleTyToPropE_139(i8*inreg%a,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*@_SMLLLN10TypesUtils19isCoercibleTyToPropE_171(i8*inreg%a,i8*inreg%b)#4 gc"smlsharp"{
%c=bitcast i8*%b to i32*
%d=load i32,i32*%c,align 4
%e=tail call fastcc i8*@_SMLFN10TypesUtils19isCoercibleTyToPropE(i32 inreg%d)
ret i8*%e
}
define internal fastcc i8*@_SMLLL14adjustKindInTy_172(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
tail call fastcc void@_SMLLL14adjustKindInTy_147(i8*inreg%a,i8*inreg%b)
%c=tail call i8*@sml_alloc(i32 inreg 4)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 4,i32*%f,align 4
store i32 0,i32*%d,align 4
ret i8*%c
}
define internal fastcc i8*@_SMLLL14adjustKindInTy_173(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
tail call fastcc void@_SMLLL14adjustKindInTy_148(i8*inreg%a,i8*inreg%b)
%c=tail call i8*@sml_alloc(i32 inreg 4)#0
%d=bitcast i8*%c to i32*
%e=getelementptr inbounds i8,i8*%c,i64 -4
%f=bitcast i8*%e to i32*
store i32 4,i32*%f,align 4
store i32 0,i32*%d,align 4
ret i8*%c
}
define internal fastcc i8*@_SMLLL1L_174(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i32@_SMLLL1L_153(i8*inreg%a,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*@_SMLLL9instances_175(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i32@_SMLLL9instances_157(i8*inreg%a,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*@_SMLLLN10TypesUtils20coerceTvarKindToPropE_176(i8*inreg%a,i8*inreg%b)#4 gc"smlsharp"{
%c=bitcast i8*%b to i32*
%d=load i32,i32*%c,align 4
%e=tail call fastcc i8*@_SMLFN10TypesUtils20coerceTvarKindToPropE(i32 inreg%d)
ret i8*%e
}
declare void@llvm.memset.p0i8.i32(i8*,i8,i32,i1)#0
attributes#0={nounwind}
attributes#1={noreturn}
attributes#2={uwtable}
attributes#3={noreturn nounwind}
attributes#4={nounwind uwtable}
