blob: d4b3531b7e0e13bddebc71ac7bad6b4644e1be83 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
; RUN: opt -passes=simple-loop-unswitch -enable-nontrivial-unswitch -verify-memoryssa -S < %s | FileCheck %s
; REQUIRES: asserts
; CHECK-LABEL: @c
define dso_local void @c(i32 signext %d) local_unnamed_addr {
entry:
br i1 undef, label %while.end, label %while.body.lr.ph
while.body.lr.ph: ; preds = %entry
%tobool1 = icmp ne i32 %d, 0
br label %while.body
while.body: ; preds = %while.body, %while.body.lr.ph
%call = tail call signext i32 @e()
%0 = and i1 %tobool1, undef
br i1 %0, label %while.body, label %while.end
while.end: ; preds = %while.body, %entry
ret void
}
declare signext i32 @e(...) local_unnamed_addr
|
