mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 04:22:57 +02:00
e8d7297324
Summary: The undef and the infinite loop at the end cause this test to be translated unpredictably. In particular, the checked-for `mpy` disappears under certain legal optimizations (e.g. the one in D50222). Since the use of these constructs is not relevant to the behavior tested, according to the header comment, this change, suggested by @kparzysz, eliminates them. Was initially committed in r341046, but was reverted. Patch by: hermord (Dmytro Shynkevych)! Reviewers: kparzysz Reviewed By: kparzysz Subscribers: lebedev.ri, llvm-commits, kparzysz Differential Revision: https://reviews.llvm.org/D50944 llvm-svn: 341943
37 lines
1.1 KiB
LLVM
37 lines
1.1 KiB
LLVM
; RUN: llc -march=hexagon -rdf-opt=0 < %s | FileCheck %s
|
|
|
|
; Test that we fixup a pipelined loop correctly when the number of
|
|
; stages is greater than the compile-time loop trip count. In this
|
|
; test, there are two prolog stages, but the loop executes only once.
|
|
; In the bug, the final CFG contains two iterations of the loop.
|
|
|
|
; CHECK-NOT: loop0
|
|
; CHECK: r{{[0-9]+}} = mpyi
|
|
; CHECK-NOT: r{{[0-9]+}} = mpyi
|
|
|
|
define i32 @f0(i32* %a0) {
|
|
b0:
|
|
br label %b1
|
|
|
|
b1: ; preds = %b1, %b0
|
|
%v0 = phi i32 [ 0, %b0 ], [ %v9, %b1 ]
|
|
%v1 = phi i32 [ 0, %b0 ], [ %v8, %b1 ]
|
|
%v2 = load i32, i32* %a0, align 4
|
|
%v3 = add nsw i32 %v1, 1
|
|
%v4 = srem i32 %v2, 3
|
|
%v5 = icmp ne i32 %v4, 0
|
|
%v6 = sub nsw i32 0, %v2
|
|
%v7 = select i1 %v5, i32 %v6, i32 %v2
|
|
%v8 = mul nsw i32 %v3, %v7
|
|
%v9 = add nsw i32 %v0, 1
|
|
%v10 = icmp eq i32 %v9, 1
|
|
br i1 %v10, label %b2, label %b1
|
|
|
|
b2: ; preds = %b1
|
|
%v11 = phi i32 [ %v8, %b1 ]
|
|
br label %b3
|
|
|
|
b3: ; preds = %b3, %b2
|
|
ret i32 %v11
|
|
}
|