mirror of
https://github.com/RPCS3/llvm.git
synced 2026-01-31 01:25:19 +01:00
7276550b78
Summary: Comment on Transforms/LoopVersioning/incorrect-phi.ll: With the change SCEV is able to prove that the loop doesn't wrap-self (due to zext i16 to i64), disabling the entire loop versioning pass. Removed the zext and just use i64. Reviewers: sanjoy Subscribers: jlebar, hiraditya, javed.absar, bixia, llvm-commits Differential Revision: https://reviews.llvm.org/D48409 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@336140 91177308-0d34-0410-b5e6-96231b3b80d8
61 lines
2.5 KiB
LLVM
61 lines
2.5 KiB
LLVM
; RUN: opt -loop-versioning -S < %s | FileCheck %s
|
|
|
|
; Make sure all PHIs are properly updated in the exit block. Based on
|
|
; PR28037.
|
|
|
|
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-unknown-linux-gnu"
|
|
|
|
@x = external global [2 x [3 x [5 x i16]]]
|
|
|
|
; CHECK-LABEL: @phi_with_undef
|
|
define void @phi_with_undef() {
|
|
bb6.lr.ph: ; preds = %bb5.preheader
|
|
br label %bb6
|
|
|
|
bb6: ; preds = %bb6.lr.ph, %bb6
|
|
%_tmp1423 = phi i64 [ undef, %bb6.lr.ph ], [ %_tmp142, %bb6 ]
|
|
%_tmp123 = getelementptr [2 x [3 x [5 x i16]]], [2 x [3 x [5 x i16]]]* @x, i16 0, i64 undef
|
|
%_tmp126 = getelementptr [3 x [5 x i16]], [3 x [5 x i16]]* %_tmp123, i16 0, i64 %_tmp1423
|
|
%_tmp129 = getelementptr [5 x i16], [5 x i16]* %_tmp126, i16 0, i64 undef
|
|
%_tmp130 = load i16, i16* %_tmp129
|
|
store i16 undef, i16* getelementptr ([2 x [3 x [5 x i16]]], [2 x [3 x [5 x i16]]]* @x, i64 0, i64 undef, i64 undef, i64 undef)
|
|
%_tmp142 = add i64 %_tmp1423, 1
|
|
br i1 false, label %bb6, label %loop.exit
|
|
|
|
loop.exit: ; preds = %bb6
|
|
%_tmp142.lcssa = phi i64 [ %_tmp142, %bb6 ]
|
|
%split = phi i16 [ undef, %bb6 ]
|
|
; CHECK: %split = phi i16 [ undef, %bb6 ], [ undef, %bb6.lver.orig ]
|
|
br label %bb9
|
|
|
|
bb9: ; preds = %bb9.loopexit, %bb1
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @phi_with_non_loop_defined_value
|
|
define void @phi_with_non_loop_defined_value() {
|
|
bb6.lr.ph: ; preds = %bb5.preheader
|
|
%t = add i16 1, 1
|
|
br label %bb6
|
|
|
|
bb6: ; preds = %bb6.lr.ph, %bb6
|
|
%_tmp1423 = phi i64 [ undef, %bb6.lr.ph ], [ %_tmp142, %bb6 ]
|
|
%_tmp123 = getelementptr [2 x [3 x [5 x i16]]], [2 x [3 x [5 x i16]]]* @x, i16 0, i64 undef
|
|
%_tmp126 = getelementptr [3 x [5 x i16]], [3 x [5 x i16]]* %_tmp123, i16 0, i64 %_tmp1423
|
|
%_tmp129 = getelementptr [5 x i16], [5 x i16]* %_tmp126, i16 0, i64 undef
|
|
%_tmp130 = load i16, i16* %_tmp129
|
|
store i16 undef, i16* getelementptr ([2 x [3 x [5 x i16]]], [2 x [3 x [5 x i16]]]* @x, i64 0, i64 undef, i64 undef, i64 undef)
|
|
%_tmp142 = add i64 %_tmp1423, 1
|
|
br i1 false, label %bb6, label %loop.exit
|
|
|
|
loop.exit: ; preds = %bb6
|
|
%_tmp142.lcssa = phi i64 [ %_tmp142, %bb6 ]
|
|
%split = phi i16 [ %t, %bb6 ]
|
|
; CHECK: %split = phi i16 [ %t, %bb6 ], [ %t, %bb6.lver.orig ]
|
|
br label %bb9
|
|
|
|
bb9: ; preds = %bb9.loopexit, %bb1
|
|
ret void
|
|
}
|