[mlir][index] Fix NoSideEffect->Pure
commit878d5414e0ba5351758f9f78e4ec95c51950ac78
authorJeff Niu <jeff@modular.com>
Fri, 21 Oct 2022 17:04:07 +0000 (21 10:04 -0700)
committerJeff Niu <jeff@modular.com>
Fri, 21 Oct 2022 17:04:07 +0000 (21 10:04 -0700)
tree869606a3ca320c527c70537a8336a712aa7989c5
parentcae746d9c4abe1662bf3379e59cd48f62dcbe3b7
[mlir][index] Fix NoSideEffect->Pure
mlir/include/mlir/Dialect/Index/IR/IndexOps.td