test/ScopDetectionDiagnostics/ReportUnprofitable.ll

   1 ; RUN: opt %loadPolly -pass-remarks-missed="polly-detect" \
   2 ; RUN:     -polly-detect-track-failures -polly-detect -analyze \
   3 ; RUN:     -polly-process-unprofitable=false < %s 2>&1| FileCheck %s
   4
   5 ; RUN: opt %loadPolly -pass-remarks-missed="polly-detect" \
   6 ; RUN:     -polly-detect-track-failures -polly-detect -analyze \
   7 ; RUN:     -polly-process-unprofitable=false < %s 2>&1 -pass-remarks-output=%t.yaml
   8 ; RUN: cat %t.yaml | FileCheck -check-prefix=YAML %s
   9 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  10
  11 ; void onlyWrite(float *A) {
  12 ;   for (long i = 0; i < 100; i++)
  13 ;     A[i] = 0;
  14 ; }
  15 ;
  16 ; void onlyRead(float *A) {
  17 ;   for (long i = 0; i < 100; i++)
  18 ;     A[i];
  19 ; }
  20
  21 ; CHECK: remark: /tmp/test.c:2:3: The following errors keep this region from being a Scop.
  22 ; CHECK: remark: /tmp/test.c:2:3: No profitable polyhedral optimization found
  23 ; CHECK: remark: /tmp/test.c:3:10: Invalid Scop candidate ends here.
  24
  25 ; CHECK: remark: /tmp/test.c:7:3: The following errors keep this region from being a Scop.
  26 ; CHECK: remark: /tmp/test.c:7:3: No profitable polyhedral optimization found
  27 ; CHECK: remark: /tmp/test.c:8:10: Invalid Scop candidate ends here.
  28
  29 ; YAML: --- !Missed
  30 ; YAML: Pass:            polly-detect
  31 ; YAML: Name:            RejectionErrors
  32 ; YAML: DebugLoc:        { File: /tmp/test.c, Line: 2, Column: 3 }
  33 ; YAML: Function:        onlyWrite
  34 ; YAML: Args:
  35 ; YAML:   - String:          The following errors keep this region from being a Scop.
  36 ; YAML: ...
  37 ; YAML: --- !Missed
  38 ; YAML: Pass:            polly-detect
  39 ; YAML: Name:            Unprofitable
  40 ; YAML: DebugLoc:        { File: /tmp/test.c, Line: 2, Column: 3 }
  41 ; YAML: Function:        onlyWrite
  42 ; YAML: Args:
  43 ; YAML:   - String:          No profitable polyhedral optimization found
  44 ; YAML: ...
  45 ; YAML: --- !Missed
  46 ; YAML: Pass:            polly-detect
  47 ; YAML: Name:            InvalidScopEnd
  48 ; YAML: DebugLoc:        { File: /tmp/test.c, Line: 3, Column: 10 }
  49 ; YAML: Function:        onlyWrite
  50 ; YAML: Args:
  51 ; YAML:   - String:          Invalid Scop candidate ends here.
  52 ; YAML: ...
  53 ; YAML: --- !Missed
  54 ; YAML: Pass:            polly-detect
  55 ; YAML: Name:            RejectionErrors
  56 ; YAML: DebugLoc:        { File: /tmp/test.c, Line: 7, Column: 3 }
  57 ; YAML: Function:        onlyRead
  58 ; YAML: Args:
  59 ; YAML:   - String:          The following errors keep this region from being a Scop.
  60 ; YAML: ...
  61 ; YAML: --- !Missed
  62 ; YAML: Pass:            polly-detect
  63 ; YAML: Name:            Unprofitable
  64 ; YAML: DebugLoc:        { File: /tmp/test.c, Line: 7, Column: 3 }
  65 ; YAML: Function:        onlyRead
  66 ; YAML: Args:
  67 ; YAML:   - String:          No profitable polyhedral optimization found
  68 ; YAML: ...
  69 ; YAML: --- !Missed
  70 ; YAML: Pass:            polly-detect
  71 ; YAML: Name:            InvalidScopEnd
  72 ; YAML: DebugLoc:        { File: /tmp/test.c, Line: 8, Column: 10 }
  73 ; YAML: Function:        onlyRead
  74 ; YAML: Args:
  75 ; YAML:   - String:          Invalid Scop candidate ends here.
  76
  77
  78 ; Function Attrs: nounwind uwtable
  79 define void @onlyWrite(float* %A) #0 !dbg !4 {
  80 entry:
  81   call void @llvm.dbg.value(metadata float* %A, i64 0, metadata !14, metadata !15), !dbg !16
  82   call void @llvm.dbg.value(metadata i64 0, i64 0, metadata !17, metadata !15), !dbg !20
  83   br label %for.cond, !dbg !21
  84
  85 for.cond:                                         ; preds = %for.inc, %entry
  86   %i.0 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
  87   %exitcond = icmp ne i64 %i.0, 100, !dbg !22
  88   br i1 %exitcond, label %for.body, label %for.end, !dbg !22
  89
  90 for.body:                                         ; preds = %for.cond
  91   %arrayidx = getelementptr inbounds float, float* %A, i64 %i.0, !dbg !23
  92   store float 0.000000e+00, float* %arrayidx, align 4, !dbg !25
  93   br label %for.inc, !dbg !23
  94
  95 for.inc:                                          ; preds = %for.body
  96   %inc = add nuw nsw i64 %i.0, 1, !dbg !26
  97   call void @llvm.dbg.value(metadata i64 %inc, i64 0, metadata !17, metadata !15), !dbg !20
  98   br label %for.cond, !dbg !27
  99
 100 for.end:                                          ; preds = %for.cond
 101   ret void, !dbg !28
 102 }
 103
 104 ; Function Attrs: nounwind readnone
 105 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 106
 107 ; Function Attrs: nounwind uwtable
 108 define void @onlyRead(float* %A) #0 !dbg !10 {
 109 entry:
 110   call void @llvm.dbg.value(metadata float* %A, i64 0, metadata !29, metadata !15), !dbg !30
 111   call void @llvm.dbg.value(metadata i64 0, i64 0, metadata !31, metadata !15), !dbg !33
 112   br label %for.cond, !dbg !34
 113
 114 for.cond:                                         ; preds = %for.inc, %entry
 115   %i.0 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]
 116   %exitcond = icmp ne i64 %i.0, 100, !dbg !35
 117   br i1 %exitcond, label %for.body, label %for.end, !dbg !35
 118
 119 for.body:                                         ; preds = %for.cond
 120   %arrayidx = getelementptr inbounds float, float* %A, i64 %i.0, !dbg !36
 121   %val = load float, float* %arrayidx, align 4, !dbg !38
 122   br label %for.inc, !dbg !36
 123
 124 for.inc:                                          ; preds = %for.body
 125   %inc = add nuw nsw i64 %i.0, 1, !dbg !39
 126   call void @llvm.dbg.value(metadata i64 %inc, i64 0, metadata !31, metadata !15), !dbg !33
 127   br label %for.cond, !dbg !40
 128
 129 for.end:                                          ; preds = %for.cond
 130   ret void, !dbg !41
 131 }
 132
 133 ; Function Attrs: nounwind readnone
 134 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1
 135
 136 attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 137 attributes #1 = { nounwind readnone }
 138
 139 !llvm.dbg.cu = !{!0}
 140 !llvm.module.flags = !{!11, !12}
 141 !llvm.ident = !{!13}
 142
 143 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.7.0  (llvm/trunk 229257)", isOptimized: false, emissionKind: 1, file: !1, enums: !2, retainedTypes: !2, globals: !2, imports: !2)
 144 !1 = !DIFile(filename: "/tmp/test.c", directory: "/home/grosser/Projects/polly/git/tools/polly")
 145 !2 = !{}
 146 !4 = distinct !DISubprogram(name: "onlyWrite", line: 1, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 1, file: !1, scope: !5, type: !6, variables: !2)
 147 !5 = !DIFile(filename: "/tmp/test.c", directory: "/home/grosser/Projects/polly/git/tools/polly")
 148 !6 = !DISubroutineType(types: !7)
 149 !7 = !{null, !8}
 150 !8 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !9)
 151 !9 = !DIBasicType(tag: DW_TAG_base_type, name: "float", size: 32, align: 32, encoding: DW_ATE_float)
 152 !10 = distinct !DISubprogram(name: "onlyRead", line: 6, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 6, file: !1, scope: !5, type: !6, variables: !2)
 153 !11 = !{i32 2, !"Dwarf Version", i32 4}
 154 !12 = !{i32 2, !"Debug Info Version", i32 3}
 155 !13 = !{!"clang version 3.7.0  (llvm/trunk 229257)"}
 156 !14 = !DILocalVariable(name: "A", line: 1, arg: 1, scope: !4, file: !5, type: !8)
 157 !15 = !DIExpression()
 158 !16 = !DILocation(line: 1, column: 23, scope: !4)
 159 !17 = !DILocalVariable(name: "i", line: 2, scope: !18, file: !5, type: !19)
 160 !18 = distinct !DILexicalBlock(line: 2, column: 3, file: !1, scope: !4)
 161 !19 = !DIBasicType(tag: DW_TAG_base_type, name: "long int", size: 64, align: 64, encoding: DW_ATE_signed)
 162 !20 = !DILocation(line: 2, column: 13, scope: !18)
 163 !21 = !DILocation(line: 2, column: 8, scope: !18)
 164 !22 = !DILocation(line: 2, column: 3, scope: !18)
 165 !23 = !DILocation(line: 3, column: 5, scope: !24)
 166 !24 = distinct !DILexicalBlock(line: 2, column: 3, file: !1, scope: !18)
 167 !25 = !DILocation(line: 3, column: 10, scope: !24)
 168 !26 = !DILocation(line: 2, column: 30, scope: !24)
 169 !27 = !DILocation(line: 2, column: 3, scope: !24)
 170 !28 = !DILocation(line: 4, column: 1, scope: !4)
 171 !29 = !DILocalVariable(name: "A", line: 6, arg: 1, scope: !10, file: !5, type: !8)
 172 !30 = !DILocation(line: 6, column: 22, scope: !10)
 173 !31 = !DILocalVariable(name: "i", line: 7, scope: !32, file: !5, type: !19)
 174 !32 = distinct !DILexicalBlock(line: 7, column: 3, file: !1, scope: !10)
 175 !33 = !DILocation(line: 7, column: 13, scope: !32)
 176 !34 = !DILocation(line: 7, column: 8, scope: !32)
 177 !35 = !DILocation(line: 7, column: 3, scope: !32)
 178 !36 = !DILocation(line: 8, column: 5, scope: !37)
 179 !37 = distinct !DILexicalBlock(line: 7, column: 3, file: !1, scope: !32)
 180 !38 = !DILocation(line: 8, column: 10, scope: !37)
 181 !39 = !DILocation(line: 7, column: 30, scope: !37)
 182 !40 = !DILocation(line: 7, column: 3, scope: !37)
 183 !41 = !DILocation(line: 9, column: 1, scope: !10)