daisytuner / sdfglib

65%

main: 62%

LAST BUILD ON BRANCH map-intervall-analysis

branch: map-intervall-analysis

CHANGE BRANCH

x

Reset

• map-intervall-analysis
• Codecov-public
• FixMissingDataflowgraph
• InstrumentationInfo
• LibNodeOffloading
• Localized-memrange
• LoopAnalysisRework
• LoopCount
• Map2CUDA
• Mapnode
• MoveElementType
• NewDebugInfo
• OMPInterfaceFix
• OPTReport
• OffloadOpaque
• RTLParams
• ScheduleTypeExtension
• StructuredLoops
• ThreadBarrier
• TypeInferenceAsAnalysis
• add-get-history-to-recorder
• add-optimizer
• alias-lib
• alignment
• alignments
• allocation-hoisting
• allocation-management
• allocations
• arg-capture
• arg-capture-compile-warnings
• arg-capture-exts-functions
• arg-capture-fix
• arg-capture-once
• arg-capture-rename
• arg-capture-scopes
• arg-capture-things
• aritfy-fmod
• array-alignment
• assumptions2
• auto-parallelization
• auto-tuner
• blas-dot-return
• block-fusion
• block-fusion-fix
• bugfix-block-fusion
• build-tests-option
• builder-api
• byte-references
• bytes-reference-tests
• capture-instrumentation
• capture-plan-failures
• cblas
• ci-dahlia
• clang-format
• cmake-exports
• cmake-fix
• cmake-install
• cmake-install-dir
• cnf
• cnf-equality-folding
• cnf-fix
• code-motion
• codegen-allocations
• codegen-externals
• codegen-externals-symbolic
• codegen-fixes
• codegen-inst
• codegen-main
• condition-elimination
• condition-elimination-improvement
• condition-elimination-transitions
• condition-propagation
• conditional-sdfgs
• conn-names
• constant-elimination
• constant-elimination-fix
• container-names
• contiguous-mem
• control-flow-analysis
• copy
• cpp-nan
• cublas
• cuda-instrumentation
• cuda-rtl-tests
• dangling-nodes
• data-dependencies
• data-dependency-analysis-loops
• data-dependency-undefines
• dataflow-ranges
• dataparallelism-pipeline
• dbg-functions
• dbg-info
• dbg-infos
• dead-cfg-returns
• dead-cfg-undef-return
• dead-code
• dead-data-flow
• dead-reference-allocations
• debug-print-macro
• delinearization
• derefence-dst-aggregate
• deserialization
• docc-path-discovery
• dot-node
• drop-stdlib-unsupported
• dropout
• dropout-node
• dynamic-opt-report
• einsum-plugin
• element-ids
• enums
• errors
• exception-handling
• exceptions
• expand-nodes
• expression-disjointness
• ext-prefix
• extend-clean-up
• extended-expression-equivalence
• extensible-enums
• externals-codegen
• features-file
• fix-arg-capturing
• fix-captureargs-for-3-dim
• fix-captureargs-for-3dims
• fix-einsum-plugin
• fix-external-prefix
• fix-flop-analysis
• fix-flop-analysis-performance
• fix-io-capturing-install
• fix-rtl-for-c
• fix-sdfg-builder-parent
• fixes-assums
• floating-point-types
• flop-analysis
• flop-analysis-extension
• flop-analysis-fix
• flop-for-scopes
• for-2-map-improvs
• for-each
• formatting
• function-renaming
• function-types
• function-types-codegen
• gemm
• gemm/lib-node
• graceful-merge-dbg
• hash-boost
• i128
• idiv-zero
• improve-autotuner
• improve-tests
• indirect-calls
• infer-types-conditions
• infty
• initial
• instrument-aggregated
• instrument-finalize
• instrumentation
• instrumentation-plan-cuda
• int-abs
• integer-division
• interstate-edge-validation
• intrinsics
• introduce-nightlies
• invoke-node
• is-disjoint
• isl-output
• iterator-to-indvar
• json-serializer
• kernels
• leftover-logs
• lib-node-fixes
• lib-nodes-plugins
• libnodes-serialization
• library-node-subsets
• library-node-symbols
• linkage-types
• local-mem-access-range
• loop-distribute
• loop-normalization-rotation
• loop-types
• loops
• loops-duplicate-indvar-warning
• lost-tests
• main
• main-signature
• make-loopindex-stable
• map-redefinition
• map-schedules
• maps
• math
• matmul
• mem-access-range-tests
• memlet-validation
• memlets-tasklets
• merge-siblings-byte-ref
• metadata_node
• missing-containers
• missing-sources
• ml-nodes
• more-hoisting
• more-robust-daisy-rtl
• multi-exit-loops
• multi-polynomials
• non-stopping-visitor
• norm-layers
• normalization
• normalization-loops
• opaque-pointers
• papi-eventsets
• parallelization-fixes
• performance-improvements
• plugin-sdfg-lookup
• pointee-type-fix
• pointer-cmp-symbolic
• pointer-parens
• pointer-syms
• pow-codegen
• promote-constants
• raw-memory-address
• recursions
• recursive-ext
• reduce-ml
• reenable-feature-dump
• reenable-recorder-tests
• reference-prop
• reference-prop-comp-type-exception
• reference-propagation-types
• reference-simplify
• release-builds
• remove-debug-output
• remove-loopnestindex-from-instrumentation
• reserved_keywords
• restructure-tiling-serialization
• returns
• revert-210-NewDebugInfo
• revert-213-write-loopnest_index-to-instrumentation
• revert-222-OMPInterfaceFix
• revert-277-cmake-install-dir
• revert-337-transfer-minimization
• revert-70-einsum-plugin
• robust-replace
• rtl
• rtl-aggregation
• rtl-event-set-none
• rtl-first-use
• rtl-header-export
• rtl-multi-counters
• rtl-static
• rtl-test
• sanitizers
• schedule-type
• schedules
• scopes3
• sdfg-allocations
• sdfg-metadata
• sdfg-validation
• segfaults
• self-references
• serializer-fix
• simplify-exception
• simplify-tiling-transformation
• sparse-integer-sets
• stability-isl
• stabilization
• stabilize-replay
• stable-clone
• stable-sdfg-registry
• stdlib-nodes
• storage-types
• storage_types
• store-function-name
• string-enums
• structured-control-flow
• structured_control_flow
• subgraph-embeddings
• symbol-aliases
• symbol-evolution
• symbol-evolution-last-value
• symbol-evolution-prev-alias
• symbol-evolution2
• symbol-promotion
• symbol-promotion-fp
• symbol-promotion-shl
• symbol-propagation
• symbol-propagation-pointers
• symbolic-range-analysis
• target-type-metadata
• tasklet-fusion
• tasklet-validate
• tasklets
• tenstorrent/trivial
• tenstorrent_transform
• test-formatting
• tighest-bounds
• tighter-bounds
• towards-transfer-tuning
• transfer-minimization
• transfer-tuning
• transformations
• transitions-bug
• trap-nodes
• traverse-cutoff
• tt-blas-dot
• type-rec-hotfix
• type-size-util
• typo-target-type
• unify-loop-exits
• unstructured-control-flow
• users-analysis
• users-order-container
• var-arg-funcs
• variadic-functions
• vec-structs
• verify
• visualizer
• visualizer-crash
• visualizer-fix
• visualizer-subset-tolerance
• visualizer/memlet-ranges
• waw-local-array
• werror
• while-loops
• wreturn-types
• write-loopnest_index-to-instrumentation

Build # 15909262125

Build Type

Pull #111

github

Committed by web-flow

Commit Message

Merge 8128a9f5a into ae43a22c4

Pull Request Pull Request #111: Adds intervall analysis to prove disjoint maps

Run Details

28 of 47 new or added lines in 2 files covered. (59.57%)

1 existing line in 1 file now uncovered.

8541 of 13120 relevant lines covered (65.1%)

145.28 hits per line