[mlir][llvm] Add inbounds attriubte to the gep op.
The revision adds an inbounds attribute to the LLVM dialect GEP operation. It extends the builders and the import and export to support the optional inbounds attribute. As all builders set inbounds to false by default, existing lowerings from higher-level dialects to LLVM dialect are not affected by the change. Canonicalization/folding remains untouched since it currently does not implement any simplifications in case of undefined behavior (the handling of undefined behavior is deferred to LLVM). Reviewed By: ftynse Differential Revision: https://reviews.llvm.org/D139821
Loading
Please sign in to comment