llvm/test/Analysis/ScalarEvolution/unreachable-code.ll


1
2
3
4
5
6
7
8
9
10
11
12
13

; 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
}