6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-10-01 10:57:21 +00:00
Code Issues Projects Releases Wiki Activity

MemoryBuiltins: Fix operator new bits.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191313 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Benjamin Kramer 2013-09-24 17:15:14 +00:00
parent b0dfceec22
commit 989779ccc7
2 changed files with 23 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
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
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)