mirror of
https://github.com/RPCS3/llvm.git
synced 2026-07-21 03:05:26 -04:00
Max Kazantsev
a3ca8ce0e5
During the transforms in LoopSimplifyCFG, when we remove a dead exiting edge, the parent loop may stop being reachable from the child loop, and therefore they become siblings. If the former child loop had uses of some values from its former parent loop, now such uses will require LCSSA Phis, even if they weren't needed before. So we must form LCSSA for all loops that stopped being ancestors of the current loop in this case. Differential Revision: https://reviews.llvm.org/D56144 Reviewed By: fedor.sergeev git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@351434 91177308-0d34-0410-b5e6-96231b3b80d8
93 lines
3.8 KiB
LLVM
93 lines
3.8 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; REQUIRES: asserts
|
|
; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
|
|
; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(simplify-cfg)' -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
|
|
; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg -enable-mssa-loop-dependency=true -verify-memoryssa -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
|
|
|
|
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
|
|
|
|
define void @c() {
|
|
; CHECK-LABEL: @c(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: br label [[D:%.*]]
|
|
; CHECK: d.loopexit:
|
|
; CHECK-NEXT: [[DOTLCSSA:%.*]] = phi i32 [ [[TMP1:%.*]], [[FOR_COND:%.*]] ]
|
|
; CHECK-NEXT: br label [[D]]
|
|
; CHECK: d:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = phi i32 [ undef, [[ENTRY:%.*]] ], [ [[DOTLCSSA]], [[D_LOOPEXIT:%.*]] ]
|
|
; CHECK-NEXT: br label [[FOR_COND]]
|
|
; CHECK: for.cond:
|
|
; CHECK-NEXT: [[TMP1]] = phi i32 [ [[TMP0]], [[D]] ], [ 0, [[IF_END:%.*]] ]
|
|
; CHECK-NEXT: [[TOBOOL2:%.*]] = icmp eq i32 [[TMP1]], 0
|
|
; CHECK-NEXT: br i1 [[TOBOOL2]], label [[IF_END]], label [[D_LOOPEXIT]]
|
|
; CHECK: if.end:
|
|
; CHECK-NEXT: br label [[FOR_COND]]
|
|
;
|
|
entry:
|
|
br label %d
|
|
|
|
d.loopexit: ; preds = %if.end.7, %for.body
|
|
%.lcssa = phi i32 [ %1, %for.body ], [ 0, %if.end.7 ]
|
|
br label %d
|
|
|
|
d: ; preds = %d.loopexit, %entry
|
|
%0 = phi i32 [ undef, %entry ], [ %.lcssa, %d.loopexit ]
|
|
br label %for.cond
|
|
|
|
for.cond: ; preds = %if.end.8, %d
|
|
%1 = phi i32 [ %0, %d ], [ 0, %if.end.8 ]
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %for.cond
|
|
%tobool2 = icmp eq i32 %1, 0
|
|
br i1 %tobool2, label %if.end, label %d.loopexit
|
|
|
|
if.end: ; preds = %for.body
|
|
br label %if.end.7
|
|
|
|
if.end.7: ; preds = %if.end
|
|
br i1 true, label %if.end.8, label %d.loopexit
|
|
|
|
if.end.8: ; preds = %if.end.7
|
|
br label %for.cond
|
|
}
|
|
|
|
define void @test_01() {
|
|
; CHECK-LABEL: @test_01(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: br label [[FOR_COND:%.*]]
|
|
; CHECK: for.cond.loopexit:
|
|
; CHECK-NEXT: br label [[FOR_COND]]
|
|
; CHECK: for.cond:
|
|
; CHECK-NEXT: [[INC41_LCSSA3:%.*]] = phi i16 [ undef, [[FOR_COND_LOOPEXIT:%.*]] ], [ undef, [[ENTRY:%.*]] ]
|
|
; CHECK-NEXT: switch i32 0, label [[FOR_COND_SPLIT:%.*]] [
|
|
; CHECK-NEXT: i32 1, label [[FOR_COND_LOOPEXIT]]
|
|
; CHECK-NEXT: ]
|
|
; CHECK: for.cond-split:
|
|
; CHECK-NEXT: [[INC41_LCSSA3_LCSSA:%.*]] = phi i16 [ [[INC41_LCSSA3]], [[FOR_COND]] ]
|
|
; CHECK-NEXT: br label [[WHILE_COND:%.*]]
|
|
; CHECK: while.cond:
|
|
; CHECK-NEXT: [[INC41:%.*]] = phi i16 [ [[INC4:%.*]], [[WHILE_COND]] ], [ [[INC41_LCSSA3_LCSSA]], [[FOR_COND_SPLIT]] ]
|
|
; CHECK-NEXT: [[INC4]] = add nsw i16 [[INC41]], 1
|
|
; CHECK-NEXT: br label [[WHILE_COND]]
|
|
;
|
|
entry:
|
|
br label %for.cond
|
|
|
|
for.cond.loopexit: ; preds = %while.cond
|
|
%inc41.lcssa = phi i16 [ %inc41, %while.cond ]
|
|
br label %for.cond
|
|
|
|
for.cond: ; preds = %for.cond.loopexit, %entry
|
|
%inc41.lcssa3 = phi i16 [ %inc41.lcssa, %for.cond.loopexit ], [ undef, %entry ]
|
|
br label %while.cond
|
|
|
|
while.cond: ; preds = %while.body, %for.cond
|
|
%inc41 = phi i16 [ %inc4, %while.body ], [ %inc41.lcssa3, %for.cond ]
|
|
br i1 true, label %while.body, label %for.cond.loopexit
|
|
|
|
while.body: ; preds = %while.cond
|
|
%inc4 = add nsw i16 %inc41, 1
|
|
br label %while.cond
|
|
}
|