@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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_149 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_263 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*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_152 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_265 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*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_154 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_266 to void(...)*),i32 -2147483647}>,align 8
@e=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
@f=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_158 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_267 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*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_160 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_268 to void(...)*),i32 -2147483647}>,align 8
@h=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
@i=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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_295 to void(...)*),i32 -2147483647}>,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*)*@_SMLFN12VALREC__Utils16getFreeIdsInRuleE to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_296 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_208 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_270 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_210 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_271 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_212 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_272 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*)*@_SMLLL9boundList_214 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL9boundList_273 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*)*@_SMLLL8freeList_216 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLL8freeList_274 to void(...)*),i32 -2147483647}>,align 8
@p=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
@q=private unnamed_addr constant<{[4x i8],i32,[20x i8]}><{[4x i8]zeroinitializer,i32 -2147483628,[20x i8]c"invalid declaration\00"}>,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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_220 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_275 to void(...)*),i32 -2147483647}>,align 8
@s=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_222 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_276 to void(...)*),i32 -2147483647}>,align 8
@t=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_224 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_277 to void(...)*),i32 -2147483647}>,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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_226 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_278 to void(...)*),i32 -2147483647}>,align 8
@v=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
@w=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_229 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_279 to void(...)*),i32 -2147483647}>,align 8
@x=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_231 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_280 to void(...)*),i32 -2147483647}>,align 8
@y=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_233 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_281 to void(...)*),i32 -2147483647}>,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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_235 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_282 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_237 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_283 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_239 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_284 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_241 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_285 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_243 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_286 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_245 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_287 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_247 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_288 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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_249 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_289 to void(...)*),i32 -2147483647}>,align 8
@H=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_251 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_290 to void(...)*),i32 -2147483647}>,align 8
@I=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_253 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_291 to void(...)*),i32 -2147483647}>,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*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_255 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_292 to void(...)*),i32 -2147483647}>,align 8
@K=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
@L=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
@M=private unnamed_addr constant<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}><{[4x i8]zeroinitializer,i32 -805306344,i8*null,void(...)*bitcast(i8*(i8*)*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_259 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_293 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*)*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_261 to void(...)*),void(...)*bitcast(i8*(i8*,i8*)*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_294 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}>*@i,i64 0,i32 2)to i8*)
@_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}>*@j,i64 0,i32 2)to i8*)
@_SML_ftabfbc2be12bf43c2b3_VALREC_Utils=external global i8
@O=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_main22c101bff228a4a9_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_load22c101bff228a4a9_LocalID(i8*)local_unnamed_addr
define private void@_SML_tabbfbc2be12bf43c2b3_VALREC_Utils()#3{
unreachable
}
define void@_SML_loadfbc2be12bf43c2b3_VALREC_Utils(i8*%a)local_unnamed_addr#0{
%b=load i8,i8*@O,align 1
%c=icmp eq i8%b,0
br i1%c,label%e,label%d
d:
ret void
e:
store i8 1,i8*@O,align 1
tail call void@_SML_load03d87556ec7f64b2_List(i8*%a)#0
tail call void@_SML_loadeaa0aca8fbe4101a_Bug(i8*%a)#0
tail call void@_SML_load22c101bff228a4a9_LocalID(i8*%a)#0
tail call void@sml_gcroot(i8*%a,void()*@_SML_tabbfbc2be12bf43c2b3_VALREC_Utils,i8*@_SML_ftabfbc2be12bf43c2b3_VALREC_Utils,i8*null)#0
ret void
}
define void@_SML_mainfbc2be12bf43c2b3_VALREC_Utils()local_unnamed_addr#2 gc"smlsharp"{
%a=load i8,i8*@O,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*@O,align 1
tail call void@_SML_main03d87556ec7f64b2_List()#2
tail call void@_SML_maineaa0aca8fbe4101a_Bug()#2
tail call void@_SML_main22c101bff228a4a9_LocalID()#2
br label%d
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_149(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%l,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%i,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
store i8*%r,i8**%b,align 8
%s=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%o)
store i8*%s,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(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%an
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:
store i8*null,i8**%b,align 8
%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
%R=getelementptr inbounds i8,i8*%Q,i64 8
%S=bitcast i8*%R to i8**
%T=load i8*,i8**%S,align 8
%U=getelementptr inbounds i8,i8*%Q,i64 16
%V=bitcast i8*%U to i8**
%W=load i8*,i8**%V,align 8
store i8*%W,i8**%b,align 8
%X=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%T)
store i8*%X,i8**%c,align 8
%Y=bitcast i8**%b to i32**
%Z=load i32*,i32**%Y,align 8
store i8*null,i8**%b,align 8
%aa=load i32,i32*%Z,align 4
%ab=call i8*@sml_alloc(i32 inreg 20)#0
%ac=getelementptr inbounds i8,i8*%ab,i64 -4
%ad=bitcast i8*%ac to i32*
store i32 1342177296,i32*%ad,align 4
%ae=getelementptr inbounds i8,i8*%ab,i64 12
%af=bitcast i8*%ae to i32*
store i32 0,i32*%af,align 1
%ag=load i8*,i8**%c,align 8
%ah=bitcast i8*%ab to i8**
store i8*%ag,i8**%ah,align 8
%ai=getelementptr inbounds i8,i8*%ab,i64 8
%aj=bitcast i8*%ai to i32*
store i32%aa,i32*%aj,align 4
%ak=getelementptr inbounds i8,i8*%ab,i64 16
%al=bitcast i8*%ak to i32*
store i32 1,i32*%al,align 4
%am=tail call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%ab)
ret i8*%am
an:
%ao=getelementptr inbounds i8,i8*%l,i64 8
%ap=bitcast i8*%ao to i8***
%aq=load i8**,i8***%ap,align 8
%ar=load i8*,i8**%aq,align 8
store i8*%ar,i8**%b,align 8
%as=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%at=getelementptr inbounds i8,i8*%as,i64 16
%au=bitcast i8*%at to i8*(i8*,i8*)**
%av=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%au,align 8
%aw=bitcast i8*%as to i8**
%ax=load i8*,i8**%aw,align 8
%ay=call fastcc i8*%av(i8*inreg%ax,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*))
%az=getelementptr inbounds i8,i8*%ay,i64 16
%aA=bitcast i8*%az to i8*(i8*,i8*)**
%aB=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aA,align 8
%aC=bitcast i8*%ay to i8**
%aD=load i8*,i8**%aC,align 8
%aE=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%aF=call fastcc i8*%aB(i8*inreg%aD,i8*inreg%aE)
%aG=getelementptr inbounds i8,i8*%aF,i64 16
%aH=bitcast i8*%aG to i8*(i8*,i8*)**
%aI=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aH,align 8
%aJ=bitcast i8*%aF to i8**
%aK=load i8*,i8**%aJ,align 8
%aL=load i8*,i8**%b,align 8
%aM=tail call fastcc i8*%aI(i8*inreg%aK,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*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_152(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]
%k=bitcast i8*%i to i8***
%l=load i8**,i8***%k,align 8
%m=load i8*,i8**%l,align 8
%n=getelementptr inbounds i8,i8*%i,i64 8
%o=bitcast i8*%n to i8**
%p=load i8*,i8**%o,align 8
store i8*%p,i8**%b,align 8
%q=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%m)
store i8*%q,i8**%c,align 8
%r=call i8*@sml_alloc(i32 inreg 20)#0
%s=getelementptr inbounds i8,i8*%r,i64 -4
%t=bitcast i8*%s to i32*
store i32 1342177296,i32*%t,align 4
%u=load i8*,i8**%c,align 8
%v=bitcast i8*%r to i8**
store i8*%u,i8**%v,align 8
%w=load i8*,i8**%b,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*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_154(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=bitcast i8*%h to i32***
%k=load i32**,i32***%j,align 8
%l=load i32*,i32**%k,align 8
%m=getelementptr inbounds i8,i8*%h,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=load i32,i32*%l,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*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_158(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=bitcast i8*%h to i8**
%k=load i8*,i8**%j,align 8
%l=getelementptr inbounds i8,i8*%k,i64 16
%m=bitcast i8*%l to i32**
%n=load i32*,i32**%m,align 8
%o=getelementptr inbounds i8,i8*%h,i64 8
%p=bitcast i8*%o to i8**
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%b,align 8
%r=load i32,i32*%n,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*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_160(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=bitcast i8*%h to i8**
%k=load i8*,i8**%j,align 8
%l=getelementptr inbounds i8,i8*%k,i64 16
%m=bitcast i8*%l to i32**
%n=load i32*,i32**%m,align 8
%o=getelementptr inbounds i8,i8*%h,i64 8
%p=bitcast i8*%o to i8**
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%b,align 8
%r=load i32,i32*%n,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*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_163(i8*inreg%a)unnamed_addr#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]
%k=bitcast i8*%i to i32*
%l=load i32,i32*%k,align 4
switch i32%l,label%m[
i32 13,label%b4
i32 17,label%bV
i32 16,label%bM
i32 1,label%bm
i32 10,label%a2
i32 15,label%aA
i32 14,label%aa
i32 2,label%Y
i32 3,label%W
i32 7,label%U
i32 6,label%S
i32 5,label%Q
i32 4,label%O
i32 9,label%M
i32 8,label%K
i32 0,label%I
i32 11,label%G
i32 12,label%E
]
m:
call void@sml_matchcomp_bug()
%n=load i8*,i8**@_SMLZ5Match,align 8
store i8*%n,i8**%b,align 8
%o=call i8*@sml_alloc(i32 inreg 20)#0
%p=getelementptr inbounds i8,i8*%o,i64 -4
%q=bitcast i8*%p to i32*
store i32 1342177296,i32*%q,align 4
store i8*%o,i8**%c,align 8
%r=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%s=bitcast i8*%o to i8**
store i8*%r,i8**%s,align 8
%t=getelementptr inbounds i8,i8*%o,i64 8
%u=bitcast i8*%t to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[80x i8]}>,<{[4x i8],i32,[80x i8]}>*@h,i64 0,i32 2,i64 0),i8**%u,align 8
%v=getelementptr inbounds i8,i8*%o,i64 16
%w=bitcast i8*%v to i32*
store i32 3,i32*%w,align 4
%x=call i8*@sml_alloc(i32 inreg 60)#0
%y=getelementptr inbounds i8,i8*%x,i64 -4
%z=bitcast i8*%y to i32*
store i32 1342177336,i32*%z,align 4
%A=getelementptr inbounds i8,i8*%x,i64 56
%B=bitcast i8*%A to i32*
store i32 1,i32*%B,align 4
%C=load i8*,i8**%c,align 8
%D=bitcast i8*%x to i8**
store i8*%C,i8**%D,align 8
call void@sml_raise(i8*inreg%x)#1
unreachable
E:
%F=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%F
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=getelementptr inbounds i8,i8*%i,i64 8
%ac=bitcast i8*%ab to i8***
%ad=load i8**,i8***%ac,align 8
%ae=load i8*,i8**%ad,align 8
store i8*%ae,i8**%b,align 8
%af=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%ag=getelementptr inbounds i8,i8*%af,i64 16
%ah=bitcast i8*%ag to i8*(i8*,i8*)**
%ai=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ah,align 8
%aj=bitcast i8*%af to i8**
%ak=load i8*,i8**%aj,align 8
%al=call fastcc i8*%ai(i8*inreg%ak,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*))
%am=getelementptr inbounds i8,i8*%al,i64 16
%an=bitcast i8*%am to i8*(i8*,i8*)**
%ao=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%an,align 8
%ap=bitcast i8*%al to i8**
%aq=load i8*,i8**%ap,align 8
%ar=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%as=call fastcc i8*%ao(i8*inreg%aq,i8*inreg%ar)
%at=getelementptr inbounds i8,i8*%as,i64 16
%au=bitcast i8*%at to i8*(i8*,i8*)**
%av=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%au,align 8
%aw=bitcast i8*%as to i8**
%ax=load i8*,i8**%aw,align 8
%ay=load i8*,i8**%b,align 8
%az=tail call fastcc i8*%av(i8*inreg%ax,i8*inreg%ay)
ret i8*%az
aA:
%aB=getelementptr inbounds i8,i8*%i,i64 8
%aC=bitcast i8*%aB to i8**
%aD=load i8*,i8**%aC,align 8
%aE=getelementptr inbounds i8,i8*%aD,i64 16
%aF=bitcast i8*%aE to i8**
%aG=load i8*,i8**%aF,align 8
store i8*%aG,i8**%b,align 8
%aH=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%aI=getelementptr inbounds i8,i8*%aH,i64 16
%aJ=bitcast i8*%aI to i8*(i8*,i8*)**
%aK=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aJ,align 8
%aL=bitcast i8*%aH to i8**
%aM=load i8*,i8**%aL,align 8
%aN=call fastcc i8*%aK(i8*inreg%aM,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*))
%aO=getelementptr inbounds i8,i8*%aN,i64 16
%aP=bitcast i8*%aO to i8*(i8*,i8*)**
%aQ=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aP,align 8
%aR=bitcast i8*%aN to i8**
%aS=load i8*,i8**%aR,align 8
%aT=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%aU=call fastcc i8*%aQ(i8*inreg%aS,i8*inreg%aT)
%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=load i8*,i8**%b,align 8
%a1=tail call fastcc i8*%aX(i8*inreg%aZ,i8*inreg%a0)
ret i8*%a1
a2:
%a3=load i8*,i8**@_SMLZN3Bug3BugE,align 8
store i8*%a3,i8**%b,align 8
%a4=call i8*@sml_alloc(i32 inreg 28)#0
%a5=getelementptr inbounds i8,i8*%a4,i64 -4
%a6=bitcast i8*%a5 to i32*
store i32 1342177304,i32*%a6,align 4
store i8*%a4,i8**%c,align 8
%a7=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%a8=bitcast i8*%a4 to i8**
store i8*%a7,i8**%a8,align 8
%a9=getelementptr inbounds i8,i8*%a4,i64 8
%ba=bitcast i8*%a9 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[81x i8]}>,<{[4x i8],i32,[81x i8]}>*@e,i64 0,i32 2,i64 0),i8**%ba,align 8
%bb=getelementptr inbounds i8,i8*%a4,i64 16
%bc=bitcast i8*%bb to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[20x i8]}>,<{[4x i8],i32,[20x i8]}>*@q,i64 0,i32 2,i64 0),i8**%bc,align 8
%bd=getelementptr inbounds i8,i8*%a4,i64 24
%be=bitcast i8*%bd to i32*
store i32 7,i32*%be,align 4
%bf=call i8*@sml_alloc(i32 inreg 60)#0
%bg=getelementptr inbounds i8,i8*%bf,i64 -4
%bh=bitcast i8*%bg to i32*
store i32 1342177336,i32*%bh,align 4
%bi=getelementptr inbounds i8,i8*%bf,i64 56
%bj=bitcast i8*%bi to i32*
store i32 1,i32*%bj,align 4
%bk=load i8*,i8**%c,align 8
%bl=bitcast i8*%bf to i8**
store i8*%bk,i8**%bl,align 8
call void@sml_raise(i8*inreg%bf)#1
unreachable
bm:
%bn=getelementptr inbounds i8,i8*%i,i64 8
%bo=bitcast i8*%bn to i8***
%bp=load i8**,i8***%bo,align 8
%bq=load i8*,i8**%bp,align 8
store i8*%bq,i8**%b,align 8
%br=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%bs=getelementptr inbounds i8,i8*%br,i64 16
%bt=bitcast i8*%bs to i8*(i8*,i8*)**
%bu=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bt,align 8
%bv=bitcast i8*%br to i8**
%bw=load i8*,i8**%bv,align 8
%bx=call fastcc i8*%bu(i8*inreg%bw,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*))
%by=getelementptr inbounds i8,i8*%bx,i64 16
%bz=bitcast i8*%by to i8*(i8*,i8*)**
%bA=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bz,align 8
%bB=bitcast i8*%bx to i8**
%bC=load i8*,i8**%bB,align 8
%bD=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%bE=call fastcc i8*%bA(i8*inreg%bC,i8*inreg%bD)
%bF=getelementptr inbounds i8,i8*%bE,i64 16
%bG=bitcast i8*%bF to i8*(i8*,i8*)**
%bH=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bG,align 8
%bI=bitcast i8*%bE to i8**
%bJ=load i8*,i8**%bI,align 8
%bK=load i8*,i8**%b,align 8
%bL=tail call fastcc i8*%bH(i8*inreg%bJ,i8*inreg%bK)
ret i8*%bL
bM:
%bN=getelementptr inbounds i8,i8*%i,i64 8
%bO=bitcast i8*%bN to i8**
%bP=load i8*,i8**%bO,align 8
%bQ=getelementptr inbounds i8,i8*%bP,i64 32
%bR=bitcast i8*%bQ to i32**
%bS=load i32*,i32**%bR,align 8
%bT=load i32,i32*%bS,align 4
%bU=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%bT)
ret i8*%bU
bV:
%bW=getelementptr inbounds i8,i8*%i,i64 8
%bX=bitcast i8*%bW to i8**
%bY=load i8*,i8**%bX,align 8
%bZ=getelementptr inbounds i8,i8*%bY,i64 24
%b0=bitcast i8*%bZ to i32**
%b1=load i32*,i32**%b0,align 8
%b2=load i32,i32*%b1,align 4
%b3=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%b2)
ret i8*%b3
b4:
%b5=getelementptr inbounds i8,i8*%i,i64 8
%b6=bitcast i8*%b5 to i8**
%b7=load i8*,i8**%b6,align 8
%b8=getelementptr inbounds i8,i8*%b7,i64 8
%b9=bitcast i8*%b8 to i8**
%ca=load i8*,i8**%b9,align 8
store i8*%ca,i8**%b,align 8
%cb=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%cc=getelementptr inbounds i8,i8*%cb,i64 16
%cd=bitcast i8*%cc to i8*(i8*,i8*)**
%ce=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cd,align 8
%cf=bitcast i8*%cb to i8**
%cg=load i8*,i8**%cf,align 8
%ch=call fastcc i8*%ce(i8*inreg%cg,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*))
%ci=getelementptr inbounds i8,i8*%ch,i64 16
%cj=bitcast i8*%ci to i8*(i8*,i8*)**
%ck=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cj,align 8
%cl=bitcast i8*%ch to i8**
%cm=load i8*,i8**%cl,align 8
%cn=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%co=call fastcc i8*%ck(i8*inreg%cm,i8*inreg%cn)
%cp=getelementptr inbounds i8,i8*%co,i64 16
%cq=bitcast i8*%cp to i8*(i8*,i8*)**
%cr=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cq,align 8
%cs=bitcast i8*%co to i8**
%ct=load i8*,i8**%cs,align 8
%cu=load i8*,i8**%b,align 8
%cv=tail call fastcc i8*%cr(i8*inreg%ct,i8*inreg%cu)
ret i8*%cv
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_208(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_210(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_212(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=load i8*,i8**%m,align 8
%o=bitcast i8*%n to i8**
%p=load i8*,i8**%o,align 8
store i8*%p,i8**%b,align 8
%q=getelementptr inbounds i8,i8*%n,i64 8
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
%t=getelementptr inbounds i8,i8*%k,i64 8
%u=bitcast i8*%t to i8**
%v=load i8*,i8**%u,align 8
%w=bitcast i8*%v to i8**
%x=load i8*,i8**%w,align 8
store i8*%x,i8**%c,align 8
%y=getelementptr inbounds i8,i8*%v,i64 8
%z=bitcast i8*%y to i8**
%A=load i8*,i8**%z,align 8
store i8*%A,i8**%d,align 8
%B=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%s)
store i8*%B,i8**%e,align 8
%C=call i8*@sml_alloc(i32 inreg 20)#0
%D=getelementptr inbounds i8,i8*%C,i64 -4
%E=bitcast i8*%D to i32*
store i32 1342177296,i32*%E,align 4
%F=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%G=bitcast i8*%C to i8**
store i8*%F,i8**%G,align 8
%H=load i8*,i8**%d,align 8
%I=getelementptr inbounds i8,i8*%C,i64 8
%J=bitcast i8*%I to i8**
store i8*%H,i8**%J,align 8
%K=getelementptr inbounds i8,i8*%C,i64 16
%L=bitcast i8*%K to i32*
store i32 3,i32*%L,align 4
%M=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%C)
store i8*%M,i8**%e,align 8
%N=call i8*@sml_alloc(i32 inreg 20)#0
%O=getelementptr inbounds i8,i8*%N,i64 -4
%P=bitcast i8*%O to i32*
store i32 1342177296,i32*%P,align 4
%Q=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%R=bitcast i8*%N to i8**
store i8*%Q,i8**%R,align 8
%S=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%T=getelementptr inbounds i8,i8*%N,i64 8
%U=bitcast i8*%T to i8**
store i8*%S,i8**%U,align 8
%V=getelementptr inbounds i8,i8*%N,i64 16
%W=bitcast i8*%V to i32*
store i32 3,i32*%W,align 4
%X=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%N)
store i8*%X,i8**%c,align 8
%Y=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%Z=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%Y)
store i8*%Z,i8**%b,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**%d,align 8
store i8*null,i8**%d,align 8
%ae=bitcast i8*%aa to i8**
store i8*%ad,i8**%ae,align 8
%af=load i8*,i8**%b,align 8
store i8*null,i8**%b,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=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%aa)
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*@_SMLLL9boundList_214(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=bitcast i8*%h to i32***
%k=load i32**,i32***%j,align 8
%l=load i32*,i32**%k,align 8
%m=getelementptr inbounds i8,i8*%h,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=load i32,i32*%l,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*@_SMLLL8freeList_216(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%l,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%i,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
store i8*%r,i8**%b,align 8
%s=call fastcc i8*@_SMLFN12VALREC__Utils16getFreeIdsInRuleE(i8*inreg%o)
store i8*%s,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_220(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=load i8*,i8**%m,align 8
%o=bitcast i8*%n to i8**
%p=load i8*,i8**%o,align 8
%q=getelementptr inbounds i8,i8*%n,i64 16
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
store i8*%s,i8**%b,align 8
%t=getelementptr inbounds i8,i8*%k,i64 8
%u=bitcast i8*%t to i8**
%v=load i8*,i8**%u,align 8
%w=bitcast i8*%v to i8**
%x=load i8*,i8**%w,align 8
store i8*%x,i8**%c,align 8
%y=getelementptr inbounds i8,i8*%v,i64 8
%z=bitcast i8*%y to i8**
%A=load i8*,i8**%z,align 8
store i8*%A,i8**%d,align 8
%B=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%p)
store i8*%B,i8**%e,align 8
%C=call i8*@sml_alloc(i32 inreg 20)#0
%D=getelementptr inbounds i8,i8*%C,i64 -4
%E=bitcast i8*%D to i32*
store i32 1342177296,i32*%E,align 4
%F=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%G=bitcast i8*%C to i8**
store i8*%F,i8**%G,align 8
%H=load i8*,i8**%d,align 8
%I=getelementptr inbounds i8,i8*%C,i64 8
%J=bitcast i8*%I to i8**
store i8*%H,i8**%J,align 8
%K=getelementptr inbounds i8,i8*%C,i64 16
%L=bitcast i8*%K to i32*
store i32 3,i32*%L,align 4
%M=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%C)
store i8*%M,i8**%e,align 8
%N=call i8*@sml_alloc(i32 inreg 20)#0
%O=getelementptr inbounds i8,i8*%N,i64 -4
%P=bitcast i8*%O to i32*
store i32 1342177296,i32*%P,align 4
%Q=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%R=bitcast i8*%N to i8**
store i8*%Q,i8**%R,align 8
%S=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%T=getelementptr inbounds i8,i8*%N,i64 8
%U=bitcast i8*%T to i8**
store i8*%S,i8**%U,align 8
%V=getelementptr inbounds i8,i8*%N,i64 16
%W=bitcast i8*%V to i32*
store i32 3,i32*%W,align 4
%X=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%N)
store i8*%X,i8**%c,align 8
%Y=bitcast i8**%b to i32**
%Z=load i32*,i32**%Y,align 8
store i8*null,i8**%b,align 8
%aa=load i32,i32*%Z,align 4
%ab=call i8*@sml_alloc(i32 inreg 20)#0
%ac=getelementptr inbounds i8,i8*%ab,i64 -4
%ad=bitcast i8*%ac to i32*
store i32 1342177296,i32*%ad,align 4
%ae=getelementptr inbounds i8,i8*%ab,i64 12
%af=bitcast i8*%ae to i32*
store i32 0,i32*%af,align 1
%ag=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%ah=bitcast i8*%ab to i8**
store i8*%ag,i8**%ah,align 8
%ai=getelementptr inbounds i8,i8*%ab,i64 8
%aj=bitcast i8*%ai to i32*
store i32%aa,i32*%aj,align 4
%ak=getelementptr inbounds i8,i8*%ab,i64 16
%al=bitcast i8*%ak to i32*
store i32 1,i32*%al,align 4
%am=call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%ab)
store i8*%am,i8**%b,align 8
%an=call i8*@sml_alloc(i32 inreg 20)#0
%ao=getelementptr inbounds i8,i8*%an,i64 -4
%ap=bitcast i8*%ao to i32*
store i32 1342177296,i32*%ap,align 4
%aq=load i8*,i8**%c,align 8
%ar=bitcast i8*%an to i8**
store i8*%aq,i8**%ar,align 8
%as=load i8*,i8**%b,align 8
%at=getelementptr inbounds i8,i8*%an,i64 8
%au=bitcast i8*%at to i8**
store i8*%as,i8**%au,align 8
%av=getelementptr inbounds i8,i8*%an,i64 16
%aw=bitcast i8*%av to i32*
store i32 3,i32*%aw,align 4
ret i8*%an
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_222(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=bitcast i8*%h to i8**
%k=load i8*,i8**%j,align 8
%l=getelementptr inbounds i8,i8*%k,i64 16
%m=bitcast i8*%l to i32**
%n=load i32*,i32**%m,align 8
%o=getelementptr inbounds i8,i8*%h,i64 8
%p=bitcast i8*%o to i8**
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%b,align 8
%r=load i32,i32*%n,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_224(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=load i8*,i8**%m,align 8
%o=bitcast i8*%n to i8**
%p=load i8*,i8**%o,align 8
%q=getelementptr inbounds i8,i8*%n,i64 16
%r=bitcast i8*%q to i8**
%s=load i8*,i8**%r,align 8
store i8*%s,i8**%b,align 8
%t=getelementptr inbounds i8,i8*%k,i64 8
%u=bitcast i8*%t to i8**
%v=load i8*,i8**%u,align 8
%w=bitcast i8*%v to i8**
%x=load i8*,i8**%w,align 8
store i8*%x,i8**%c,align 8
%y=getelementptr inbounds i8,i8*%v,i64 8
%z=bitcast i8*%y to i8**
%A=load i8*,i8**%z,align 8
store i8*%A,i8**%d,align 8
%B=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%p)
store i8*%B,i8**%e,align 8
%C=call i8*@sml_alloc(i32 inreg 20)#0
%D=getelementptr inbounds i8,i8*%C,i64 -4
%E=bitcast i8*%D to i32*
store i32 1342177296,i32*%E,align 4
%F=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%G=bitcast i8*%C to i8**
store i8*%F,i8**%G,align 8
%H=load i8*,i8**%d,align 8
%I=getelementptr inbounds i8,i8*%C,i64 8
%J=bitcast i8*%I to i8**
store i8*%H,i8**%J,align 8
%K=getelementptr inbounds i8,i8*%C,i64 16
%L=bitcast i8*%K to i32*
store i32 3,i32*%L,align 4
%M=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%C)
store i8*%M,i8**%e,align 8
%N=call i8*@sml_alloc(i32 inreg 20)#0
%O=getelementptr inbounds i8,i8*%N,i64 -4
%P=bitcast i8*%O to i32*
store i32 1342177296,i32*%P,align 4
%Q=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%R=bitcast i8*%N to i8**
store i8*%Q,i8**%R,align 8
%S=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%T=getelementptr inbounds i8,i8*%N,i64 8
%U=bitcast i8*%T to i8**
store i8*%S,i8**%U,align 8
%V=getelementptr inbounds i8,i8*%N,i64 16
%W=bitcast i8*%V to i32*
store i32 3,i32*%W,align 4
%X=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%N)
store i8*%X,i8**%c,align 8
%Y=bitcast i8**%b to i32**
%Z=load i32*,i32**%Y,align 8
store i8*null,i8**%b,align 8
%aa=load i32,i32*%Z,align 4
%ab=call i8*@sml_alloc(i32 inreg 20)#0
%ac=getelementptr inbounds i8,i8*%ab,i64 -4
%ad=bitcast i8*%ac to i32*
store i32 1342177296,i32*%ad,align 4
%ae=getelementptr inbounds i8,i8*%ab,i64 12
%af=bitcast i8*%ae to i32*
store i32 0,i32*%af,align 1
%ag=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%ah=bitcast i8*%ab to i8**
store i8*%ag,i8**%ah,align 8
%ai=getelementptr inbounds i8,i8*%ab,i64 8
%aj=bitcast i8*%ai to i32*
store i32%aa,i32*%aj,align 4
%ak=getelementptr inbounds i8,i8*%ab,i64 16
%al=bitcast i8*%ak to i32*
store i32 1,i32*%al,align 4
%am=call fastcc i8*@_SMLFN5VarID3Set3addE(i8*inreg%ab)
store i8*%am,i8**%b,align 8
%an=call i8*@sml_alloc(i32 inreg 20)#0
%ao=getelementptr inbounds i8,i8*%an,i64 -4
%ap=bitcast i8*%ao to i32*
store i32 1342177296,i32*%ap,align 4
%aq=load i8*,i8**%c,align 8
%ar=bitcast i8*%an to i8**
store i8*%aq,i8**%ar,align 8
%as=load i8*,i8**%b,align 8
%at=getelementptr inbounds i8,i8*%an,i64 8
%au=bitcast i8*%at to i8**
store i8*%as,i8**%au,align 8
%av=getelementptr inbounds i8,i8*%an,i64 16
%aw=bitcast i8*%av to i32*
store i32 3,i32*%aw,align 4
ret i8*%an
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_226(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=bitcast i8*%h to i8**
%k=load i8*,i8**%j,align 8
%l=getelementptr inbounds i8,i8*%k,i64 16
%m=bitcast i8*%l to i32**
%n=load i32*,i32**%m,align 8
%o=getelementptr inbounds i8,i8*%h,i64 8
%p=bitcast i8*%o to i8**
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%b,align 8
%r=load i32,i32*%n,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_229(i8*inreg%a)#2 gc"smlsharp"{
o:
%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
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
call void@llvm.gcroot(i8**%f,i8*null)#0
call void@llvm.gcroot(i8**%g,i8*null)#0
call void@llvm.gcroot(i8**%h,i8*null)#0
store i8*%a,i8**%b,align 8
%i=load atomic i32,i32*@sml_check_flag unordered,align 4
%j=icmp eq i32%i,0
br i1%j,label%m,label%k
k:
call void@sml_check(i32 inreg%i)
%l=load i8*,i8**%b,align 8
br label%m
m:
%n=phi i8*[%l,%k],[%a,%o]
%p=bitcast i8*%n to i8**
%q=load i8*,i8**%p,align 8
store i8*%q,i8**%b,align 8
%r=getelementptr inbounds i8,i8*%n,i64 8
%s=bitcast i8*%r to i8**
%t=load i8*,i8**%s,align 8
%u=bitcast i8*%t to i8**
%v=load i8*,i8**%u,align 8
store i8*%v,i8**%c,align 8
%w=getelementptr inbounds i8,i8*%t,i64 8
%x=bitcast i8*%w to i8**
%y=load i8*,i8**%x,align 8
store i8*%y,i8**%d,align 8
%z=bitcast i8*%q to i32*
%A=load i32,i32*%z,align 4
switch i32%A,label%B[
i32 13,label%ej
i32 17,label%ed
i32 16,label%d7
i32 1,label%db
i32 10,label%cR
i32 15,label%bG
i32 14,label%ax
i32 2,label%av
i32 3,label%al
i32 7,label%aj
i32 6,label%ah
i32 5,label%af
i32 4,label%ad
i32 9,label%ab
i32 8,label%Z
i32 0,label%X
i32 11,label%V
i32 12,label%T
]
B:
store i8*null,i8**%c,align 8
store i8*null,i8**%d,align 8
call void@sml_matchcomp_bug()
%C=load i8*,i8**@_SMLZ5Match,align 8
store i8*%C,i8**%b,align 8
%D=call i8*@sml_alloc(i32 inreg 20)#0
%E=getelementptr inbounds i8,i8*%D,i64 -4
%F=bitcast i8*%E to i32*
store i32 1342177296,i32*%F,align 4
store i8*%D,i8**%c,align 8
%G=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%H=bitcast i8*%D to i8**
store i8*%G,i8**%H,align 8
%I=getelementptr inbounds i8,i8*%D,i64 8
%J=bitcast i8*%I to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[80x i8]}>,<{[4x i8],i32,[80x i8]}>*@v,i64 0,i32 2,i64 0),i8**%J,align 8
%K=getelementptr inbounds i8,i8*%D,i64 16
%L=bitcast i8*%K to i32*
store i32 3,i32*%L,align 4
%M=call i8*@sml_alloc(i32 inreg 60)#0
%N=getelementptr inbounds i8,i8*%M,i64 -4
%O=bitcast i8*%N to i32*
store i32 1342177336,i32*%O,align 4
%P=getelementptr inbounds i8,i8*%M,i64 56
%Q=bitcast i8*%P to i32*
store i32 1,i32*%Q,align 4
%R=load i8*,i8**%c,align 8
%S=bitcast i8*%M to i8**
store i8*%R,i8**%S,align 8
call void@sml_raise(i8*inreg%M)#1
unreachable
T:
%U=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%U,i8**%e,align 8
br label%eY
V:
%W=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%W,i8**%e,align 8
br label%eY
X:
%Y=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%Y,i8**%e,align 8
br label%eY
Z:
%aa=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%aa,i8**%e,align 8
br label%eY
ab:
%ac=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%ac,i8**%e,align 8
br label%eY
ad:
%ae=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%ae,i8**%e,align 8
br label%eY
af:
%ag=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%ag,i8**%e,align 8
br label%eY
ah:
%ai=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%ai,i8**%e,align 8
br label%eY
aj:
%ak=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%ak,i8**%e,align 8
br label%eY
al:
%am=getelementptr inbounds i8,i8*%q,i64 8
%an=bitcast i8*%am to i8***
%ao=load i8**,i8***%an,align 8
%ap=load i8*,i8**%ao,align 8
%aq=getelementptr inbounds i8,i8*%ap,i64 8
%ar=bitcast i8*%aq to i32**
%as=load i32*,i32**%ar,align 8
%at=load i32,i32*%as,align 4
%au=call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%at)
store i8*%au,i8**%e,align 8
br label%eY
av:
%aw=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%aw,i8**%e,align 8
br label%eY
ax:
%ay=getelementptr inbounds i8,i8*%q,i64 8
%az=bitcast i8*%ay to i8***
%aA=load i8**,i8***%az,align 8
%aB=load i8*,i8**%aA,align 8
store i8*%aB,i8**%e,align 8
%aC=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%aD=getelementptr inbounds i8,i8*%aC,i64 16
%aE=bitcast i8*%aD to i8*(i8*,i8*)**
%aF=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aE,align 8
%aG=bitcast i8*%aC to i8**
%aH=load i8*,i8**%aG,align 8
%aI=call fastcc i8*%aF(i8*inreg%aH,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@t,i64 0,i32 2)to i8*))
%aJ=getelementptr inbounds i8,i8*%aI,i64 16
%aK=bitcast i8*%aJ to i8*(i8*,i8*)**
%aL=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%aK,align 8
%aM=bitcast i8*%aI to i8**
%aN=load i8*,i8**%aM,align 8
store i8*%aN,i8**%h,align 8
%aO=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%aO,i8**%f,align 8
store i8*%aO,i8**%g,align 8
%aP=call i8*@sml_alloc(i32 inreg 20)#0
%aQ=getelementptr inbounds i8,i8*%aP,i64 -4
%aR=bitcast i8*%aQ to i32*
store i32 1342177296,i32*%aR,align 4
%aS=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%aT=bitcast i8*%aP to i8**
store i8*%aS,i8**%aT,align 8
%aU=load i8*,i8**%g,align 8
store i8*null,i8**%g,align 8
%aV=getelementptr inbounds i8,i8*%aP,i64 8
%aW=bitcast i8*%aV to i8**
store i8*%aU,i8**%aW,align 8
%aX=getelementptr inbounds i8,i8*%aP,i64 16
%aY=bitcast i8*%aX to i32*
store i32 3,i32*%aY,align 4
%aZ=load i8*,i8**%h,align 8
store i8*null,i8**%h,align 8
%a0=call fastcc i8*%aL(i8*inreg%aZ,i8*inreg%aP)
%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**%e,align 8
%a7=call fastcc i8*%a3(i8*inreg%a5,i8*inreg%a6)
%a8=bitcast i8*%a7 to i8**
%a9=load i8*,i8**%a8,align 8
store i8*%a9,i8**%f,align 8
%ba=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%bb=getelementptr inbounds i8,i8*%ba,i64 16
%bc=bitcast i8*%bb to i8*(i8*,i8*)**
%bd=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bc,align 8
%be=bitcast i8*%ba to i8**
%bf=load i8*,i8**%be,align 8
%bg=call fastcc i8*%bd(i8*inreg%bf,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*))
%bh=getelementptr inbounds i8,i8*%bg,i64 16
%bi=bitcast i8*%bh to i8*(i8*,i8*)**
%bj=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bi,align 8
%bk=bitcast i8*%bg to i8**
%bl=load i8*,i8**%bk,align 8
%bm=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%bn=call fastcc i8*%bj(i8*inreg%bl,i8*inreg%bm)
%bo=getelementptr inbounds i8,i8*%bn,i64 16
%bp=bitcast i8*%bo to i8*(i8*,i8*)**
%bq=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bp,align 8
%br=bitcast i8*%bn to i8**
%bs=load i8*,i8**%br,align 8
%bt=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%bu=call fastcc i8*%bq(i8*inreg%bs,i8*inreg%bt)
store i8*%bu,i8**%e,align 8
%bv=call i8*@sml_alloc(i32 inreg 20)#0
%bw=getelementptr inbounds i8,i8*%bv,i64 -4
%bx=bitcast i8*%bw to i32*
store i32 1342177296,i32*%bx,align 4
%by=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%bz=bitcast i8*%bv to i8**
store i8*%by,i8**%bz,align 8
%bA=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%bB=getelementptr inbounds i8,i8*%bv,i64 8
%bC=bitcast i8*%bB to i8**
store i8*%bA,i8**%bC,align 8
%bD=getelementptr inbounds i8,i8*%bv,i64 16
%bE=bitcast i8*%bD to i32*
store i32 3,i32*%bE,align 4
%bF=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%bv)
store i8*%bF,i8**%e,align 8
br label%eY
bG:
%bH=getelementptr inbounds i8,i8*%q,i64 8
%bI=bitcast i8*%bH to i8**
%bJ=load i8*,i8**%bI,align 8
%bK=getelementptr inbounds i8,i8*%bJ,i64 16
%bL=bitcast i8*%bK to i8**
%bM=load i8*,i8**%bL,align 8
store i8*%bM,i8**%e,align 8
%bN=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%bO=getelementptr inbounds i8,i8*%bN,i64 16
%bP=bitcast i8*%bO to i8*(i8*,i8*)**
%bQ=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bP,align 8
%bR=bitcast i8*%bN to i8**
%bS=load i8*,i8**%bR,align 8
%bT=call fastcc i8*%bQ(i8*inreg%bS,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*))
%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
store i8*%bY,i8**%h,align 8
%bZ=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%bZ,i8**%f,align 8
store i8*%bZ,i8**%g,align 8
%b0=call i8*@sml_alloc(i32 inreg 20)#0
%b1=getelementptr inbounds i8,i8*%b0,i64 -4
%b2=bitcast i8*%b1 to i32*
store i32 1342177296,i32*%b2,align 4
%b3=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%b4=bitcast i8*%b0 to i8**
store i8*%b3,i8**%b4,align 8
%b5=load i8*,i8**%g,align 8
store i8*null,i8**%g,align 8
%b6=getelementptr inbounds i8,i8*%b0,i64 8
%b7=bitcast i8*%b6 to i8**
store i8*%b5,i8**%b7,align 8
%b8=getelementptr inbounds i8,i8*%b0,i64 16
%b9=bitcast i8*%b8 to i32*
store i32 3,i32*%b9,align 4
%ca=load i8*,i8**%h,align 8
store i8*null,i8**%h,align 8
%cb=call fastcc i8*%bW(i8*inreg%ca,i8*inreg%b0)
%cc=getelementptr inbounds i8,i8*%cb,i64 16
%cd=bitcast i8*%cc to i8*(i8*,i8*)**
%ce=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cd,align 8
%cf=bitcast i8*%cb to i8**
%cg=load i8*,i8**%cf,align 8
%ch=load i8*,i8**%e,align 8
%ci=call fastcc i8*%ce(i8*inreg%cg,i8*inreg%ch)
%cj=bitcast i8*%ci to i8**
%ck=load i8*,i8**%cj,align 8
store i8*%ck,i8**%f,align 8
%cl=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%cm=getelementptr inbounds i8,i8*%cl,i64 16
%cn=bitcast i8*%cm to i8*(i8*,i8*)**
%co=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cn,align 8
%cp=bitcast i8*%cl to i8**
%cq=load i8*,i8**%cp,align 8
%cr=call fastcc i8*%co(i8*inreg%cq,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@s,i64 0,i32 2)to i8*))
%cs=getelementptr inbounds i8,i8*%cr,i64 16
%ct=bitcast i8*%cs to i8*(i8*,i8*)**
%cu=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ct,align 8
%cv=bitcast i8*%cr to i8**
%cw=load i8*,i8**%cv,align 8
%cx=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%cy=call fastcc i8*%cu(i8*inreg%cw,i8*inreg%cx)
%cz=getelementptr inbounds i8,i8*%cy,i64 16
%cA=bitcast i8*%cz to i8*(i8*,i8*)**
%cB=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cA,align 8
%cC=bitcast i8*%cy to i8**
%cD=load i8*,i8**%cC,align 8
%cE=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%cF=call fastcc i8*%cB(i8*inreg%cD,i8*inreg%cE)
store i8*%cF,i8**%e,align 8
%cG=call i8*@sml_alloc(i32 inreg 20)#0
%cH=getelementptr inbounds i8,i8*%cG,i64 -4
%cI=bitcast i8*%cH to i32*
store i32 1342177296,i32*%cI,align 4
%cJ=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%cK=bitcast i8*%cG to i8**
store i8*%cJ,i8**%cK,align 8
%cL=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%cM=getelementptr inbounds i8,i8*%cG,i64 8
%cN=bitcast i8*%cM to i8**
store i8*%cL,i8**%cN,align 8
%cO=getelementptr inbounds i8,i8*%cG,i64 16
%cP=bitcast i8*%cO to i32*
store i32 3,i32*%cP,align 4
%cQ=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%cG)
store i8*%cQ,i8**%e,align 8
br label%eY
cR:
store i8*null,i8**%c,align 8
store i8*null,i8**%d,align 8
%cS=load i8*,i8**@_SMLZN3Bug3BugE,align 8
store i8*%cS,i8**%b,align 8
%cT=call i8*@sml_alloc(i32 inreg 28)#0
%cU=getelementptr inbounds i8,i8*%cT,i64 -4
%cV=bitcast i8*%cU to i32*
store i32 1342177304,i32*%cV,align 4
store i8*%cT,i8**%c,align 8
%cW=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%cX=bitcast i8*%cT to i8**
store i8*%cW,i8**%cX,align 8
%cY=getelementptr inbounds i8,i8*%cT,i64 8
%cZ=bitcast i8*%cY to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[81x i8]}>,<{[4x i8],i32,[81x i8]}>*@p,i64 0,i32 2,i64 0),i8**%cZ,align 8
%c0=getelementptr inbounds i8,i8*%cT,i64 16
%c1=bitcast i8*%c0 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[20x i8]}>,<{[4x i8],i32,[20x i8]}>*@q,i64 0,i32 2,i64 0),i8**%c1,align 8
%c2=getelementptr inbounds i8,i8*%cT,i64 24
%c3=bitcast i8*%c2 to i32*
store i32 7,i32*%c3,align 4
%c4=call i8*@sml_alloc(i32 inreg 60)#0
%c5=getelementptr inbounds i8,i8*%c4,i64 -4
%c6=bitcast i8*%c5 to i32*
store i32 1342177336,i32*%c6,align 4
%c7=getelementptr inbounds i8,i8*%c4,i64 56
%c8=bitcast i8*%c7 to i32*
store i32 1,i32*%c8,align 4
%c9=load i8*,i8**%c,align 8
%da=bitcast i8*%c4 to i8**
store i8*%c9,i8**%da,align 8
call void@sml_raise(i8*inreg%c4)#1
unreachable
db:
%dc=getelementptr inbounds i8,i8*%q,i64 8
%dd=bitcast i8*%dc to i8***
%de=load i8**,i8***%dd,align 8
%df=load i8*,i8**%de,align 8
store i8*%df,i8**%e,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}>*@n,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
%ds=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%dt=call fastcc i8*%dp(i8*inreg%dr,i8*inreg%ds)
%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**%e,align 8
%dA=call fastcc i8*%dw(i8*inreg%dy,i8*inreg%dz)
store i8*%dA,i8**%f,align 8
%dB=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%dC=getelementptr inbounds i8,i8*%dB,i64 16
%dD=bitcast i8*%dC to i8*(i8*,i8*)**
%dE=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dD,align 8
%dF=bitcast i8*%dB to i8**
%dG=load i8*,i8**%dF,align 8
%dH=call fastcc i8*%dE(i8*inreg%dG,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*))
%dI=getelementptr inbounds i8,i8*%dH,i64 16
%dJ=bitcast i8*%dI to i8*(i8*,i8*)**
%dK=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dJ,align 8
%dL=bitcast i8*%dH to i8**
%dM=load i8*,i8**%dL,align 8
%dN=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%dO=call fastcc i8*%dK(i8*inreg%dM,i8*inreg%dN)
%dP=getelementptr inbounds i8,i8*%dO,i64 16
%dQ=bitcast i8*%dP to i8*(i8*,i8*)**
%dR=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dQ,align 8
%dS=bitcast i8*%dO to i8**
%dT=load i8*,i8**%dS,align 8
%dU=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%dV=call fastcc i8*%dR(i8*inreg%dT,i8*inreg%dU)
store i8*%dV,i8**%e,align 8
%dW=call i8*@sml_alloc(i32 inreg 20)#0
%dX=getelementptr inbounds i8,i8*%dW,i64 -4
%dY=bitcast i8*%dX to i32*
store i32 1342177296,i32*%dY,align 4
%dZ=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%d0=bitcast i8*%dW to i8**
store i8*%dZ,i8**%d0,align 8
%d1=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%d2=getelementptr inbounds i8,i8*%dW,i64 8
%d3=bitcast i8*%d2 to i8**
store i8*%d1,i8**%d3,align 8
%d4=getelementptr inbounds i8,i8*%dW,i64 16
%d5=bitcast i8*%d4 to i32*
store i32 3,i32*%d5,align 4
%d6=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%dW)
store i8*%d6,i8**%e,align 8
br label%eY
d7:
%d8=getelementptr inbounds i8,i8*%q,i64 8
%d9=bitcast i8*%d8 to i8***
%ea=load i8**,i8***%d9,align 8
%eb=load i8*,i8**%ea,align 8
%ec=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%eb)
store i8*%ec,i8**%e,align 8
br label%eY
ed:
%ee=getelementptr inbounds i8,i8*%q,i64 8
%ef=bitcast i8*%ee to i8***
%eg=load i8**,i8***%ef,align 8
%eh=load i8*,i8**%eg,align 8
%ei=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%eh)
store i8*%ei,i8**%e,align 8
br label%eY
ej:
%ek=getelementptr inbounds i8,i8*%q,i64 8
%el=bitcast i8*%ek to i8**
%em=load i8*,i8**%el,align 8
%en=getelementptr inbounds i8,i8*%em,i64 8
%eo=bitcast i8*%en to i8**
%ep=load i8*,i8**%eo,align 8
store i8*%ep,i8**%e,align 8
%eq=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%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
%ew=call fastcc i8*%et(i8*inreg%ev,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*))
%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
store i8*%eB,i8**%h,align 8
%eC=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%eC,i8**%f,align 8
store i8*%eC,i8**%g,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**%f,align 8
store i8*null,i8**%f,align 8
%eH=bitcast i8*%eD to i8**
store i8*%eG,i8**%eH,align 8
%eI=load i8*,i8**%g,align 8
store i8*null,i8**%g,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=load i8*,i8**%h,align 8
store i8*null,i8**%h,align 8
%eO=call fastcc i8*%ez(i8*inreg%eN,i8*inreg%eD)
%eP=getelementptr inbounds i8,i8*%eO,i64 16
%eQ=bitcast i8*%eP to i8*(i8*,i8*)**
%eR=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eQ,align 8
%eS=bitcast i8*%eO to i8**
%eT=load i8*,i8**%eS,align 8
%eU=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%eV=call fastcc i8*%eR(i8*inreg%eT,i8*inreg%eU)
%eW=bitcast i8*%eV to i8**
%eX=load i8*,i8**%eW,align 8
store i8*%eX,i8**%e,align 8
br label%eY
eY:
%eZ=call i8*@sml_alloc(i32 inreg 20)#0
%e0=getelementptr inbounds i8,i8*%eZ,i64 -4
%e1=bitcast i8*%e0 to i32*
store i32 1342177296,i32*%e1,align 4
%e2=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%e3=bitcast i8*%eZ to i8**
store i8*%e2,i8**%e3,align 8
%e4=load i8*,i8**%d,align 8
%e5=getelementptr inbounds i8,i8*%eZ,i64 8
%e6=bitcast i8*%e5 to i8**
store i8*%e4,i8**%e6,align 8
%e7=getelementptr inbounds i8,i8*%eZ,i64 16
%e8=bitcast i8*%e7 to i32*
store i32 3,i32*%e8,align 4
%e9=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%eZ)
store i8*%e9,i8**%e,align 8
%fa=call i8*@sml_alloc(i32 inreg 20)#0
%fb=getelementptr inbounds i8,i8*%fa,i64 -4
%fc=bitcast i8*%fb to i32*
store i32 1342177296,i32*%fc,align 4
%fd=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%fe=bitcast i8*%fa to i8**
store i8*%fd,i8**%fe,align 8
%ff=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%fg=getelementptr inbounds i8,i8*%fa,i64 8
%fh=bitcast i8*%fg to i8**
store i8*%ff,i8**%fh,align 8
%fi=getelementptr inbounds i8,i8*%fa,i64 16
%fj=bitcast i8*%fi to i32*
store i32 3,i32*%fj,align 4
%fk=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%fa)
store i8*%fk,i8**%c,align 8
%fl=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%fm=call fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_163(i8*inreg%fl)
store i8*%fm,i8**%b,align 8
%fn=call i8*@sml_alloc(i32 inreg 20)#0
%fo=getelementptr inbounds i8,i8*%fn,i64 -4
%fp=bitcast i8*%fo to i32*
store i32 1342177296,i32*%fp,align 4
%fq=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%fr=bitcast i8*%fn to i8**
store i8*%fq,i8**%fr,align 8
%fs=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%ft=getelementptr inbounds i8,i8*%fn,i64 8
%fu=bitcast i8*%ft to i8**
store i8*%fs,i8**%fu,align 8
%fv=getelementptr inbounds i8,i8*%fn,i64 16
%fw=bitcast i8*%fv to i32*
store i32 3,i32*%fw,align 4
%fx=call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%fn)
store i8*%fx,i8**%b,align 8
%fy=call i8*@sml_alloc(i32 inreg 20)#0
%fz=getelementptr inbounds i8,i8*%fy,i64 -4
%fA=bitcast i8*%fz to i32*
store i32 1342177296,i32*%fA,align 4
%fB=load i8*,i8**%c,align 8
%fC=bitcast i8*%fy to i8**
store i8*%fB,i8**%fC,align 8
%fD=load i8*,i8**%b,align 8
%fE=getelementptr inbounds i8,i8*%fy,i64 8
%fF=bitcast i8*%fE to i8**
store i8*%fD,i8**%fF,align 8
%fG=getelementptr inbounds i8,i8*%fy,i64 16
%fH=bitcast i8*%fG to i32*
store i32 3,i32*%fH,align 4
ret i8*%fy
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_231(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_163(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_233(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%l,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%i,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
store i8*%r,i8**%b,align 8
%s=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%o)
store i8*%s,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_235(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=bitcast i8*%j to i8**
%m=load i8*,i8**%l,align 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=getelementptr inbounds i8,i8*%m,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=getelementptr inbounds i8,i8*%j,i64 8
%t=bitcast i8*%s to i8**
%u=load i8*,i8**%t,align 8
store i8*%u,i8**%c,align 8
%v=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%r)
store i8*%v,i8**%d,align 8
%w=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%x=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%w)
store i8*%x,i8**%b,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**%d,align 8
store i8*null,i8**%d,align 8
%C=bitcast i8*%y to i8**
store i8*%B,i8**%C,align 8
%D=load i8*,i8**%b,align 8
store i8*null,i8**%b,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**%b,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**%c,align 8
%N=bitcast i8*%J to i8**
store i8*%M,i8**%N,align 8
%O=load i8*,i8**%b,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=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%J)
ret i8*%T
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_237(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_239(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=bitcast i8*%j to i8**
%m=load i8*,i8**%l,align 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=getelementptr inbounds i8,i8*%m,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=getelementptr inbounds i8,i8*%j,i64 8
%t=bitcast i8*%s to i8**
%u=load i8*,i8**%t,align 8
store i8*%u,i8**%c,align 8
%v=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%r)
store i8*%v,i8**%d,align 8
%w=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%x=getelementptr inbounds i8,i8*%w,i64 16
%y=bitcast i8*%x to i8*(i8*,i8*)**
%z=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%y,align 8
%A=bitcast i8*%w to i8**
%B=load i8*,i8**%A,align 8
%C=call fastcc i8*%z(i8*inreg%B,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*))
%D=getelementptr inbounds i8,i8*%C,i64 16
%E=bitcast i8*%D to i8*(i8*,i8*)**
%F=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%E,align 8
%G=bitcast i8*%C to i8**
%H=load i8*,i8**%G,align 8
%I=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%J=call fastcc i8*%F(i8*inreg%H,i8*inreg%I)
%K=getelementptr inbounds i8,i8*%J,i64 16
%L=bitcast i8*%K to i8*(i8*,i8*)**
%M=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%L,align 8
%N=bitcast i8*%J to i8**
%O=load i8*,i8**%N,align 8
%P=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%Q=call fastcc i8*%M(i8*inreg%O,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**%d,align 8
store i8*null,i8**%d,align 8
%V=bitcast i8*%R to i8**
store i8*%U,i8**%V,align 8
%W=load i8*,i8**%b,align 8
store i8*null,i8**%b,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
%aa=bitcast i8*%Z to i32*
store i32 3,i32*%aa,align 4
%ab=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%R)
store i8*%ab,i8**%b,align 8
%ac=call i8*@sml_alloc(i32 inreg 20)#0
%ad=getelementptr inbounds i8,i8*%ac,i64 -4
%ae=bitcast i8*%ad to i32*
store i32 1342177296,i32*%ae,align 4
%af=load i8*,i8**%c,align 8
%ag=bitcast i8*%ac to i8**
store i8*%af,i8**%ag,align 8
%ah=load i8*,i8**%b,align 8
%ai=getelementptr inbounds i8,i8*%ac,i64 8
%aj=bitcast i8*%ai to i8**
store i8*%ah,i8**%aj,align 8
%ak=getelementptr inbounds i8,i8*%ac,i64 16
%al=bitcast i8*%ak to i32*
store i32 3,i32*%al,align 4
%am=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%ac)
ret i8*%am
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_241(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=bitcast i8*%h to i32***
%k=load i32**,i32***%j,align 8
%l=load i32*,i32**%k,align 8
%m=getelementptr inbounds i8,i8*%h,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=load i32,i32*%l,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_243(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=bitcast i8*%h to i32***
%k=load i32**,i32***%j,align 8
%l=load i32*,i32**%k,align 8
%m=getelementptr inbounds i8,i8*%h,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=load i32,i32*%l,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_245(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_247(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=bitcast i8*%j to i8**
%m=load i8*,i8**%l,align 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=getelementptr inbounds i8,i8*%m,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=getelementptr inbounds i8,i8*%j,i64 8
%t=bitcast i8*%s to i8**
%u=load i8*,i8**%t,align 8
store i8*%u,i8**%c,align 8
%v=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%r)
store i8*%v,i8**%d,align 8
%w=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%x=getelementptr inbounds i8,i8*%w,i64 16
%y=bitcast i8*%x to i8*(i8*,i8*)**
%z=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%y,align 8
%A=bitcast i8*%w to i8**
%B=load i8*,i8**%A,align 8
%C=call fastcc i8*%z(i8*inreg%B,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*))
%D=getelementptr inbounds i8,i8*%C,i64 16
%E=bitcast i8*%D to i8*(i8*,i8*)**
%F=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%E,align 8
%G=bitcast i8*%C to i8**
%H=load i8*,i8**%G,align 8
%I=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%J=call fastcc i8*%F(i8*inreg%H,i8*inreg%I)
%K=getelementptr inbounds i8,i8*%J,i64 16
%L=bitcast i8*%K to i8*(i8*,i8*)**
%M=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%L,align 8
%N=bitcast i8*%J to i8**
%O=load i8*,i8**%N,align 8
%P=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%Q=call fastcc i8*%M(i8*inreg%O,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**%d,align 8
store i8*null,i8**%d,align 8
%V=bitcast i8*%R to i8**
store i8*%U,i8**%V,align 8
%W=load i8*,i8**%b,align 8
store i8*null,i8**%b,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
%aa=bitcast i8*%Z to i32*
store i32 3,i32*%aa,align 4
%ab=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%R)
store i8*%ab,i8**%b,align 8
%ac=call i8*@sml_alloc(i32 inreg 20)#0
%ad=getelementptr inbounds i8,i8*%ac,i64 -4
%ae=bitcast i8*%ad to i32*
store i32 1342177296,i32*%ae,align 4
%af=load i8*,i8**%c,align 8
%ag=bitcast i8*%ac to i8**
store i8*%af,i8**%ag,align 8
%ah=load i8*,i8**%b,align 8
%ai=getelementptr inbounds i8,i8*%ac,i64 8
%aj=bitcast i8*%ai to i8**
store i8*%ah,i8**%aj,align 8
%ak=getelementptr inbounds i8,i8*%ac,i64 16
%al=bitcast i8*%ak to i32*
store i32 3,i32*%al,align 4
%am=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%ac)
ret i8*%am
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_249(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_251(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=bitcast i8*%j to i8**
%m=load i8*,i8**%l,align 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=getelementptr inbounds i8,i8*%m,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=getelementptr inbounds i8,i8*%j,i64 8
%t=bitcast i8*%s to i8**
%u=load i8*,i8**%t,align 8
store i8*%u,i8**%c,align 8
%v=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%r)
store i8*%v,i8**%d,align 8
%w=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%x=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%w)
store i8*%x,i8**%b,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**%d,align 8
store i8*null,i8**%d,align 8
%C=bitcast i8*%y to i8**
store i8*%B,i8**%C,align 8
%D=load i8*,i8**%b,align 8
store i8*null,i8**%b,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**%b,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**%c,align 8
%N=bitcast i8*%J to i8**
store i8*%M,i8**%N,align 8
%O=load i8*,i8**%b,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=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%J)
ret i8*%T
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_253(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%l,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
%p=getelementptr inbounds i8,i8*%i,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
store i8*%r,i8**%b,align 8
%s=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%o)
store i8*%s,i8**%c,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*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_255(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_259(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]
%k=bitcast i8*%i to i8**
%l=load i8*,i8**%k,align 8
%m=getelementptr inbounds i8,i8*%i,i64 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_145(i8*inreg%l)
store i8*%p,i8**%c,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**%b,align 8
%u=bitcast i8*%q to i8**
store i8*%t,i8**%u,align 8
%v=load i8*,i8**%c,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*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_261(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=bitcast i8*%j to i8**
%m=load i8*,i8**%l,align 8
%n=bitcast i8*%m to i8**
%o=load i8*,i8**%n,align 8
store i8*%o,i8**%b,align 8
%p=getelementptr inbounds i8,i8*%m,i64 8
%q=bitcast i8*%p to i8**
%r=load i8*,i8**%q,align 8
%s=getelementptr inbounds i8,i8*%j,i64 8
%t=bitcast i8*%s to i8**
%u=load i8*,i8**%t,align 8
store i8*%u,i8**%c,align 8
%v=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%r)
store i8*%v,i8**%d,align 8
%w=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%x=getelementptr inbounds i8,i8*%w,i64 16
%y=bitcast i8*%x to i8*(i8*,i8*)**
%z=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%y,align 8
%A=bitcast i8*%w to i8**
%B=load i8*,i8**%A,align 8
%C=call fastcc i8*%z(i8*inreg%B,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*))
%D=getelementptr inbounds i8,i8*%C,i64 16
%E=bitcast i8*%D to i8*(i8*,i8*)**
%F=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%E,align 8
%G=bitcast i8*%C to i8**
%H=load i8*,i8**%G,align 8
%I=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%J=call fastcc i8*%F(i8*inreg%H,i8*inreg%I)
%K=getelementptr inbounds i8,i8*%J,i64 16
%L=bitcast i8*%K to i8*(i8*,i8*)**
%M=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%L,align 8
%N=bitcast i8*%J to i8**
%O=load i8*,i8**%N,align 8
%P=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%Q=call fastcc i8*%M(i8*inreg%O,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**%d,align 8
store i8*null,i8**%d,align 8
%V=bitcast i8*%R to i8**
store i8*%U,i8**%V,align 8
%W=load i8*,i8**%b,align 8
store i8*null,i8**%b,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
%aa=bitcast i8*%Z to i32*
store i32 3,i32*%aa,align 4
%ab=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%R)
store i8*%ab,i8**%b,align 8
%ac=call i8*@sml_alloc(i32 inreg 20)#0
%ad=getelementptr inbounds i8,i8*%ac,i64 -4
%ae=bitcast i8*%ad to i32*
store i32 1342177296,i32*%ae,align 4
%af=load i8*,i8**%c,align 8
%ag=bitcast i8*%ac to i8**
store i8*%af,i8**%ag,align 8
%ah=load i8*,i8**%b,align 8
%ai=getelementptr inbounds i8,i8*%ac,i64 8
%aj=bitcast i8*%ai to i8**
store i8*%ah,i8**%aj,align 8
%ak=getelementptr inbounds i8,i8*%ac,i64 16
%al=bitcast i8*%ak to i32*
store i32 3,i32*%al,align 4
%am=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%ac)
ret i8*%am
}
define fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%a)#2 gc"smlsharp"{
i:
%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
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
call void@llvm.gcroot(i8**%f,i8*null)#0
store i8*%a,i8**%b,align 8
br label%g
g:
%h=phi i8*[%a,%i],[%T,%S]
%j=load atomic i32,i32*@sml_check_flag unordered,align 4
%k=icmp eq i32%j,0
br i1%k,label%n,label%l
l:
call void@sml_check(i32 inreg%j)
%m=load i8*,i8**%b,align 8
br label%n
n:
%o=phi i8*[%m,%l],[%h,%g]
%p=icmp eq i8*%o,null
br i1%p,label%kn,label%q
q:
%r=bitcast i8*%o to i32*
%s=load i32,i32*%r,align 4
switch i32%s,label%t[
i32 12,label%kn
i32 5,label%kl
i32 36,label%kj
i32 40,label%kd
i32 17,label%kb
i32 18,label%j9
i32 2,label%j7
i32 4,label%j5
i32 15,label%j3
i32 13,label%j1
i32 16,label%jZ
i32 14,label%jX
i32 27,label%jV
i32 39,label%jQ
i32 24,label%jL
i32 0,label%i5
i32 1,label%ip
i32 26,label%gZ
i32 38,label%gS
i32 29,label%gs
i32 28,label%gn
i32 23,label%fR
i32 20,label%fr
i32 21,label%eL
i32 22,label%d5
i32 3,label%dg
i32 7,label%cK
i32 31,label%ce
i32 32,label%bR
i32 30,label%bP
i32 34,label%bI
i32 35,label%bi
i32 19,label%aN
i32 37,label%aG
i32 25,label%ai
i32 6,label%ad
i32 8,label%Y
i32 9,label%W
i32 10,label%U
i32 11,label%N
i32 33,label%L
]
t:
call void@sml_matchcomp_bug()
%u=load i8*,i8**@_SMLZ5Match,align 8
store i8*%u,i8**%b,align 8
%v=call i8*@sml_alloc(i32 inreg 20)#0
%w=getelementptr inbounds i8,i8*%v,i64 -4
%x=bitcast i8*%w to i32*
store i32 1342177296,i32*%x,align 4
store i8*%v,i8**%c,align 8
%y=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%z=bitcast i8*%v to i8**
store i8*%y,i8**%z,align 8
%A=getelementptr inbounds i8,i8*%v,i64 8
%B=bitcast i8*%A to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[78x i8]}>,<{[4x i8],i32,[78x i8]}>*@L,i64 0,i32 2,i64 0),i8**%B,align 8
%C=getelementptr inbounds i8,i8*%v,i64 16
%D=bitcast i8*%C to i32*
store i32 3,i32*%D,align 4
%E=call i8*@sml_alloc(i32 inreg 60)#0
%F=getelementptr inbounds i8,i8*%E,i64 -4
%G=bitcast i8*%F to i32*
store i32 1342177336,i32*%G,align 4
%H=getelementptr inbounds i8,i8*%E,i64 56
%I=bitcast i8*%H to i32*
store i32 1,i32*%I,align 4
%J=load i8*,i8**%c,align 8
%K=bitcast i8*%E to i8**
store i8*%J,i8**%K,align 8
call void@sml_raise(i8*inreg%E)#1
unreachable
L:
%M=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%M
N:
store i8*null,i8**%b,align 8
%O=getelementptr inbounds i8,i8*%o,i64 8
%P=bitcast i8*%O to i8***
%Q=load i8**,i8***%P,align 8
%R=load i8*,i8**%Q,align 8
store i8*%R,i8**%b,align 8
br label%S
S:
%T=phi i8*[%R,%N],[%ac,%Y],[%ah,%ad],[%aM,%aG],[%bh,%be],[%bO,%bI],[%gr,%gn],[%gY,%gS],[%jP,%jL],[%jU,%jQ]
br label%g
U:
%V=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%V
W:
%X=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%X
Y:
store i8*null,i8**%b,align 8
%Z=getelementptr inbounds i8,i8*%o,i64 8
%aa=bitcast i8*%Z to i8***
%ab=load i8**,i8***%aa,align 8
%ac=load i8*,i8**%ab,align 8
store i8*%ac,i8**%b,align 8
br label%S
ad:
store i8*null,i8**%b,align 8
%ae=getelementptr inbounds i8,i8*%o,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**%b,align 8
br label%S
ai:
%aj=getelementptr inbounds i8,i8*%o,i64 8
%ak=bitcast i8*%aj to i8**
%al=load i8*,i8**%ak,align 8
%am=getelementptr inbounds i8,i8*%al,i64 8
%an=bitcast i8*%am to i8**
%ao=load i8*,i8**%an,align 8
%ap=getelementptr inbounds i8,i8*%al,i64 16
%aq=bitcast i8*%ap to i8**
%ar=load i8*,i8**%aq,align 8
store i8*%ar,i8**%b,align 8
%as=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%ao)
store i8*%as,i8**%c,align 8
%at=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%au=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%at)
store i8*%au,i8**%b,align 8
%av=call i8*@sml_alloc(i32 inreg 20)#0
%aw=getelementptr inbounds i8,i8*%av,i64 -4
%ax=bitcast i8*%aw to i32*
store i32 1342177296,i32*%ax,align 4
%ay=load i8*,i8**%c,align 8
%az=bitcast i8*%av to i8**
store i8*%ay,i8**%az,align 8
%aA=load i8*,i8**%b,align 8
%aB=getelementptr inbounds i8,i8*%av,i64 8
%aC=bitcast i8*%aB to i8**
store i8*%aA,i8**%aC,align 8
%aD=getelementptr inbounds i8,i8*%av,i64 16
%aE=bitcast i8*%aD to i32*
store i32 3,i32*%aE,align 4
%aF=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%av)
ret i8*%aF
aG:
%aH=getelementptr inbounds i8,i8*%o,i64 8
%aI=bitcast i8*%aH to i8**
%aJ=load i8*,i8**%aI,align 8
%aK=getelementptr inbounds i8,i8*%aJ,i64 16
%aL=bitcast i8*%aK to i8**
%aM=load i8*,i8**%aL,align 8
store i8*%aM,i8**%b,align 8
br label%S
aN:
store i8*null,i8**%b,align 8
%aO=getelementptr inbounds i8,i8*%o,i64 8
%aP=bitcast i8*%aO to i8***
%aQ=load i8**,i8***%aP,align 8
%aR=load i8*,i8**%aQ,align 8
%aS=bitcast i8*%aR to i32*
%aT=load i32,i32*%aS,align 4
switch i32%aT,label%aU[
i32 1,label%be
i32 0,label%bc
]
aU:
call void@sml_matchcomp_bug()
%aV=load i8*,i8**@_SMLZ5Match,align 8
store i8*%aV,i8**%b,align 8
%aW=call i8*@sml_alloc(i32 inreg 20)#0
%aX=getelementptr inbounds i8,i8*%aW,i64 -4
%aY=bitcast i8*%aX to i32*
store i32 1342177296,i32*%aY,align 4
store i8*%aW,i8**%c,align 8
%aZ=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%a0=bitcast i8*%aW to i8**
store i8*%aZ,i8**%a0,align 8
%a1=getelementptr inbounds i8,i8*%aW,i64 8
%a2=bitcast i8*%a1 to i8**
store i8*getelementptr inbounds(<{[4x i8],i32,[80x i8]}>,<{[4x i8],i32,[80x i8]}>*@K,i64 0,i32 2,i64 0),i8**%a2,align 8
%a3=getelementptr inbounds i8,i8*%aW,i64 16
%a4=bitcast i8*%a3 to i32*
store i32 3,i32*%a4,align 4
%a5=call i8*@sml_alloc(i32 inreg 60)#0
%a6=getelementptr inbounds i8,i8*%a5,i64 -4
%a7=bitcast i8*%a6 to i32*
store i32 1342177336,i32*%a7,align 4
%a8=getelementptr inbounds i8,i8*%a5,i64 56
%a9=bitcast i8*%a8 to i32*
store i32 1,i32*%a9,align 4
%ba=load i8*,i8**%c,align 8
%bb=bitcast i8*%a5 to i8**
store i8*%ba,i8**%bb,align 8
call void@sml_raise(i8*inreg%a5)#1
unreachable
bc:
%bd=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%bd
be:
%bf=getelementptr inbounds i8,i8*%aR,i64 8
%bg=bitcast i8*%bf to i8**
%bh=load i8*,i8**%bg,align 8
store i8*%bh,i8**%b,align 8
br label%S
bi:
%bj=getelementptr inbounds i8,i8*%o,i64 8
%bk=bitcast i8*%bj to i8***
%bl=load i8**,i8***%bk,align 8
%bm=load i8*,i8**%bl,align 8
store i8*%bm,i8**%b,align 8
%bn=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%bo=getelementptr inbounds i8,i8*%bn,i64 16
%bp=bitcast i8*%bo to i8*(i8*,i8*)**
%bq=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bp,align 8
%br=bitcast i8*%bn to i8**
%bs=load i8*,i8**%br,align 8
%bt=call fastcc i8*%bq(i8*inreg%bs,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*))
%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**@_SMLZN5VarID3Set5emptyE,align 8
%bA=call fastcc i8*%bw(i8*inreg%by,i8*inreg%bz)
%bB=getelementptr inbounds i8,i8*%bA,i64 16
%bC=bitcast i8*%bB to i8*(i8*,i8*)**
%bD=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%bC,align 8
%bE=bitcast i8*%bA to i8**
%bF=load i8*,i8**%bE,align 8
%bG=load i8*,i8**%b,align 8
%bH=tail call fastcc i8*%bD(i8*inreg%bF,i8*inreg%bG)
ret i8*%bH
bI:
%bJ=getelementptr inbounds i8,i8*%o,i64 8
%bK=bitcast i8*%bJ to i8**
%bL=load i8*,i8**%bK,align 8
%bM=getelementptr inbounds i8,i8*%bL,i64 8
%bN=bitcast i8*%bM to i8**
%bO=load i8*,i8**%bN,align 8
store i8*%bO,i8**%b,align 8
br label%S
bP:
%bQ=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%bQ
bR:
%bS=getelementptr inbounds i8,i8*%o,i64 8
%bT=bitcast i8*%bS to i8**
%bU=load i8*,i8**%bT,align 8
%bV=bitcast i8*%bU to i8**
%bW=load i8*,i8**%bV,align 8
%bX=getelementptr inbounds i8,i8*%bU,i64 8
%bY=bitcast i8*%bX to i8**
%bZ=load i8*,i8**%bY,align 8
store i8*%bZ,i8**%b,align 8
%b0=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%bW)
store i8*%b0,i8**%c,align 8
%b1=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%b2=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%b1)
store i8*%b2,i8**%b,align 8
%b3=call i8*@sml_alloc(i32 inreg 20)#0
%b4=getelementptr inbounds i8,i8*%b3,i64 -4
%b5=bitcast i8*%b4 to i32*
store i32 1342177296,i32*%b5,align 4
%b6=load i8*,i8**%c,align 8
%b7=bitcast i8*%b3 to i8**
store i8*%b6,i8**%b7,align 8
%b8=load i8*,i8**%b,align 8
%b9=getelementptr inbounds i8,i8*%b3,i64 8
%ca=bitcast i8*%b9 to i8**
store i8*%b8,i8**%ca,align 8
%cb=getelementptr inbounds i8,i8*%b3,i64 16
%cc=bitcast i8*%cb to i32*
store i32 3,i32*%cc,align 4
%cd=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%b3)
ret i8*%cd
ce:
%cf=getelementptr inbounds i8,i8*%o,i64 8
%cg=bitcast i8*%cf to i8**
%ch=load i8*,i8**%cg,align 8
%ci=bitcast i8*%ch to i8**
%cj=load i8*,i8**%ci,align 8
store i8*%cj,i8**%b,align 8
%ck=getelementptr inbounds i8,i8*%ch,i64 8
%cl=bitcast i8*%ck to i8**
%cm=load i8*,i8**%cl,align 8
store i8*%cm,i8**%c,align 8
%cn=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%co=getelementptr inbounds i8,i8*%cn,i64 16
%cp=bitcast i8*%co to i8*(i8*,i8*)**
%cq=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cp,align 8
%cr=bitcast i8*%cn to i8**
%cs=load i8*,i8**%cr,align 8
%ct=call fastcc i8*%cq(i8*inreg%cs,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@I,i64 0,i32 2)to i8*))
%cu=getelementptr inbounds i8,i8*%ct,i64 16
%cv=bitcast i8*%cu to i8*(i8*,i8*)**
%cw=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cv,align 8
%cx=bitcast i8*%ct to i8**
%cy=load i8*,i8**%cx,align 8
store i8*%cy,i8**%d,align 8
%cz=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%cA=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%cz)
%cB=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%cC=call fastcc i8*%cw(i8*inreg%cB,i8*inreg%cA)
%cD=getelementptr inbounds i8,i8*%cC,i64 16
%cE=bitcast i8*%cD to i8*(i8*,i8*)**
%cF=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cE,align 8
%cG=bitcast i8*%cC to i8**
%cH=load i8*,i8**%cG,align 8
%cI=load i8*,i8**%c,align 8
%cJ=tail call fastcc i8*%cF(i8*inreg%cH,i8*inreg%cI)
ret i8*%cJ
cK:
%cL=getelementptr inbounds i8,i8*%o,i64 8
%cM=bitcast i8*%cL to i8**
%cN=load i8*,i8**%cM,align 8
%cO=bitcast i8*%cN to i8**
%cP=load i8*,i8**%cO,align 8
store i8*%cP,i8**%b,align 8
%cQ=getelementptr inbounds i8,i8*%cN,i64 8
%cR=bitcast i8*%cQ to i8**
%cS=load i8*,i8**%cR,align 8
store i8*%cS,i8**%c,align 8
%cT=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%cU=getelementptr inbounds i8,i8*%cT,i64 16
%cV=bitcast i8*%cU to i8*(i8*,i8*)**
%cW=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%cV,align 8
%cX=bitcast i8*%cT to i8**
%cY=load i8*,i8**%cX,align 8
%cZ=call fastcc i8*%cW(i8*inreg%cY,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@H,i64 0,i32 2)to i8*))
%c0=getelementptr inbounds i8,i8*%cZ,i64 16
%c1=bitcast i8*%c0 to i8*(i8*,i8*)**
%c2=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%c1,align 8
%c3=bitcast i8*%cZ to i8**
%c4=load i8*,i8**%c3,align 8
store i8*%c4,i8**%d,align 8
%c5=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%c6=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%c5)
%c7=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%c8=call fastcc i8*%c2(i8*inreg%c7,i8*inreg%c6)
%c9=getelementptr inbounds i8,i8*%c8,i64 16
%da=bitcast i8*%c9 to i8*(i8*,i8*)**
%db=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%da,align 8
%dc=bitcast i8*%c8 to i8**
%dd=load i8*,i8**%dc,align 8
%de=load i8*,i8**%c,align 8
%df=tail call fastcc i8*%db(i8*inreg%dd,i8*inreg%de)
ret i8*%df
dg:
%dh=getelementptr inbounds i8,i8*%o,i64 8
%di=bitcast i8*%dh to i8**
%dj=load i8*,i8**%di,align 8
%dk=bitcast i8*%dj to i8**
%dl=load i8*,i8**%dk,align 8
store i8*%dl,i8**%b,align 8
%dm=getelementptr inbounds i8,i8*%dj,i64 8
%dn=bitcast i8*%dm to i8**
%do=load i8*,i8**%dn,align 8
store i8*%do,i8**%c,align 8
%dp=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%dq=getelementptr inbounds i8,i8*%dp,i64 16
%dr=bitcast i8*%dq to i8*(i8*,i8*)**
%ds=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dr,align 8
%dt=bitcast i8*%dp to i8**
%du=load i8*,i8**%dt,align 8
%dv=call fastcc i8*%ds(i8*inreg%du,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*))
%dw=getelementptr inbounds i8,i8*%dv,i64 16
%dx=bitcast i8*%dw to i8*(i8*,i8*)**
%dy=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dx,align 8
%dz=bitcast i8*%dv to i8**
%dA=load i8*,i8**%dz,align 8
store i8*%dA,i8**%d,align 8
%dB=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%dC=getelementptr inbounds i8,i8*%dB,i64 16
%dD=bitcast i8*%dC to i8*(i8*,i8*)**
%dE=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dD,align 8
%dF=bitcast i8*%dB to i8**
%dG=load i8*,i8**%dF,align 8
%dH=call fastcc i8*%dE(i8*inreg%dG,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*))
%dI=getelementptr inbounds i8,i8*%dH,i64 16
%dJ=bitcast i8*%dI to i8*(i8*,i8*)**
%dK=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dJ,align 8
%dL=bitcast i8*%dH to i8**
%dM=load i8*,i8**%dL,align 8
%dN=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%dO=call fastcc i8*%dK(i8*inreg%dM,i8*inreg%dN)
%dP=getelementptr inbounds i8,i8*%dO,i64 16
%dQ=bitcast i8*%dP to i8*(i8*,i8*)**
%dR=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dQ,align 8
%dS=bitcast i8*%dO to i8**
%dT=load i8*,i8**%dS,align 8
%dU=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%dV=call fastcc i8*%dR(i8*inreg%dT,i8*inreg%dU)
%dW=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%dX=call fastcc i8*%dy(i8*inreg%dW,i8*inreg%dV)
%dY=getelementptr inbounds i8,i8*%dX,i64 16
%dZ=bitcast i8*%dY to i8*(i8*,i8*)**
%d0=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%dZ,align 8
%d1=bitcast i8*%dX to i8**
%d2=load i8*,i8**%d1,align 8
%d3=load i8*,i8**%c,align 8
%d4=tail call fastcc i8*%d0(i8*inreg%d2,i8*inreg%d3)
ret i8*%d4
d5:
%d6=getelementptr inbounds i8,i8*%o,i64 8
%d7=bitcast i8*%d6 to i8**
%d8=load i8*,i8**%d7,align 8
%d9=bitcast i8*%d8 to i8**
%ea=load i8*,i8**%d9,align 8
store i8*%ea,i8**%b,align 8
%eb=getelementptr inbounds i8,i8*%d8,i64 8
%ec=bitcast i8*%eb to i8**
%ed=load i8*,i8**%ec,align 8
%ee=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%ed)
store i8*%ee,i8**%c,align 8
%ef=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%eg=getelementptr inbounds i8,i8*%ef,i64 16
%eh=bitcast i8*%eg to i8*(i8*,i8*)**
%ei=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eh,align 8
%ej=bitcast i8*%ef to i8**
%ek=load i8*,i8**%ej,align 8
%el=call fastcc i8*%ei(i8*inreg%ek,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*))
%em=getelementptr inbounds i8,i8*%el,i64 16
%en=bitcast i8*%em to i8*(i8*,i8*)**
%eo=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%en,align 8
%ep=bitcast i8*%el to i8**
%eq=load i8*,i8**%ep,align 8
%er=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%es=call fastcc i8*%eo(i8*inreg%eq,i8*inreg%er)
%et=getelementptr inbounds i8,i8*%es,i64 16
%eu=bitcast i8*%et to i8*(i8*,i8*)**
%ev=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eu,align 8
%ew=bitcast i8*%es to i8**
%ex=load i8*,i8**%ew,align 8
%ey=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%ez=call fastcc i8*%ev(i8*inreg%ex,i8*inreg%ey)
store i8*%ez,i8**%b,align 8
%eA=call i8*@sml_alloc(i32 inreg 20)#0
%eB=getelementptr inbounds i8,i8*%eA,i64 -4
%eC=bitcast i8*%eB to i32*
store i32 1342177296,i32*%eC,align 4
%eD=load i8*,i8**%c,align 8
%eE=bitcast i8*%eA to i8**
store i8*%eD,i8**%eE,align 8
%eF=load i8*,i8**%b,align 8
%eG=getelementptr inbounds i8,i8*%eA,i64 8
%eH=bitcast i8*%eG to i8**
store i8*%eF,i8**%eH,align 8
%eI=getelementptr inbounds i8,i8*%eA,i64 16
%eJ=bitcast i8*%eI to i32*
store i32 3,i32*%eJ,align 4
%eK=tail call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%eA)
ret i8*%eK
eL:
%eM=getelementptr inbounds i8,i8*%o,i64 8
%eN=bitcast i8*%eM to i8**
%eO=load i8*,i8**%eN,align 8
%eP=bitcast i8*%eO to i8**
%eQ=load i8*,i8**%eP,align 8
store i8*%eQ,i8**%b,align 8
%eR=getelementptr inbounds i8,i8*%eO,i64 8
%eS=bitcast i8*%eR to i8**
%eT=load i8*,i8**%eS,align 8
%eU=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%eT)
store i8*%eU,i8**%c,align 8
%eV=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%eW=getelementptr inbounds i8,i8*%eV,i64 16
%eX=bitcast i8*%eW to i8*(i8*,i8*)**
%eY=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%eX,align 8
%eZ=bitcast i8*%eV to i8**
%e0=load i8*,i8**%eZ,align 8
%e1=call fastcc i8*%eY(i8*inreg%e0,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*))
%e2=getelementptr inbounds i8,i8*%e1,i64 16
%e3=bitcast i8*%e2 to i8*(i8*,i8*)**
%e4=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%e3,align 8
%e5=bitcast i8*%e1 to i8**
%e6=load i8*,i8**%e5,align 8
%e7=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%e8=call fastcc i8*%e4(i8*inreg%e6,i8*inreg%e7)
%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)
store i8*%ff,i8**%b,align 8
%fg=call i8*@sml_alloc(i32 inreg 20)#0
%fh=getelementptr inbounds i8,i8*%fg,i64 -4
%fi=bitcast i8*%fh to i32*
store i32 1342177296,i32*%fi,align 4
%fj=load i8*,i8**%c,align 8
%fk=bitcast i8*%fg to i8**
store i8*%fj,i8**%fk,align 8
%fl=load i8*,i8**%b,align 8
%fm=getelementptr inbounds i8,i8*%fg,i64 8
%fn=bitcast i8*%fm to i8**
store i8*%fl,i8**%fn,align 8
%fo=getelementptr inbounds i8,i8*%fg,i64 16
%fp=bitcast i8*%fo to i32*
store i32 3,i32*%fp,align 4
%fq=tail call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%fg)
ret i8*%fq
fr:
%fs=getelementptr inbounds i8,i8*%o,i64 8
%ft=bitcast i8*%fs to i8***
%fu=load i8**,i8***%ft,align 8
%fv=load i8*,i8**%fu,align 8
store i8*%fv,i8**%b,align 8
%fw=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%fx=getelementptr inbounds i8,i8*%fw,i64 16
%fy=bitcast i8*%fx to i8*(i8*,i8*)**
%fz=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fy,align 8
%fA=bitcast i8*%fw to i8**
%fB=load i8*,i8**%fA,align 8
%fC=call fastcc i8*%fz(i8*inreg%fB,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*))
%fD=getelementptr inbounds i8,i8*%fC,i64 16
%fE=bitcast i8*%fD to i8*(i8*,i8*)**
%fF=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fE,align 8
%fG=bitcast i8*%fC to i8**
%fH=load i8*,i8**%fG,align 8
%fI=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%fJ=call fastcc i8*%fF(i8*inreg%fH,i8*inreg%fI)
%fK=getelementptr inbounds i8,i8*%fJ,i64 16
%fL=bitcast i8*%fK to i8*(i8*,i8*)**
%fM=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%fL,align 8
%fN=bitcast i8*%fJ to i8**
%fO=load i8*,i8**%fN,align 8
%fP=load i8*,i8**%b,align 8
%fQ=tail call fastcc i8*%fM(i8*inreg%fO,i8*inreg%fP)
ret i8*%fQ
fR:
%fS=getelementptr inbounds i8,i8*%o,i64 8
%fT=bitcast i8*%fS to i8**
%fU=load i8*,i8**%fT,align 8
%fV=bitcast i8*%fU to i8**
%fW=load i8*,i8**%fV,align 8
store i8*%fW,i8**%b,align 8
%fX=getelementptr inbounds i8,i8*%fU,i64 8
%fY=bitcast i8*%fX to i8**
%fZ=load i8*,i8**%fY,align 8
store i8*%fZ,i8**%c,align 8
%f0=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%f1=getelementptr inbounds i8,i8*%f0,i64 16
%f2=bitcast i8*%f1 to i8*(i8*,i8*)**
%f3=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%f2,align 8
%f4=bitcast i8*%f0 to i8**
%f5=load i8*,i8**%f4,align 8
%f6=call fastcc i8*%f3(i8*inreg%f5,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*))
%f7=getelementptr inbounds i8,i8*%f6,i64 16
%f8=bitcast i8*%f7 to i8*(i8*,i8*)**
%f9=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%f8,align 8
%ga=bitcast i8*%f6 to i8**
%gb=load i8*,i8**%ga,align 8
store i8*%gb,i8**%d,align 8
%gc=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%gd=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%gc)
%ge=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%gf=call fastcc i8*%f9(i8*inreg%ge,i8*inreg%gd)
%gg=getelementptr inbounds i8,i8*%gf,i64 16
%gh=bitcast i8*%gg to i8*(i8*,i8*)**
%gi=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gh,align 8
%gj=bitcast i8*%gf to i8**
%gk=load i8*,i8**%gj,align 8
%gl=load i8*,i8**%c,align 8
%gm=tail call fastcc i8*%gi(i8*inreg%gk,i8*inreg%gl)
ret i8*%gm
gn:
store i8*null,i8**%b,align 8
%go=getelementptr inbounds i8,i8*%o,i64 8
%gp=bitcast i8*%go to i8***
%gq=load i8**,i8***%gp,align 8
%gr=load i8*,i8**%gq,align 8
store i8*%gr,i8**%b,align 8
br label%S
gs:
%gt=getelementptr inbounds i8,i8*%o,i64 8
%gu=bitcast i8*%gt to i8***
%gv=load i8**,i8***%gu,align 8
%gw=load i8*,i8**%gv,align 8
store i8*%gw,i8**%b,align 8
%gx=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%gy=getelementptr inbounds i8,i8*%gx,i64 16
%gz=bitcast i8*%gy to i8*(i8*,i8*)**
%gA=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gz,align 8
%gB=bitcast i8*%gx to i8**
%gC=load i8*,i8**%gB,align 8
%gD=call fastcc i8*%gA(i8*inreg%gC,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@y,i64 0,i32 2)to i8*))
%gE=getelementptr inbounds i8,i8*%gD,i64 16
%gF=bitcast i8*%gE to i8*(i8*,i8*)**
%gG=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gF,align 8
%gH=bitcast i8*%gD to i8**
%gI=load i8*,i8**%gH,align 8
%gJ=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%gK=call fastcc i8*%gG(i8*inreg%gI,i8*inreg%gJ)
%gL=getelementptr inbounds i8,i8*%gK,i64 16
%gM=bitcast i8*%gL to i8*(i8*,i8*)**
%gN=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%gM,align 8
%gO=bitcast i8*%gK to i8**
%gP=load i8*,i8**%gO,align 8
%gQ=load i8*,i8**%b,align 8
%gR=tail call fastcc i8*%gN(i8*inreg%gP,i8*inreg%gQ)
ret i8*%gR
gS:
%gT=getelementptr inbounds i8,i8*%o,i64 8
%gU=bitcast i8*%gT to i8**
%gV=load i8*,i8**%gU,align 8
%gW=getelementptr inbounds i8,i8*%gV,i64 8
%gX=bitcast i8*%gW to i8**
%gY=load i8*,i8**%gX,align 8
store i8*%gY,i8**%b,align 8
br label%S
gZ:
%g0=getelementptr inbounds i8,i8*%o,i64 8
%g1=bitcast i8*%g0 to i8**
%g2=load i8*,i8**%g1,align 8
%g3=bitcast i8*%g2 to i8**
%g4=load i8*,i8**%g3,align 8
store i8*%g4,i8**%b,align 8
%g5=getelementptr inbounds i8,i8*%g2,i64 8
%g6=bitcast i8*%g5 to i8**
%g7=load i8*,i8**%g6,align 8
store i8*%g7,i8**%c,align 8
%g8=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%g9=getelementptr inbounds i8,i8*%g8,i64 16
%ha=bitcast i8*%g9 to i8*(i8*,i8*)**
%hb=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ha,align 8
%hc=bitcast i8*%g8 to i8**
%hd=load i8*,i8**%hc,align 8
%he=call fastcc i8*%hb(i8*inreg%hd,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@w,i64 0,i32 2)to i8*))
%hf=getelementptr inbounds i8,i8*%he,i64 16
%hg=bitcast i8*%hf to i8*(i8*,i8*)**
%hh=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hg,align 8
%hi=bitcast i8*%he to i8**
%hj=load i8*,i8**%hi,align 8
store i8*%hj,i8**%f,align 8
%hk=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
store i8*%hk,i8**%d,align 8
store i8*%hk,i8**%e,align 8
%hl=call i8*@sml_alloc(i32 inreg 20)#0
%hm=getelementptr inbounds i8,i8*%hl,i64 -4
%hn=bitcast i8*%hm to i32*
store i32 1342177296,i32*%hn,align 4
%ho=load i8*,i8**%d,align 8
store i8*null,i8**%d,align 8
%hp=bitcast i8*%hl to i8**
store i8*%ho,i8**%hp,align 8
%hq=load i8*,i8**%e,align 8
store i8*null,i8**%e,align 8
%hr=getelementptr inbounds i8,i8*%hl,i64 8
%hs=bitcast i8*%hr to i8**
store i8*%hq,i8**%hs,align 8
%ht=getelementptr inbounds i8,i8*%hl,i64 16
%hu=bitcast i8*%ht to i32*
store i32 3,i32*%hu,align 4
%hv=load i8*,i8**%f,align 8
store i8*null,i8**%f,align 8
%hw=call fastcc i8*%hh(i8*inreg%hv,i8*inreg%hl)
%hx=getelementptr inbounds i8,i8*%hw,i64 16
%hy=bitcast i8*%hx to i8*(i8*,i8*)**
%hz=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hy,align 8
%hA=bitcast i8*%hw to i8**
%hB=load i8*,i8**%hA,align 8
%hC=load i8*,i8**%b,align 8
%hD=call fastcc i8*%hz(i8*inreg%hB,i8*inreg%hC)
%hE=bitcast i8*%hD to i8**
%hF=load i8*,i8**%hE,align 8
store i8*%hF,i8**%d,align 8
%hG=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%hH=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%hG)
store i8*%hH,i8**%c,align 8
%hI=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%hJ=getelementptr inbounds i8,i8*%hI,i64 16
%hK=bitcast i8*%hJ to i8*(i8*,i8*)**
%hL=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hK,align 8
%hM=bitcast i8*%hI to i8**
%hN=load i8*,i8**%hM,align 8
%hO=call fastcc i8*%hL(i8*inreg%hN,i8*inreg bitcast(i8**getelementptr inbounds(<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>,<{[4x i8],i32,i8*,void(...)*,void(...)*,i32}>*@x,i64 0,i32 2)to i8*))
%hP=getelementptr inbounds i8,i8*%hO,i64 16
%hQ=bitcast i8*%hP to i8*(i8*,i8*)**
%hR=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hQ,align 8
%hS=bitcast i8*%hO to i8**
%hT=load i8*,i8**%hS,align 8
%hU=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%hV=call fastcc i8*%hR(i8*inreg%hT,i8*inreg%hU)
%hW=getelementptr inbounds i8,i8*%hV,i64 16
%hX=bitcast i8*%hW to i8*(i8*,i8*)**
%hY=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%hX,align 8
%hZ=bitcast i8*%hV to i8**
%h0=load i8*,i8**%hZ,align 8
%h1=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%h2=call fastcc i8*%hY(i8*inreg%h0,i8*inreg%h1)
store i8*%h2,i8**%b,align 8
%h3=call i8*@sml_alloc(i32 inreg 20)#0
%h4=getelementptr inbounds i8,i8*%h3,i64 -4
%h5=bitcast i8*%h4 to i32*
store i32 1342177296,i32*%h5,align 4
%h6=load i8*,i8**%c,align 8
store i8*null,i8**%c,align 8
%h7=bitcast i8*%h3 to i8**
store i8*%h6,i8**%h7,align 8
%h8=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%h9=getelementptr inbounds i8,i8*%h3,i64 8
%ia=bitcast i8*%h9 to i8**
store i8*%h8,i8**%ia,align 8
%ib=getelementptr inbounds i8,i8*%h3,i64 16
%ic=bitcast i8*%ib to i32*
store i32 3,i32*%ic,align 4
%id=call fastcc i8*@_SMLFN5VarID3Set10differenceE(i8*inreg%h3)
store i8*%id,i8**%b,align 8
%ie=call i8*@sml_alloc(i32 inreg 20)#0
%if=getelementptr inbounds i8,i8*%ie,i64 -4
%ig=bitcast i8*%if to i32*
store i32 1342177296,i32*%ig,align 4
%ih=load i8*,i8**%d,align 8
%ii=bitcast i8*%ie to i8**
store i8*%ih,i8**%ii,align 8
%ij=load i8*,i8**%b,align 8
%ik=getelementptr inbounds i8,i8*%ie,i64 8
%il=bitcast i8*%ik to i8**
store i8*%ij,i8**%il,align 8
%im=getelementptr inbounds i8,i8*%ie,i64 16
%in=bitcast i8*%im to i32*
store i32 3,i32*%in,align 4
%io=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%ie)
ret i8*%io
ip:
%iq=getelementptr inbounds i8,i8*%o,i64 8
%ir=bitcast i8*%iq to i8**
%is=load i8*,i8**%ir,align 8
%it=bitcast i8*%is to i8**
%iu=load i8*,i8**%it,align 8
%iv=getelementptr inbounds i8,i8*%is,i64 8
%iw=bitcast i8*%iv to i8**
%ix=load i8*,i8**%iw,align 8
store i8*%ix,i8**%b,align 8
%iy=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%iu)
store i8*%iy,i8**%c,align 8
%iz=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%iA=getelementptr inbounds i8,i8*%iz,i64 16
%iB=bitcast i8*%iA to i8*(i8*,i8*)**
%iC=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%iB,align 8
%iD=bitcast i8*%iz to i8**
%iE=load i8*,i8**%iD,align 8
%iF=call fastcc i8*%iC(i8*inreg%iE,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*))
%iG=getelementptr inbounds i8,i8*%iF,i64 16
%iH=bitcast i8*%iG to i8*(i8*,i8*)**
%iI=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%iH,align 8
%iJ=bitcast i8*%iF to i8**
%iK=load i8*,i8**%iJ,align 8
%iL=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%iM=call fastcc i8*%iI(i8*inreg%iK,i8*inreg%iL)
%iN=getelementptr inbounds i8,i8*%iM,i64 16
%iO=bitcast i8*%iN to i8*(i8*,i8*)**
%iP=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%iO,align 8
%iQ=bitcast i8*%iM to i8**
%iR=load i8*,i8**%iQ,align 8
%iS=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%iT=call fastcc i8*%iP(i8*inreg%iR,i8*inreg%iS)
store i8*%iT,i8**%b,align 8
%iU=call i8*@sml_alloc(i32 inreg 20)#0
%iV=getelementptr inbounds i8,i8*%iU,i64 -4
%iW=bitcast i8*%iV to i32*
store i32 1342177296,i32*%iW,align 4
%iX=load i8*,i8**%c,align 8
%iY=bitcast i8*%iU to i8**
store i8*%iX,i8**%iY,align 8
%iZ=load i8*,i8**%b,align 8
%i0=getelementptr inbounds i8,i8*%iU,i64 8
%i1=bitcast i8*%i0 to i8**
store i8*%iZ,i8**%i1,align 8
%i2=getelementptr inbounds i8,i8*%iU,i64 16
%i3=bitcast i8*%i2 to i32*
store i32 3,i32*%i3,align 4
%i4=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%iU)
ret i8*%i4
i5:
%i6=getelementptr inbounds i8,i8*%o,i64 8
%i7=bitcast i8*%i6 to i8**
%i8=load i8*,i8**%i7,align 8
%i9=bitcast i8*%i8 to i8**
%ja=load i8*,i8**%i9,align 8
%jb=getelementptr inbounds i8,i8*%i8,i64 8
%jc=bitcast i8*%jb to i8**
%jd=load i8*,i8**%jc,align 8
store i8*%jd,i8**%b,align 8
%je=call fastcc i8*@_SMLFN12VALREC__Utils15getFreeIdsInExpE(i8*inreg%ja)
store i8*%je,i8**%c,align 8
%jf=call fastcc i8*@_SMLFN4List5foldlE(i32 inreg 1,i32 inreg 8,i32 inreg 1,i32 inreg 8)
%jg=getelementptr inbounds i8,i8*%jf,i64 16
%jh=bitcast i8*%jg to i8*(i8*,i8*)**
%ji=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%jh,align 8
%jj=bitcast i8*%jf to i8**
%jk=load i8*,i8**%jj,align 8
%jl=call fastcc i8*%ji(i8*inreg%jk,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*))
%jm=getelementptr inbounds i8,i8*%jl,i64 16
%jn=bitcast i8*%jm to i8*(i8*,i8*)**
%jo=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%jn,align 8
%jp=bitcast i8*%jl to i8**
%jq=load i8*,i8**%jp,align 8
%jr=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
%js=call fastcc i8*%jo(i8*inreg%jq,i8*inreg%jr)
%jt=getelementptr inbounds i8,i8*%js,i64 16
%ju=bitcast i8*%jt to i8*(i8*,i8*)**
%jv=load i8*(i8*,i8*)*,i8*(i8*,i8*)**%ju,align 8
%jw=bitcast i8*%js to i8**
%jx=load i8*,i8**%jw,align 8
%jy=load i8*,i8**%b,align 8
store i8*null,i8**%b,align 8
%jz=call fastcc i8*%jv(i8*inreg%jx,i8*inreg%jy)
store i8*%jz,i8**%b,align 8
%jA=call i8*@sml_alloc(i32 inreg 20)#0
%jB=getelementptr inbounds i8,i8*%jA,i64 -4
%jC=bitcast i8*%jB to i32*
store i32 1342177296,i32*%jC,align 4
%jD=load i8*,i8**%c,align 8
%jE=bitcast i8*%jA to i8**
store i8*%jD,i8**%jE,align 8
%jF=load i8*,i8**%b,align 8
%jG=getelementptr inbounds i8,i8*%jA,i64 8
%jH=bitcast i8*%jG to i8**
store i8*%jF,i8**%jH,align 8
%jI=getelementptr inbounds i8,i8*%jA,i64 16
%jJ=bitcast i8*%jI to i32*
store i32 3,i32*%jJ,align 4
%jK=tail call fastcc i8*@_SMLFN5VarID3Set5unionE(i8*inreg%jA)
ret i8*%jK
jL:
store i8*null,i8**%b,align 8
%jM=getelementptr inbounds i8,i8*%o,i64 8
%jN=bitcast i8*%jM to i8***
%jO=load i8**,i8***%jN,align 8
%jP=load i8*,i8**%jO,align 8
store i8*%jP,i8**%b,align 8
br label%S
jQ:
store i8*null,i8**%b,align 8
%jR=getelementptr inbounds i8,i8*%o,i64 8
%jS=bitcast i8*%jR to i8***
%jT=load i8**,i8***%jS,align 8
%jU=load i8*,i8**%jT,align 8
store i8*%jU,i8**%b,align 8
br label%S
jV:
%jW=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jW
jX:
%jY=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%jY
jZ:
%j0=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%j0
j1:
%j2=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%j2
j3:
%j4=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%j4
j5:
%j6=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%j6
j7:
%j8=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%j8
j9:
%ka=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%ka
kb:
%kc=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%kc
kd:
%ke=getelementptr inbounds i8,i8*%o,i64 8
%kf=bitcast i8*%ke to i32**
%kg=load i32*,i32**%kf,align 8
%kh=load i32,i32*%kg,align 4
%ki=tail call fastcc i8*@_SMLFN5VarID3Set9singletonE(i32 inreg%kh)
ret i8*%ki
kj:
%kk=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%kk
kl:
%km=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%km
kn:
%ko=load i8*,i8**@_SMLZN5VarID3Set5emptyE,align 8
ret i8*%ko
}
define fastcc i8*@_SMLFN12VALREC__Utils16getFreeIdsInRuleE(i8*inreg%a)#2 gc"smlsharp"{
%b=alloca i8*,align 8
call void@llvm.gcroot(i8**%b,i8*null)#0
store i8*%a,i8**%b,align 8
%c=load atomic i32,i32*@sml_check_flag unordered,align 4
%d=icmp eq i32%c,0
br i1%d,label%f,label%e
e:
call void@sml_check(i32 inreg%c)
br label%f
f:
%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}>*@N,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*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_263(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInPatE_149(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_265(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_152(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_266(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_154(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_267(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_158(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_268(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils17getBoundIdsInDeclE_160(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_270(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_208(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_271(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_210(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_272(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_212(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLL9boundList_273(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLL9boundList_214(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLL8freeList_274(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLL8freeList_216(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_275(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_220(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_276(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_222(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_277(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_224(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_278(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_226(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_279(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_229(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_280(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_231(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_281(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_233(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_282(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_235(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_283(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_237(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_284(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_239(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_285(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_241(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_286(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_243(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_287(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_245(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_288(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_247(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_289(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_249(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_290(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_251(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_291(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_253(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_292(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_255(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_293(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_259(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_294(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_261(i8*inreg%b)
ret i8*%c
}
define internal fastcc i8*@_SMLLLN12VALREC__Utils15getFreeIdsInExpE_295(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*@_SMLLLN12VALREC__Utils16getFreeIdsInRuleE_296(i8*inreg%a,i8*inreg%b)#2 gc"smlsharp"{
%c=tail call fastcc i8*@_SMLFN12VALREC__Utils16getFreeIdsInRuleE(i8*inreg%b)
ret i8*%c
}
attributes#0={nounwind}
attributes#1={noreturn}
attributes#2={uwtable}
attributes#3={noreturn nounwind}
