polly/test/ScopDetect/only_func_flag_regex.ll

   1 ; RUN: opt %loadNPMPolly -polly-only-func=f.*,g.* '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s
   2 ;
   3 ; Check that the flag `-polly-only-func` works with regexes.
   4 ;
   5 ; CHECK:      Function: f1
   6 ; CHECK-NEXT:    Region: %for.cond---%for.end
   7 ;
   8 ; CHECK:      Function: f2
   9 ; CHECK-NEXT:    Region: %for.cond---%for.end
  10 ;
  11 ; CHECK:      Function: g1
  12 ; CHECK-NEXT:    Region: %for.cond---%for.end
  13 ;
  14 ; CHECK-NOT:      Function: h
  15 ;
  16 ; void f1(int* sum) {
  17 ;   for (int i = 0; i <= 100; i++)
  18 ;     sum += i * 3;
  19 ; }
  20 ; void f2(int* sum) {
  21 ;   for (int i = 0; i <= 100; i++)
  22 ;     sum += i * 3;
  23 ; }
  24 ; void g1(int* sum) {
  25 ;   for (int i = 0; i <= 100; i++)
  26 ;     sum += i * 3;
  27 ; }
  28 ; void h(int* sum) {
  29 ;   for (int i = 0; i <= 100; i++)
  30 ;     sum += i * 3;
  31 ; }
  32 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
  33
  34 define void @f1(ptr %sum) {
  35 entry:
  36   br label %entry.split1
  37
  38 entry.split1:                                     ; preds = %entry
  39   br label %entry.split
  40
  41 entry.split:                                      ; preds = %entry.split1
  42   br label %for.cond
  43
  44 for.cond:                                         ; preds = %for.cond, %entry.split
  45   %i1.0 = phi i32 [ 0, %entry.split ], [ %inc, %for.cond ]
  46   %sum.reload = load i32, ptr %sum
  47   %mul = mul nsw i32 %i1.0, 3
  48   %add = add nsw i32 %sum.reload, %mul
  49   %inc = add nsw i32 %i1.0, 1
  50   store i32 %add, ptr %sum
  51   %cmp = icmp slt i32 %i1.0, 100
  52   br i1 %cmp, label %for.cond, label %for.end
  53
  54 for.end:                                          ; preds = %for.cond
  55   ret void
  56 }
  57
  58
  59 define void @f2(ptr %sum) {
  60 entry:
  61   br label %entry.split1
  62
  63 entry.split1:                                     ; preds = %entry
  64   br label %entry.split
  65
  66 entry.split:                                      ; preds = %entry.split1
  67   br label %for.cond
  68
  69 for.cond:                                         ; preds = %for.cond, %entry.split
  70   %i1.0 = phi i32 [ 0, %entry.split ], [ %inc, %for.cond ]
  71   %sum.reload = load i32, ptr %sum
  72   %mul = mul nsw i32 %i1.0, 3
  73   %add = add nsw i32 %sum.reload, %mul
  74   %inc = add nsw i32 %i1.0, 1
  75   store i32 %add, ptr %sum
  76   %cmp = icmp slt i32 %i1.0, 100
  77   br i1 %cmp, label %for.cond, label %for.end
  78
  79 for.end:                                          ; preds = %for.cond
  80   ret void
  81 }
  82
  83 define void @g1(ptr %sum) {
  84 entry:
  85   br label %entry.split1
  86
  87 entry.split1:                                     ; preds = %entry
  88   br label %entry.split
  89
  90 entry.split:                                      ; preds = %entry.split1
  91   br label %for.cond
  92
  93 for.cond:                                         ; preds = %for.cond, %entry.split
  94   %i1.0 = phi i32 [ 0, %entry.split ], [ %inc, %for.cond ]
  95   %sum.reload = load i32, ptr %sum
  96   %mul = mul nsw i32 %i1.0, 3
  97   %add = add nsw i32 %sum.reload, %mul
  98   %inc = add nsw i32 %i1.0, 1
  99   store i32 %add, ptr %sum
 100   %cmp = icmp slt i32 %i1.0, 100
 101   br i1 %cmp, label %for.cond, label %for.end
 102
 103 for.end:                                          ; preds = %for.cond
 104   ret void
 105 }
 106
 107 define void @h(ptr %sum) {
 108 entry:
 109   br label %entry.split1
 110
 111 entry.split1:                                     ; preds = %entry
 112   br label %entry.split
 113
 114 entry.split:                                      ; preds = %entry.split1
 115   br label %for.cond
 116
 117 for.cond:                                         ; preds = %for.cond, %entry.split
 118   %i1.0 = phi i32 [ 0, %entry.split ], [ %inc, %for.cond ]
 119   %sum.reload = load i32, ptr %sum
 120   %mul = mul nsw i32 %i1.0, 3
 121   %add = add nsw i32 %sum.reload, %mul
 122   %inc = add nsw i32 %i1.0, 1
 123   store i32 %add, ptr %sum
 124   %cmp = icmp slt i32 %i1.0, 100
 125   br i1 %cmp, label %for.cond, label %for.end
 126
 127 for.end:                                          ; preds = %for.cond
 128   ret void
 129 }
 130