blob: 53e42a2d47e3bc84f96b28fa6718df197a96cd4b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
; RUN: opt < %s -S -passes=loop-simplify | FileCheck %s
; Don't separate out nested loops if a convergent call is present
; CHECK-NOT: BB1.outer
; CHECK: BB1.backedge
define i32 @test(i1 %loop_cond, i1 %exit_cond, i32 %init) {
entry:
br label %BB1
BB1:
%indvar = phi i32 [%indvar, %BB1], [%inc, %BB2], [%init, %entry]
call void @f() convergent
br i1 %loop_cond, label %BB1, label %BB2
BB2:
%inc = add i32 %indvar, 1
br i1 %exit_cond, label %exit, label %BB1
exit:
ret i32 %inc
}
declare void @f() convergent
|
