RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 19:23:23 +01:00
Code Issues Projects Releases Wiki Activity

MergeFunctions: Two different sized allocas are *not* the same

Browse Source 
llvm-svn: 237193
This commit is contained in:
Arnold Schwaighofer 2015-05-12 21:42:22 +00:00
parent ddd8c2aa5e
commit f4e875470e
2 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/Transforms/IPO/MergeFunctions.cpp
View File

@ -719,6 +719,15 @@ int FunctionComparator::cmpOperations(const Instruction *L,
R->getRawSubclassOptionalData()))
return Res;
if (const AllocaInst *AI = dyn_cast<AllocaInst>(L)) {
if (int Res = cmpTypes(AI->getAllocatedType(),
cast<AllocaInst>(R)->getAllocatedType()))
return Res;
if (int Res =
cmpNumbers(AI->getAlignment(), cast<AllocaInst>(R)->getAlignment()))
return Res;
}
// We have two instructions of identical opcode and #operands. Check to see
// if all operands are the same type
for (unsigned i = 0, e = L->getNumOperands(); i != e; ++i) {

33
test/Transforms/MergeFunc/alloca.ll Normal file
View File

@ -0,0 +1,33 @@
; RUN: opt -mergefunc -S < %s | FileCheck %s
;; Make sure that two different sized allocas are not treated as equal.
target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32"
%kv1 = type { i32, i32 }
%kv2 = type { i8 }
define void @a(i8 *%f) {
%v = alloca %kv1, align 8
%f_2 = bitcast i8* %f to void (%kv1 *)*
call void %f_2(%kv1 * %v)
call void %f_2(%kv1 * %v)
call void %f_2(%kv1 * %v)
call void %f_2(%kv1 * %v)
ret void
}
; CHECK-LABEL: define void @b
; CHECK-NOT: call @a
; CHECK: ret
define void @b(i8 *%f) {
%v = alloca %kv2, align 8
%f_2 = bitcast i8* %f to void (%kv2 *)*
call void %f_2(%kv2 * %v)
call void %f_2(%kv2 * %v)
call void %f_2(%kv2 * %v)
call void %f_2(%kv2 * %v)
ret void
}