mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-01-13 19:32:41 +00:00
a3aa423fc3
This patch makes sure that in case a loop is not fully contained within a region that later forms a SCoP, none of the loop backedges are allowed to be part of the region. We currently do not support the situation where only some of a loops backedges are part of a scop. Today, this can break both scop modeling and code generation. One such breaking test case is for example test/ScopDetectionDiagnostics/loop_partially_in_scop-2.ll, where we totally forgot to code generate some of the backedges. Fortunately, it is commonly not necessary to support these partial loops, it is way more common that either no backedge is included in a region or all loop backedge are included. This fixes a recent miscompile in MultiSource/Benchmarks/MiBench/consumer-typeset which was exposed after r306477. llvm-svn: 308113
35 lines
1.1 KiB
LLVM
35 lines
1.1 KiB
LLVM
; RUN: opt %loadPolly -analyze -polly-detect \
|
|
; RUN: -pass-remarks-missed="polly-detect" \
|
|
; RUN: < %s 2>&1| FileCheck %s
|
|
|
|
; CHECK: remark: <unknown>:0:0: Loop cannot be handled because not all latches are part of loop region.
|
|
; CHECK: remark: <unknown>:0:0: Loop cannot be handled because not all latches are part of loop region.
|
|
|
|
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
|
define void @baz(i32 %before) {
|
|
bb:
|
|
br label %bb1
|
|
|
|
bb1: ; preds = %bb
|
|
br label %bb2
|
|
|
|
bb2: ; preds = %bb8, %bb7, %bb2, %bb1
|
|
%tmp = phi i32 [ %before, %bb1 ], [ 0, %bb8 ], [ %tmp4, %bb7 ], [ %tmp4, %bb2 ]
|
|
%tmp3 = or i32 undef, undef
|
|
%tmp4 = udiv i32 %tmp3, 10
|
|
%tmp5 = trunc i32 undef to i8
|
|
%tmp6 = icmp eq i8 %tmp5, 0
|
|
br i1 %tmp6, label %bb7, label %bb2
|
|
|
|
bb7: ; preds = %bb2
|
|
br i1 undef, label %bb8, label %bb2
|
|
|
|
bb8: ; preds = %bb7
|
|
br i1 undef, label %bb9, label %bb2
|
|
|
|
bb9: ; preds = %bb8
|
|
unreachable
|
|
}
|