e4e22b6d80
Use poison instead of undef for SCEVUnkown of unreachable values. This should be in line with the movement to replace undef with poison when possible. Suggested in D114650. Reviewed By: nikic Differential Revision: https://reviews.llvm.org/D128586
14 lines
217 B
LLVM
14 lines
217 B
LLVM
; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
|
|
|
|
; CHECK: %t = add i64 %t, 1
|
|
; CHECK: --> poison
|
|
|
|
define void @foo() {
|
|
entry:
|
|
ret void
|
|
|
|
dead:
|
|
%t = add i64 %t, 1
|
|
ret void
|
|
}
|