mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 03:23:01 +02:00
Fix PR2358 by resolving calls with undef arguments to overdefined.
llvm-svn: 51535
This commit is contained in:
parent
e5e0b4660d
commit
bde5fd685d
@ -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
14
test/Transforms/SCCP/2008-05-23-UndefCallFold.ll
Normal 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)
|
||||
|
Loading…
Reference in New Issue
Block a user