blob: 4bc6547f4cbfc90b44ddb375caf0fb9eac57f8a8 [file]
RWByteAddressBuffer a : register(u0);
void foo() {
uint64_t v = uint64_t(0u);
uint64_t v_1 = uint64_t(0u);
a.InterlockedMax64(0u, ((v_1 << uint64_t(32u)) | v));
}
void main() {
foo();
}