From eb351eb84945c64212b5e8582c09394542a7cc69 Mon Sep 17 00:00:00 2001 From: Richard Smith Date: Thu, 16 May 2013 04:12:04 +0000 Subject: [PATCH] Respect the 'nobuiltin' attribute when determining if a call is to a memory builtin. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181978 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/MemoryBuiltins.cpp | 3 +++ test/Transforms/GlobalOpt/malloc-promote-3.ll | 18 ++++++++++++++++++ 2 files changed, 21 insertions(+) create mode 100644 test/Transforms/GlobalOpt/malloc-promote-3.ll diff --git a/lib/Analysis/MemoryBuiltins.cpp b/lib/Analysis/MemoryBuiltins.cpp index 9c0d8ac6a3e..166034702ce 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 00000000000..d44ee646095 --- /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) -- 2.34.1