1; RUN: opt %loadPolly -polly-debug-func=dbg_printf -polly-scops -analyze < %s | FileCheck %s -match-full-lines
2;
3; Check that the call to dbg_printf is accepted as a debug-function.
4;
5declare void @dbg_printf(i8*, ...)
6
7define void @func(i32 %n) {
8entry:
9  br label %for
10
11for:
12  %j = phi i32 [0, %entry], [%j.inc, %inc]
13  %j.cmp = icmp slt i32 %j, %n
14  br i1 %j.cmp, label %body, label %exit
15
16    body:
17      call void (i8*, ...) @dbg_printf(i8* null, i32 %j)
18      br label %inc
19
20inc:
21  %j.inc = add nuw nsw i32 %j, 1
22  br label %for
23
24exit:
25  br label %return
26
27return:
28  ret void
29}
30
31; CHECK:      Statements {
32; CHECK-NEXT:     Stmt_body
33; CHECK-NEXT:         Domain :=
34; CHECK-NEXT:             [n] -> { Stmt_body[i0] : 0 <= i0 < n };
35; CHECK-NEXT:         Schedule :=
36; CHECK-NEXT:             [n] -> { Stmt_body[i0] -> [i0] };
37; CHECK-NEXT: }
38