GEP with a constant offset should have inbounds attribute.

Revert "GEP with a constant offset should have inbounds attribute." This reverts commit 5415cbc. [CIR][LowerToLLVM] fixup! GEP with a constant offset should have inbounds attribute
llvm · Dec 3, 2024 · 9c7e362 · 9c7e362
1 parent 888f00c
commit 9c7e362
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/clang/lib/CIR/Lowering/DirectToLLVM/LowerToLLVM.cpp b/clang/lib/CIR/Lowering/DirectToLLVM/LowerToLLVM.cpp
@@ -851,8 +851,9 @@ mlir::LogicalResult CIRToLLVMPtrStrideOpLowering::matchAndRewrite(
     }
   }
 
-  rewriter.replaceOpWithNewOp<mlir::LLVM::GEPOp>(
-      ptrStrideOp, resultTy, elementTy, adaptor.getBase(), index);
+  rewriter.replaceOpWithNewOp<mlir::LLVM::GEPOp>(ptrStrideOp, resultTy,
+                                                 elementTy, adaptor.getBase(),
+                                                 index, /*inbounds*/ true);
   return mlir::success();
 }
 

diff --git a/clang/test/CIR/CodeGen/inbouds.c b/clang/test/CIR/CodeGen/inbouds.c
@@ -0,0 +1,6 @@
+// RUN: %clang_cc1  -triple aarch64-none-linux-android21  -fclangir -emit-llvm %s -o %t.ll
+// RUN: FileCheck --input-file=%t.ll %s -check-prefix=LLVM
+
+void foo(int *iptr) { iptr + 2; }
+
+// LLVM: getelementptr inbounds i32,