Enhance cir.atomic.cmp_xchg and cir.atomic.xchg verifiers #1378
Description
This is comparing contents of the object pointed to by a !cir.ptr<!ty_S> pointer to a !u64i value
Originally posted by @bcardosolopes in #1373 (comment)
{{ message }}
This is comparing contents of the object pointed to by a !cir.ptr<!ty_S> pointer to a !u64i value
Originally posted by @bcardosolopes in #1373 (comment)