polly/test/ScopInfo/debug_call.ll

   1 ; RUN: opt %loadPolly -polly-debug-func=dbg_printf -polly-print-scops -disable-output < %s | FileCheck %s -match-full-lines
   2 ;
   3 ; Check that the call to dbg_printf is accepted as a debug-function.
   4 ;
   5 declare void @dbg_printf(ptr, ...)
   6
   7 define void @func(i32 %n) {
   8 entry:
   9   br label %for
  10
  11 for:
  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 (ptr, ...) @dbg_printf(ptr null, i32 %j)
  18       br label %inc
  19
  20 inc:
  21   %j.inc = add nuw nsw i32 %j, 1
  22   br label %for
  23
  24 exit:
  25   br label %return
  26
  27 return:
  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: }