Lines Matching defs:rest2
329 val rest2 = compile t2
331 val (rest1,rest2,rest3) = shared_tail rest1 rest2
332 val (rest1,rest2,rest3) =
334 then (rest1 @ rest3, rest2 @ rest3,[]) else (rest1, rest2, rest3)
336 [ASM_COMPARE tm, ASM_BRANCH (SOME "true",label1)] @ rest2 @ [ASM_LABEL label1] @ rest3
337 else if rest2 = [] then
340 [ASM_COMPARE tm, ASM_BRANCH (SOME "true",top_label)] @ rest2 @ rest3
341 else if rest2 = [ASM_BRANCH (NONE,top_label)] then
344 [ASM_COMPARE tm, ASM_BRANCH (SOME "false",label1)] @ rest1 @ [ASM_LABEL label1] @ rest2 @ rest3
345 else if last rest2 = ASM_BRANCH (NONE,top_label) then
346 [ASM_COMPARE tm, ASM_BRANCH (SOME "true",label1)] @ rest2 @ [ASM_LABEL label1] @ rest1 @ rest3
348 if length rest2 < length rest1 then
349 [ASM_COMPARE tm, ASM_BRANCH (SOME "true",label1)] @ rest2 @ [ASM_BRANCH (NONE,label2)] @
353 [ASM_LABEL label1] @ rest2 @ [ASM_LABEL label2] @ rest3