machine-code/compiler/codegenLib.sml

430          val rest2 = compile t2
432          val (rest1,rest2,rest3) = shared_tail rest1 rest2
433          val (rest1,rest2,rest3) =
435            then (rest1 @ rest3, rest2 @ rest3,[]) else (rest1, rest2, rest3)
437               [ASM_COMPARE tm, ASM_BRANCH (SOME "true",label1)] @ rest2 @ [ASM_LABEL label1] @ rest3
438             else if rest2 = [] then
441               [ASM_COMPARE tm, ASM_BRANCH (SOME "true",top_label)] @ rest2 @ rest3
442             else if rest2 = [ASM_BRANCH (NONE,top_label)] then
445               [ASM_COMPARE tm, ASM_BRANCH (SOME "false",label1)] @ rest1 @ [ASM_LABEL label1] @ rest2 @ rest3
446             else if last rest2 = ASM_BRANCH (NONE,top_label) then
447               [ASM_COMPARE tm, ASM_BRANCH (SOME "true",label1)] @ rest2 @ [ASM_LABEL label1] @ rest1 @ rest3
449               if length rest2 < length rest1 then
450                 [ASM_COMPARE tm, ASM_BRANCH (SOME "true",label1)] @ rest2 @ [ASM_BRANCH (NONE,label2)] @
454                 [ASM_LABEL label1] @ rest2 @ [ASM_LABEL label2] @ rest3