Question: Support for differentiating between volatile and non-volatile memory operations

Nobody has claimed this yet.

Hi,

After lowering a CUDA program to mlir format using cgeist, I wanted to run some analysis on memory operations. I want to differentiate memory operations which are 'volatile.'

```
__global__ void test(volatile int* a, int* b) {
a[some_idx] = data();
b[another_idx] = data();
}
```

For example, I want to differentiate stores to array ```a``` and ```b``` as volatile has special semantics in CUDA. In the LLVM IR, it is possible (```isVolatile``` method). Can something similar be achieved here?

The issue does not name any source file, test, or entry point. First clarify whether support for exposing volatile memory operations is requested, then identify the relevant lowering path and define a test that distinguishes the two stores.

Written by the indexing model from the issue text.