Lines Matching defs:arg1
62 val arg1 = mkLoadArgument 0 (* Used frequently. *)
187 [arg1]),
234 | (FunctionType{arg=arg1, result=result1}, FunctionType{arg=arg2, result=result2}) =>
235 sameType(arg1, arg2) andalso sameType(result1, result2)
514 [arg1]),
524 [arg1]),
535 val entryCode = mkEval(printCode(typeof, localLevel), [arg1])
553 val valToPrint = mkInd(0, arg1) and depthCode = mkInd(1, arg1)
711 mkEval(compareElements, [mkInd(n, arg1), mkInd(n, arg2)]),
806 mkIf(mkIf(isShort, CodeFalse, matches arg1), matches arg2, processConstrs rest)
831 mkIf(matches arg1, mkCand(matches arg2, eqValue), processConstrs rest)
840 val eqCode = mkCor(mkEqualWord(arg1, arg2), processConstrs vConstrs)
855 mkEval(mkLoad(addr+1, nnLevel, baseEqLevel), [arg1, arg2] @ polyArgs), 2, "eq-" ^ tcName tyConstr ^ "(2)",
876 val argCode = mkInd(0, arg1)
877 and depthCode = mkInd(1, arg1)
1272 mkInlproc(mkEval(resultCode, [mkInd(0, arg1), mkInd(1, arg1)]),