This is an automated email from the ASF dual-hosted git repository.
github-actions[bot] pushed a change to branch nightly
in repository https://gitbox.apache.org/repos/asf/tvm.git
from 498b8ed673 [Bump] tvm-ffi to 59da4c0 (#19681)
add b8974592c6 [Web] Add support for OPFS synchronous access handles and
committed records (#19673)
add b172d5ea32 [Arith] Make Analyzer a tvm-ffi Object (#19675)
add 0e3250795b [Relax][PyTorch] Cast non-bool inputs to bool in
logical_and converter (#19679)
add 71519913d8 [CI] Remove PyPI-only tag ref guard from wheel publishing
(#19685)
add 153a584690 [CI] Target apache-tvm for PyPI wheel publishing (#19686)
add 15b1d98393 [Web] Bump tvmjs version to 0.25.0-dev1 (#19687)
No new revisions were added by this update.
Summary of changes:
.github/workflows/publish_wheel.yml | 23 +-
include/tvm/arith/analyzer.h | 165 +-
include/tvm/arith/int_set.h | 9 +-
include/tvm/arith/iter_affine_map.h | 8 +-
include/tvm/ir/scope_stack.h | 2 +-
include/tvm/ir/with_context.h | 4 +-
include/tvm/relax/analysis.h | 90 +-
include/tvm/relax/block_builder.h | 2 +-
include/tvm/relax/dataflow_pattern.h | 3 +-
include/tvm/relax/distributed/axis_group_graph.h | 6 +-
include/tvm/relax/utils.h | 2 +-
include/tvm/s_tir/analysis.h | 6 +-
include/tvm/tirx/analysis.h | 4 -
include/tvm/tirx/index_map.h | 88 +-
include/tvm/topi/detail/constant_utils.h | 2 +-
include/tvm/topi/nn.h | 4 +-
include/tvm/topi/nn/bnn.h | 2 +-
include/tvm/topi/nn/dilate.h | 2 +-
include/tvm/topi/nn/pooling.h | 8 +-
include/tvm/topi/transform.h | 21 +-
pyproject.toml | 4 +-
python/tvm/arith/__init__.py | 2 +-
python/tvm/arith/analyzer.py | 139 +-
python/tvm/arith/int_set.py | 24 +-
python/tvm/arith/iter_affine_map.py | 35 +-
.../frontend/torch/base_fx_graph_translator.py | 11 +
.../frontend/torch/exported_program_translator.py | 2 +-
python/tvm/relax/frontend/torch/fx_translator.py | 1 +
python/tvm/tirx/function.py | 40 +-
src/arith/analyzer.cc | 202 ++-
src/arith/bound_deducer.cc | 8 +-
src/arith/canonical_simplify.cc | 10 +-
src/arith/conjunctive_normal_form.cc | 26 +-
src/arith/conjunctive_normal_form.h | 3 +-
src/arith/const_int_bound.cc | 6 +-
src/arith/detect_linear_equation.cc | 8 +-
src/arith/domain_touched.cc | 2 +-
src/arith/int_constraints.cc | 36 +-
src/arith/int_set.cc | 124 +-
src/arith/interval_set.h | 4 +-
src/arith/ir_mutator_with_analyzer.cc | 10 +-
src/arith/ir_mutator_with_analyzer.h | 4 +-
src/arith/ir_visitor_with_analyzer.cc | 24 +-
src/arith/ir_visitor_with_analyzer.h | 2 +-
src/arith/iter_affine_map.cc | 77 +-
src/arith/modular_set.cc | 6 +-
src/arith/presburger_set.cc | 4 +-
src/arith/rewrite_simplify.cc | 2 +-
src/arith/rewrite_simplify.h | 2 +-
src/arith/solve_linear_equation.cc | 22 +-
src/arith/solve_linear_inequality.cc | 62 +-
src/relax/analysis/layout_transformation.cc | 8 +-
src/relax/analysis/shape_analysis.cc | 4 +-
src/relax/analysis/struct_info_analysis.cc | 99 +-
src/relax/analysis/tir_op_pattern_kind.cc | 18 +-
src/relax/distributed/axis_group_graph.cc | 18 +-
.../transform/lower_global_view_to_local_view.cc | 6 +-
src/relax/ir/block_builder.cc | 8 +-
src/relax/ir/dataflow_block_rewriter.cc | 6 +-
src/relax/ir/dataflow_matcher.cc | 9 +-
src/relax/op/ccl/ccl.cc | 2 +-
src/relax/op/distributed/distributed.cc | 4 +-
src/relax/op/distributed/linear_algebra.cc | 2 +-
src/relax/op/nn/attention.cc | 2 +-
src/relax/op/nn/convolution.cc | 12 +-
src/relax/op/nn/nn.cc | 10 +-
src/relax/op/nn/pooling.cc | 6 +-
src/relax/op/op.cc | 2 +-
src/relax/op/op_common.cc | 6 +-
src/relax/op/op_common.h | 2 +-
src/relax/op/tensor/create.cc | 6 +-
src/relax/op/tensor/index.cc | 2 +-
src/relax/op/tensor/linear_algebra.cc | 2 +-
src/relax/op/tensor/manipulate.cc | 24 +-
src/relax/op/tensor/sampling.cc | 2 +-
src/relax/op/tensor/ternary.cc | 2 +-
src/relax/op/vision/nms.cc | 2 +-
src/relax/transform/adjust_matmul_order.cc | 27 +-
src/relax/transform/alter_op_impl.cc | 8 +-
src/relax/transform/bind_params.cc | 5 +-
src/relax/transform/combine_parallel_matmul.cc | 2 +-
src/relax/transform/fuse_tir.cc | 6 +-
src/relax/transform/remove_unused_parameters.cc | 2 +-
src/relax/transform/rewrite_dataflow_reshape.cc | 2 +-
src/relax/transform/split_call_tir_by_pattern.cc | 2 +-
src/relax/transform/static_plan_block_memory.cc | 25 +-
src/relax/utils.cc | 6 +-
src/s_tir/analysis/estimate_flops.cc | 4 +-
src/s_tir/analysis/identify_memcpy.cc | 13 +-
src/s_tir/analysis/oob_checker.cc | 8 +-
.../analysis/sblock_access_region_detector.cc | 2 +-
src/s_tir/backend/adreno/inject_texture_alloc.cc | 4 +-
src/s_tir/data_layout.cc | 6 +-
.../feature_extractor/per_store_feature.cc | 22 +-
.../postproc/disallow_async_strided_mem_copy.cc | 4 +-
src/s_tir/meta_schedule/postproc/rewrite_layout.cc | 2 +-
.../postproc/rewrite_parallel_vectorize_unroll.cc | 2 +-
.../multi_level_tiling_wide_vector.cc | 2 +-
src/s_tir/schedule/analysis.h | 14 +-
src/s_tir/schedule/analysis/analysis.cc | 32 +-
src/s_tir/schedule/analysis/layout.cc | 9 +-
src/s_tir/schedule/analysis/reducer.cc | 6 +-
src/s_tir/schedule/concrete_schedule.cc | 4 +-
src/s_tir/schedule/concrete_schedule.h | 2 +-
src/s_tir/schedule/ir_comparator.cc | 24 +-
.../schedule/primitive/annotate_buffer_access.cc | 4 +-
src/s_tir/schedule/primitive/blockize_tensorize.cc | 29 +-
src/s_tir/schedule/primitive/cache_index.cc | 8 +-
.../schedule/primitive/cache_index_helpers.cc | 2 +-
src/s_tir/schedule/primitive/cache_read_write.cc | 20 +-
src/s_tir/schedule/primitive/compute_at.cc | 39 +-
src/s_tir/schedule/primitive/compute_inline.cc | 34 +-
src/s_tir/schedule/primitive/decompose_padding.cc | 21 +-
.../schedule/primitive/layout_transformation.cc | 54 +-
.../schedule/primitive/loop_transformation.cc | 21 +-
src/s_tir/schedule/primitive/pad_einsum.cc | 10 +-
src/s_tir/schedule/primitive/read_write_at.cc | 4 +-
src/s_tir/schedule/primitive/rolling_buffer.cc | 4 +-
src/s_tir/schedule/state.cc | 22 +-
src/s_tir/schedule/traced_schedule.cc | 4 +-
src/s_tir/schedule/transform.cc | 4 +-
src/s_tir/schedule/transform.h | 4 +-
src/s_tir/transform/bound_checker.cc | 4 +-
src/s_tir/transform/canonicalize_loop.cc | 4 +-
src/s_tir/transform/compact_buffer_region.cc | 29 +-
src/s_tir/transform/hoist_expression.cc | 4 +-
src/s_tir/transform/inject_permuted_layout.cc | 4 +-
src/s_tir/transform/inject_software_pipeline.cc | 36 +-
src/s_tir/transform/inject_virtual_thread.cc | 4 +-
src/s_tir/transform/loop_partition.cc | 50 +-
src/s_tir/transform/lower_async_dma.cc | 6 +-
.../transform/lower_cross_thread_reduction.cc | 4 +-
src/s_tir/transform/lower_match_buffer.cc | 11 +-
src/s_tir/transform/lower_thread_allreduce.cc | 2 +-
src/s_tir/transform/memhammer_coalesce.cc | 8 +-
.../transform/memhammer_intermediate_stage.cc | 2 +-
src/s_tir/transform/memhammer_lower_auto_copy.cc | 8 +-
.../transform/memhammer_tensorcore_rewrite.cc | 8 +-
src/s_tir/transform/renormalize_split_pattern.cc | 4 +-
src/s_tir/transform/transform_mma_buffer_layout.cc | 4 +-
src/s_tir/transform/unify_thread_binding.cc | 4 +-
.../transform/using_assume_to_reduce_branches.cc | 4 +-
src/target/cuda/codegen_cuda.cc | 10 +-
src/target/hexagon/llvm/codegen_hexagon.cc | 2 +-
src/target/llvm/codegen_cpu.cc | 6 +-
src/target/llvm/codegen_llvm.cc | 2 +-
src/target/llvm/codegen_llvm.h | 2 +-
src/target/opencl/intrin_rule_opencl.cc | 2 +-
src/target/source/codegen_c.cc | 4 +-
src/target/vulkan/codegen_spirv.cc | 2 +-
src/target/vulkan/codegen_spirv.h | 2 +-
src/target/webgpu/codegen_webgpu.cc | 2 +-
src/te/operation/create_primfunc.cc | 12 +-
src/te/operation/scan_op.cc | 2 +-
src/tirx/analysis/exec_context.cc | 2 +-
src/tirx/ir/buffer.cc | 16 +-
src/tirx/ir/exec_scope.cc | 18 +-
src/tirx/ir/index_map.cc | 113 +-
src/tirx/ir/layout/axis_registry.cc | 14 +-
src/tirx/ir/layout/swizzle_layout.cc | 2 +-
src/tirx/ir/layout/tile_canonicalize.cc | 2 +-
src/tirx/ir/layout/tile_core.cc | 12 +-
src/tirx/ir/layout/tile_direct_sum_ops.cc | 12 +-
src/tirx/ir/layout/tile_slice.cc | 36 +-
src/tirx/ir/layout/tile_tile_ops.cc | 42 +-
src/tirx/ir/stmt.cc | 4 +-
src/tirx/script/builder/ir.cc | 6 +-
src/tirx/transform/flatten_buffer.cc | 4 +-
src/tirx/transform/ir_utils.cc | 12 +-
src/tirx/transform/lower_intrin.cc | 7 +-
src/tirx/transform/lower_tirx_cleanup.cc | 6 +-
src/tirx/transform/lower_warp_memory.cc | 16 +-
src/tirx/transform/narrow_datatype.cc | 10 +-
src/tirx/transform/remove_no_op.cc | 12 +-
src/tirx/transform/remove_no_op.h | 2 +-
src/tirx/transform/stmt_simplify.cc | 8 +-
src/tirx/transform/stmt_simplify.h | 2 +-
src/tirx/transform/storage_rewrite.cc | 12 +-
src/tirx/transform/tile_primitive_dispatch.cc | 12 +-
src/tirx/transform/tvm_ffi_binder.cc | 14 +-
src/tirx/transform/unroll_loop.cc | 2 +-
src/tirx/transform/vectorize_loop.cc | 14 +-
tests/cpp/arith_simplify_test.cc | 30 +-
tests/cpp/threading_backend_test.cc | 1 +
tests/python/arith/test_arith_analyzer_object.py | 208 +++
tests/python/arith/test_arith_intset.py | 28 +
tests/python/arith/test_arith_iter_affine_map.py | 58 +
.../relax/test_frontend_from_exported_program.py | 28 +
tests/python/relax/test_frontend_from_fx.py | 25 +
tests/python/tirx-base/test_tir_index_map.py | 87 +-
web/package-lock.json | 1603 ++++++++++----------
web/package.json | 2 +-
web/src/artifact_cache.ts | 25 +-
web/src/index.ts | 1 +
web/src/opfs_store.ts | 460 +++++-
195 files changed, 3275 insertions(+), 2087 deletions(-)
create mode 100644 tests/python/arith/test_arith_analyzer_object.py
