mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-01-16 05:01:56 +00:00
890090f7f5
If a single predecessor is found, still check if the block is unreachable. The test that found this had a self loop unreachable block. Resolves PR43493. llvm-svn: 373383
28 lines
959 B
LLVM
28 lines
959 B
LLVM
; RUN: opt -enable-mssa-loop-dependency=true -loop-rotate -verify-memoryssa -S %s | FileCheck %s
|
|
; REQUIRES: asserts
|
|
|
|
; CHECK-LABEL: @func_35()
|
|
define void @func_35() {
|
|
entry:
|
|
br i1 undef, label %for.cond1704.preheader, label %return
|
|
|
|
for.cond1704.preheader: ; preds = %entry
|
|
br label %for.cond1704
|
|
|
|
for.cond1704: ; preds = %for.cond1704.preheader, %for.body1707
|
|
br i1 false, label %for.body1707, label %return.loopexit
|
|
|
|
for.body1707: ; preds = %for.cond1704
|
|
store i32 1712, i32* undef, align 1
|
|
br label %for.cond1704
|
|
|
|
for.body1102: ; preds = %for.body1102
|
|
br i1 undef, label %for.body1102, label %return
|
|
|
|
return.loopexit: ; preds = %for.cond1704
|
|
br label %return
|
|
|
|
return: ; preds = %return.loopexit, %for.body1102, %entry
|
|
ret void
|
|
}
|