llvm-project
[mlir][memref] Add runtime verification for `memref.atomic_rmw`
#130414

Merged

[mlir][memref] Add runtime verification for `memref.atomic_rmw` #130414

matthias-springer merged 2 commits into main from users/matthias-springer/atomic_rmw_verification

matthias-springer requested a review from

chelini 287 days ago

matthias-springer requested a review from

ryanpholt 287 days ago

llvmbot added mlir

llvmbot added mlir:memref

Base automatically changed from users/matthias-springer/runtime_verify_memref_assume to main 276 days ago

matthias-springer force pushed from c37848a1 to 18f917b8 275 days ago

matthias-springer force pushed from 18f917b8 to d481688f 237 days ago

matthias-springer force pushed from d481688f 236 days ago

[mlir][memref] Add runtime verification for `memref.atomic_rmw`

fc034e05

matthias-springer force pushed to fc034e05 236 days ago

chelini commented on 2025-04-30

address comments

37749b61

chelini approved these changes on 2025-04-30

matthias-springer merged 120e9403 into main 234 days ago

matthias-springer deleted the users/matthias-springer/atomic_rmw_verification branch 234 days ago

Reviewers

chelini

ryanpholt

Assignees

No one assigned

Labels

mlir mlir:memref

Milestone

No milestone