RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-02 08:26:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

objectsize: add a few more tests and fix a bug

Browse Source 
llvm-svn: 156625
This commit is contained in:
Nuno Lopes 2012-05-11 18:25:29 +00:00
parent 4c5904bbe5
commit 11d6ecb6db
2 changed files with 56 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Transforms/InstCombine/InstCombineCalls.cpp
View File

@ -208,7 +208,7 @@ static int computeAllocSize(Value *Alloc, uint64_t &Size, Value* &SizeValue,
Size = CI->getZExtValue();
return 1;
}
return 0;
return Penalty >= 2 ? 0 : 2;
} else if (CallInst *MI = extractCallocCall(Alloc)) {
Value *Arg1 = MI->getArgOperand(0);

55
test/Transforms/InstCombine/objsize.ll
View File

@ -185,6 +185,61 @@ define i32 @test9(i32 %x, i32 %y) nounwind {
; CHECK-NEXT: select i1 {{.*}}, i32 0,
}
; CHECK: @test10
define i32 @test10(i32 %x, i32 %y) nounwind {
%alloc = call noalias i8* @calloc(i32 %x, i32 %y) nounwind
%gep = getelementptr inbounds i8* %alloc, i32 5
%objsize = call i32 @llvm.objectsize.i32(i8* %gep, i1 false, i32 2)
ret i32 %objsize
; CHECK-NEXT: mul i32
; CHECK-NEXT: add i32 {{.*}}, -5
; CHECK-NEXT: icmp ult i32 {{.*}}, 5
; CHECK-NEXT: select i1
; CHECK-NEXT: ret
}
; CHECK: @test11
define i32 @test11(i32 %x, i32 %y) nounwind {
%alloc = call i8* @malloc(i32 %x)
%allocd = bitcast i8* %alloc to double*
%gep = getelementptr double* %allocd, i32 %y
%gepi8 = bitcast double* %gep to i8*
%objsize = call i32 @llvm.objectsize.i32(i8* %gepi8, i1 false, i32 2)
ret i32 %objsize
; CHECK-NEXT: shl i32
; CHECK-NEXT: sub i32
; CHECK-NEXT: icmp ugt i32
; CHECK-NEXT: select i1
; CHECK-NEXT: ret
}
; CHECK: @test12
define i32 @test12(i32 %x) nounwind {
%alloc = alloca i32, i32 %x, align 16
%gep = getelementptr i32* %alloc, i32 7
%gepi8 = bitcast i32* %gep to i8*
%objsize = call i32 @llvm.objectsize.i32(i8* %gepi8, i1 false, i32 2)
ret i32 %objsize
; CHECK-NEXT: shl i32
; CHECK-NEXT: add i32 {{.*}}, -28
; CHECK-NEXT: icmp ult i32 {{.*}}, 28
; CHECK-NEXT: select i1
; CHECK-NEXT: ret
}
; CHECK: @test13
define i32 @test13(i32 %x, i32 %y) nounwind {
%alloc = call i8* @calloc(i32 %x, i32 %y)
%alloc2 = call i8* @malloc(i32 %x)
%objsize = call i32 @llvm.objectsize.i32(i8* %alloc, i1 false, i32 1)
%objsize2 = call i32 @llvm.objectsize.i32(i8* %alloc2, i1 false, i32 1)
%add = add i32 %objsize, %objsize2
ret i32 %add
; CHECK: objectsize
; CHECK: objectsize
; CHECK: add
}
; CHECK: @overflow
define i32 @overflow() {
%alloc = call noalias i8* @malloc(i32 21) nounwind