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

Fix PR2358 by resolving calls with undef arguments to overdefined.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51535 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2008-05-24 03:59:33 +00:00
parent a31593901d
commit 60301608f8
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/Scalar/SCCP.cpp
View File

@ -1370,6 +1370,12 @@ bool SCCPSolver::ResolvedUndefsIn(Function &F) {
else
markOverdefined(LV, I);
return true;
case Instruction::Call:
// If a call has an undef result, it is because it is constant foldable
// but one of the inputs was undef. Just force the result to
// overdefined.
markOverdefined(LV, I);
return true;
}
}

14
test/Transforms/SCCP/2008-05-23-UndefCallFold.ll Normal file
View File

@ -0,0 +1,14 @@
; RUN: llvm-as < %s | opt -sccp | llvm-dis | not grep {ret i32 undef}
; PR2358
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:128:128"
target triple = "i686-pc-linux-gnu"
define i32 @x(i32 %b) {
entry:
%val = call i32 @llvm.cttz.i32(i32 undef)
ret i32 %val
}
declare i32 @llvm.cttz.i32(i32)