aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2011-12-07 * interp/compiler.boot (compReduce1): Tidy.dos-reis6-10/+22
* interp/define.boot (compDefineCategory2): Likewise. * interp/nruncomp.boot (buildFunctor): Likewise. * interp/slam.boot (compileRecurrenceRelation): Likewise. * interp/lisp-backend.boot (expandSeq): Use PROGN in absence of EXIT.
2011-12-06 * interp/compiler.boot (setqMultipleExplicit): Introduceddos-reis2-10/+14
temporary variables are local to the assignment.
2011-12-06 * interp/compiler.boot (compResolveCall): Update description.dos-reis2-47/+73
(compRetractGuard): Tidy. (compRecoverDomain): Likewise. (compRecoverGuard): Likewise. (compAlternativeGuard): Likewise. (compMatchAlternative): Likewise. (compMatch): Likewise.
2011-12-05 * interp/g-util.boot (splitAssignments): Rework.dos-reis3-5/+18
(spliceSeqArgs): Tidy. * algebra/gdpoly.spad.pamphlet (GeneralDistributedMultivariatePolynomial): Fix thinko.
2011-12-05 * interp/g-opt.boot (changeVariableDefinitionToStore): Separatelydos-reis3-5/+20
handle %bind and LET forms. * interp/g-util.boot (spliceSeqArgs): Recurse into %seq forms.
2011-12-04 * interp/compiler.boot (freeVarUsage): Handle %bind and LET.dos-reis2-2/+17
2011-12-04 * interp/g-util.boot (splitAssignments): New.dos-reis2-0/+16
(spliceSeqArgs): Use it.
2011-12-04 * interp/lisp-backend.boot (hasNoExit?): New.dos-reis2-2/+25
(expandSeq): Likewise. Use it. Expand %seq forms.
2011-12-03 * interp/compiler.boot: Use %seq in lieu of PROGN.dos-reis4-10/+32
* interp/g-util.boot (spliceSeqArgs): New. * interp/g-opt.boot (changeVariableDefinitionToStore): Call it before recursing on %seq forms.
2011-12-03 * config/var-def.mk (CXX): Define as substituted.dos-reis4-11/+19
(LD): Likewise.
2011-12-03 * interp/compiler.boot (setqMultiple): Handle lhs and rhs of typedos-reis5-12/+32
Cross instance. * interp/g-util.boot ($DomainNames): Include Cross. * interp/cattable.boot (genCategoryTable): Do not eval Cross. It is bogus to prepopulate the table with builtin functors anyway. * algebra/triset.spad.pamphlet (PolynomialSetUtilitiesPackage)[removeRedundantFactors]: Do not define `c' and `d' in conditional. Make the initializer conditional.
2011-12-03 * interp/nruncomp.boot (washFunctorBody) [clean]: Clean %whendos-reis2-0/+9
forms too.
2011-12-03 * interp/compiler.boot: Replace %labelled with %scope.dos-reis5-17/+24
* interp/define.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/g-util.boot: Likewise. Rename mkLabelled to mkScope.
2011-12-03 * interp/g-opt.boot (groupVariableDefinitions): Simplify a bit.dos-reis2-20/+20
(optimizeFunctionDef): Likewise. Change %LET to %store before simplification. (simplifyVMForm): Do not call changeVariableDefinitionToStore.
2011-12-03 * interp/g-util.boot (hasNoLeave?): Move from g-opt.boot.dos-reis4-23/+46
(mkLabelled): New. (mkBind): Likewise. * interp/g-opt.boot (groupVariableDefinitions): Use them. * algebra/aggcat.spad.pamphlet (ListAggregate) [merge!]: Declare local variables `r' and `s' before assigning to them.
2011-12-02 * interp/g-opt.boot (iteratorName): New.dos-reis2-6/+62
(changeLoopVarDefsToStore): Likewise. (changeVariableDefinitionToStore): Use it. Tidy. (groupVariableDefinitions): Tidy.
2011-12-02 * interp/buildom.boot (seteltRecordFun): Change EXIT to %exit.dos-reis6-15/+25
* interp/clam.boot (compHash):Likewise. * interp/g-opt.boot (changeVariableDefinitionToStore): Likewise. (jumpToToplevel?): Likewise. (groupVariableDefinitions): Likewise. (changeLeaveToExit): Likewise. (optLabelled): Likewise. (optSeq): Likewise. * interp/lisp-backend.boot: Translate %exit to EXIT.
2011-12-02 * interp/buildom.boot (setelt): Change SEQ to %seq.dos-reis7-26/+42
* interp/clam.boot (compHash): Likewise. * interp/compiler.boot (freeVarUsage): Likewise. (canReturn): Likewise. * interp/i-special.boot (compileIs): Likewise. * interp/g-opt.boot (changeVariableDefinitionToStore): Likewise. (jumpToToplevel?): Likewise. (groupVariableDefinitions): Likewise. (changeLeaveToExit): Likewise. (optLabelled): Likewise. (optSeq): Rename from optSEQ. Adjust callers. * interp/lisp-backend.boot: Translate %seq to SEQ.
2011-12-02 Fix SF/3448433dos-reis2-1/+6
* interp/br-util.boot (bcPred): Do not compare pred against a string.
2011-12-02 * interp/g-opt.boot (modified?): Examine the rhs too.dos-reis2-1/+6
2011-12-02 * interp/g-opt.boot (changeVariableDefinitionToStore): Handle SEQdos-reis3-4/+21
forms too. (groupVariableDefinitions): Handle %bind and %loop forms. * interp/lisp-backend.boot (expandLoop): Special code for case where there is explicit exit condition, for better pretty-printing.
2011-12-01 * interp/g-opt.boot (groupVariableDefinitions): Look throughdos-reis2-4/+17
%labelled and %lambda. (optimizeFunctionDef): Use copyTree, not COPY. Simplify. (simplifyVMForm): Perform changeVariableDefinitionToStore and groupVariableDefinitions on abstraction forms.
2011-12-01 * interp/define.boot (compDefineCategory): Lose prefix parameter.dos-reis3-34/+42
It is always nil. Adjust caller. (compDefineCategory1): Likewise. (compDefineCategory2): Likewise. (compDefineFunctor): Likewise. (compDefineFunctor1): Likewise. Bind it to nil. * interp/lisplib.boot (compDefineLisplib): Likewise.
2011-12-01 * interp/compiler.boot (compSeq1): Generate %labelled forms.dos-reis4-69/+90
(coerceExit): Likewise. (compRepeatOrCollect): Likewise. (replaceExitEtc): Tidy. (canReturn): Likewise. (compIterate): Generate %lave form. (nullifyTargetingLeaves): Move out of massageLoop. (massageLoop): Adjust. * interp/define.boot (compDefineCapsuleFunction): Generate %labelled form for the body. * interp/g-opt.boot: Now handle %labelled and %leave forms. (optLabelled): Rename from optCatch.
2011-12-01 * interp/buildom.boot (UnionEqual): Use %lambda, not %lam.dos-reis4-5/+17
(coerceUn2E): Likewise. * interp/compiler.boot (massageLoop): %leave now takes a label as first argument. * interp/lisp-backend.boot (expandLeave): New. Expand accordingly.
2011-11-30 * interp/define.boot (registerInlinableDomain): Lose last argument.dos-reis5-47/+66
Recursively nominate constructor argument for inlining. Adjust callers. * interp/c-util.boot: Tidy. * algebra/Makefile.in: Tidy.
2011-11-30 * interp/c-util.boot (clearReplacement): Clear redex replacement.dos-reis3-16/+30
(registerRedexForm): New. (redexForm): Likewise. (inlineDirectCall): Inline functions with known redex forms. (foldExportedFunctionReferences): Compute redex forms. (backendCompileILAM): Remove as unused. (backendCompile2): Adjust. (massageBackendCode): Likeiwse. * interp/define.boot (compDefineCapsuleFunction): Clear replacement info.
2011-11-29 * boot/tokens.boot (absKind, absParms, absBody): New selectors.dos-reis9-16/+29
* interp/compiler.boot (canReturn): Handle %lambda forms. (compUnnamedMapping): Generate %lambda forms. Don't optimize them yet. * interp/g-opt.boot: %lambda forms are side-effect free. * interp/lisp-backend.boot: Translate them.
2011-11-29 * interp/g-opt.boot (isSimpleForm): Remove as unused.dos-reis2-32/+36
(floatableVMForm?): New. (modified?): Rename form varIsAssigned. (canInlineVarDefinition): Tidy. Allow intermediate temporaries initialized from variables to be inlined if not modified. (optBind): Tidy.
2011-11-28 * interp/nruncomp.boot (genDeltaEntry): Use $ for the domain ofdos-reis2-0/+7
computation it if is the expanded form of the current domain.
2011-11-28 * interp/c-util.boot (inlineDirectCall): Inline a non-side effectdos-reis3-1/+10
free argument in a unary pure function call if it is used exactly once. * algebra/integer.spad.pamphlet (Integer) [reducedSystem]: Fix typo.
2011-11-28 * interp/define.boot (encodeCatform): Handle $ here.dos-reis3-6/+13
* interp/nruncomp.boot (deltaTran): assocIndex now handles $. (getLocalIndex): Likewise. (NRTencode): Handle $ before calling assocIndex. (assocIndex): Handle $.
2011-11-28 * interp/nruncomp.boot (genDeltaEntry): Replace Rep with its valuedos-reis2-0/+7
if it is the domain of computation.
2011-11-28 * interp/database.boot (dbDefaultPackage?): New.dos-reis4-36/+53
* interp/define.boot (compDefine1): Avoid encodeItem when symbolName is meant. (mkRepititionAssoc): Move from functor.boot (encodeItem): Likewise. (getCaps): Likewise. Tidy. (encodeFunctionName): Likewise.
2011-11-27 * interp/define.boot (assignCapsuleFunctionSlot): Slot originaldos-reis4-37/+29
signature too. * interp/nruncomp.boot (genDeltaEntry): Likewise. (getLocalIndex): Tidy. (changeDirectoryInSlot1): Tidy. (vectorLocation): Add a kind of operation as fourth argument. Adjust caller. Do not reconstruct the signature. (NRTsubstDelta): Remove as no longer used.
2011-11-27 * interp/nruncomp.boot (assocIndex): Rename from NRTassocIndex.dos-reis4-16/+21
Adjust callers.
2011-11-26 * interp/define.boot (assignCapsuleFunctionSlot): Do not calldos-reis3-17/+21
NRTisExported?. Determine operation kind locally. Do not store implement slot on the used entity list. * interp/nruncomp.boot (genDeltaEntry): Likewise. (deltaTran): Simplify. (NRTisExported?): Remove. (vectorLocation): Adjust.
2011-11-26 * algebra/indexedp.spad.pamphlet: Avoid direct use or RPLACD.dos-reis6-8/+36
* algebra/poly.spad.pamphlet: Likewise. * interp/define.boot (spadCompileOrSetq): Tidy replacement info. * interp/i-output.boot ($BinaryOperators): New. (binaryInfix?): Tidy.
2011-11-26 * interp/nruncomp.boot (genDeltaEntry): Split first argument intodos-reis3-19/+23
separate arguments (operation and modemap). Adjust callers.
2011-11-26 * interp/c-util.boot (updateCapsuleDirectory): Simplify.dos-reis4-15/+15
* interp/define.boot (compDefineCapsuleFunction): Call it from here. * interp/functor.boot (DescendCode): Not here.
2011-11-26 * interp/define.boot ($NRTdeltaList): Remove.dos-reis3-43/+49
($NRTdeltaListComp): Likeewise. (compDefineFunctor1): Do not bind them. (assignCapsuleFunctionSlot): Use dbUsedEntities. * interp/nruncomp.boot (NRTaddDeltaCode): Likewise. (dbEntitySlot): New. (NRTassocIndex): Use it. (genDeltaEntry): Use dbUsedEntities. (getLocalIndex): Likewise. (vectorLocation): Likewise. (NRTsubstDelta): Likewise.
2011-11-26 * interp/br-con.boot (conOpPage1): Fix typo.dos-reis6-119/+159
* interp/c-util.boot (registerConstructor): New. (currentConstructor): Likewise. (makeCompilationData): Initialize dbEntityBuffer. (dbEntityBuffer): New. (dbUsedEntities): Likewise. (dbEntityCount): Likewise. * interp/compiler.boot: Adjust call to getLocalIndex, NRTassocIndex * interp/define.boot: Likewise. ($NRTdeltaLength): Remove. * interp/nruncomp.boot: Likewise.
2011-11-25 * interp/define.boot (processDefinitionParameters): New. Abstractdos-reis2-18/+22
from compDefineCapsuleFunction. (compDefineCapsuleFunction): Use it. Tidy.
2011-11-25 * interp/define.boot: Rearrange order of some definitions.dos-reis2-32/+43
(getArgumentMode): Tidy. (hasSigInTargetCategory): Likewise. (refineDefinitionSignature): New. Abstract from compDefineCapsuleFunction. (compDefineCapsuleFunction): Use it. Tidy.
2011-11-25 * interp/define.boot: Rearrange order of some definitions.dos-reis2-91/+93
2011-11-25 * interp/define.boot ($suffix): Remove toplevel declaration.dos-reis2-42/+44
(localOperation?): New. (compDefineCapsuleFunction): Increment $suffix. Check for local and exported function definition here. (compile): Move capsule-local function processing out.
2011-11-24 * interp/define.boot: Tidy.dos-reis7-8/+17
* interp/functor.boot: Likewise. * interp/g-util.boot: Likewise. * interp/slam.boot: Likewise. * interp/topics.boot: Likewise. * interp/trace.boot: Likewise.
2011-11-24 * interp/nruncomp.boot (changeDirectoryInSlot1,sigloc): Add firstdos-reis2-12/+20
parameter as a DB. Adjust caller. (NRTsubstDelta): Tidy.
2011-11-24 * interp/functor.boot (findOperatorImplementations): Rename fromdos-reis2-16/+13
LookUpSigSlots. Tidy. Adjust caller. (makeMissingFunctionEntry): Remove as unused.
2011-11-24 * interp/define.boot ($CheckVectorList): Remove.dos-reis4-55/+14
(compDefineFunctor1): Do not bind it. (reportOnFunctorCompilation): Do not call displayMissingFunctions. (displayMissingFunctions): Remove as useless. * interp/functor.boot (SetFunctionSlots): Do not set slot in the first vector of $catvecList. * interp/nruncomp.boot (buildFunctor): Remove makeCatvecCode, emptyVector, domainShell. Do not call NRTcheckVector. (NRTcheckVector): Remove as useless.