maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Test] Add test exposing crash in SimpleLoopUnswitch 

The test crashes with an assert in unswitchNontrivialInvariants.
This commit is contained in:
Dmitry Makogon 2022-11-02 19:55:56 +07:00
parent b24e2f6ef6
commit dd927f47e7
1 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
llvm/test/Transforms/SimpleLoopUnswitch/nontrivial-unswitch-skip-selects-in-guards.ll Normal file
View File

@ -0,0 +1,36 @@
; RUN: opt -passes='loop(simple-loop-unswitch<nontrivial>),verify<loops>' -S < %s | FileCheck %s
; RUN: opt -passes='loop-mssa(simple-loop-unswitch<nontrivial>),verify<loops>' -S < %s | FileCheck %s
; RUN: opt -simple-loop-unswitch -enable-nontrivial-unswitch -verify-memoryssa -S < %s | FileCheck %s
declare ptr @pluto()
declare void @llvm.experimental.guard(i1, ...)
declare void @widget()
; REQUIRES: asserts
; XFAIL: *
define void @foo(ptr addrspace(1) %arg, i64 %arg1) personality ptr @pluto {
bb:
%tmp = icmp slt i32 poison, 570
%tmp2 = select i1 %tmp, i1 true, i1 false
br label %bb3
bb3: ; preds = %bb6, %bb
call void (i1, ...) @llvm.experimental.guard(i1 %tmp2, i32 7) [ "deopt"() ]
invoke void @widget()
to label %bb4 unwind label %bb7
bb4: ; preds = %bb3
invoke void @widget()
to label %bb6 unwind label %bb7
bb6: ; preds = %bb4
invoke void @widget()
to label %bb3 unwind label %bb7
bb7: ; preds = %bb6, %bb4, %bb3
%tmp8 = landingpad { ptr, i32 }
cleanup
ret void
}