mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
409c4a1d03
Summary: It is possible for LVI to encounter instructions that are not in valid SSA form and reference themselves. One example is the following: %tmp4 = and i1 %tmp4, undef Before this patch LVI would recurse until running out of stack memory and crashed. This patch marks these self-referential instructions as Overdefined and aborts analysis on the instruction. Fixes https://bugs.llvm.org/show_bug.cgi?id=33357 Reviewers: craig.topper, anna, efriedma, dberlin, sebpop, kuhar Reviewed by: dberlin Subscribers: uabelho, spatel, a.elovikov, fhahn, eli.friedman, mzolotukhin, spop, evandro, davide, llvm-commits Differential Revision: https://reviews.llvm.org/D34135 llvm-svn: 327432
38 lines
588 B
LLVM
38 lines
588 B
LLVM
; RUN: opt -S -jump-threading -verify -o - %s | FileCheck %s
|
|
@a = external global i16, align 1
|
|
|
|
; CHECK-LABEL: f
|
|
; CHECK: bb6:
|
|
; CHECK: bb2:
|
|
; CHECK: bb3:
|
|
; CHECK-NOT: bb0:
|
|
; CHECK-NOT: bb1:
|
|
; CHECK-NOT: bb4:
|
|
; CHECK-NOT: bb5:
|
|
define void @f(i32 %p1) {
|
|
bb0:
|
|
%0 = icmp eq i32 %p1, 0
|
|
br i1 undef, label %bb6, label %bb1
|
|
|
|
bb1:
|
|
br label %bb2
|
|
|
|
bb2:
|
|
%1 = phi i1 [ %0, %bb1 ], [ %2, %bb4 ]
|
|
%2 = and i1 %1, undef
|
|
br i1 %2, label %bb3, label %bb4
|
|
|
|
bb3:
|
|
store i16 undef, i16* @a, align 1
|
|
br label %bb4
|
|
|
|
bb4:
|
|
br i1 %0, label %bb2, label %bb5
|
|
|
|
bb5:
|
|
unreachable
|
|
|
|
bb6:
|
|
ret void
|
|
}
|