---
id: pr-tilelang-1781
repo: tile-ai/tilelang
pr: 1781
title: '[Bugfix] Fix thread storage sync conflict detection for loop carry write-after-read'
author: LeiWang1999
date: '2026-02-04'
url: https://github.com/tile-ai/tilelang/pull/1781
source_category: upstream-code
architectures:
- sm100
tags:
- attention
techniques: []
hardware_features: []
kernel_types:
- attention
languages: []
captured_at: '2026-05-16'
status: merged
merge_sha: 191d879ddd0e42358eb871e71edf7b84e44258cd
inclusion_reason: Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.
changed_paths:
- 3rdparty/tvm
- examples/dequantize_gemm/example_dequant_groupedgemm_bf16_mxfp4_hopper.py
- examples/flash_decoding/example_gqa_decode_varlen_logits.py
- examples/flash_decoding/example_gqa_decode_varlen_logits_paged.py
- examples/flash_decoding/test_example_flash_decoding.py
- src/transform/common/constr_visitor.h
- src/transform/thread_storage_sync.cc
- testing/python/transform/test_tilelang_transform_thread_sync.py
artifact_dir: evidence/pull-bundles/tilelang/gh-1781
head_ref_oid: 238d32382942cc6e2f7849a09ff5b83498ac3050
---
# [Bugfix] Fix thread storage sync conflict detection for loop carry write-after-read

- Repository: `tile-ai/tilelang`
- PR: [1781](https://github.com/tile-ai/tilelang/pull/1781)
- Decision: `Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.`
- Reason: Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.

## Changed Paths

- `3rdparty/tvm`
- `examples/dequantize_gemm/example_dequant_groupedgemm_bf16_mxfp4_hopper.py`
- `examples/flash_decoding/example_gqa_decode_varlen_logits.py`
- `examples/flash_decoding/example_gqa_decode_varlen_logits_paged.py`
- `examples/flash_decoding/test_example_flash_decoding.py`
- `src/transform/common/constr_visitor.h`
- `src/transform/thread_storage_sync.cc`
- `testing/python/transform/test_tilelang_transform_thread_sync.py`

## Evidence Bundle

`evidence/pull-bundles/tilelang/gh-1781`
