[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / SimpleLoopUnswitch / formDedicatedAfterTrivial1.ll
blobb6cbbc48a4d4e292f24836b079e90d52ef61fdde
1 ; RUN: opt < %s -simple-loop-unswitch -disable-output
3 ; PR38283
4 ; PR38737
5 define void @f1() {
6 for.cond1thread-pre-split.lr.ph.lr.ph:
7   %tobool4 = icmp eq i16 undef, 0
8   br label %for.cond1thread-pre-split
10 for.cond1thread-pre-split:                        ; preds = %if.end, %for.cond1thread-pre-split.lr.ph.lr.ph
11   %tobool3 = icmp eq i16 undef, 0
12   br label %for.body2
14 for.body2:                                        ; preds = %if.end6, %for.cond1thread-pre-split
15   br i1 %tobool3, label %if.end, label %for.end
17 if.end:                                           ; preds = %for.body2
18   br i1 %tobool4, label %if.end6, label %for.cond1thread-pre-split
20 if.end6:                                          ; preds = %if.end
21   br i1 undef, label %for.body2, label %for.end
23 for.end:                                          ; preds = %if.end6, %for.body2
24   ret void