diff options
-rw-r--r-- | lib/Analysis/MemoryBuiltins.cpp | 3 | ||||
-rw-r--r-- | test/Transforms/GlobalOpt/malloc-promote-3.ll | 18 |
2 files changed, 21 insertions, 0 deletions
diff --git a/lib/Analysis/MemoryBuiltins.cpp b/lib/Analysis/MemoryBuiltins.cpp index 9c0d8ac6a3..166034702c 100644 --- a/lib/Analysis/MemoryBuiltins.cpp +++ b/lib/Analysis/MemoryBuiltins.cpp @@ -77,6 +77,9 @@ static Function *getCalledFunction(const Value *V, bool LookThroughBitCast) { if (!CS.getInstruction()) return 0; + if (CS.hasFnAttr(Attribute::NoBuiltin)) + return 0; + Function *Callee = CS.getCalledFunction(); if (!Callee || !Callee->isDeclaration()) return 0; diff --git a/test/Transforms/GlobalOpt/malloc-promote-3.ll b/test/Transforms/GlobalOpt/malloc-promote-3.ll new file mode 100644 index 0000000000..d44ee64609 --- /dev/null +++ b/test/Transforms/GlobalOpt/malloc-promote-3.ll @@ -0,0 +1,18 @@ +; RUN: opt < %s -globalopt -S | FileCheck %s +target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" + +@G = internal global i32* null + +define void @t() { +; CHECK: @t() +; CHECK: call i8* @malloc + %malloccall = tail call i8* @malloc(i64 mul (i64 100, i64 4)) nobuiltin + %P = bitcast i8* %malloccall to i32* + store i32* %P, i32** @G + %GV = load i32** @G + %GVe = getelementptr i32* %GV, i32 40 + store i32 20, i32* %GVe + ret void +} + +declare noalias i8* @malloc(i64) |