6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-19 04:32:19 +00:00
Code Issues Projects Releases Wiki Activity

When loading from a constant, fold inttoptr if the integer type and the resulting pointer type both have the same size.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124987 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Anders Carlsson 2011-02-06 20:11:56 +00:00
parent dd70cd8933
commit 6475d9434f
2 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
lib/Analysis/ConstantFolding.cpp
View File

@ -340,6 +340,17 @@ static bool ReadDataFromGlobal(Constant *C, uint64_t ByteOffset,
return true;
}
if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
if (CE->getOpcode() == Instruction::IntToPtr) {
uint64_t PtrSize = TD.getTypeAllocSize(C->getType());
uint64_t IntSize = TD.getTypeAllocSize(C->getOperand(0)->getType());
if (PtrSize == IntSize)
return ReadDataFromGlobal(CE->getOperand(0), ByteOffset, CurPtr,
BytesLeft, TD);
}
}
// Otherwise, unknown initializer type.
return false;
}

17
test/Transforms/ConstProp/loads.ll
View File

@ -120,3 +120,20 @@ define i1 @test13() {
; CHECK: @test13
; CHECK: ret i1 false
}
@g6 = constant [2 x i8*] [i8* inttoptr (i64 1 to i8*), i8* inttoptr (i64 2 to i8*)]
define i64 @test14() nounwind {
entry:
%tmp = load i64* bitcast ([2 x i8*]* @g6 to i64*)
ret i64 %tmp
; CHECK: @test14
; CHECK: ret i64 1
}
define i64 @test15() nounwind {
entry:
%tmp = load i64* bitcast (i8** getelementptr inbounds ([2 x i8*]* @g6, i32 0, i64 1) to i64*)
ret i64 %tmp
; CHECK: @test15
; CHECK: ret i64 2
}