From: Amaury Sechet Date: Wed, 17 Feb 2016 22:51:03 +0000 (+0000) Subject: Add support for memory operations (load/store/gep) in C API echo test X-Git-Tag: llvmorg-3.9.0-rc1~13880 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=053ac453b9f8e6045fd915abde13663636383429;p=platform%2Fupstream%2Fllvm.git Add support for memory operations (load/store/gep) in C API echo test Summary: As per title. Reviewers: bogner, chandlerc, echristo, dblaikie, joker.eph, Wallbraker Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D17245 llvm-svn: 261174 --- diff --git a/llvm/include/llvm-c/Core.h b/llvm/include/llvm-c/Core.h index 2e0a8b4..c3dacc5 100644 --- a/llvm/include/llvm-c/Core.h +++ b/llvm/include/llvm-c/Core.h @@ -2561,6 +2561,29 @@ LLVMTypeRef LLVMGetAllocatedType(LLVMValueRef Alloca); */ /** + * @defgroup LLVMCCoreValueInstructionGetElementPointer GEPs + * + * Functions in this group only apply to instructions that map to + * llvm::GetElementPtrInst instances. + * + * @{ + */ + +/** + * Check whether the given GEP instruction is inbounds. + */ +LLVMBool LLVMIsInBounds(LLVMValueRef GEP); + +/** + * Set the given GEP instruction to be inbounds or not. + */ +void LLVMSetIsInBounds(LLVMValueRef GEP, LLVMBool b); + +/** + * @} + */ + +/** * @defgroup LLVMCCoreValueInstructionPHINode PHI Nodes * * Functions in this group only apply to instructions that map to @@ -2606,6 +2629,7 @@ LLVMBasicBlockRef LLVMGetIncomingBlock(LLVMValueRef PhiNode, unsigned Index); /** * Obtain the number of indices. + * NB: This also works on GEP. */ unsigned LLVMGetNumIndices(LLVMValueRef Inst); diff --git a/llvm/lib/IR/Core.cpp b/llvm/lib/IR/Core.cpp index 73764af..585a240 100644 --- a/llvm/lib/IR/Core.cpp +++ b/llvm/lib/IR/Core.cpp @@ -2147,6 +2147,16 @@ LLVMTypeRef LLVMGetAllocatedType(LLVMValueRef Alloca) { return wrap(unwrap(Alloca)->getAllocatedType()); } +/*--.. Operations on gep instructions (only) ...............................--*/ + +LLVMBool LLVMIsInBounds(LLVMValueRef GEP) { + return unwrap(GEP)->isInBounds(); +} + +void LLVMSetIsInBounds(LLVMValueRef GEP, LLVMBool b) { + return unwrap(GEP)->setIsInBounds(b); +} + /*--.. Operations on phi nodes .............................................--*/ void LLVMAddIncoming(LLVMValueRef PhiNode, LLVMValueRef *IncomingValues, @@ -2172,6 +2182,8 @@ LLVMBasicBlockRef LLVMGetIncomingBlock(LLVMValueRef PhiNode, unsigned Index) { unsigned LLVMGetNumIndices(LLVMValueRef Inst) { auto *I = unwrap(Inst); + if (auto *GEP = dyn_cast(I)) + return GEP->getNumIndices(); if (auto *EV = dyn_cast(I)) return EV->getNumIndices(); if (auto *IV = dyn_cast(I)) diff --git a/llvm/test/Bindings/llvm-c/memops.ll b/llvm/test/Bindings/llvm-c/memops.ll new file mode 100644 index 0000000..cc41b7b --- /dev/null +++ b/llvm/test/Bindings/llvm-c/memops.ll @@ -0,0 +1,37 @@ +; RUN: llvm-as < %s | llvm-dis > %t.orig +; RUN: llvm-as < %s | llvm-c-test --echo > %t.echo +; RUN: diff -w %t.orig %t.echo + +%S = type { i32, i32 } + +define i32 @method(%S* %this, i32 %arg.a, i32 %arg.b) { + %a = alloca i32 + store i32 %arg.a, i32* %a, align 4 + %b = alloca i32 + store i32 %arg.b, i32* %b + %1 = load i32, i32* %a, align 4 + %2 = load i32, i32* %b, align 4 + %3 = add i32 %1, %2 + %4 = getelementptr inbounds %S, %S* %this, i32 0, i32 0 + %5 = load i32, i32* %4, align 4 + %6 = add i32 %3, %5 + %7 = getelementptr inbounds %S, %S* %this, i32 0, i32 1 + %8 = load i32, i32* %7, align 4 + %9 = add i32 %6, %8 + ret i32 %9 +} + +define i32 @main() { + %s = alloca %S + store %S zeroinitializer, %S* %s + %1 = getelementptr inbounds %S, %S* %s, i32 0, i32 0 + %2 = getelementptr inbounds %S, %S* %s, i32 0, i32 1 + store i32 1, i32* %2 + store i32 1, i32* %1 + %3 = insertvalue { %S*, i32 (%S*, i32, i32)* } undef, %S* %s, 0 + %4 = insertvalue { %S*, i32 (%S*, i32, i32)* } %3, i32 (%S*, i32, i32)* @method, 1 + %5 = extractvalue { %S*, i32 (%S*, i32, i32)* } %4, 0 + %6 = extractvalue { %S*, i32 (%S*, i32, i32)* } %4, 1 + %7 = call i32 %6(%S* %5, i32 38, i32 2) + ret i32 %7 +} diff --git a/llvm/tools/llvm-c-test/echo.cpp b/llvm/tools/llvm-c-test/echo.cpp index 1aa6a76..22cbcf1 100644 --- a/llvm/tools/llvm-c-test/echo.cpp +++ b/llvm/tools/llvm-c-test/echo.cpp @@ -464,6 +464,31 @@ struct FunCloner { Dst = LLVMBuildAlloca(Builder, Ty, Name); break; } + case LLVMLoad: { + LLVMValueRef Ptr = CloneValue(LLVMGetOperand(Src, 0)); + Dst = LLVMBuildLoad(Builder, Ptr, Name); + LLVMSetAlignment(Dst, LLVMGetAlignment(Src)); + break; + } + case LLVMStore: { + LLVMValueRef Val = CloneValue(LLVMGetOperand(Src, 0)); + LLVMValueRef Ptr = CloneValue(LLVMGetOperand(Src, 1)); + Dst = LLVMBuildStore(Builder, Val, Ptr); + LLVMSetAlignment(Dst, LLVMGetAlignment(Src)); + break; + } + case LLVMGetElementPtr: { + LLVMValueRef Ptr = CloneValue(LLVMGetOperand(Src, 0)); + SmallVector Idx; + int NumIdx = LLVMGetNumIndices(Src); + for (int i = 1; i <= NumIdx; i++) + Idx.push_back(CloneValue(LLVMGetOperand(Src, i))); + if (LLVMIsInBounds(Src)) + Dst = LLVMBuildInBoundsGEP(Builder, Ptr, Idx.data(), NumIdx, Name); + else + Dst = LLVMBuildGEP(Builder, Ptr, Idx.data(), NumIdx, Name); + break; + } case LLVMICmp: { LLVMIntPredicate Pred = LLVMGetICmpPredicate(Src); LLVMValueRef LHS = CloneValue(LLVMGetOperand(Src, 0));