@sml_check_flag=external local_unnamed_addr global i32
@_SMLZN3Bug3BugE=external local_unnamed_addr global i8*
@_SMLZN5VarID3Set5emptyE=external local_unnamed_addr global i8*
@_SMLZ5Match=external unnamed_addr constant i8*
@a=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_158 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_275 to void(...)*),i32 -2147483647}>,align 8
@b=private unnamed_addr constant<{[4x i8],i32,[80x i8]}><{[4x i8]zeroinitializer,i32 -2147483568,[80x i8]c"src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml:180.6(6089)\00"}>,align 8
@c=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_161 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_277 to void(...)*),i32 -2147483647}>,align 8
@d=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_165 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_279 to void(...)*),i32 -2147483647}>,align 8
@e=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_169 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_281 to void(...)*),i32 -2147483647}>,align 8
@f=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils21getBoundIdsInBindListE_173 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils21getBoundIdsInBindListE_283 to void(...)*),i32 -2147483647}>,align 8
@g=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils24getBoundIdsInFundeclListE_177 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils24getBoundIdsInFundeclListE_285 to void(...)*),i32 -2147483647}>,align 8
@h=private unnamed_addr constant<{[4x i8],i32,[81x i8]}><{[4x i8]zeroinitializer,i32 -2147483567,[81x i8]c"src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml:246.31(9044)\00"}>,align 8
@i=private unnamed_addr constant<{[4x i8],i32,[80x i8]}><{[4x i8]zeroinitializer,i32 -2147483568,[80x i8]c"src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml:241.6(8699)\00"}>,align 8
@j=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils21getBoundIdsInDeclListE_186 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils21getBoundIdsInDeclListE_288 to void(...)*),i32 -2147483647}>,align 8
@k=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_234 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_290 to void(...)*),i32 -2147483647}>,align 8
@l=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_236 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_291 to void(...)*),i32 -2147483647}>,align 8
@m=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_238 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_292 to void(...)*),i32 -2147483647}>,align 8
@n=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_240 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_293 to void(...)*),i32 -2147483647}>,align 8
@o=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_242 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_294 to void(...)*),i32 -2147483647}>,align 8
@p=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_244 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_295 to void(...)*),i32 -2147483647}>,align 8
@q=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_246 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_296 to void(...)*),i32 -2147483647}>,align 8
@r=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_248 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_297 to void(...)*),i32 -2147483647}>,align 8
@s=private unnamed_addr constant<{[4x i8],i32,[78x i8]}><{[4x i8]zeroinitializer,i32 -2147483570,[78x i8]c"src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml:19.6(468)\00"}>,align 8
@t=private unnamed_addr constant<{[4x i8],i32,[80x i8]}><{[4x i8]zeroinitializer,i32 -2147483568,[80x i8]c"src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml:134.6(4859)\00"}>,align 8
@u=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_252 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_298 to void(...)*),i32 -2147483647}>,align 8
@v=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils20getFreeIdsInDeclListE_254 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils20getFreeIdsInDeclListE_299 to void(...)*),i32 -2147483647}>,align 8
@w=private unnamed_addr constant<{[4x i8],i32,[81x i8]}><{[4x i8]zeroinitializer,i32 -2147483567,[81x i8]c"src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml:208.32(7343)\00"}>,align 8
@x=private unnamed_addr constant<{[4x i8],i32,[20x i8]}><{[4x i8]zeroinitializer,i32 -2147483628,[20x i8]c"invalid declaration\00"}>,align 8
@y=private unnamed_addr constant<{[4x i8],i32,[80x i8]}><{[4x i8]zeroinitializer,i32 -2147483568,[80x i8]c"src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml:203.6(6999)\00"}>,align 8
@z=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLL9boundList_259 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLL9boundList_300 to void(...)*),i32 -2147483647}>,align 8
@A=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLL8freeList_261 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLL8freeList_301 to void(...)*),i32 -2147483647}>,align 8
@B=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_263 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_302 to void(...)*),i32 -2147483647}>,align 8
@C=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils20getFreeIdsInBindListE_265 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils20getFreeIdsInBindListE_303 to void(...)*),i32 -2147483647}>,align 8
@D=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils20getFreeIdsInRecBindsE_267 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils20getFreeIdsInRecBindsE_304 to void(...)*),i32 -2147483647}>,align 8
@E=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLN12VALREC__Utils24getFreeIdsInPolyRecBindsE_269 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils24getFreeIdsInPolyRecBindsE_305 to void(...)*),i32 -2147483647}>,align 8
@F=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLFN12VALREC__Utils15getFreeIdsInExpE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_316 to void(...)*),i32 -2147483647}>,align 8
@_SMLZN12VALREC__Utils15getFreeIdsInExpE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@F,i64 0,i32 2)to i8*)
@G=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLFN12VALREC__Utils16getFreeIdsInRuleE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_317 to void(...)*),i32 -2147483647}>,align 8
@_SMLZN12VALREC__Utils16getFreeIdsInRuleE=local_unnamed_addr constant i8*bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@G,i64 0,i32 2)to i8*)
@_SML_ftab332928ec0abe54e3_VALREC_Utils=external global i8
@H=private unnamed_addr global i8 0
declare void@llvm.gcroot(i8**,i8*)#0
declare i8*@sml_alloc(i32 inreg)local_unnamed_addr#0
declare void@sml_check(i32 inreg)local_unnamed_addr
declare void@sml_gcroot(i8*,void()*,i8*,i8*)local_unnamed_addr#0
declare void@sml_matchcomp_bug()local_unnamed_addr
declare void@sml_raise(i8*inreg)local_unnamed_addr#1
declare i8*@_SMLFN4List5foldlE(i32 inreg,i32 inreg,i32 inreg,i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN5VarID3Set10differenceE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN5VarID3Set3addE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN5VarID3Set5unionE(i8*inreg)local_unnamed_addr#2 gc"smlsharp"
declare i8*@_SMLFN5VarID3Set9singletonE(i32 inreg)local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main03d87556ec7f64b2_List()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_maineaa0aca8fbe4101a_Bug()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_main7374574ddb619c6a_LocalID()local_unnamed_addr#2 gc"smlsharp"
declare void@_SML_load03d87556ec7f64b2_List(i8*)local_unnamed_addr
declare void@_SML_loadeaa0aca8fbe4101a_Bug(i8*)local_unnamed_addr
declare void@_SML_load7374574ddb619c6a_LocalID(i8*)local_unnamed_addr
define private void@_SML_tabb332928ec0abe54e3_VALREC_Utils()#3{
unreachable
}
define void@_SML_load332928ec0abe54e3_VALREC_Utils(i8*%a)local_unnamed_addr#0{
%b=load i8,i8*@H,align 1
%c=icmp eq i8%b,0
br i1%c,label%e,label%d
d:
ret void
e:
store i8 1,i8*@H,align 1
tail call void@_SML_load03d87556ec7f64b2_List(i8*%a)#0
tail call void@_SML_loadeaa0aca8fbe4101a_Bug(i8*%a)#0
tail call void@_SML_load7374574ddb619c6a_LocalID(i8*%a)#0
tail call void@sml_gcroot(i8*%a,void()*@_SML_tabb332928ec0abe54e3_VALREC_Utils,i8*@_SML_ftab332928ec0abe54e3_VALREC_Utils,i8*null)#0
ret void
}
define void@_SML_main332928ec0abe54e3_VALREC_Utils()local_unnamed_addr#2 gc"smlsharp"{
%a=load i8,i8*@H,align 1
%b=and i8%a,2
%c=icmp eq i8%b,0
br i1%c,label%e,label%d
d:
ret void
e:
store i8 3,i8*@H,align 1
tail call void@_SML_main03d87556ec7f64b2_List()#2
tail call void@_SML_maineaa0aca8fbe4101a_Bug()#2
tail call void@_SML_main7374574ddb619c6a_LocalID()#2
br label%d
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_158(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%o,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%r)
store i8*%s,i8**%b,align 8
%t=call i8*@sml_alloc(i32 inreg 20)#0
%u=getelementptr inbounds i8,i8*%t,i64 -4
%v=bitcast i8*%u to i32*
store i32 1342177296,i32*%v,align 4
%w=load i8*,i8**%c,align 8
%x=bitcast i8*%t to i8**
store i8*%w,i8**%x,align 8
%y=load i8*,i8**%b,align 8
%z=getelementptr inbounds i8,i8*%t,i64 8
%A=bitcast i8*%z to i8**
store i8*%y,i8**%A,align 8
%B=getelementptr inbounds i8,i8*%t,i64 16
%C=bitcast i8*%B to i32*
store i32 3,i32*%C,align 4
%D=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%t)
ret i8*%D
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
f:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
br label%d
d:
%e=phi i8*[%M,%I],[%a,%f]
store i8*%e,i8**%b,align 8
%g=load atomic i32,i32*@sml_check_flag unordered,align 4
%h=icmp eq i32%g,0
br i1%h,label%k,label%i
i:
call void@sml_check(i32 inreg%g)
%j=load i8*,i8**%b,align 8
br label%k
k:
%l=phi i8*[%j,%i],[%e,%d]
%m=icmp eq i8*%l,null
br i1%m,label%a9,label%n
n:
%o=bitcast i8*%l to i32*
%p=load i32,i32*%o,align 4
switch i32%p,label%q[
i32 3,label%a9
i32 11,label%a7
i32 10,label%a1
i32 9,label%aV
i32 0,label%aT
i32 5,label%aR
i32 4,label%aP
i32 1,label%aN
i32 2,label%I
i32 7,label%am
i32 6,label%N
i32 8,label%I
]
q:
call void@sml_matchcomp_bug()
%r=load i8*,i8**@_SMLZ5Match,align 8
store i8*%r,i8**%b,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**%c,align 8
%v=load i8*,i8**%b,align 8
store i8*null,i8**%b,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,[80x i8]}>,<{[4x i8],i32,[80x i8]}>*@b,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**%c,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=getelementptr inbounds i8,i8*%l,i64 8
%K=bitcast i8*%J to i8***
%L=load i8**,i8***%K,align 8
%M=load i8*,i8**%L,align 8
br label%d
N:
%O=getelementptr inbounds i8,i8*%l,i64 8
%P=bitcast i8*%O to i8**
%Q=load i8*,i8**%P,align 8
store i8*%Q,i8**%c,align 8
%R=getelementptr inbounds i8,i8*%Q,i64 8
%S=bitcast i8*%R to i8**
%T=load i8*,i8**%S,align 8
%U=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%T)
store i8*%U,i8**%b,align 8
%V=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%W=getelementptr inbounds i8,i8*%V,i64 16
%X=bitcast i8*%W to i32**
%Y=load i32*,i32**%X,align 8
%Z=load i32,i32*%Y,align 4
%aa=call i8*@sml_alloc(i32 inreg 20)#0
%ab=getelementptr inbounds i8,i8*%aa,i64 -4
%ac=bitcast i8*%ab to i32*
store i32 1342177296,i32*%ac,align 4
%ad=getelementptr inbounds i8,i8*%aa,i64 12
%ae=bitcast i8*%ad to i32*
store i32 0,i32*%ae,align 1
%af=load i8*,i8**%b,align 8
%ag=bitcast i8*%aa to i8**
store i8*%af,i8**%ag,align 8
%ah=getelementptr inbounds i8,i8*%aa,i64 8
%ai=bitcast i8*%ah to i32*
store i32%Z,i32*%ai,align 4
%aj=getelementptr inbounds i8,i8*%aa,i64 16
%ak=bitcast i8*%aj to i32*
store i32 1,i32*%ak,align 4
%al=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%aa)
ret i8*%al
am:
%an=getelementptr inbounds i8,i8*%l,i64 8
%ao=bitcast i8*%an to i8**
%ap=load i8*,i8**%ao,align 8
store i8*%ap,i8**%b,align 8
%aq=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%ar=getelementptr inbounds i8,i8*%aq,i64 16
%as=bitcast i8*%ar to i8*(i8*,i8*)**
%at=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%as,align 8
%au=bitcast i8*%aq to i8**
%av=load i8*,i8**%au,align 8
%aw=call fastcc i8*%at(i8*inreg%av,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@a,i64 0,i32 2)to i8*))
%ax=getelementptr inbounds i8,i8*%aw,i64 16
%ay=bitcast i8*%ax to i8*(i8*,i8*)**
%az=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ay,align 8
%aA=bitcast i8*%aw to i8**
%aB=load i8*,i8**%aA,align 8
%aC=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%aD=call fastcc i8*%az(i8*inreg%aB,i8*inreg%aC)
%aE=getelementptr inbounds i8,i8*%aD,i64 16
%aF=bitcast i8*%aE to i8*(i8*,i8*)**
%aG=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aF,align 8
%aH=bitcast i8*%aD to i8**
%aI=load i8*,i8**%aH,align 8
%aJ=bitcast i8**%b to i8***
%aK=load i8**,i8***%aJ,align 8
%aL=load i8*,i8**%aK,align 8
%aM=tail call fastcc i8*%aG(i8*inreg%aI,i8*inreg%aL)
ret i8*%aM
aN:
%aO=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%aO
aP:
%aQ=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%aQ
aR:
%aS=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%aS
aT:
%aU=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%aU
aV:
%aW=getelementptr inbounds i8,i8*%l,i64 8
%aX=bitcast i8*%aW to i32**
%aY=load i32*,i32**%aX,align 8
%aZ=load i32,i32*%aY,align 4
%a0=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%aZ)
ret i8*%a0
a1:
%a2=getelementptr inbounds i8,i8*%l,i64 8
%a3=bitcast i8*%a2 to i32**
%a4=load i32*,i32**%a3,align 8
%a5=load i32,i32*%a4,align 4
%a6=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%a5)
ret i8*%a6
a7:
%a8=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%a8
a9:
%ba=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%ba
}
define internal fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_161(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8**
%o=load i8*,i8**%n,align 8
%p=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%o)
store i8*%p,i8**%b,align 8
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
%t=load i8*,i8**%c,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%b,align 8
%w=getelementptr inbounds i8,i8*%q,i64 8
%x=bitcast i8*%w to i8**
store i8*%v,i8**%x,align 8
%y=getelementptr inbounds i8,i8*%q,i64 16
%z=bitcast i8*%y to i32*
store i32 3,i32*%z,align 4
%A=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%q)
ret i8*%A
}
define internal fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_163(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%f,label%e
e:
call void@sml_check(i32 inreg%c)
br label%f
f:
%g=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%h=getelementptr inbounds i8,i8*%g,i64 16
%i=bitcast i8*%h to i8*(i8*,i8*)**
%j=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%i,align 8
%k=bitcast i8*%g to i8**
%l=load i8*,i8**%k,align 8
%m=call fastcc i8*%j(i8*inreg%l,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@c,i64 0,i32 2)to i8*))
%n=getelementptr inbounds i8,i8*%m,i64 16
%o=bitcast i8*%n to i8*(i8*,i8*)**
%p=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%o,align 8
%q=bitcast i8*%m to i8**
%r=load i8*,i8**%q,align 8
%s=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%t=call fastcc i8*%p(i8*inreg%r,i8*inreg%s)
%u=getelementptr inbounds i8,i8*%t,i64 16
%v=bitcast i8*%u to i8*(i8*,i8*)**
%w=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%v,align 8
%x=bitcast i8*%t to i8**
%y=load i8*,i8**%x,align 8
%z=load i8*,i8**%b,align 8
%A=tail call fastcc i8*%w(i8*inreg%y,i8*inreg%z)
ret i8*%A
}
define internal fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_165(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=getelementptr inbounds i8,i8*%h,i64 8
%k=bitcast i8*%j to i8**
%l=load i8*,i8**%k,align 8
store i8*%l,i8**%b,align 8
%m=bitcast i8*%h to i8**
%n=load i8*,i8**%m,align 8
%o=getelementptr inbounds i8,i8*%n,i64 16
%p=bitcast i8*%o to i32**
%q=load i32*,i32**%p,align 8
%r=load i32,i32*%q,align 4
%s=call i8*@sml_alloc(i32 inreg 20)#0
%t=getelementptr inbounds i8,i8*%s,i64 -4
%u=bitcast i8*%t to i32*
store i32 1342177296,i32*%u,align 4
%v=getelementptr inbounds i8,i8*%s,i64 12
%w=bitcast i8*%v to i32*
store i32 0,i32*%w,align 1
%x=load i8*,i8**%b,align 8
%y=bitcast i8*%s to i8**
store i8*%x,i8**%y,align 8
%z=getelementptr inbounds i8,i8*%s,i64 8
%A=bitcast i8*%z to i32*
store i32%r,i32*%A,align 4
%B=getelementptr inbounds i8,i8*%s,i64 16
%C=bitcast i8*%B to i32*
store i32 1,i32*%C,align 4
%D=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%s)
ret i8*%D
}
define internal fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_167(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%f,label%e
e:
call void@sml_check(i32 inreg%c)
br label%f
f:
%g=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%h=getelementptr inbounds i8,i8*%g,i64 16
%i=bitcast i8*%h to i8*(i8*,i8*)**
%j=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%i,align 8
%k=bitcast i8*%g to i8**
%l=load i8*,i8**%k,align 8
%m=call fastcc i8*%j(i8*inreg%l,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@d,i64 0,i32 2)to i8*))
%n=getelementptr inbounds i8,i8*%m,i64 16
%o=bitcast i8*%n to i8*(i8*,i8*)**
%p=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%o,align 8
%q=bitcast i8*%m to i8**
%r=load i8*,i8**%q,align 8
%s=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%t=call fastcc i8*%p(i8*inreg%r,i8*inreg%s)
%u=getelementptr inbounds i8,i8*%t,i64 16
%v=bitcast i8*%u to i8*(i8*,i8*)**
%w=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%v,align 8
%x=bitcast i8*%t to i8**
%y=load i8*,i8**%x,align 8
%z=load i8*,i8**%b,align 8
%A=tail call fastcc i8*%w(i8*inreg%y,i8*inreg%z)
ret i8*%A
}
define internal fastcc i8*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_169(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=getelementptr inbounds i8,i8*%h,i64 8
%k=bitcast i8*%j to i8**
%l=load i8*,i8**%k,align 8
store i8*%l,i8**%b,align 8
%m=bitcast i8*%h to i8**
%n=load i8*,i8**%m,align 8
%o=getelementptr inbounds i8,i8*%n,i64 16
%p=bitcast i8*%o to i32**
%q=load i32*,i32**%p,align 8
%r=load i32,i32*%q,align 4
%s=call i8*@sml_alloc(i32 inreg 20)#0
%t=getelementptr inbounds i8,i8*%s,i64 -4
%u=bitcast i8*%t to i32*
store i32 1342177296,i32*%u,align 4
%v=getelementptr inbounds i8,i8*%s,i64 12
%w=bitcast i8*%v to i32*
store i32 0,i32*%w,align 1
%x=load i8*,i8**%b,align 8
%y=bitcast i8*%s to i8**
store i8*%x,i8**%y,align 8
%z=getelementptr inbounds i8,i8*%s,i64 8
%A=bitcast i8*%z to i32*
store i32%r,i32*%A,align 4
%B=getelementptr inbounds i8,i8*%s,i64 16
%C=bitcast i8*%B to i32*
store i32 1,i32*%C,align 4
%D=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%s)
ret i8*%D
}
define internal fastcc i8*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_171(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%f,label%e
e:
call void@sml_check(i32 inreg%c)
br label%f
f:
%g=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%h=getelementptr inbounds i8,i8*%g,i64 16
%i=bitcast i8*%h to i8*(i8*,i8*)**
%j=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%i,align 8
%k=bitcast i8*%g to i8**
%l=load i8*,i8**%k,align 8
%m=call fastcc i8*%j(i8*inreg%l,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@e,i64 0,i32 2)to i8*))
%n=getelementptr inbounds i8,i8*%m,i64 16
%o=bitcast i8*%n to i8*(i8*,i8*)**
%p=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%o,align 8
%q=bitcast i8*%m to i8**
%r=load i8*,i8**%q,align 8
%s=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%t=call fastcc i8*%p(i8*inreg%r,i8*inreg%s)
%u=getelementptr inbounds i8,i8*%t,i64 16
%v=bitcast i8*%u to i8*(i8*,i8*)**
%w=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%v,align 8
%x=bitcast i8*%t to i8**
%y=load i8*,i8**%x,align 8
%z=load i8*,i8**%b,align 8
%A=tail call fastcc i8*%w(i8*inreg%y,i8*inreg%z)
ret i8*%A
}
define internal fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInBindListE_173(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8***
%o=load i8**,i8***%n,align 8
%p=load i8*,i8**%o,align 8
%q=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%p)
store i8*%q,i8**%b,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
%u=load i8*,i8**%b,align 8
%v=bitcast i8*%r to i8**
store i8*%u,i8**%v,align 8
%w=load i8*,i8**%c,align 8
%x=getelementptr inbounds i8,i8*%r,i64 8
%y=bitcast i8*%x to i8**
store i8*%w,i8**%y,align 8
%z=getelementptr inbounds i8,i8*%r,i64 16
%A=bitcast i8*%z to i32*
store i32 3,i32*%A,align 4
%B=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%r)
ret i8*%B
}
define internal fastcc i8*@_SMLLN12VALREC__Utils24getBoundIdsInFundeclListE_177(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=getelementptr inbounds i8,i8*%h,i64 8
%k=bitcast i8*%j to i8**
%l=load i8*,i8**%k,align 8
store i8*%l,i8**%b,align 8
%m=bitcast i8*%h to i32***
%n=load i32**,i32***%m,align 8
%o=load i32*,i32**%n,align 8
%p=load i32,i32*%o,align 4
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
%t=getelementptr inbounds i8,i8*%q,i64 12
%u=bitcast i8*%t to i32*
store i32 0,i32*%u,align 1
%v=load i8*,i8**%b,align 8
%w=bitcast i8*%q to i8**
store i8*%v,i8**%w,align 8
%x=getelementptr inbounds i8,i8*%q,i64 8
%y=bitcast i8*%x to i32*
store i32%p,i32*%y,align 4
%z=getelementptr inbounds i8,i8*%q,i64 16
%A=bitcast i8*%z to i32*
store i32 1,i32*%A,align 4
%B=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%q)
ret i8*%B
}
define internal fastcc i8*@_SMLLN12VALREC__Utils17getBoundIdsInDeclE_184(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
l:
%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**%d,i8*null)#0
call void@llvm.gcroot(i8**%e,i8*null)#0
store i8*%a,i8**%d,align 8
%f=load atomic i32,i32*@sml_check_flag unordered,align 4
%g=icmp eq i32%f,0
br i1%g,label%j,label%h
h:
call void@sml_check(i32 inreg%f)
%i=load i8*,i8**%d,align 8
br label%j
j:
%k=phi i8*[%i,%h],[%a,%l]
%m=bitcast i8*%k to i32*
%n=load i32,i32*%m,align 4
switch i32%n,label%o[
i32 13,label%bx
i32 17,label%bo
i32 16,label%bf
i32 1,label%aK
i32 10,label%aq
i32 15,label%ai
i32 14,label%ac
i32 2,label%aa
i32 3,label%Y
i32 7,label%W
i32 6,label%U
i32 5,label%S
i32 4,label%Q
i32 9,label%O
i32 8,label%M
i32 0,label%K
i32 11,label%I
i32 12,label%G
]
o:
call void@sml_matchcomp_bug()
%p=load i8*,i8**@_SMLZ5Match,align 8
store i8*%p,i8**%d,align 8
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
store i8*%q,i8**%e,align 8
%t=load i8*,i8**%d,align 8
store i8*null,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 i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[80x i8]}>,<{[4x i8],i32,[80x i8]}>*@i,i64 0,i32 2,i64 0),i8**%w,align 8
%x=getelementptr inbounds i8,i8*%q,i64 16
%y=bitcast i8*%x to i32*
store i32 3,i32*%y,align 4
%z=call i8*@sml_alloc(i32 inreg 60)#0
%A=getelementptr inbounds i8,i8*%z,i64 -4
%B=bitcast i8*%A to i32*
store i32 1342177336,i32*%B,align 4
%C=getelementptr inbounds i8,i8*%z,i64 56
%D=bitcast i8*%C to i32*
store i32 1,i32*%D,align 4
%E=load i8*,i8**%e,align 8
%F=bitcast i8*%z to i8**
store i8*%E,i8**%F,align 8
call void@sml_raise(i8*inreg%z)#1
unreachable
G:
%H=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%H
I:
%J=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%J
K:
%L=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%L
M:
%N=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%N
O:
%P=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%P
Q:
%R=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%R
S:
%T=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%T
U:
%V=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%V
W:
%X=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%X
Y:
%Z=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%Z
aa:
%ab=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%ab
ac:
%ad=getelementptr inbounds i8,i8*%k,i64 8
%ae=bitcast i8*%ad to i8***
%af=load i8**,i8***%ae,align 8
%ag=load i8*,i8**%af,align 8
%ah=tail call fastcc i8*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_171(i8*inreg%ag)
ret i8*%ah
ai:
%aj=getelementptr inbounds i8,i8*%k,i64 8
%ak=bitcast i8*%aj to i8**
%al=load i8*,i8**%ak,align 8
%am=getelementptr inbounds i8,i8*%al,i64 16
%an=bitcast i8*%am to i8**
%ao=load i8*,i8**%an,align 8
%ap=tail call fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_167(i8*inreg%ao)
ret i8*%ap
aq:
%ar=load i8*,i8**@_SMLZN3Bug3BugE,align 8
store i8*%ar,i8**%d,align 8
%as=call i8*@sml_alloc(i32 inreg 28)#0
%at=getelementptr inbounds i8,i8*%as,i64 -4
%au=bitcast i8*%at to i32*
store i32 1342177304,i32*%au,align 4
store i8*%as,i8**%e,align 8
%av=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%aw=bitcast i8*%as to i8**
store i8*%av,i8**%aw,align 8
%ax=getelementptr inbounds i8,i8*%as,i64 8
%ay=bitcast i8*%ax to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[81x i8]}>,<{[4x i8],i32,[81x i8]}>*@h,i64 0,i32 2,i64 0),i8**%ay,align 8
%az=getelementptr inbounds i8,i8*%as,i64 16
%aA=bitcast i8*%az to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[20x i8]}>,<{[4x i8],i32,[20x i8]}>*@x,i64 0,i32 2,i64 0),i8**%aA,align 8
%aB=getelementptr inbounds i8,i8*%as,i64 24
%aC=bitcast i8*%aB to i32*
store i32 7,i32*%aC,align 4
%aD=call i8*@sml_alloc(i32 inreg 60)#0
%aE=getelementptr inbounds i8,i8*%aD,i64 -4
%aF=bitcast i8*%aE to i32*
store i32 1342177336,i32*%aF,align 4
%aG=getelementptr inbounds i8,i8*%aD,i64 56
%aH=bitcast i8*%aG to i32*
store i32 1,i32*%aH,align 4
%aI=load i8*,i8**%e,align 8
%aJ=bitcast i8*%aD to i8**
store i8*%aI,i8**%aJ,align 8
call void@sml_raise(i8*inreg%aD)#1
unreachable
aK:
%aL=getelementptr inbounds i8,i8*%k,i64 8
%aM=bitcast i8*%aL to i8***
%aN=load i8**,i8***%aM,align 8
%aO=load i8*,i8**%aN,align 8
%aP=bitcast i8**%c to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%aP)
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%aO,i8**%c,align 8
%aQ=load atomic i32,i32*@sml_check_flag unordered,align 4
%aR=icmp eq i32%aQ,0
br i1%aR,label%aT,label%aS
aS:
call void@sml_check(i32 inreg%aQ)
br label%aT
aT:
%aU=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%aV=getelementptr inbounds i8,i8*%aU,i64 16
%aW=bitcast i8*%aV to i8*(i8*,i8*)**
%aX=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aW,align 8
%aY=bitcast i8*%aU to i8**
%aZ=load i8*,i8**%aY,align 8
%a0=call fastcc i8*%aX(i8*inreg%aZ,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@g,i64 0,i32 2)to i8*))
%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**@_SMLZN5VarID3Set5emptyE,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**%c,align 8
%be=tail call fastcc i8*%ba(i8*inreg%bc,i8*inreg%bd)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aP)
ret i8*%be
bf:
%bg=getelementptr inbounds i8,i8*%k,i64 8
%bh=bitcast i8*%bg to i8**
%bi=load i8*,i8**%bh,align 8
%bj=getelementptr inbounds i8,i8*%bi,i64 32
%bk=bitcast i8*%bj to i32**
%bl=load i32*,i32**%bk,align 8
%bm=load i32,i32*%bl,align 4
%bn=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%bm)
ret i8*%bn
bo:
%bp=getelementptr inbounds i8,i8*%k,i64 8
%bq=bitcast i8*%bp to i8**
%br=load i8*,i8**%bq,align 8
%bs=getelementptr inbounds i8,i8*%br,i64 24
%bt=bitcast i8*%bs to i32**
%bu=load i32*,i32**%bt,align 8
%bv=load i32,i32*%bu,align 4
%bw=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%bv)
ret i8*%bw
bx:
%by=getelementptr inbounds i8,i8*%k,i64 8
%bz=bitcast i8*%by to i8**
%bA=load i8*,i8**%bz,align 8
%bB=getelementptr inbounds i8,i8*%bA,i64 8
%bC=bitcast i8*%bB to i8**
%bD=load i8*,i8**%bC,align 8
%bE=bitcast i8**%b to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%bE)
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%bD,i8**%b,align 8
%bF=load atomic i32,i32*@sml_check_flag unordered,align 4
%bG=icmp eq i32%bF,0
br i1%bG,label%bI,label%bH
bH:
call void@sml_check(i32 inreg%bF)
br label%bI
bI:
%bJ=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,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=call fastcc i8*%bM(i8*inreg%bO,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@f,i64 0,i32 2)to i8*))
%bQ=getelementptr inbounds i8,i8*%bP,i64 16
%bR=bitcast i8*%bQ to i8*(i8*,i8*)**
%bS=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bR,align 8
%bT=bitcast i8*%bP to i8**
%bU=load i8*,i8**%bT,align 8
%bV=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%bW=call fastcc i8*%bS(i8*inreg%bU,i8*inreg%bV)
%bX=getelementptr inbounds i8,i8*%bW,i64 16
%bY=bitcast i8*%bX to i8*(i8*,i8*)**
%bZ=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bY,align 8
%b0=bitcast i8*%bW to i8**
%b1=load i8*,i8**%b0,align 8
%b2=load i8*,i8**%b,align 8
%b3=tail call fastcc i8*%bZ(i8*inreg%b1,i8*inreg%b2)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%bE)
ret i8*%b3
}
define internal fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInDeclListE_186(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8**
%o=load i8*,i8**%n,align 8
%p=call fastcc i8*@_SMLLN12VALREC__Utils17getBoundIdsInDeclE_184(i8*inreg%o)
store i8*%p,i8**%b,align 8
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
%t=load i8*,i8**%c,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%b,align 8
%w=getelementptr inbounds i8,i8*%q,i64 8
%x=bitcast i8*%w to i8**
store i8*%v,i8**%x,align 8
%y=getelementptr inbounds i8,i8*%q,i64 16
%z=bitcast i8*%y to i32*
store i32 3,i32*%z,align 4
%A=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%q)
ret i8*%A
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_234(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%o,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%r)
store i8*%s,i8**%b,align 8
%t=call i8*@sml_alloc(i32 inreg 20)#0
%u=getelementptr inbounds i8,i8*%t,i64 -4
%v=bitcast i8*%u to i32*
store i32 1342177296,i32*%v,align 4
%w=load i8*,i8**%c,align 8
%x=bitcast i8*%t to i8**
store i8*%w,i8**%x,align 8
%y=load i8*,i8**%b,align 8
%z=getelementptr inbounds i8,i8*%t,i64 8
%A=bitcast i8*%z to i8**
store i8*%y,i8**%A,align 8
%B=getelementptr inbounds i8,i8*%t,i64 16
%C=bitcast i8*%B to i32*
store i32 3,i32*%C,align 4
%D=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%t)
ret i8*%D
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_236(i8*inreg%a)#2 gc"smlsharp"{
k:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
store i8*%a,i8**%b,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**%b,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%a,%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**%d,align 8
%o=bitcast i8*%j to i8**
%p=load i8*,i8**%o,align 8
%q=getelementptr inbounds i8,i8*%p,i64 8
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
%t=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%s)
store i8*%t,i8**%c,align 8
%u=bitcast i8**%b to i8****
%v=load i8***,i8****%u,align 8
store i8*null,i8**%b,align 8
%w=load i8**,i8***%v,align 8
%x=load i8*,i8**%w,align 8
%y=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%x)
store i8*%y,i8**%b,align 8
%z=call i8*@sml_alloc(i32 inreg 20)#0
%A=getelementptr inbounds i8,i8*%z,i64 -4
%B=bitcast i8*%A to i32*
store i32 1342177296,i32*%B,align 4
%C=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%D=bitcast i8*%z to i8**
store i8*%C,i8**%D,align 8
%E=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%F=getelementptr inbounds i8,i8*%z,i64 8
%G=bitcast i8*%F to i8**
store i8*%E,i8**%G,align 8
%H=getelementptr inbounds i8,i8*%z,i64 16
%I=bitcast i8*%H to i32*
store i32 3,i32*%I,align 4
%J=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%z)
store i8*%J,i8**%b,align 8
%K=call i8*@sml_alloc(i32 inreg 20)#0
%L=getelementptr inbounds i8,i8*%K,i64 -4
%M=bitcast i8*%L to i32*
store i32 1342177296,i32*%M,align 4
%N=load i8*,i8**%d,align 8
%O=bitcast i8*%K to i8**
store i8*%N,i8**%O,align 8
%P=load i8*,i8**%b,align 8
%Q=getelementptr inbounds i8,i8*%K,i64 8
%R=bitcast i8*%Q to i8**
store i8*%P,i8**%R,align 8
%S=getelementptr inbounds i8,i8*%K,i64 16
%T=bitcast i8*%S to i32*
store i32 3,i32*%T,align 4
%U=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%K)
ret i8*%U
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_238(i8*inreg%a)#2 gc"smlsharp"{
k:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
store i8*%a,i8**%b,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**%b,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%a,%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**%d,align 8
%o=bitcast i8*%j to i8**
%p=load i8*,i8**%o,align 8
%q=getelementptr inbounds i8,i8*%p,i64 8
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
%t=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%s)
store i8*%t,i8**%c,align 8
%u=bitcast i8**%b to i8****
%v=load i8***,i8****%u,align 8
store i8*null,i8**%b,align 8
%w=load i8**,i8***%v,align 8
%x=load i8*,i8**%w,align 8
%y=call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_163(i8*inreg%x)
store i8*%y,i8**%b,align 8
%z=call i8*@sml_alloc(i32 inreg 20)#0
%A=getelementptr inbounds i8,i8*%z,i64 -4
%B=bitcast i8*%A to i32*
store i32 1342177296,i32*%B,align 4
%C=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%D=bitcast i8*%z to i8**
store i8*%C,i8**%D,align 8
%E=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%F=getelementptr inbounds i8,i8*%z,i64 8
%G=bitcast i8*%F to i8**
store i8*%E,i8**%G,align 8
%H=getelementptr inbounds i8,i8*%z,i64 16
%I=bitcast i8*%H to i32*
store i32 3,i32*%I,align 4
%J=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%z)
store i8*%J,i8**%b,align 8
%K=call i8*@sml_alloc(i32 inreg 20)#0
%L=getelementptr inbounds i8,i8*%K,i64 -4
%M=bitcast i8*%L to i32*
store i32 1342177296,i32*%M,align 4
%N=load i8*,i8**%d,align 8
%O=bitcast i8*%K to i8**
store i8*%N,i8**%O,align 8
%P=load i8*,i8**%b,align 8
%Q=getelementptr inbounds i8,i8*%K,i64 8
%R=bitcast i8*%Q to i8**
store i8*%P,i8**%R,align 8
%S=getelementptr inbounds i8,i8*%K,i64 16
%T=bitcast i8*%S to i32*
store i32 3,i32*%T,align 4
%U=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%K)
ret i8*%U
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_240(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=getelementptr inbounds i8,i8*%h,i64 8
%k=bitcast i8*%j to i8**
%l=load i8*,i8**%k,align 8
store i8*%l,i8**%b,align 8
%m=bitcast i8*%h to i32***
%n=load i32**,i32***%m,align 8
%o=load i32*,i32**%n,align 8
%p=load i32,i32*%o,align 4
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
%t=getelementptr inbounds i8,i8*%q,i64 12
%u=bitcast i8*%t to i32*
store i32 0,i32*%u,align 1
%v=load i8*,i8**%b,align 8
%w=bitcast i8*%q to i8**
store i8*%v,i8**%w,align 8
%x=getelementptr inbounds i8,i8*%q,i64 8
%y=bitcast i8*%x to i32*
store i32%p,i32*%y,align 4
%z=getelementptr inbounds i8,i8*%q,i64 16
%A=bitcast i8*%z to i32*
store i32 1,i32*%A,align 4
%B=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%q)
ret i8*%B
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_242(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=getelementptr inbounds i8,i8*%h,i64 8
%k=bitcast i8*%j to i8**
%l=load i8*,i8**%k,align 8
store i8*%l,i8**%b,align 8
%m=bitcast i8*%h to i32***
%n=load i32**,i32***%m,align 8
%o=load i32*,i32**%n,align 8
%p=load i32,i32*%o,align 4
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
%t=getelementptr inbounds i8,i8*%q,i64 12
%u=bitcast i8*%t to i32*
store i32 0,i32*%u,align 1
%v=load i8*,i8**%b,align 8
%w=bitcast i8*%q to i8**
store i8*%v,i8**%w,align 8
%x=getelementptr inbounds i8,i8*%q,i64 8
%y=bitcast i8*%x to i32*
store i32%p,i32*%y,align 4
%z=getelementptr inbounds i8,i8*%q,i64 16
%A=bitcast i8*%z to i32*
store i32 1,i32*%A,align 4
%B=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%q)
ret i8*%B
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_244(i8*inreg%a)#2 gc"smlsharp"{
k:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
store i8*%a,i8**%b,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**%b,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%a,%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**%d,align 8
%o=bitcast i8*%j to i8**
%p=load i8*,i8**%o,align 8
%q=getelementptr inbounds i8,i8*%p,i64 8
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
%t=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%s)
store i8*%t,i8**%c,align 8
%u=bitcast i8**%b to i8****
%v=load i8***,i8****%u,align 8
store i8*null,i8**%b,align 8
%w=load i8**,i8***%v,align 8
%x=load i8*,i8**%w,align 8
%y=call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_163(i8*inreg%x)
store i8*%y,i8**%b,align 8
%z=call i8*@sml_alloc(i32 inreg 20)#0
%A=getelementptr inbounds i8,i8*%z,i64 -4
%B=bitcast i8*%A to i32*
store i32 1342177296,i32*%B,align 4
%C=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%D=bitcast i8*%z to i8**
store i8*%C,i8**%D,align 8
%E=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%F=getelementptr inbounds i8,i8*%z,i64 8
%G=bitcast i8*%F to i8**
store i8*%E,i8**%G,align 8
%H=getelementptr inbounds i8,i8*%z,i64 16
%I=bitcast i8*%H to i32*
store i32 3,i32*%I,align 4
%J=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%z)
store i8*%J,i8**%b,align 8
%K=call i8*@sml_alloc(i32 inreg 20)#0
%L=getelementptr inbounds i8,i8*%K,i64 -4
%M=bitcast i8*%L to i32*
store i32 1342177296,i32*%M,align 4
%N=load i8*,i8**%d,align 8
%O=bitcast i8*%K to i8**
store i8*%N,i8**%O,align 8
%P=load i8*,i8**%b,align 8
%Q=getelementptr inbounds i8,i8*%K,i64 8
%R=bitcast i8*%Q to i8**
store i8*%P,i8**%R,align 8
%S=getelementptr inbounds i8,i8*%K,i64 16
%T=bitcast i8*%S to i32*
store i32 3,i32*%T,align 4
%U=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%K)
ret i8*%U
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_246(i8*inreg%a)#2 gc"smlsharp"{
k:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
store i8*%a,i8**%b,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**%b,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%a,%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**%d,align 8
%o=bitcast i8*%j to i8**
%p=load i8*,i8**%o,align 8
%q=getelementptr inbounds i8,i8*%p,i64 8
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
%t=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%s)
store i8*%t,i8**%c,align 8
%u=bitcast i8**%b to i8****
%v=load i8***,i8****%u,align 8
store i8*null,i8**%b,align 8
%w=load i8**,i8***%v,align 8
%x=load i8*,i8**%w,align 8
%y=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%x)
store i8*%y,i8**%b,align 8
%z=call i8*@sml_alloc(i32 inreg 20)#0
%A=getelementptr inbounds i8,i8*%z,i64 -4
%B=bitcast i8*%A to i32*
store i32 1342177296,i32*%B,align 4
%C=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%D=bitcast i8*%z to i8**
store i8*%C,i8**%D,align 8
%E=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%F=getelementptr inbounds i8,i8*%z,i64 8
%G=bitcast i8*%F to i8**
store i8*%E,i8**%G,align 8
%H=getelementptr inbounds i8,i8*%z,i64 16
%I=bitcast i8*%H to i32*
store i32 3,i32*%I,align 4
%J=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%z)
store i8*%J,i8**%b,align 8
%K=call i8*@sml_alloc(i32 inreg 20)#0
%L=getelementptr inbounds i8,i8*%K,i64 -4
%M=bitcast i8*%L to i32*
store i32 1342177296,i32*%M,align 4
%N=load i8*,i8**%d,align 8
%O=bitcast i8*%K to i8**
store i8*%N,i8**%O,align 8
%P=load i8*,i8**%b,align 8
%Q=getelementptr inbounds i8,i8*%K,i64 8
%R=bitcast i8*%Q to i8**
store i8*%P,i8**%R,align 8
%S=getelementptr inbounds i8,i8*%K,i64 16
%T=bitcast i8*%S to i32*
store i32 3,i32*%T,align 4
%U=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%K)
ret i8*%U
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_248(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%o,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%r)
store i8*%s,i8**%b,align 8
%t=call i8*@sml_alloc(i32 inreg 20)#0
%u=getelementptr inbounds i8,i8*%t,i64 -4
%v=bitcast i8*%u to i32*
store i32 1342177296,i32*%v,align 4
%w=load i8*,i8**%c,align 8
%x=bitcast i8*%t to i8**
store i8*%w,i8**%x,align 8
%y=load i8*,i8**%b,align 8
%z=getelementptr inbounds i8,i8*%t,i64 8
%A=bitcast i8*%z to i8**
store i8*%y,i8**%A,align 8
%B=getelementptr inbounds i8,i8*%t,i64 16
%C=bitcast i8*%B to i32*
store i32 3,i32*%C,align 4
%D=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%t)
ret i8*%D
}
define internal fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_252(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8**
%o=load i8*,i8**%n,align 8
%p=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%o)
store i8*%p,i8**%b,align 8
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
%t=load i8*,i8**%c,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%b,align 8
%w=getelementptr inbounds i8,i8*%q,i64 8
%x=bitcast i8*%w to i8**
store i8*%v,i8**%x,align 8
%y=getelementptr inbounds i8,i8*%q,i64 16
%z=bitcast i8*%y to i32*
store i32 3,i32*%z,align 4
%A=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%q)
ret i8*%A
}
define internal fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInDeclListE_254(i8*inreg%a)#2 gc"smlsharp"{
B:
%b=alloca i8*,align 8
%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
%i=alloca i8*,align 8
%j=alloca i8*,align 8
%k=alloca i8*,align 8
%l=alloca i8*,align 8
%m=alloca i8*,align 8
%n=alloca i8*,align 8
%o=alloca i8*,align 8
%p=alloca i8*,align 8
%q=alloca i8*,align 8
%r=alloca i8*,align 8
%s=alloca i8*,align 8
%t=alloca i8*,align 8
%u=alloca i8*,align 8
call void@llvm.gcroot(i8**%r,i8*null)#0
call void@llvm.gcroot(i8**%s,i8*null)#0
call void@llvm.gcroot(i8**%t,i8*null)#0
call void@llvm.gcroot(i8**%u,i8*null)#0
store i8*%a,i8**%r,align 8
%v=load atomic i32,i32*@sml_check_flag unordered,align 4
%w=icmp eq i32%v,0
br i1%w,label%z,label%x
x:
call void@sml_check(i32 inreg%v)
%y=load i8*,i8**%r,align 8
br label%z
z:
%A=phi i8*[%y,%x],[%a,%B]
%C=bitcast i8*%A to i8**
%D=getelementptr inbounds i8,i8*%A,i64 8
%E=bitcast i8*%D to i8***
%F=load i8**,i8***%E,align 8
%G=load i8*,i8**%F,align 8
store i8*%G,i8**%t,align 8
%H=getelementptr inbounds i8*,i8**%F,i64 1
%I=load i8*,i8**%H,align 8
store i8*%I,i8**%u,align 8
%J=bitcast i8**%r to i8***
%K=load i8*,i8**%C,align 8
%L=bitcast i8**%p to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%L)
%M=bitcast i8**%q to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%M)
call void@llvm.gcroot(i8**%p,i8*null)#0
call void@llvm.gcroot(i8**%q,i8*null)#0
store i8*%K,i8**%p,align 8
%N=load atomic i32,i32*@sml_check_flag unordered,align 4
%O=icmp eq i32%N,0
br i1%O,label%R,label%P
P:
call void@sml_check(i32 inreg%N)
%Q=load i8*,i8**%p,align 8
br label%R
R:
%S=phi i8*[%Q,%P],[%K,%z]
%T=bitcast i8*%S to i32*
%U=load i32,i32*%T,align 4
switch i32%U,label%V[
i32 13,label%ev
i32 17,label%ep
i32 16,label%ej
i32 1,label%df
i32 10,label%cV
i32 15,label%bS
i32 14,label%aR
i32 2,label%aP
i32 3,label%aF
i32 7,label%aD
i32 6,label%aB
i32 5,label%az
i32 4,label%ax
i32 9,label%av
i32 8,label%at
i32 0,label%ar
i32 11,label%ap
i32 12,label%an
]
V:
call void@sml_matchcomp_bug()
%W=load i8*,i8**@_SMLZ5Match,align 8
store i8*%W,i8**%p,align 8
%X=call i8*@sml_alloc(i32 inreg 20)#0
%Y=getelementptr inbounds i8,i8*%X,i64 -4
%Z=bitcast i8*%Y to i32*
store i32 1342177296,i32*%Z,align 4
store i8*%X,i8**%q,align 8
%aa=load i8*,i8**%p,align 8
store i8*null,i8**%p,align 8
%ab=bitcast i8*%X to i8**
store i8*%aa,i8**%ab,align 8
%ac=getelementptr inbounds i8,i8*%X,i64 8
%ad=bitcast i8*%ac to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[80x i8]}>,<{[4x i8],i32,[80x i8]}>*@y,i64 0,i32 2,i64 0),i8**%ad,align 8
%ae=getelementptr inbounds i8,i8*%X,i64 16
%af=bitcast i8*%ae to i32*
store i32 3,i32*%af,align 4
%ag=call i8*@sml_alloc(i32 inreg 60)#0
%ah=getelementptr inbounds i8,i8*%ag,i64 -4
%ai=bitcast i8*%ah to i32*
store i32 1342177336,i32*%ai,align 4
%aj=getelementptr inbounds i8,i8*%ag,i64 56
%ak=bitcast i8*%aj to i32*
store i32 1,i32*%ak,align 4
%al=load i8*,i8**%q,align 8
%am=bitcast i8*%ag to i8**
store i8*%al,i8**%am,align 8
call void@sml_raise(i8*inreg%ag)#1
unreachable
an:
%ao=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
ap:
%aq=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
ar:
%as=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
at:
%au=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
av:
%aw=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
ax:
%ay=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
az:
%aA=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
aB:
%aC=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
aD:
%aE=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
aF:
%aG=getelementptr inbounds i8,i8*%S,i64 8
%aH=bitcast i8*%aG to i8***
%aI=load i8**,i8***%aH,align 8
%aJ=load i8*,i8**%aI,align 8
%aK=getelementptr inbounds i8,i8*%aJ,i64 8
%aL=bitcast i8*%aK to i32**
%aM=load i32*,i32**%aL,align 8
%aN=load i32,i32*%aM,align 4
%aO=call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%aN)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
aP:
%aQ=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
aR:
%aS=getelementptr inbounds i8,i8*%S,i64 8
%aT=bitcast i8*%aS to i8**
%aU=load i8*,i8**%aT,align 8
store i8*%aU,i8**%q,align 8
%aV=bitcast i8*%aU to i8**
%aW=load i8*,i8**%aV,align 8
%aX=bitcast i8**%l to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%aX)
%aY=bitcast i8**%m to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%aY)
%aZ=bitcast i8**%n to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%aZ)
%a0=bitcast i8**%o to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%a0)
call void@llvm.gcroot(i8**%l,i8*null)#0
call void@llvm.gcroot(i8**%m,i8*null)#0
call void@llvm.gcroot(i8**%n,i8*null)#0
call void@llvm.gcroot(i8**%o,i8*null)#0
store i8*%aW,i8**%l,align 8
%a1=load atomic i32,i32*@sml_check_flag unordered,align 4
%a2=icmp eq i32%a1,0
br i1%a2,label%a4,label%a3
a3:
call void@sml_check(i32 inreg%a1)
br label%a4
a4:
%a5=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%a6=getelementptr inbounds i8,i8*%a5,i64 16
%a7=bitcast i8*%a6 to i8*(i8*,i8*)**
%a8=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%a7,align 8
%a9=bitcast i8*%a5 to i8**
%ba=load i8*,i8**%a9,align 8
%bb=call fastcc i8*%a8(i8*inreg%ba,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@E,i64 0,i32 2)to i8*))
%bc=getelementptr inbounds i8,i8*%bb,i64 16
%bd=bitcast i8*%bc to i8*(i8*,i8*)**
%be=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bd,align 8
%bf=bitcast i8*%bb to i8**
%bg=load i8*,i8**%bf,align 8
store i8*%bg,i8**%o,align 8
%bh=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%bh,i8**%m,align 8
store i8*%bh,i8**%n,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
%bl=load i8*,i8**%m,align 8
store i8*null,i8**%m,align 8
%bm=bitcast i8*%bi to i8**
store i8*%bl,i8**%bm,align 8
%bn=load i8*,i8**%n,align 8
store i8*null,i8**%n,align 8
%bo=getelementptr inbounds i8,i8*%bi,i64 8
%bp=bitcast i8*%bo to i8**
store i8*%bn,i8**%bp,align 8
%bq=getelementptr inbounds i8,i8*%bi,i64 16
%br=bitcast i8*%bq to i32*
store i32 3,i32*%br,align 4
%bs=load i8*,i8**%o,align 8
store i8*null,i8**%o,align 8
%bt=call fastcc i8*%be(i8*inreg%bs,i8*inreg%bi)
%bu=getelementptr inbounds i8,i8*%bt,i64 16
%bv=bitcast i8*%bu to i8*(i8*,i8*)**
%bw=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bv,align 8
%bx=bitcast i8*%bt to i8**
%by=load i8*,i8**%bx,align 8
%bz=load i8*,i8**%l,align 8
store i8*null,i8**%l,align 8
%bA=call fastcc i8*%bw(i8*inreg%by,i8*inreg%bz)
%bB=bitcast i8*%bA to i8**
%bC=load i8*,i8**%bB,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aX)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aY)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aZ)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%a0)
store i8*%bC,i8**%p,align 8
%bD=bitcast i8**%q to i8***
%bE=load i8**,i8***%bD,align 8
store i8*null,i8**%q,align 8
%bF=load i8*,i8**%bE,align 8
%bG=call fastcc i8*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_171(i8*inreg%bF)
store i8*%bG,i8**%q,align 8
%bH=call i8*@sml_alloc(i32 inreg 20)#0
%bI=getelementptr inbounds i8,i8*%bH,i64 -4
%bJ=bitcast i8*%bI to i32*
store i32 1342177296,i32*%bJ,align 4
%bK=load i8*,i8**%p,align 8
%bL=bitcast i8*%bH to i8**
store i8*%bK,i8**%bL,align 8
%bM=load i8*,i8**%q,align 8
%bN=getelementptr inbounds i8,i8*%bH,i64 8
%bO=bitcast i8*%bN to i8**
store i8*%bM,i8**%bO,align 8
%bP=getelementptr inbounds i8,i8*%bH,i64 16
%bQ=bitcast i8*%bP to i32*
store i32 3,i32*%bQ,align 4
%bR=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%bH)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
bS:
%bT=getelementptr inbounds i8,i8*%S,i64 8
%bU=bitcast i8*%bT to i8**
%bV=load i8*,i8**%bU,align 8
store i8*%bV,i8**%q,align 8
%bW=getelementptr inbounds i8,i8*%bV,i64 16
%bX=bitcast i8*%bW to i8**
%bY=load i8*,i8**%bX,align 8
%bZ=bitcast i8**%h to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%bZ)
%b0=bitcast i8**%i to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%b0)
%b1=bitcast i8**%j to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%b1)
%b2=bitcast i8**%k to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%b2)
call void@llvm.gcroot(i8**%h,i8*null)#0
call void@llvm.gcroot(i8**%i,i8*null)#0
call void@llvm.gcroot(i8**%j,i8*null)#0
call void@llvm.gcroot(i8**%k,i8*null)#0
store i8*%bY,i8**%h,align 8
%b3=load atomic i32,i32*@sml_check_flag unordered,align 4
%b4=icmp eq i32%b3,0
br i1%b4,label%b6,label%b5
b5:
call void@sml_check(i32 inreg%b3)
br label%b6
b6:
%b7=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%b8=getelementptr inbounds i8,i8*%b7,i64 16
%b9=bitcast i8*%b8 to i8*(i8*,i8*)**
%ca=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%b9,align 8
%cb=bitcast i8*%b7 to i8**
%cc=load i8*,i8**%cb,align 8
%cd=call fastcc i8*%ca(i8*inreg%cc,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@D,i64 0,i32 2)to i8*))
%ce=getelementptr inbounds i8,i8*%cd,i64 16
%cf=bitcast i8*%ce to i8*(i8*,i8*)**
%cg=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cf,align 8
%ch=bitcast i8*%cd to i8**
%ci=load i8*,i8**%ch,align 8
store i8*%ci,i8**%k,align 8
%cj=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%cj,i8**%i,align 8
store i8*%cj,i8**%j,align 8
%ck=call i8*@sml_alloc(i32 inreg 20)#0
%cl=getelementptr inbounds i8,i8*%ck,i64 -4
%cm=bitcast i8*%cl to i32*
store i32 1342177296,i32*%cm,align 4
%cn=load i8*,i8**%i,align 8
store i8*null,i8**%i,align 8
%co=bitcast i8*%ck to i8**
store i8*%cn,i8**%co,align 8
%cp=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%cq=getelementptr inbounds i8,i8*%ck,i64 8
%cr=bitcast i8*%cq to i8**
store i8*%cp,i8**%cr,align 8
%cs=getelementptr inbounds i8,i8*%ck,i64 16
%ct=bitcast i8*%cs to i32*
store i32 3,i32*%ct,align 4
%cu=load i8*,i8**%k,align 8
store i8*null,i8**%k,align 8
%cv=call fastcc i8*%cg(i8*inreg%cu,i8*inreg%ck)
%cw=getelementptr inbounds i8,i8*%cv,i64 16
%cx=bitcast i8*%cw to i8*(i8*,i8*)**
%cy=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cx,align 8
%cz=bitcast i8*%cv to i8**
%cA=load i8*,i8**%cz,align 8
%cB=load i8*,i8**%h,align 8
store i8*null,i8**%h,align 8
%cC=call fastcc i8*%cy(i8*inreg%cA,i8*inreg%cB)
%cD=bitcast i8*%cC to i8**
%cE=load i8*,i8**%cD,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%bZ)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%b0)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%b1)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%b2)
store i8*%cE,i8**%p,align 8
%cF=load i8*,i8**%q,align 8
store i8*null,i8**%q,align 8
%cG=getelementptr inbounds i8,i8*%cF,i64 16
%cH=bitcast i8*%cG to i8**
%cI=load i8*,i8**%cH,align 8
%cJ=call fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_167(i8*inreg%cI)
store i8*%cJ,i8**%q,align 8
%cK=call i8*@sml_alloc(i32 inreg 20)#0
%cL=getelementptr inbounds i8,i8*%cK,i64 -4
%cM=bitcast i8*%cL to i32*
store i32 1342177296,i32*%cM,align 4
%cN=load i8*,i8**%p,align 8
%cO=bitcast i8*%cK to i8**
store i8*%cN,i8**%cO,align 8
%cP=load i8*,i8**%q,align 8
%cQ=getelementptr inbounds i8,i8*%cK,i64 8
%cR=bitcast i8*%cQ to i8**
store i8*%cP,i8**%cR,align 8
%cS=getelementptr inbounds i8,i8*%cK,i64 16
%cT=bitcast i8*%cS to i32*
store i32 3,i32*%cT,align 4
%cU=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%cK)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
cV:
%cW=load i8*,i8**@_SMLZN3Bug3BugE,align 8
store i8*%cW,i8**%p,align 8
%cX=call i8*@sml_alloc(i32 inreg 28)#0
%cY=getelementptr inbounds i8,i8*%cX,i64 -4
%cZ=bitcast i8*%cY to i32*
store i32 1342177304,i32*%cZ,align 4
store i8*%cX,i8**%q,align 8
%c0=load i8*,i8**%p,align 8
store i8*null,i8**%p,align 8
%c1=bitcast i8*%cX to i8**
store i8*%c0,i8**%c1,align 8
%c2=getelementptr inbounds i8,i8*%cX,i64 8
%c3=bitcast i8*%c2 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[81x i8]}>,<{[4x i8],i32,[81x i8]}>*@w,i64 0,i32 2,i64 0),i8**%c3,align 8
%c4=getelementptr inbounds i8,i8*%cX,i64 16
%c5=bitcast i8*%c4 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[20x i8]}>,<{[4x i8],i32,[20x i8]}>*@x,i64 0,i32 2,i64 0),i8**%c5,align 8
%c6=getelementptr inbounds i8,i8*%cX,i64 24
%c7=bitcast i8*%c6 to i32*
store i32 7,i32*%c7,align 4
%c8=call i8*@sml_alloc(i32 inreg 60)#0
%c9=getelementptr inbounds i8,i8*%c8,i64 -4
%da=bitcast i8*%c9 to i32*
store i32 1342177336,i32*%da,align 4
%db=getelementptr inbounds i8,i8*%c8,i64 56
%dc=bitcast i8*%db to i32*
store i32 1,i32*%dc,align 4
%dd=load i8*,i8**%q,align 8
%de=bitcast i8*%c8 to i8**
store i8*%dd,i8**%de,align 8
call void@sml_raise(i8*inreg%c8)#1
unreachable
df:
%dg=getelementptr inbounds i8,i8*%S,i64 8
%dh=bitcast i8*%dg to i8***
%di=load i8**,i8***%dh,align 8
%dj=load i8*,i8**%di,align 8
%dk=bitcast i8**%f to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%dk)
%dl=bitcast i8**%g to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%dl)
call void@llvm.gcroot(i8**%f,i8*null)#0
call void@llvm.gcroot(i8**%g,i8*null)#0
store i8*%dj,i8**%f,align 8
%dm=load atomic i32,i32*@sml_check_flag unordered,align 4
%dn=icmp eq i32%dm,0
br i1%dn,label%dq,label%do
do:
call void@sml_check(i32 inreg%dm)
%dp=load i8*,i8**%f,align 8
br label%dq
dq:
%dr=phi i8*[%dp,%do],[%dj,%df]
store i8*null,i8**%f,align 8
store i8*%dr,i8**%g,align 8
%ds=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%dt=getelementptr inbounds i8,i8*%ds,i64 16
%du=bitcast i8*%dt to i8*(i8*,i8*)**
%dv=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%du,align 8
%dw=bitcast i8*%ds to i8**
%dx=load i8*,i8**%dw,align 8
%dy=call fastcc i8*%dv(i8*inreg%dx,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@z,i64 0,i32 2)to i8*))
%dz=getelementptr inbounds i8,i8*%dy,i64 16
%dA=bitcast i8*%dz to i8*(i8*,i8*)**
%dB=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dA,align 8
%dC=bitcast i8*%dy to i8**
%dD=load i8*,i8**%dC,align 8
%dE=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%dF=call fastcc i8*%dB(i8*inreg%dD,i8*inreg%dE)
%dG=getelementptr inbounds i8,i8*%dF,i64 16
%dH=bitcast i8*%dG to i8*(i8*,i8*)**
%dI=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dH,align 8
%dJ=bitcast i8*%dF to i8**
%dK=load i8*,i8**%dJ,align 8
%dL=load i8*,i8**%g,align 8
%dM=call fastcc i8*%dI(i8*inreg%dK,i8*inreg%dL)
store i8*%dM,i8**%f,align 8
%dN=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%dO=getelementptr inbounds i8,i8*%dN,i64 16
%dP=bitcast i8*%dO to i8*(i8*,i8*)**
%dQ=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dP,align 8
%dR=bitcast i8*%dN to i8**
%dS=load i8*,i8**%dR,align 8
%dT=call fastcc i8*%dQ(i8*inreg%dS,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@A,i64 0,i32 2)to i8*))
%dU=getelementptr inbounds i8,i8*%dT,i64 16
%dV=bitcast i8*%dU to i8*(i8*,i8*)**
%dW=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dV,align 8
%dX=bitcast i8*%dT to i8**
%dY=load i8*,i8**%dX,align 8
%dZ=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%d0=call fastcc i8*%dW(i8*inreg%dY,i8*inreg%dZ)
%d1=getelementptr inbounds i8,i8*%d0,i64 16
%d2=bitcast i8*%d1 to i8*(i8*,i8*)**
%d3=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%d2,align 8
%d4=bitcast i8*%d0 to i8**
%d5=load i8*,i8**%d4,align 8
%d6=load i8*,i8**%g,align 8
store i8*null,i8**%g,align 8
%d7=call fastcc i8*%d3(i8*inreg%d5,i8*inreg%d6)
store i8*%d7,i8**%g,align 8
%d8=call i8*@sml_alloc(i32 inreg 20)#0
%d9=getelementptr inbounds i8,i8*%d8,i64 -4
%ea=bitcast i8*%d9 to i32*
store i32 1342177296,i32*%ea,align 4
%eb=load i8*,i8**%g,align 8
%ec=bitcast i8*%d8 to i8**
store i8*%eb,i8**%ec,align 8
%ed=load i8*,i8**%f,align 8
%ee=getelementptr inbounds i8,i8*%d8,i64 8
%ef=bitcast i8*%ee to i8**
store i8*%ed,i8**%ef,align 8
%eg=getelementptr inbounds i8,i8*%d8,i64 16
%eh=bitcast i8*%eg to i32*
store i32 3,i32*%eh,align 4
%ei=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%d8)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%dk)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%dl)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
ej:
%ek=getelementptr inbounds i8,i8*%S,i64 8
%el=bitcast i8*%ek to i8***
%em=load i8**,i8***%el,align 8
%en=load i8*,i8**%em,align 8
%eo=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%en)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
ep:
%eq=getelementptr inbounds i8,i8*%S,i64 8
%er=bitcast i8*%eq to i8***
%es=load i8**,i8***%er,align 8
%et=load i8*,i8**%es,align 8
%eu=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%et)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
ev:
%ew=getelementptr inbounds i8,i8*%S,i64 8
%ex=bitcast i8*%ew to i8**
%ey=load i8*,i8**%ex,align 8
%ez=getelementptr inbounds i8,i8*%ey,i64 8
%eA=bitcast i8*%ez to i8**
%eB=load i8*,i8**%eA,align 8
%eC=bitcast i8**%b to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%eC)
%eD=bitcast i8**%c to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%eD)
%eE=bitcast i8**%d to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%eE)
%eF=bitcast i8**%e to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%eF)
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*%eB,i8**%b,align 8
%eG=load atomic i32,i32*@sml_check_flag unordered,align 4
%eH=icmp eq i32%eG,0
br i1%eH,label%eJ,label%eI
eI:
call void@sml_check(i32 inreg%eG)
br label%eJ
eJ:
%eK=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%eL=getelementptr inbounds i8,i8*%eK,i64 16
%eM=bitcast i8*%eL to i8*(i8*,i8*)**
%eN=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eM,align 8
%eO=bitcast i8*%eK to i8**
%eP=load i8*,i8**%eO,align 8
%eQ=call fastcc i8*%eN(i8*inreg%eP,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@C,i64 0,i32 2)to i8*))
%eR=getelementptr inbounds i8,i8*%eQ,i64 16
%eS=bitcast i8*%eR to i8*(i8*,i8*)**
%eT=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eS,align 8
%eU=bitcast i8*%eQ to i8**
%eV=load i8*,i8**%eU,align 8
store i8*%eV,i8**%e,align 8
%eW=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%eW,i8**%c,align 8
store i8*%eW,i8**%d,align 8
%eX=call i8*@sml_alloc(i32 inreg 20)#0
%eY=getelementptr inbounds i8,i8*%eX,i64 -4
%eZ=bitcast i8*%eY to i32*
store i32 1342177296,i32*%eZ,align 4
%e0=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%e1=bitcast i8*%eX to i8**
store i8*%e0,i8**%e1,align 8
%e2=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%e3=getelementptr inbounds i8,i8*%eX,i64 8
%e4=bitcast i8*%e3 to i8**
store i8*%e2,i8**%e4,align 8
%e5=getelementptr inbounds i8,i8*%eX,i64 16
%e6=bitcast i8*%e5 to i32*
store i32 3,i32*%e6,align 4
%e7=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%e8=call fastcc i8*%eT(i8*inreg%e7,i8*inreg%eX)
%e9=getelementptr inbounds i8,i8*%e8,i64 16
%fa=bitcast i8*%e9 to i8*(i8*,i8*)**
%fb=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fa,align 8
%fc=bitcast i8*%e8 to i8**
%fd=load i8*,i8**%fc,align 8
%fe=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%ff=call fastcc i8*%fb(i8*inreg%fd,i8*inreg%fe)
%fg=bitcast i8*%ff to i8**
%fh=load i8*,i8**%fg,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%eC)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%eD)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%eE)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%eF)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%L)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%M)
br label%fi
fi:
%fj=phi i8*[%ao,%an],[%aq,%ap],[%as,%ar],[%au,%at],[%aw,%av],[%ay,%ax],[%aA,%az],[%aC,%aB],[%aE,%aD],[%aO,%aF],[%aQ,%aP],[%bR,%a4],[%cU,%b6],[%ei,%dq],[%eo,%ej],[%eu,%ep],[%fh,%eJ]
store i8*%fj,i8**%s,align 8
%fk=call i8*@sml_alloc(i32 inreg 20)#0
%fl=getelementptr inbounds i8,i8*%fk,i64 -4
%fm=bitcast i8*%fl to i32*
store i32 1342177296,i32*%fm,align 4
%fn=load i8*,i8**%s,align 8
store i8*null,i8**%s,align 8
%fo=bitcast i8*%fk to i8**
store i8*%fn,i8**%fo,align 8
%fp=load i8*,i8**%u,align 8
%fq=getelementptr inbounds i8,i8*%fk,i64 8
%fr=bitcast i8*%fq to i8**
store i8*%fp,i8**%fr,align 8
%fs=getelementptr inbounds i8,i8*%fk,i64 16
%ft=bitcast i8*%fs to i32*
store i32 3,i32*%ft,align 4
%fu=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%fk)
store i8*%fu,i8**%s,align 8
%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=load i8*,i8**%t,align 8
store i8*null,i8**%t,align 8
%fz=bitcast i8*%fv to i8**
store i8*%fy,i8**%fz,align 8
%fA=load i8*,i8**%s,align 8
store i8*null,i8**%s,align 8
%fB=getelementptr inbounds i8,i8*%fv,i64 8
%fC=bitcast i8*%fB to i8**
store i8*%fA,i8**%fC,align 8
%fD=getelementptr inbounds i8,i8*%fv,i64 16
%fE=bitcast i8*%fD to i32*
store i32 3,i32*%fE,align 4
%fF=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%fv)
store i8*%fF,i8**%s,align 8
%fG=load i8**,i8***%J,align 8
store i8*null,i8**%r,align 8
%fH=load i8*,i8**%fG,align 8
%fI=call fastcc i8*@_SMLLN12VALREC__Utils17getBoundIdsInDeclE_184(i8*inreg%fH)
store i8*%fI,i8**%r,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
%fM=load i8*,i8**%u,align 8
store i8*null,i8**%u,align 8
%fN=bitcast i8*%fJ to i8**
store i8*%fM,i8**%fN,align 8
%fO=load i8*,i8**%r,align 8
store i8*null,i8**%r,align 8
%fP=getelementptr inbounds i8,i8*%fJ,i64 8
%fQ=bitcast i8*%fP to i8**
store i8*%fO,i8**%fQ,align 8
%fR=getelementptr inbounds i8,i8*%fJ,i64 16
%fS=bitcast i8*%fR to i32*
store i32 3,i32*%fS,align 4
%fT=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%fJ)
store i8*%fT,i8**%r,align 8
%fU=call i8*@sml_alloc(i32 inreg 20)#0
%fV=getelementptr inbounds i8,i8*%fU,i64 -4
%fW=bitcast i8*%fV to i32*
store i32 1342177296,i32*%fW,align 4
%fX=load i8*,i8**%s,align 8
%fY=bitcast i8*%fU to i8**
store i8*%fX,i8**%fY,align 8
%fZ=load i8*,i8**%r,align 8
%f0=getelementptr inbounds i8,i8*%fU,i64 8
%f1=bitcast i8*%f0 to i8**
store i8*%fZ,i8**%f1,align 8
%f2=getelementptr inbounds i8,i8*%fU,i64 16
%f3=bitcast i8*%f2 to i32*
store i32 3,i32*%f3,align 4
ret i8*%fU
}
define internal fastcc i8*@_SMLL9boundList_259(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=getelementptr inbounds i8,i8*%h,i64 8
%k=bitcast i8*%j to i8**
%l=load i8*,i8**%k,align 8
store i8*%l,i8**%b,align 8
%m=bitcast i8*%h to i32***
%n=load i32**,i32***%m,align 8
%o=load i32*,i32**%n,align 8
%p=load i32,i32*%o,align 4
%q=call i8*@sml_alloc(i32 inreg 20)#0
%r=getelementptr inbounds i8,i8*%q,i64 -4
%s=bitcast i8*%r to i32*
store i32 1342177296,i32*%s,align 4
%t=getelementptr inbounds i8,i8*%q,i64 12
%u=bitcast i8*%t to i32*
store i32 0,i32*%u,align 1
%v=load i8*,i8**%b,align 8
%w=bitcast i8*%q to i8**
store i8*%v,i8**%w,align 8
%x=getelementptr inbounds i8,i8*%q,i64 8
%y=bitcast i8*%x to i32*
store i32%p,i32*%y,align 4
%z=getelementptr inbounds i8,i8*%q,i64 16
%A=bitcast i8*%z to i32*
store i32 1,i32*%A,align 4
%B=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%q)
ret i8*%B
}
define internal fastcc i8*@_SMLL8freeList_261(i8*inreg%a)#2 gc"smlsharp"{
j:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%a,i8**%b,align 8
%d=load atomic i32,i32*@sml_check_flag unordered,align 4
%e=icmp eq i32%d,0
br i1%e,label%h,label%f
f:
call void@sml_check(i32 inreg%d)
%g=load i8*,i8**%b,align 8
br label%h
h:
%i=phi i8*[%g,%f],[%a,%j]
store i8*null,i8**%b,align 8
%k=getelementptr inbounds i8,i8*%i,i64 8
%l=bitcast i8*%k to i8**
%m=load i8*,i8**%l,align 8
store i8*%m,i8**%c,align 8
%n=bitcast i8*%i to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%o,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=call fastcc i8*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_196(i8*inreg%r)
store i8*%s,i8**%b,align 8
%t=call i8*@sml_alloc(i32 inreg 20)#0
%u=getelementptr inbounds i8,i8*%t,i64 -4
%v=bitcast i8*%u to i32*
store i32 1342177296,i32*%v,align 4
%w=load i8*,i8**%b,align 8
%x=bitcast i8*%t to i8**
store i8*%w,i8**%x,align 8
%y=load i8*,i8**%c,align 8
%z=getelementptr inbounds i8,i8*%t,i64 8
%A=bitcast i8*%z to i8**
store i8*%y,i8**%A,align 8
%B=getelementptr inbounds i8,i8*%t,i64 16
%C=bitcast i8*%B to i32*
store i32 3,i32*%C,align 4
%D=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%t)
ret i8*%D
}
define internal fastcc i8*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_263(i8*inreg%a)#2 gc"smlsharp"{
k:
%b=alloca i8*,align 8
%c=alloca i8*,align 8
%d=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
call void@llvm.gcroot(i8**%d,i8*null)#0
store i8*%a,i8**%b,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**%b,align 8
br label%i
i:
%j=phi i8*[%h,%g],[%a,%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**%d,align 8
%o=bitcast i8*%j to i8**
%p=load i8*,i8**%o,align 8
%q=getelementptr inbounds i8,i8*%p,i64 8
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
%t=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%s)
store i8*%t,i8**%c,align 8
%u=bitcast i8**%b to i8****
%v=load i8***,i8****%u,align 8
store i8*null,i8**%b,align 8
%w=load i8**,i8***%v,align 8
%x=load i8*,i8**%w,align 8
%y=call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_163(i8*inreg%x)
store i8*%y,i8**%b,align 8
%z=call i8*@sml_alloc(i32 inreg 20)#0
%A=getelementptr inbounds i8,i8*%z,i64 -4
%B=bitcast i8*%A to i32*
store i32 1342177296,i32*%B,align 4
%C=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%D=bitcast i8*%z to i8**
store i8*%C,i8**%D,align 8
%E=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%F=getelementptr inbounds i8,i8*%z,i64 8
%G=bitcast i8*%F to i8**
store i8*%E,i8**%G,align 8
%H=getelementptr inbounds i8,i8*%z,i64 16
%I=bitcast i8*%H to i32*
store i32 3,i32*%I,align 4
%J=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%z)
store i8*%J,i8**%b,align 8
%K=call i8*@sml_alloc(i32 inreg 20)#0
%L=getelementptr inbounds i8,i8*%K,i64 -4
%M=bitcast i8*%L to i32*
store i32 1342177296,i32*%M,align 4
%N=load i8*,i8**%d,align 8
%O=bitcast i8*%K to i8**
store i8*%N,i8**%O,align 8
%P=load i8*,i8**%b,align 8
%Q=getelementptr inbounds i8,i8*%K,i64 8
%R=bitcast i8*%Q to i8**
store i8*%P,i8**%R,align 8
%S=getelementptr inbounds i8,i8*%K,i64 16
%T=bitcast i8*%S to i32*
store i32 3,i32*%T,align 4
%U=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%K)
ret i8*%U
}
define internal fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInBindListE_265(i8*inreg%a)#2 gc"smlsharp"{
l:
%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%j,label%h
h:
call void@sml_check(i32 inreg%f)
%i=load i8*,i8**%b,align 8
br label%j
j:
%k=phi i8*[%i,%h],[%a,%l]
%m=bitcast i8*%k to i8**
%n=getelementptr inbounds i8,i8*%k,i64 8
%o=bitcast i8*%n to i8***
%p=load i8**,i8***%o,align 8
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%d,align 8
%r=getelementptr inbounds i8*,i8**%p,i64 1
%s=load i8*,i8**%r,align 8
store i8*%s,i8**%e,align 8
%t=load i8*,i8**%m,align 8
%u=getelementptr inbounds i8,i8*%t,i64 8
%v=bitcast i8*%u to i8**
%w=load i8*,i8**%v,align 8
%x=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%w)
store i8*%x,i8**%c,align 8
%y=call i8*@sml_alloc(i32 inreg 20)#0
%z=getelementptr inbounds i8,i8*%y,i64 -4
%A=bitcast i8*%z to i32*
store i32 1342177296,i32*%A,align 4
%B=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%C=bitcast i8*%y to i8**
store i8*%B,i8**%C,align 8
%D=load i8*,i8**%e,align 8
%E=getelementptr inbounds i8,i8*%y,i64 8
%F=bitcast i8*%E to i8**
store i8*%D,i8**%F,align 8
%G=getelementptr inbounds i8,i8*%y,i64 16
%H=bitcast i8*%G to i32*
store i32 3,i32*%H,align 4
%I=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%y)
store i8*%I,i8**%c,align 8
%J=call i8*@sml_alloc(i32 inreg 20)#0
%K=getelementptr inbounds i8,i8*%J,i64 -4
%L=bitcast i8*%K to i32*
store i32 1342177296,i32*%L,align 4
%M=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%N=bitcast i8*%J to i8**
store i8*%M,i8**%N,align 8
%O=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%P=getelementptr inbounds i8,i8*%J,i64 8
%Q=bitcast i8*%P to i8**
store i8*%O,i8**%Q,align 8
%R=getelementptr inbounds i8,i8*%J,i64 16
%S=bitcast i8*%R to i32*
store i32 3,i32*%S,align 4
%T=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%J)
store i8*%T,i8**%c,align 8
%U=bitcast i8**%b to i8****
%V=load i8***,i8****%U,align 8
store i8*null,i8**%b,align 8
%W=load i8**,i8***%V,align 8
%X=load i8*,i8**%W,align 8
%Y=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_154(i8*inreg%X)
store i8*%Y,i8**%b,align 8
%Z=call i8*@sml_alloc(i32 inreg 20)#0
%aa=getelementptr inbounds i8,i8*%Z,i64 -4
%ab=bitcast i8*%aa to i32*
store i32 1342177296,i32*%ab,align 4
%ac=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%ad=bitcast i8*%Z to i8**
store i8*%ac,i8**%ad,align 8
%ae=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%af=getelementptr inbounds i8,i8*%Z,i64 8
%ag=bitcast i8*%af to i8**
store i8*%ae,i8**%ag,align 8
%ah=getelementptr inbounds i8,i8*%Z,i64 16
%ai=bitcast i8*%ah to i32*
store i32 3,i32*%ai,align 4
%aj=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%Z)
store i8*%aj,i8**%b,align 8
%ak=call i8*@sml_alloc(i32 inreg 20)#0
%al=getelementptr inbounds i8,i8*%ak,i64 -4
%am=bitcast i8*%al to i32*
store i32 1342177296,i32*%am,align 4
%an=load i8*,i8**%c,align 8
%ao=bitcast i8*%ak to i8**
store i8*%an,i8**%ao,align 8
%ap=load i8*,i8**%b,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 3,i32*%at,align 4
ret i8*%ak
}
define internal fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInRecBindsE_267(i8*inreg%a)#2 gc"smlsharp"{
l:
%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%j,label%h
h:
call void@sml_check(i32 inreg%f)
%i=load i8*,i8**%b,align 8
br label%j
j:
%k=phi i8*[%i,%h],[%a,%l]
%m=bitcast i8*%k to i8***
%n=getelementptr inbounds i8,i8*%k,i64 8
%o=bitcast i8*%n to i8***
%p=load i8**,i8***%o,align 8
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%d,align 8
%r=getelementptr inbounds i8*,i8**%p,i64 1
%s=load i8*,i8**%r,align 8
store i8*%s,i8**%e,align 8
%t=load i8**,i8***%m,align 8
%u=load i8*,i8**%t,align 8
%v=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%u)
store i8*%v,i8**%c,align 8
%w=call i8*@sml_alloc(i32 inreg 20)#0
%x=getelementptr inbounds i8,i8*%w,i64 -4
%y=bitcast i8*%x to i32*
store i32 1342177296,i32*%y,align 4
%z=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%A=bitcast i8*%w to i8**
store i8*%z,i8**%A,align 8
%B=load i8*,i8**%e,align 8
%C=getelementptr inbounds i8,i8*%w,i64 8
%D=bitcast i8*%C to i8**
store i8*%B,i8**%D,align 8
%E=getelementptr inbounds i8,i8*%w,i64 16
%F=bitcast i8*%E to i32*
store i32 3,i32*%F,align 4
%G=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%w)
store i8*%G,i8**%c,align 8
%H=call i8*@sml_alloc(i32 inreg 20)#0
%I=getelementptr inbounds i8,i8*%H,i64 -4
%J=bitcast i8*%I to i32*
store i32 1342177296,i32*%J,align 4
%K=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%L=bitcast i8*%H to i8**
store i8*%K,i8**%L,align 8
%M=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%N=getelementptr inbounds i8,i8*%H,i64 8
%O=bitcast i8*%N to i8**
store i8*%M,i8**%O,align 8
%P=getelementptr inbounds i8,i8*%H,i64 16
%Q=bitcast i8*%P to i32*
store i32 3,i32*%Q,align 4
%R=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%H)
store i8*%R,i8**%c,align 8
%S=bitcast i8**%b to i8***
%T=load i8**,i8***%S,align 8
store i8*null,i8**%b,align 8
%U=load i8*,i8**%T,align 8
%V=getelementptr inbounds i8,i8*%U,i64 16
%W=bitcast i8*%V to i32**
%X=load i32*,i32**%W,align 8
%Y=load i32,i32*%X,align 4
%Z=call i8*@sml_alloc(i32 inreg 20)#0
%aa=getelementptr inbounds i8,i8*%Z,i64 -4
%ab=bitcast i8*%aa to i32*
store i32 1342177296,i32*%ab,align 4
%ac=getelementptr inbounds i8,i8*%Z,i64 12
%ad=bitcast i8*%ac to i32*
store i32 0,i32*%ad,align 1
%ae=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%af=bitcast i8*%Z to i8**
store i8*%ae,i8**%af,align 8
%ag=getelementptr inbounds i8,i8*%Z,i64 8
%ah=bitcast i8*%ag to i32*
store i32%Y,i32*%ah,align 4
%ai=getelementptr inbounds i8,i8*%Z,i64 16
%aj=bitcast i8*%ai to i32*
store i32 1,i32*%aj,align 4
%ak=call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%Z)
store i8*%ak,i8**%b,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
%ao=load i8*,i8**%c,align 8
%ap=bitcast i8*%al to i8**
store i8*%ao,i8**%ap,align 8
%aq=load i8*,i8**%b,align 8
%ar=getelementptr inbounds i8,i8*%al,i64 8
%as=bitcast i8*%ar to i8**
store i8*%aq,i8**%as,align 8
%at=getelementptr inbounds i8,i8*%al,i64 16
%au=bitcast i8*%at to i32*
store i32 3,i32*%au,align 4
ret i8*%al
}
define internal fastcc i8*@_SMLLN12VALREC__Utils24getFreeIdsInPolyRecBindsE_269(i8*inreg%a)#2 gc"smlsharp"{
l:
%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%j,label%h
h:
call void@sml_check(i32 inreg%f)
%i=load i8*,i8**%b,align 8
br label%j
j:
%k=phi i8*[%i,%h],[%a,%l]
%m=bitcast i8*%k to i8***
%n=getelementptr inbounds i8,i8*%k,i64 8
%o=bitcast i8*%n to i8***
%p=load i8**,i8***%o,align 8
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%d,align 8
%r=getelementptr inbounds i8*,i8**%p,i64 1
%s=load i8*,i8**%r,align 8
store i8*%s,i8**%e,align 8
%t=load i8**,i8***%m,align 8
%u=load i8*,i8**%t,align 8
%v=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%u)
store i8*%v,i8**%c,align 8
%w=call i8*@sml_alloc(i32 inreg 20)#0
%x=getelementptr inbounds i8,i8*%w,i64 -4
%y=bitcast i8*%x to i32*
store i32 1342177296,i32*%y,align 4
%z=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%A=bitcast i8*%w to i8**
store i8*%z,i8**%A,align 8
%B=load i8*,i8**%e,align 8
%C=getelementptr inbounds i8,i8*%w,i64 8
%D=bitcast i8*%C to i8**
store i8*%B,i8**%D,align 8
%E=getelementptr inbounds i8,i8*%w,i64 16
%F=bitcast i8*%E to i32*
store i32 3,i32*%F,align 4
%G=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%w)
store i8*%G,i8**%c,align 8
%H=call i8*@sml_alloc(i32 inreg 20)#0
%I=getelementptr inbounds i8,i8*%H,i64 -4
%J=bitcast i8*%I to i32*
store i32 1342177296,i32*%J,align 4
%K=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%L=bitcast i8*%H to i8**
store i8*%K,i8**%L,align 8
%M=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%N=getelementptr inbounds i8,i8*%H,i64 8
%O=bitcast i8*%N to i8**
store i8*%M,i8**%O,align 8
%P=getelementptr inbounds i8,i8*%H,i64 16
%Q=bitcast i8*%P to i32*
store i32 3,i32*%Q,align 4
%R=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%H)
store i8*%R,i8**%c,align 8
%S=bitcast i8**%b to i8***
%T=load i8**,i8***%S,align 8
store i8*null,i8**%b,align 8
%U=load i8*,i8**%T,align 8
%V=getelementptr inbounds i8,i8*%U,i64 16
%W=bitcast i8*%V to i32**
%X=load i32*,i32**%W,align 8
%Y=load i32,i32*%X,align 4
%Z=call i8*@sml_alloc(i32 inreg 20)#0
%aa=getelementptr inbounds i8,i8*%Z,i64 -4
%ab=bitcast i8*%aa to i32*
store i32 1342177296,i32*%ab,align 4
%ac=getelementptr inbounds i8,i8*%Z,i64 12
%ad=bitcast i8*%ac to i32*
store i32 0,i32*%ad,align 1
%ae=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%af=bitcast i8*%Z to i8**
store i8*%ae,i8**%af,align 8
%ag=getelementptr inbounds i8,i8*%Z,i64 8
%ah=bitcast i8*%ag to i32*
store i32%Y,i32*%ah,align 4
%ai=getelementptr inbounds i8,i8*%Z,i64 16
%aj=bitcast i8*%ai to i32*
store i32 1,i32*%aj,align 4
%ak=call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%Z)
store i8*%ak,i8**%b,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
%ao=load i8*,i8**%c,align 8
%ap=bitcast i8*%al to i8**
store i8*%ao,i8**%ap,align 8
%aq=load i8*,i8**%b,align 8
%ar=getelementptr inbounds i8,i8*%al,i64 8
%as=bitcast i8*%ar to i8**
store i8*%aq,i8**%as,align 8
%at=getelementptr inbounds i8,i8*%al,i64 16
%au=bitcast i8*%at to i32*
store i32 3,i32*%au,align 4
ret i8*%al
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
n:
%b=alloca i8*,align 8
%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
%i=alloca i8*,align 8
%j=alloca i8*,align 8
%k=alloca i8*,align 8
call void@llvm.gcroot(i8**%i,i8*null)#0
call void@llvm.gcroot(i8**%j,i8*null)#0
call void@llvm.gcroot(i8**%k,i8*null)#0
store i8*%a,i8**%i,align 8
br label%l
l:
%m=phi i8*[%a,%n],[%Y,%X]
%o=load atomic i32,i32*@sml_check_flag unordered,align 4
%p=icmp eq i32%o,0
br i1%p,label%s,label%q
q:
call void@sml_check(i32 inreg%o)
%r=load i8*,i8**%i,align 8
br label%s
s:
%t=phi i8*[%r,%q],[%m,%l]
%u=icmp eq i8*%t,null
br i1%u,label%jG,label%v
v:
%w=bitcast i8*%t to i32*
%x=load i32,i32*%w,align 4
switch i32%x,label%y[
i32 12,label%jG
i32 5,label%jE
i32 36,label%jC
i32 40,label%jw
i32 17,label%ju
i32 18,label%js
i32 2,label%jq
i32 4,label%jo
i32 15,label%jm
i32 13,label%jk
i32 16,label%ji
i32 14,label%jg
i32 27,label%je
i32 39,label%i9
i32 24,label%i4
i32 0,label%iH
i32 1,label%ik
i32 26,label%gE
i32 38,label%gx
i32 29,label%f6
i32 28,label%f1
i32 23,label%fv
i32 20,label%e4
i32 21,label%eo
i32 22,label%dI
i32 3,label%dc
i32 7,label%cG
i32 31,label%ca
i32 32,label%bN
i32 30,label%bL
i32 34,label%bE
i32 35,label%by
i32 19,label%aS
i32 37,label%aL
i32 25,label%an
i32 6,label%ai
i32 8,label%ad
i32 9,label%ab
i32 10,label%Z
i32 11,label%S
i32 33,label%Q
]
y:
call void@sml_matchcomp_bug()
%z=load i8*,i8**@_SMLZ5Match,align 8
store i8*%z,i8**%i,align 8
%A=call i8*@sml_alloc(i32 inreg 20)#0
%B=getelementptr inbounds i8,i8*%A,i64 -4
%C=bitcast i8*%B to i32*
store i32 1342177296,i32*%C,align 4
store i8*%A,i8**%j,align 8
%D=load i8*,i8**%i,align 8
store i8*null,i8**%i,align 8
%E=bitcast i8*%A to i8**
store i8*%D,i8**%E,align 8
%F=getelementptr inbounds i8,i8*%A,i64 8
%G=bitcast i8*%F to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[78x i8]}>,<{[4x i8],i32,[78x i8]}>*@s,i64 0,i32 2,i64 0),i8**%G,align 8
%H=getelementptr inbounds i8,i8*%A,i64 16
%I=bitcast i8*%H to i32*
store i32 3,i32*%I,align 4
%J=call i8*@sml_alloc(i32 inreg 60)#0
%K=getelementptr inbounds i8,i8*%J,i64 -4
%L=bitcast i8*%K to i32*
store i32 1342177336,i32*%L,align 4
%M=getelementptr inbounds i8,i8*%J,i64 56
%N=bitcast i8*%M to i32*
store i32 1,i32*%N,align 4
%O=load i8*,i8**%j,align 8
%P=bitcast i8*%J to i8**
store i8*%O,i8**%P,align 8
call void@sml_raise(i8*inreg%J)#1
unreachable
Q:
%R=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%R
S:
%T=getelementptr inbounds i8,i8*%t,i64 8
%U=bitcast i8*%T to i8***
%V=load i8**,i8***%U,align 8
%W=load i8*,i8**%V,align 8
store i8*%W,i8**%i,align 8
br label%X
X:
%Y=phi i8*[%W,%S],[%ah,%ad],[%am,%ai],[%aR,%aL],[%bK,%bE],[%f5,%f1],[%gD,%gx],[%i8,%i4],[%jd,%i9]
br label%l
Z:
%aa=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%aa
ab:
%ac=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%ac
ad:
%ae=getelementptr inbounds i8,i8*%t,i64 8
%af=bitcast i8*%ae to i8***
%ag=load i8**,i8***%af,align 8
%ah=load i8*,i8**%ag,align 8
store i8*%ah,i8**%i,align 8
br label%X
ai:
%aj=getelementptr inbounds i8,i8*%t,i64 8
%ak=bitcast i8*%aj to i8***
%al=load i8**,i8***%ak,align 8
%am=load i8*,i8**%al,align 8
store i8*%am,i8**%i,align 8
br label%X
an:
%ao=getelementptr inbounds i8,i8*%t,i64 8
%ap=bitcast i8*%ao to i8**
%aq=load i8*,i8**%ap,align 8
store i8*%aq,i8**%j,align 8
%ar=getelementptr inbounds i8,i8*%aq,i64 8
%as=bitcast i8*%ar to i8**
%at=load i8*,i8**%as,align 8
%au=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%at)
store i8*%au,i8**%i,align 8
%av=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%aw=getelementptr inbounds i8,i8*%av,i64 16
%ax=bitcast i8*%aw to i8**
%ay=load i8*,i8**%ax,align 8
%az=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%ay)
store i8*%az,i8**%j,align 8
%aA=call i8*@sml_alloc(i32 inreg 20)#0
%aB=getelementptr inbounds i8,i8*%aA,i64 -4
%aC=bitcast i8*%aB to i32*
store i32 1342177296,i32*%aC,align 4
%aD=load i8*,i8**%i,align 8
%aE=bitcast i8*%aA to i8**
store i8*%aD,i8**%aE,align 8
%aF=load i8*,i8**%j,align 8
%aG=getelementptr inbounds i8,i8*%aA,i64 8
%aH=bitcast i8*%aG to i8**
store i8*%aF,i8**%aH,align 8
%aI=getelementptr inbounds i8,i8*%aA,i64 16
%aJ=bitcast i8*%aI to i32*
store i32 3,i32*%aJ,align 4
%aK=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%aA)
ret i8*%aK
aL:
%aM=getelementptr inbounds i8,i8*%t,i64 8
%aN=bitcast i8*%aM to i8**
%aO=load i8*,i8**%aN,align 8
%aP=getelementptr inbounds i8,i8*%aO,i64 16
%aQ=bitcast i8*%aP to i8**
%aR=load i8*,i8**%aQ,align 8
store i8*%aR,i8**%i,align 8
br label%X
aS:
%aT=getelementptr inbounds i8,i8*%t,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**%b to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%aX)
%aY=bitcast i8**%c to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%aY)
call void@llvm.gcroot(i8**%b,i8*null)#0
call void@llvm.gcroot(i8**%c,i8*null)#0
store i8*%aW,i8**%b,align 8
%aZ=load atomic i32,i32*@sml_check_flag unordered,align 4
%a0=icmp eq i32%aZ,0
br i1%a0,label%a3,label%a1
a1:
call void@sml_check(i32 inreg%aZ)
%a2=load i8*,i8**%b,align 8
br label%a3
a3:
%a4=phi i8*[%a2,%a1],[%aW,%aS]
%a5=bitcast i8*%a4 to i32*
%a6=load i32,i32*%a5,align 4
switch i32%a6,label%a7[
i32 1,label%br
i32 0,label%bp
]
a7:
call void@sml_matchcomp_bug()
%a8=load i8*,i8**@_SMLZ5Match,align 8
store i8*%a8,i8**%b,align 8
%a9=call i8*@sml_alloc(i32 inreg 20)#0
%ba=getelementptr inbounds i8,i8*%a9,i64 -4
%bb=bitcast i8*%ba to i32*
store i32 1342177296,i32*%bb,align 4
store i8*%a9,i8**%c,align 8
%bc=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%bd=bitcast i8*%a9 to i8**
store i8*%bc,i8**%bd,align 8
%be=getelementptr inbounds i8,i8*%a9,i64 8
%bf=bitcast i8*%be to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[80x i8]}>,<{[4x i8],i32,[80x i8]}>*@t,i64 0,i32 2,i64 0),i8**%bf,align 8
%bg=getelementptr inbounds i8,i8*%a9,i64 16
%bh=bitcast i8*%bg to i32*
store i32 3,i32*%bh,align 4
%bi=call i8*@sml_alloc(i32 inreg 60)#0
%bj=getelementptr inbounds i8,i8*%bi,i64 -4
%bk=bitcast i8*%bj to i32*
store i32 1342177336,i32*%bk,align 4
%bl=getelementptr inbounds i8,i8*%bi,i64 56
%bm=bitcast i8*%bl to i32*
store i32 1,i32*%bm,align 4
%bn=load i8*,i8**%c,align 8
%bo=bitcast i8*%bi to i8**
store i8*%bn,i8**%bo,align 8
call void@sml_raise(i8*inreg%bi)#1
unreachable
bp:
%bq=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aX)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aY)
br label%bw
br:
%bs=getelementptr inbounds i8,i8*%a4,i64 8
%bt=bitcast i8*%bs to i8**
%bu=load i8*,i8**%bt,align 8
%bv=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%bu)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aX)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%aY)
br label%bw
bw:
%bx=phi i8*[%bq,%bp],[%bv,%br]
ret i8*%bx
by:
%bz=getelementptr inbounds i8,i8*%t,i64 8
%bA=bitcast i8*%bz to i8***
%bB=load i8**,i8***%bA,align 8
%bC=load i8*,i8**%bB,align 8
%bD=tail call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_192(i8*inreg%bC)
ret i8*%bD
bE:
%bF=getelementptr inbounds i8,i8*%t,i64 8
%bG=bitcast i8*%bF to i8**
%bH=load i8*,i8**%bG,align 8
%bI=getelementptr inbounds i8,i8*%bH,i64 8
%bJ=bitcast i8*%bI to i8**
%bK=load i8*,i8**%bJ,align 8
store i8*%bK,i8**%i,align 8
br label%X
bL:
%bM=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%bM
bN:
%bO=getelementptr inbounds i8,i8*%t,i64 8
%bP=bitcast i8*%bO to i8**
%bQ=load i8*,i8**%bP,align 8
store i8*%bQ,i8**%j,align 8
%bR=bitcast i8*%bQ to i8**
%bS=load i8*,i8**%bR,align 8
%bT=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%bS)
store i8*%bT,i8**%i,align 8
%bU=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%bV=getelementptr inbounds i8,i8*%bU,i64 8
%bW=bitcast i8*%bV to i8**
%bX=load i8*,i8**%bW,align 8
%bY=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%bX)
store i8*%bY,i8**%j,align 8
%bZ=call i8*@sml_alloc(i32 inreg 20)#0
%b0=getelementptr inbounds i8,i8*%bZ,i64 -4
%b1=bitcast i8*%b0 to i32*
store i32 1342177296,i32*%b1,align 4
%b2=load i8*,i8**%i,align 8
%b3=bitcast i8*%bZ to i8**
store i8*%b2,i8**%b3,align 8
%b4=load i8*,i8**%j,align 8
%b5=getelementptr inbounds i8,i8*%bZ,i64 8
%b6=bitcast i8*%b5 to i8**
store i8*%b4,i8**%b6,align 8
%b7=getelementptr inbounds i8,i8*%bZ,i64 16
%b8=bitcast i8*%b7 to i32*
store i32 3,i32*%b8,align 4
%b9=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%bZ)
ret i8*%b9
ca:
%cb=getelementptr inbounds i8,i8*%t,i64 8
%cc=bitcast i8*%cb to i8**
%cd=load i8*,i8**%cc,align 8
store i8*%cd,i8**%i,align 8
%ce=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%cf=getelementptr inbounds i8,i8*%ce,i64 16
%cg=bitcast i8*%cf to i8*(i8*,i8*)**
%ch=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cg,align 8
%ci=bitcast i8*%ce to i8**
%cj=load i8*,i8**%ci,align 8
%ck=call fastcc i8*%ch(i8*inreg%cj,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@r,i64 0,i32 2)to i8*))
%cl=getelementptr inbounds i8,i8*%ck,i64 16
%cm=bitcast i8*%cl to i8*(i8*,i8*)**
%cn=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cm,align 8
%co=bitcast i8*%ck to i8**
%cp=load i8*,i8**%co,align 8
store i8*%cp,i8**%j,align 8
%cq=bitcast i8**%i to i8***
%cr=load i8**,i8***%cq,align 8
%cs=load i8*,i8**%cr,align 8
%ct=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%cs)
%cu=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%cv=call fastcc i8*%cn(i8*inreg%cu,i8*inreg%ct)
%cw=getelementptr inbounds i8,i8*%cv,i64 16
%cx=bitcast i8*%cw to i8*(i8*,i8*)**
%cy=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cx,align 8
%cz=bitcast i8*%cv to i8**
%cA=load i8*,i8**%cz,align 8
%cB=load i8*,i8**%i,align 8
%cC=getelementptr inbounds i8,i8*%cB,i64 8
%cD=bitcast i8*%cC to i8**
%cE=load i8*,i8**%cD,align 8
%cF=tail call fastcc i8*%cy(i8*inreg%cA,i8*inreg%cE)
ret i8*%cF
cG:
%cH=getelementptr inbounds i8,i8*%t,i64 8
%cI=bitcast i8*%cH to i8**
%cJ=load i8*,i8**%cI,align 8
store i8*%cJ,i8**%i,align 8
%cK=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%cL=getelementptr inbounds i8,i8*%cK,i64 16
%cM=bitcast i8*%cL to i8*(i8*,i8*)**
%cN=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cM,align 8
%cO=bitcast i8*%cK to i8**
%cP=load i8*,i8**%cO,align 8
%cQ=call fastcc i8*%cN(i8*inreg%cP,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@q,i64 0,i32 2)to i8*))
%cR=getelementptr inbounds i8,i8*%cQ,i64 16
%cS=bitcast i8*%cR to i8*(i8*,i8*)**
%cT=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cS,align 8
%cU=bitcast i8*%cQ to i8**
%cV=load i8*,i8**%cU,align 8
store i8*%cV,i8**%j,align 8
%cW=bitcast i8**%i to i8***
%cX=load i8**,i8***%cW,align 8
%cY=load i8*,i8**%cX,align 8
%cZ=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%cY)
%c0=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%c1=call fastcc i8*%cT(i8*inreg%c0,i8*inreg%cZ)
%c2=getelementptr inbounds i8,i8*%c1,i64 16
%c3=bitcast i8*%c2 to i8*(i8*,i8*)**
%c4=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%c3,align 8
%c5=bitcast i8*%c1 to i8**
%c6=load i8*,i8**%c5,align 8
%c7=load i8*,i8**%i,align 8
%c8=getelementptr inbounds i8,i8*%c7,i64 8
%c9=bitcast i8*%c8 to i8**
%da=load i8*,i8**%c9,align 8
%db=tail call fastcc i8*%c4(i8*inreg%c6,i8*inreg%da)
ret i8*%db
dc:
%dd=getelementptr inbounds i8,i8*%t,i64 8
%de=bitcast i8*%dd to i8**
%df=load i8*,i8**%de,align 8
store i8*%df,i8**%i,align 8
%dg=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%dh=getelementptr inbounds i8,i8*%dg,i64 16
%di=bitcast i8*%dh to i8*(i8*,i8*)**
%dj=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%di,align 8
%dk=bitcast i8*%dg to i8**
%dl=load i8*,i8**%dk,align 8
%dm=call fastcc i8*%dj(i8*inreg%dl,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@p,i64 0,i32 2)to i8*))
%dn=getelementptr inbounds i8,i8*%dm,i64 16
%do=bitcast i8*%dn to i8*(i8*,i8*)**
%dp=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%do,align 8
%dq=bitcast i8*%dm to i8**
%dr=load i8*,i8**%dq,align 8
store i8*%dr,i8**%j,align 8
%ds=bitcast i8**%i to i8***
%dt=load i8**,i8***%ds,align 8
%du=load i8*,i8**%dt,align 8
%dv=call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_192(i8*inreg%du)
%dw=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%dx=call fastcc i8*%dp(i8*inreg%dw,i8*inreg%dv)
%dy=getelementptr inbounds i8,i8*%dx,i64 16
%dz=bitcast i8*%dy to i8*(i8*,i8*)**
%dA=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dz,align 8
%dB=bitcast i8*%dx to i8**
%dC=load i8*,i8**%dB,align 8
%dD=load i8*,i8**%i,align 8
%dE=getelementptr inbounds i8,i8*%dD,i64 8
%dF=bitcast i8*%dE to i8**
%dG=load i8*,i8**%dF,align 8
%dH=tail call fastcc i8*%dA(i8*inreg%dC,i8*inreg%dG)
ret i8*%dH
dI:
%dJ=getelementptr inbounds i8,i8*%t,i64 8
%dK=bitcast i8*%dJ to i8**
%dL=load i8*,i8**%dK,align 8
store i8*%dL,i8**%j,align 8
%dM=getelementptr inbounds i8,i8*%dL,i64 8
%dN=bitcast i8*%dM to i8**
%dO=load i8*,i8**%dN,align 8
%dP=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%dO)
store i8*%dP,i8**%i,align 8
%dQ=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%dR=getelementptr inbounds i8,i8*%dQ,i64 16
%dS=bitcast i8*%dR to i8*(i8*,i8*)**
%dT=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dS,align 8
%dU=bitcast i8*%dQ to i8**
%dV=load i8*,i8**%dU,align 8
%dW=call fastcc i8*%dT(i8*inreg%dV,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@o,i64 0,i32 2)to i8*))
%dX=getelementptr inbounds i8,i8*%dW,i64 16
%dY=bitcast i8*%dX to i8*(i8*,i8*)**
%dZ=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dY,align 8
%d0=bitcast i8*%dW to i8**
%d1=load i8*,i8**%d0,align 8
%d2=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%d3=call fastcc i8*%dZ(i8*inreg%d1,i8*inreg%d2)
%d4=getelementptr inbounds i8,i8*%d3,i64 16
%d5=bitcast i8*%d4 to i8*(i8*,i8*)**
%d6=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%d5,align 8
%d7=bitcast i8*%d3 to i8**
%d8=load i8*,i8**%d7,align 8
%d9=bitcast i8**%j to i8***
%ea=load i8**,i8***%d9,align 8
store i8*null,i8**%j,align 8
%eb=load i8*,i8**%ea,align 8
%ec=call fastcc i8*%d6(i8*inreg%d8,i8*inreg%eb)
store i8*%ec,i8**%j,align 8
%ed=call i8*@sml_alloc(i32 inreg 20)#0
%ee=getelementptr inbounds i8,i8*%ed,i64 -4
%ef=bitcast i8*%ee to i32*
store i32 1342177296,i32*%ef,align 4
%eg=load i8*,i8**%i,align 8
%eh=bitcast i8*%ed to i8**
store i8*%eg,i8**%eh,align 8
%ei=load i8*,i8**%j,align 8
%ej=getelementptr inbounds i8,i8*%ed,i64 8
%ek=bitcast i8*%ej to i8**
store i8*%ei,i8**%ek,align 8
%el=getelementptr inbounds i8,i8*%ed,i64 16
%em=bitcast i8*%el to i32*
store i32 3,i32*%em,align 4
%en=tail call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%ed)
ret i8*%en
eo:
%ep=getelementptr inbounds i8,i8*%t,i64 8
%eq=bitcast i8*%ep to i8**
%er=load i8*,i8**%eq,align 8
store i8*%er,i8**%j,align 8
%es=getelementptr inbounds i8,i8*%er,i64 8
%et=bitcast i8*%es to i8**
%eu=load i8*,i8**%et,align 8
%ev=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%eu)
store i8*%ev,i8**%i,align 8
%ew=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%ex=getelementptr inbounds i8,i8*%ew,i64 16
%ey=bitcast i8*%ex to i8*(i8*,i8*)**
%ez=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ey,align 8
%eA=bitcast i8*%ew to i8**
%eB=load i8*,i8**%eA,align 8
%eC=call fastcc i8*%ez(i8*inreg%eB,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@n,i64 0,i32 2)to i8*))
%eD=getelementptr inbounds i8,i8*%eC,i64 16
%eE=bitcast i8*%eD to i8*(i8*,i8*)**
%eF=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eE,align 8
%eG=bitcast i8*%eC to i8**
%eH=load i8*,i8**%eG,align 8
%eI=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%eJ=call fastcc i8*%eF(i8*inreg%eH,i8*inreg%eI)
%eK=getelementptr inbounds i8,i8*%eJ,i64 16
%eL=bitcast i8*%eK to i8*(i8*,i8*)**
%eM=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eL,align 8
%eN=bitcast i8*%eJ to i8**
%eO=load i8*,i8**%eN,align 8
%eP=bitcast i8**%j to i8***
%eQ=load i8**,i8***%eP,align 8
store i8*null,i8**%j,align 8
%eR=load i8*,i8**%eQ,align 8
%eS=call fastcc i8*%eM(i8*inreg%eO,i8*inreg%eR)
store i8*%eS,i8**%j,align 8
%eT=call i8*@sml_alloc(i32 inreg 20)#0
%eU=getelementptr inbounds i8,i8*%eT,i64 -4
%eV=bitcast i8*%eU to i32*
store i32 1342177296,i32*%eV,align 4
%eW=load i8*,i8**%i,align 8
%eX=bitcast i8*%eT to i8**
store i8*%eW,i8**%eX,align 8
%eY=load i8*,i8**%j,align 8
%eZ=getelementptr inbounds i8,i8*%eT,i64 8
%e0=bitcast i8*%eZ to i8**
store i8*%eY,i8**%e0,align 8
%e1=getelementptr inbounds i8,i8*%eT,i64 16
%e2=bitcast i8*%e1 to i32*
store i32 3,i32*%e2,align 4
%e3=tail call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%eT)
ret i8*%e3
e4:
%e5=getelementptr inbounds i8,i8*%t,i64 8
%e6=bitcast i8*%e5 to i8**
%e7=load i8*,i8**%e6,align 8
store i8*%e7,i8**%i,align 8
%e8=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%e9=getelementptr inbounds i8,i8*%e8,i64 16
%fa=bitcast i8*%e9 to i8*(i8*,i8*)**
%fb=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fa,align 8
%fc=bitcast i8*%e8 to i8**
%fd=load i8*,i8**%fc,align 8
%fe=call fastcc i8*%fb(i8*inreg%fd,i8*inreg 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*))
%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**@_SMLZN5VarID3Set5emptyE,align 8
%fl=call fastcc i8*%fh(i8*inreg%fj,i8*inreg%fk)
%fm=getelementptr inbounds i8,i8*%fl,i64 16
%fn=bitcast i8*%fm to i8*(i8*,i8*)**
%fo=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fn,align 8
%fp=bitcast i8*%fl to i8**
%fq=load i8*,i8**%fp,align 8
%fr=bitcast i8**%i to i8***
%fs=load i8**,i8***%fr,align 8
%ft=load i8*,i8**%fs,align 8
%fu=tail call fastcc i8*%fo(i8*inreg%fq,i8*inreg%ft)
ret i8*%fu
fv:
%fw=getelementptr inbounds i8,i8*%t,i64 8
%fx=bitcast i8*%fw to i8**
%fy=load i8*,i8**%fx,align 8
store i8*%fy,i8**%i,align 8
%fz=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%fA=getelementptr inbounds i8,i8*%fz,i64 16
%fB=bitcast i8*%fA to i8*(i8*,i8*)**
%fC=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fB,align 8
%fD=bitcast i8*%fz to i8**
%fE=load i8*,i8**%fD,align 8
%fF=call fastcc i8*%fC(i8*inreg%fE,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@l,i64 0,i32 2)to i8*))
%fG=getelementptr inbounds i8,i8*%fF,i64 16
%fH=bitcast i8*%fG to i8*(i8*,i8*)**
%fI=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fH,align 8
%fJ=bitcast i8*%fF to i8**
%fK=load i8*,i8**%fJ,align 8
store i8*%fK,i8**%j,align 8
%fL=bitcast i8**%i to i8***
%fM=load i8**,i8***%fL,align 8
%fN=load i8*,i8**%fM,align 8
%fO=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%fN)
%fP=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%fQ=call fastcc i8*%fI(i8*inreg%fP,i8*inreg%fO)
%fR=getelementptr inbounds i8,i8*%fQ,i64 16
%fS=bitcast i8*%fR to i8*(i8*,i8*)**
%fT=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fS,align 8
%fU=bitcast i8*%fQ to i8**
%fV=load i8*,i8**%fU,align 8
%fW=load i8*,i8**%i,align 8
%fX=getelementptr inbounds i8,i8*%fW,i64 8
%fY=bitcast i8*%fX to i8**
%fZ=load i8*,i8**%fY,align 8
%f0=tail call fastcc i8*%fT(i8*inreg%fV,i8*inreg%fZ)
ret i8*%f0
f1:
%f2=getelementptr inbounds i8,i8*%t,i64 8
%f3=bitcast i8*%f2 to i8***
%f4=load i8**,i8***%f3,align 8
%f5=load i8*,i8**%f4,align 8
store i8*%f5,i8**%i,align 8
br label%X
f6:
%f7=getelementptr inbounds i8,i8*%t,i64 8
%f8=bitcast i8*%f7 to i8**
%f9=load i8*,i8**%f8,align 8
store i8*%f9,i8**%i,align 8
%ga=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%gb=getelementptr inbounds i8,i8*%ga,i64 16
%gc=bitcast i8*%gb to i8*(i8*,i8*)**
%gd=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gc,align 8
%ge=bitcast i8*%ga to i8**
%gf=load i8*,i8**%ge,align 8
%gg=call fastcc i8*%gd(i8*inreg%gf,i8*inreg 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*))
%gh=getelementptr inbounds i8,i8*%gg,i64 16
%gi=bitcast i8*%gh to i8*(i8*,i8*)**
%gj=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gi,align 8
%gk=bitcast i8*%gg to i8**
%gl=load i8*,i8**%gk,align 8
%gm=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%gn=call fastcc i8*%gj(i8*inreg%gl,i8*inreg%gm)
%go=getelementptr inbounds i8,i8*%gn,i64 16
%gp=bitcast i8*%go to i8*(i8*,i8*)**
%gq=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gp,align 8
%gr=bitcast i8*%gn to i8**
%gs=load i8*,i8**%gr,align 8
%gt=bitcast i8**%i to i8***
%gu=load i8**,i8***%gt,align 8
%gv=load i8*,i8**%gu,align 8
%gw=tail call fastcc i8*%gq(i8*inreg%gs,i8*inreg%gv)
ret i8*%gw
gx:
%gy=getelementptr inbounds i8,i8*%t,i64 8
%gz=bitcast i8*%gy to i8**
%gA=load i8*,i8**%gz,align 8
%gB=getelementptr inbounds i8,i8*%gA,i64 8
%gC=bitcast i8*%gB to i8**
%gD=load i8*,i8**%gC,align 8
store i8*%gD,i8**%i,align 8
br label%X
gE:
%gF=getelementptr inbounds i8,i8*%t,i64 8
%gG=bitcast i8*%gF to i8**
%gH=load i8*,i8**%gG,align 8
store i8*%gH,i8**%j,align 8
%gI=bitcast i8*%gH to i8**
%gJ=load i8*,i8**%gI,align 8
%gK=bitcast i8**%d to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%gK)
%gL=bitcast i8**%e to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%gL)
%gM=bitcast i8**%f to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%gM)
%gN=bitcast i8**%g to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%gN)
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
store i8*%gJ,i8**%d,align 8
%gO=load atomic i32,i32*@sml_check_flag unordered,align 4
%gP=icmp eq i32%gO,0
br i1%gP,label%gR,label%gQ
gQ:
call void@sml_check(i32 inreg%gO)
br label%gR
gR:
%gS=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%gT=getelementptr inbounds i8,i8*%gS,i64 16
%gU=bitcast i8*%gT to i8*(i8*,i8*)**
%gV=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gU,align 8
%gW=bitcast i8*%gS to i8**
%gX=load i8*,i8**%gW,align 8
%gY=call fastcc i8*%gV(i8*inreg%gX,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@v,i64 0,i32 2)to i8*))
%gZ=getelementptr inbounds i8,i8*%gY,i64 16
%g0=bitcast i8*%gZ to i8*(i8*,i8*)**
%g1=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%g0,align 8
%g2=bitcast i8*%gY to i8**
%g3=load i8*,i8**%g2,align 8
store i8*%g3,i8**%g,align 8
%g4=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%g4,i8**%e,align 8
store i8*%g4,i8**%f,align 8
%g5=call i8*@sml_alloc(i32 inreg 20)#0
%g6=getelementptr inbounds i8,i8*%g5,i64 -4
%g7=bitcast i8*%g6 to i32*
store i32 1342177296,i32*%g7,align 4
%g8=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%g9=bitcast i8*%g5 to i8**
store i8*%g8,i8**%g9,align 8
%ha=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%hb=getelementptr inbounds i8,i8*%g5,i64 8
%hc=bitcast i8*%hb to i8**
store i8*%ha,i8**%hc,align 8
%hd=getelementptr inbounds i8,i8*%g5,i64 16
%he=bitcast i8*%hd to i32*
store i32 3,i32*%he,align 4
%hf=load i8*,i8**%g,align 8
store i8*null,i8**%g,align 8
%hg=call fastcc i8*%g1(i8*inreg%hf,i8*inreg%g5)
%hh=getelementptr inbounds i8,i8*%hg,i64 16
%hi=bitcast i8*%hh to i8*(i8*,i8*)**
%hj=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hi,align 8
%hk=bitcast i8*%hg to i8**
%hl=load i8*,i8**%hk,align 8
%hm=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%hn=call fastcc i8*%hj(i8*inreg%hl,i8*inreg%hm)
%ho=bitcast i8*%hn to i8**
%hp=load i8*,i8**%ho,align 8
call void@llvm.lifetime.end.p0i8(i64 8,i8*%gK)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%gL)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%gM)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%gN)
store i8*%hp,i8**%k,align 8
%hq=load i8*,i8**%j,align 8
%hr=getelementptr inbounds i8,i8*%hq,i64 8
%hs=bitcast i8*%hr to i8**
%ht=load i8*,i8**%hs,align 8
%hu=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%ht)
store i8*%hu,i8**%i,align 8
%hv=bitcast i8**%j to i8***
%hw=load i8**,i8***%hv,align 8
store i8*null,i8**%j,align 8
%hx=load i8*,i8**%hw,align 8
%hy=bitcast i8**%h to i8*
call void@llvm.lifetime.start.p0i8(i64 8,i8*%hy)
call void@llvm.gcroot(i8**%h,i8*null)#0
store i8*%hx,i8**%h,align 8
%hz=load atomic i32,i32*@sml_check_flag unordered,align 4
%hA=icmp eq i32%hz,0
br i1%hA,label%hC,label%hB
hB:
call void@sml_check(i32 inreg%hz)
br label%hC
hC:
%hD=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%hE=getelementptr inbounds i8,i8*%hD,i64 16
%hF=bitcast i8*%hE to i8*(i8*,i8*)**
%hG=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hF,align 8
%hH=bitcast i8*%hD to i8**
%hI=load i8*,i8**%hH,align 8
%hJ=call fastcc i8*%hG(i8*inreg%hI,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@j,i64 0,i32 2)to i8*))
%hK=getelementptr inbounds i8,i8*%hJ,i64 16
%hL=bitcast i8*%hK to i8*(i8*,i8*)**
%hM=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hL,align 8
%hN=bitcast i8*%hJ to i8**
%hO=load i8*,i8**%hN,align 8
%hP=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%hQ=call fastcc i8*%hM(i8*inreg%hO,i8*inreg%hP)
%hR=getelementptr inbounds i8,i8*%hQ,i64 16
%hS=bitcast i8*%hR to i8*(i8*,i8*)**
%hT=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hS,align 8
%hU=bitcast i8*%hQ to i8**
%hV=load i8*,i8**%hU,align 8
%hW=load i8*,i8**%h,align 8
%hX=call fastcc i8*%hT(i8*inreg%hV,i8*inreg%hW)
call void@llvm.lifetime.end.p0i8(i64 8,i8*%hy)
store i8*%hX,i8**%j,align 8
%hY=call i8*@sml_alloc(i32 inreg 20)#0
%hZ=getelementptr inbounds i8,i8*%hY,i64 -4
%h0=bitcast i8*%hZ to i32*
store i32 1342177296,i32*%h0,align 4
%h1=load i8*,i8**%i,align 8
store i8*null,i8**%i,align 8
%h2=bitcast i8*%hY to i8**
store i8*%h1,i8**%h2,align 8
%h3=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%h4=getelementptr inbounds i8,i8*%hY,i64 8
%h5=bitcast i8*%h4 to i8**
store i8*%h3,i8**%h5,align 8
%h6=getelementptr inbounds i8,i8*%hY,i64 16
%h7=bitcast i8*%h6 to i32*
store i32 3,i32*%h7,align 4
%h8=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%hY)
store i8*%h8,i8**%i,align 8
%h9=call i8*@sml_alloc(i32 inreg 20)#0
%ia=getelementptr inbounds i8,i8*%h9,i64 -4
%ib=bitcast i8*%ia to i32*
store i32 1342177296,i32*%ib,align 4
%ic=load i8*,i8**%k,align 8
%id=bitcast i8*%h9 to i8**
store i8*%ic,i8**%id,align 8
%ie=load i8*,i8**%i,align 8
%if=getelementptr inbounds i8,i8*%h9,i64 8
%ig=bitcast i8*%if to i8**
store i8*%ie,i8**%ig,align 8
%ih=getelementptr inbounds i8,i8*%h9,i64 16
%ii=bitcast i8*%ih to i32*
store i32 3,i32*%ii,align 4
%ij=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%h9)
ret i8*%ij
ik:
%il=getelementptr inbounds i8,i8*%t,i64 8
%im=bitcast i8*%il to i8**
%in=load i8*,i8**%im,align 8
store i8*%in,i8**%j,align 8
%io=bitcast i8*%in to i8**
%ip=load i8*,i8**%io,align 8
%iq=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%ip)
store i8*%iq,i8**%i,align 8
%ir=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%is=getelementptr inbounds i8,i8*%ir,i64 8
%it=bitcast i8*%is to i8**
%iu=load i8*,i8**%it,align 8
%iv=call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_192(i8*inreg%iu)
store i8*%iv,i8**%j,align 8
%iw=call i8*@sml_alloc(i32 inreg 20)#0
%ix=getelementptr inbounds i8,i8*%iw,i64 -4
%iy=bitcast i8*%ix to i32*
store i32 1342177296,i32*%iy,align 4
%iz=load i8*,i8**%i,align 8
%iA=bitcast i8*%iw to i8**
store i8*%iz,i8**%iA,align 8
%iB=load i8*,i8**%j,align 8
%iC=getelementptr inbounds i8,i8*%iw,i64 8
%iD=bitcast i8*%iC to i8**
store i8*%iB,i8**%iD,align 8
%iE=getelementptr inbounds i8,i8*%iw,i64 16
%iF=bitcast i8*%iE to i32*
store i32 3,i32*%iF,align 4
%iG=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%iw)
ret i8*%iG
iH:
%iI=getelementptr inbounds i8,i8*%t,i64 8
%iJ=bitcast i8*%iI to i8**
%iK=load i8*,i8**%iJ,align 8
store i8*%iK,i8**%j,align 8
%iL=bitcast i8*%iK to i8**
%iM=load i8*,i8**%iL,align 8
%iN=call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%iM)
store i8*%iN,i8**%i,align 8
%iO=load i8*,i8**%j,align 8
store i8*null,i8**%j,align 8
%iP=getelementptr inbounds i8,i8*%iO,i64 8
%iQ=bitcast i8*%iP to i8**
%iR=load i8*,i8**%iQ,align 8
%iS=call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_192(i8*inreg%iR)
store i8*%iS,i8**%j,align 8
%iT=call i8*@sml_alloc(i32 inreg 20)#0
%iU=getelementptr inbounds i8,i8*%iT,i64 -4
%iV=bitcast i8*%iU to i32*
store i32 1342177296,i32*%iV,align 4
%iW=load i8*,i8**%i,align 8
%iX=bitcast i8*%iT to i8**
store i8*%iW,i8**%iX,align 8
%iY=load i8*,i8**%j,align 8
%iZ=getelementptr inbounds i8,i8*%iT,i64 8
%i0=bitcast i8*%iZ to i8**
store i8*%iY,i8**%i0,align 8
%i1=getelementptr inbounds i8,i8*%iT,i64 16
%i2=bitcast i8*%i1 to i32*
store i32 3,i32*%i2,align 4
%i3=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%iT)
ret i8*%i3
i4:
%i5=getelementptr inbounds i8,i8*%t,i64 8
%i6=bitcast i8*%i5 to i8***
%i7=load i8**,i8***%i6,align 8
%i8=load i8*,i8**%i7,align 8
store i8*%i8,i8**%i,align 8
br label%X
i9:
%ja=getelementptr inbounds i8,i8*%t,i64 8
%jb=bitcast i8*%ja to i8***
%jc=load i8**,i8***%jb,align 8
%jd=load i8*,i8**%jc,align 8
store i8*%jd,i8**%i,align 8
br label%X
je:
%jf=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jf
jg:
%jh=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jh
ji:
%jj=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jj
jk:
%jl=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jl
jm:
%jn=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jn
jo:
%jp=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jp
jq:
%jr=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jr
js:
%jt=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jt
ju:
%jv=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jv
jw:
%jx=getelementptr inbounds i8,i8*%t,i64 8
%jy=bitcast i8*%jx to i32**
%jz=load i32*,i32**%jy,align 8
%jA=load i32,i32*%jz,align 4
%jB=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%jA)
ret i8*%jB
jC:
%jD=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jD
jE:
%jF=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jF
jG:
%jH=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jH
}
define internal fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_192(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%f,label%e
e:
call void@sml_check(i32 inreg%c)
br label%f
f:
%g=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%h=getelementptr inbounds i8,i8*%g,i64 16
%i=bitcast i8*%h to i8*(i8*,i8*)**
%j=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%i,align 8
%k=bitcast i8*%g to i8**
%l=load i8*,i8**%k,align 8
%m=call fastcc i8*%j(i8*inreg%l,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@u,i64 0,i32 2)to i8*))
%n=getelementptr inbounds i8,i8*%m,i64 16
%o=bitcast i8*%n to i8*(i8*,i8*)**
%p=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%o,align 8
%q=bitcast i8*%m to i8**
%r=load i8*,i8**%q,align 8
%s=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%t=call fastcc i8*%p(i8*inreg%r,i8*inreg%s)
%u=getelementptr inbounds i8,i8*%t,i64 16
%v=bitcast i8*%u to i8*(i8*,i8*)**
%w=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%v,align 8
%x=bitcast i8*%t to i8**
%y=load i8*,i8**%x,align 8
%z=load i8*,i8**%b,align 8
%A=tail call fastcc i8*%w(i8*inreg%y,i8*inreg%z)
ret i8*%A
}
define internal fastcc i8*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_196(i8*inreg%a)unnamed_addr#2 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%f,label%e
e:
call void@sml_check(i32 inreg%c)
br label%f
f:
%g=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%h=getelementptr inbounds i8,i8*%g,i64 16
%i=bitcast i8*%h to i8*(i8*,i8*)**
%j=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%i,align 8
%k=bitcast i8*%g to i8**
%l=load i8*,i8**%k,align 8
%m=call fastcc i8*%j(i8*inreg%l,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@B,i64 0,i32 2)to i8*))
%n=getelementptr inbounds i8,i8*%m,i64 16
%o=bitcast i8*%n to i8*(i8*,i8*)**
%p=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%o,align 8
%q=bitcast i8*%m to i8**
%r=load i8*,i8**%q,align 8
%s=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%t=call fastcc i8*%p(i8*inreg%r,i8*inreg%s)
%u=getelementptr inbounds i8,i8*%t,i64 16
%v=bitcast i8*%u to i8*(i8*,i8*)**
%w=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%v,align 8
%x=bitcast i8*%t to i8**
%y=load i8*,i8**%x,align 8
%z=load i8*,i8**%b,align 8
%A=tail call fastcc i8*%w(i8*inreg%y,i8*inreg%z)
ret i8*%A
}
define fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_190(i8*inreg%h)
ret i8*%j
}
define fastcc i8*@_SMLFN12VALREC__Utils16getFreeIdsInRuleE(i8*inreg%a)#2 gc"smlsharp"{
i:
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%g,label%e
e:
call void@sml_check(i32 inreg%c)
%f=load i8*,i8**%b,align 8
br label%g
g:
%h=phi i8*[%f,%e],[%a,%i]
%j=tail call fastcc i8*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_196(i8*inreg%h)
ret i8*%j
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_275(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInPatE_158(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_277(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInPatListE_161(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_279(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInRecBindsE_165(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_281(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils25getBoundIdsInPolyRecBindsE_169(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInBindListE_283(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInBindListE_173(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils24getBoundIdsInFundeclListE_285(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils24getBoundIdsInFundeclListE_177(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInDeclListE_288(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils21getBoundIdsInDeclListE_186(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_290(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_234(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_291(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_236(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_292(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_238(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_293(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_240(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_294(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_242(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_295(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_244(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_296(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_246(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_297(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_248(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_298(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils19getFreeIdsInExpListE_252(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInDeclListE_299(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInDeclListE_254(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLL9boundList_300(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLL9boundList_259(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLL8freeList_301(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLL8freeList_261(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_302(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_263(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInBindListE_303(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInBindListE_265(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInRecBindsE_304(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils20getFreeIdsInRecBindsE_267(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils24getFreeIdsInPolyRecBindsE_305(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLN12VALREC__Utils24getFreeIdsInPolyRecBindsE_269(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils15getFreeIdsInExpE_316(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLN12VALREC__Utils16getFreeIdsInRuleE_317(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLFN12VALREC__Utils16getFreeIdsInRuleE(i8*inreg%b)
ret i8*%c
}
declare void@llvm.lifetime.start.p0i8(i64,i8*)#0
declare void@llvm.lifetime.end.p0i8(i64,i8*)#0
attributes#0={nounwind}
attributes#1={noreturn}
attributes#2={uwtable}
attributes#3={noreturn nounwind}
