maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

MemoryBuiltins: Fix operator new bits. 

We really don't want to optimize malloc return value checks away.

llvm-svn: 191313
This commit is contained in:
Benjamin Kramer 2013-09-24 17:15:14 +00:00
parent dc4c1adfc7
commit 4d4df04353
2 changed files with 23 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
llvm/lib/Analysis/MemoryBuiltins.cpp
View File

@ -35,9 +35,9 @@ enum AllocType {
CallocLike = 1<<1, // allocates + bzero
ReallocLike = 1<<2, // reallocates
StrDupLike = 1<<3,
OpNewLike = MallocLike | (1<<4), // allocates; never returns null
AllocLike = MallocLike | CallocLike | StrDupLike,
AnyAlloc = MallocLike | CallocLike | ReallocLike | StrDupLike
OpNewLike = 1<<4, // allocates; never returns null
AllocLike = MallocLike | CallocLike | StrDupLike | OpNewLike,
AnyAlloc = AllocLike | ReallocLike
};
struct AllocFnsTy {

20
llvm/test/Transforms/InstSimplify/call.ll
View File

@ -121,3 +121,23 @@ cast.end: ; preds = %cast.notnull, %entr
}
declare noalias i8* @_Znwm(i64)
define i8* @malloc_can_return_null() {
entry:
%call = tail call noalias i8* @malloc(i64 8)
%cmp = icmp eq i8* %call, null
br i1 %cmp, label %cast.end, label %cast.notnull
cast.notnull: ; preds = %entry
%add.ptr = getelementptr inbounds i8* %call, i64 4
br label %cast.end
cast.end: ; preds = %cast.notnull, %entry
%cast.result = phi i8* [ %add.ptr, %cast.notnull ], [ null, %entry ]
ret i8* %cast.result
; CHECK-LABEL: @malloc_can_return_null
; CHECK: br i1 %cmp, label %cast.end, label %cast.notnull
}
declare noalias i8* @malloc(i64)