Goto Chapter: Top 1 2 3 Ind

[Top of Book] [Contents] [Next Chapter]

CompilerForCAP

Speed up and verify categorical algorithms

2024.04-01

4 April 2024

Fabian Zickgraf
Email: fabian.zickgraf@uni-siegen.de
Homepage: https://github.com/zickgraf/
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Contents

1 Using the compiler

1.1 Terminology

1.2 Capabilities of the compiler

1.3 Requirements

1.4 Precompiling categories

1.4-1 CapJitPrecompileCategory
1.4-2 CapJitPrecompileCategoryAndCompareResult

1.5 Compiling a function manually

  1.5-1 CapJitCompiledCAPOperationAsEnhancedSyntaxTree
  1.5-2 CapJitCompiledFunction
  1.5-3 CapJitCompiledFunctionAsEnhancedSyntaxTree

1.6 Giving hints to the compiler

1.7 Stopping the compiler at a certain level

  1.7-1 StopCompilationAtCategory
  1.7-2 ContinueCompilationAtCategory
  1.7-3 StopCompilationAtPrimitivelyInstalledOperationsOfCategory
  1.7-4 ContinueCompilationAtPrimitivelyInstalledOperationsOfCategory

1.8 Disabling the automatic inference of data types

1.8-1 CapJitDisableDataTypeInference

1.9 Compiling step-by-step

1.9-1 CapJitEnableStepByStepCompilation

1.10 Proof assistant mode

  1.10-1 CapJitEnableProofAssistantMode
  1.10-2 StateLemma
  1.10-3 PrintLemma
  1.10-4 AttestValidInputs
  1.10-5 ApplyLogicTemplate
  1.10-6 ApplyLogicTemplateNTimes
  1.10-7 AssertLemma
  1.10-8 StateProposition
  1.10-9 StateNextLemma
  1.10-10 AssertProposition

1.11 Getting information about the compilation process

1.11-1 InfoCapJit
1.11-2 CapJitSetDebugLevel

2 Improving and extending the compiler

2.1-1 CapJitAddLogicFunction
2.1-2 CapJitAddLogicTemplate

2.2 Enhanced syntax trees

2.2-1 ENHANCED_SYNTAX_TREE
2.2-2 ENHANCED_SYNTAX_TREE_CODE

2.3 Iterating over a syntax tree

2.3-1 CapJitIterateOverTree
2.3-2 CapJitIterateOverTreeWithCachedBindingResults

  2.4-1 CapJitPrettyPrintSyntaxTree
  2.4-2 CapJitIsCallToGlobalFunction
  2.4-3 CapJitResultFuncCombineChildren
  2.4-4 CapJitContainsRefToFVAROutsideOfFuncStack
  2.4-5 CapJitGetOrCreateGlobalVariable
  2.4-6 CapJitFindNodeDeep
  2.4-7 CapJitFindNodes
  2.4-8 CapJitGetNodeByPath
  2.4-9 CapJitRemovedReturnFail
  2.4-10 CapJitPrettyPrintFunction
  2.4-11 CapJitCopyWithNewFunctionIDs
  2.4-12 CapJitIsEqualForEnhancedSyntaxTrees
  2.4-13 CapJitAddBinding
  2.4-14 CapJitValueOfBinding
  2.4-15 CapJitUnbindBinding
  2.4-16 CapJitReplacedEXPR_REF_FVARByValue
  2.4-17 CapJitGetNextUnusedVariableID
  2.4-18 CapJitDataTypeIsNestedListOfSimpleLiterals
  2.4-19 PrintWithCurrentlyCompiledFunctionLocation
  2.4-20 DisplayWithCurrentlyCompiledFunctionLocation
  2.4-21 ErrorWithCurrentlyCompiledFunctionLocation
  2.4-22 EvalStringStrict
  2.4-23 ConcatenationOfStringsAsEnumerationWithAnd

2.5 Compilation steps

  2.5-1 CapJitCleanedUpHoistedAndDeduplicatedExpressions
  2.5-2 CapJitAppliedCompilerHints
  2.5-3 CapJitReplacedGlobalVariablesByCategoryAttributes
  2.5-4 CapJitReplacedSourceAndRangeAttributes
  2.5-5 CapJitDeduplicatedExpressions
  2.5-6 CapJitDroppedHandledEdgeCases
  2.5-7 CapJitDroppedUnusedBindings
  2.5-8 CapJitHoistedExpressions
  2.5-9 CapJitHoistedBindings
  2.5-10 CapJitInferredDataTypes
  2.5-11 CapJitInlinedArguments
  2.5-12 CapJitInlinedBindings
  2.5-13 CapJitInlinedBindingsToVariableReferences
  2.5-14 CapJitInlinedBindingsFully
  2.5-15 CapJitInlinedFunctionCalls
  2.5-16 CapJitInlinedSimpleFunctionCalls
  2.5-17 CapJitAppliedLogic
  2.5-18 CapJitAppliedLogicTemplates
  2.5-19 CapJitOutlinedWrappedArguments
  2.5-20 CapJitResolvedGlobalVariables
  2.5-21 CapJitResolvedOperations

3 Examples and tests

[Top of Book] [Contents] [Next Chapter]

Goto Chapter: Top 1 2 3 Ind

generated by GAPDoc2HTML