[PATCH] D45728: [Polly] Allow arbitrary function calls for debugging purposes.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur created this revision.
Meinersbur added reviewers: grosser, philip.pfaffe, jdoerfert.
Meinersbur added a project: Polly.
Herald added a reviewer: bollu.

Add the switch `-polly-debug-func` to define the name of a debug function. This function is ignored for any validity check.

Its purpose is to allow to observe a value after transformation by a SCoP, and to follow which statements are executed in which order. For instance, consider the following code:

  static void dbg_printf(int sum, int i) {
    fprintf(stderr, "The value of sum is %d, i=%d\n", sum, i);
    fflush(stderr);
  }
  
  void func(int n) {
    int sum = 0;
    for (int i = 0; i < 16; i+=1) {
      sum += i;
      dbg_printf(sum, i);
    }
  }

Executing this after Polly's codegen reveals the new execution order and the assumed values at that point of execution.


Repository:
  rPLO Polly

https://reviews.llvm.org/D45728

Files:
  include/polly/Support/ScopHelper.h
  lib/Analysis/ScopBuilder.cpp
  lib/Analysis/ScopDetection.cpp
  lib/Analysis/ScopInfo.cpp
  lib/Support/ScopHelper.cpp
  test/ScopInfo/debug_call.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D45728.142798.patch
Type: text/x-patch
Size: 6228 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180417/3d3c914b/attachment.bin>