6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-09-30 04:56:49 +00:00
Code Issues Projects Releases Wiki Activity

Fix a bug which caused us to miscompile a couple of Ada

Browse Source 
tests.  Thanks for the beautiful reduced testcase Duncan!


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@63529 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2009-02-02 18:02:59 +00:00
parent d5863dd9a8
commit 996d7a97f9
2 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Transforms/Scalar/ScalarReplAggregates.cpp
View File

@ -1166,12 +1166,17 @@ void SROA::CanonicalizeAllocaUsers(AllocationInst *AI) {
static void MergeInType(const Type *In, uint64_t Offset, const Type *&Accum,
const TargetData &TD) {
// If this is our first type, just use it.
if (Accum == 0 || In == Type::VoidTy ||
if ((Accum == 0 && Offset == 0) || In == Type::VoidTy ||
// Or if this is a same type, keep it.
(In == Accum && Offset == 0)) {
Accum = In;
return;
}
// Merging something like i32 into offset 8 means that a "field" is merged in
// before the basic type is. Make sure to consider the offset below.
if (Accum == 0)
Accum = Type::Int8Ty;
if (const VectorType *VATy = dyn_cast<VectorType>(Accum)) {
if (VATy->getElementType() == In &&

16
test/Transforms/ScalarRepl/2009-02-02-ScalarPromoteOutOfRange.ll Normal file
View File

@ -0,0 +1,16 @@
; RUN: llvm-as < %s | opt -scalarrepl -instcombine | llvm-dis | grep {ret i32 %x}
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
target triple = "i386-pc-linux-gnu"
%pair = type { [1 x i32], i32 }
define i32 @f(i32 %x, i32 %y) {
%instance = alloca %pair
%first = getelementptr %pair* %instance, i32 0, i32 0
%cast = bitcast [1 x i32]* %first to i32*
store i32 %x, i32* %cast
%second = getelementptr %pair* %instance, i32 0, i32 1
store i32 %y, i32* %second
%v = load i32* %cast
ret i32 %v
}