llvm/test/Transforms/LoopVectorize/dbg-outer-loop-vect.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt < %s -S -passes=loop-vectorize -enable-vplan-native-path -force-vector-interleave=1 -force-vector-width=4 | FileCheck %s
   3
   4 target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
   5
   6 define void @foo(ptr %h) !dbg !4 {
   7 ; CHECK-LABEL: define void @foo(
   8 ; CHECK-SAME: ptr [[H:%.*]]) !dbg [[DBG4:![0-9]+]] {
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:      #dbg_value(i64 0, [[META11:![0-9]+]], !DIExpression(), [[META20:![0-9]+]])
  11 ; CHECK-NEXT:    br i1 false, label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]], !dbg [[DBG21:![0-9]+]]
  12 ; CHECK:       vector.ph:
  13 ; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]], !dbg [[DBG21]]
  14 ; CHECK:       vector.body:
  15 ; CHECK-NEXT:    [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[FOR_COND_CLEANUP32:%.*]] ]
  16 ; CHECK-NEXT:    br label [[FOR_COND5_PREHEADER1:%.*]], !dbg [[DBG21]]
  17 ; CHECK:       for.cond5.preheader1:
  18 ; CHECK-NEXT:    [[VEC_PHI:%.*]] = phi <4 x i64> [ zeroinitializer, [[VECTOR_BODY]] ], [ [[TMP4:%.*]], [[FOR_COND5_PREHEADER1]] ], !dbg [[DBG34:![0-9]+]]
  19 ; CHECK-NEXT:    [[TMP0:%.*]] = getelementptr i32, ptr [[H]], <4 x i64> [[VEC_PHI]]
  20 ; CHECK-NEXT:    call void @llvm.masked.scatter.v4i32.v4p0(<4 x i32> zeroinitializer, <4 x ptr> [[TMP0]], i32 4, <4 x i1> splat (i1 true)), !dbg [[DBG22:![0-9]+]]
  21 ; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr i32, <4 x ptr> [[TMP0]], i64 1, !dbg [[DBG22]]
  22 ; CHECK-NEXT:    call void @llvm.masked.scatter.v4i32.v4p0(<4 x i32> splat (i32 1), <4 x ptr> [[TMP1]], i32 4, <4 x i1> splat (i1 true)), !dbg [[DBG22]]
  23 ; CHECK-NEXT:    [[TMP2:%.*]] = getelementptr i32, <4 x ptr> [[TMP0]], i64 2, !dbg [[DBG22]]
  24 ; CHECK-NEXT:    call void @llvm.masked.scatter.v4i32.v4p0(<4 x i32> splat (i32 2), <4 x ptr> [[TMP2]], i32 4, <4 x i1> splat (i1 true)), !dbg [[DBG22]]
  25 ; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr i32, <4 x ptr> [[TMP0]], i64 3, !dbg [[DBG22]]
  26 ; CHECK-NEXT:    call void @llvm.masked.scatter.v4i32.v4p0(<4 x i32> splat (i32 3), <4 x ptr> [[TMP3]], i32 4, <4 x i1> splat (i1 true)), !dbg [[DBG22]]
  27 ; CHECK-NEXT:    [[TMP4]] = add nuw nsw <4 x i64> [[VEC_PHI]], splat (i64 1), !dbg [[DBG24:![0-9]+]]
  28 ; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq <4 x i64> [[TMP4]], splat (i64 5), !dbg [[DBG25:![0-9]+]]
  29 ; CHECK-NEXT:    [[TMP6:%.*]] = extractelement <4 x i1> [[TMP5]], i32 0, !dbg [[DBG26:![0-9]+]]
  30 ; CHECK-NEXT:    br i1 [[TMP6]], label [[FOR_COND_CLEANUP32]], label [[FOR_COND5_PREHEADER1]], !dbg [[DBG26]]
  31 ; CHECK:       vector.latch:
  32 ; CHECK-NEXT:    [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 4
  33 ; CHECK-NEXT:    [[TMP9:%.*]] = icmp eq i64 [[INDEX_NEXT]], 20
  34 ; CHECK-NEXT:    br i1 [[TMP9]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP27:![0-9]+]]
  35 ; CHECK:       middle.block:
  36 ; CHECK-NEXT:    br i1 false, label [[EXIT:%.*]], label [[SCALAR_PH]], !dbg [[DBG21]]
  37 ; CHECK:       scalar.ph:
  38 ; CHECK-NEXT:    [[BC_RESUME_VAL:%.*]] = phi i64 [ 20, [[MIDDLE_BLOCK]] ], [ 0, [[ENTRY:%.*]] ]
  39 ; CHECK-NEXT:    br label [[FOR_COND1_PREHEADER:%.*]], !dbg [[DBG21]]
  40 ; CHECK:       for.cond1.preheader:
  41 ; CHECK-NEXT:    [[I_023:%.*]] = phi i64 [ [[BC_RESUME_VAL]], [[SCALAR_PH]] ], [ [[INC13:%.*]], [[FOR_COND_CLEANUP3:%.*]] ]
  42 ; CHECK-NEXT:      #dbg_value(i64 [[I_023]], [[META11]], !DIExpression(), [[META20]])
  43 ; CHECK-NEXT:    br label [[FOR_COND5_PREHEADER:%.*]], !dbg [[DBG26]]
  44 ; CHECK:       for.cond5.preheader:
  45 ; CHECK-NEXT:    [[L_022:%.*]] = phi i64 [ 0, [[FOR_COND1_PREHEADER]] ], [ [[INC10:%.*]], [[FOR_COND5_PREHEADER]] ], !dbg [[DBG34]]
  46 ; CHECK-NEXT:    [[TMP10:%.*]] = getelementptr i32, ptr [[H]], i64 [[L_022]]
  47 ; CHECK-NEXT:    store i32 0, ptr [[TMP10]], align 4, !dbg [[DBG22]]
  48 ; CHECK-NEXT:    [[ARRAYIDX_1:%.*]] = getelementptr i32, ptr [[TMP10]], i64 1, !dbg [[DBG31:![0-9]+]]
  49 ; CHECK-NEXT:    store i32 1, ptr [[ARRAYIDX_1]], align 4, !dbg [[DBG22]]
  50 ; CHECK-NEXT:    [[ARRAYIDX_2:%.*]] = getelementptr i32, ptr [[TMP10]], i64 2, !dbg [[DBG31]]
  51 ; CHECK-NEXT:    store i32 2, ptr [[ARRAYIDX_2]], align 4, !dbg [[DBG22]]
  52 ; CHECK-NEXT:    [[ARRAYIDX_3:%.*]] = getelementptr i32, ptr [[TMP10]], i64 3, !dbg [[DBG31]]
  53 ; CHECK-NEXT:    store i32 3, ptr [[ARRAYIDX_3]], align 4, !dbg [[DBG22]]
  54 ; CHECK-NEXT:    [[INC10]] = add nuw nsw i64 [[L_022]], 1, !dbg [[DBG24]]
  55 ; CHECK-NEXT:    [[EXITCOND_NOT:%.*]] = icmp eq i64 [[INC10]], 5, !dbg [[DBG25]]
  56 ; CHECK-NEXT:    br i1 [[EXITCOND_NOT]], label [[FOR_COND_CLEANUP3]], label [[FOR_COND5_PREHEADER]], !dbg [[DBG26]]
  57 ; CHECK:       for.cond.cleanup3:
  58 ; CHECK-NEXT:    [[INC13]] = add nuw nsw i64 [[I_023]], 1, !dbg [[DBG32:![0-9]+]]
  59 ; CHECK-NEXT:      #dbg_value(i64 [[INC13]], [[META11]], !DIExpression(), [[META20]])
  60 ; CHECK-NEXT:    [[EXITCOND24_NOT:%.*]] = icmp eq i64 [[INC13]], 23, !dbg [[DBG33:![0-9]+]]
  61 ; CHECK-NEXT:    br i1 [[EXITCOND24_NOT]], label [[EXIT]], label [[FOR_COND1_PREHEADER]], !dbg [[DBG21]], !llvm.loop [[LOOP34:![0-9]+]]
  62 ; CHECK:       exit:
  63 ; CHECK-NEXT:    ret void, !dbg [[DBG35:![0-9]+]]
  64 ;
  65 entry:
  66   call void @llvm.dbg.value(metadata i64 0, metadata !11, metadata !DIExpression()), !dbg !20
  67   br label %for.cond1.preheader, !dbg !21
  68
  69 for.cond1.preheader:                              ; preds = %entry, %for.cond.cleanup3
  70   %i.023 = phi i64 [ 0, %entry ], [ %inc13, %for.cond.cleanup3 ]
  71   call void @llvm.dbg.value(metadata i64 %i.023, metadata !11, metadata !DIExpression()), !dbg !20
  72   br label %for.cond5.preheader, !dbg !22
  73
  74 for.cond5.preheader:                              ; preds = %for.cond1.preheader, %for.cond5.preheader
  75   %l.022 = phi i64 [ 0, %for.cond1.preheader ], [ %inc10, %for.cond5.preheader ], !dbg !34
  76   %0 = getelementptr i32, ptr %h, i64 %l.022
  77   store i32 0, ptr %0, align 4, !dbg !24
  78   %arrayidx.1 = getelementptr i32, ptr %0, i64 1, !dbg !26
  79   store i32 1, ptr %arrayidx.1, align 4, !dbg !24
  80   %arrayidx.2 = getelementptr i32, ptr %0, i64 2, !dbg !26
  81   store i32 2, ptr %arrayidx.2, align 4, !dbg !24
  82   %arrayidx.3 = getelementptr i32, ptr %0, i64 3, !dbg !26
  83   store i32 3, ptr %arrayidx.3, align 4, !dbg !24
  84   %inc10 = add nuw nsw i64 %l.022, 1, !dbg !27
  85   %exitcond.not = icmp eq i64 %inc10, 5, !dbg !28
  86   br i1 %exitcond.not, label %for.cond.cleanup3, label %for.cond5.preheader, !dbg !22
  87
  88 for.cond.cleanup3:                                ; preds = %for.cond5.preheader
  89   %inc13 = add nuw nsw i64 %i.023, 1, !dbg !29
  90   call void @llvm.dbg.value(metadata i64 %inc13, metadata !11, metadata !DIExpression()), !dbg !20
  91   %exitcond24.not = icmp eq i64 %inc13, 23, !dbg !30
  92   br i1 %exitcond24.not, label %exit, label %for.cond1.preheader, !dbg !21, !llvm.loop !31
  93
  94 exit:                                 ; preds = %for.cond.cleanup3
  95   ret void, !dbg !23
  96 }
  97
  98 declare void @llvm.dbg.value(metadata, metadata, metadata)
  99
 100 !llvm.dbg.cu = !{!0}
 101 !llvm.module.flags = !{!2, !3}
 102
 103 !0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
 104 !1 = !DIFile(filename: "outer-loop-vect.c", directory: "/test/file/path")
 105 !2 = !{i32 2, !"Debug Info Version", i32 3}
 106 !3 = !{i32 7, !"debug-info-assignment-tracking", i1 true}
 107 !4 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 8, type: !5, scopeLine: 8, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !9)
 108 !5 = !DISubroutineType(types: !6)
 109 !6 = !{null, !7}
 110 !7 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !8, size: 64)
 111 !8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 112 !9 = !{!10, !11, !14, !17}
 113 !10 = !DILocalVariable(name: "h", arg: 1, scope: !4, file: !1, line: 8, type: !7)
 114 !11 = !DILocalVariable(name: "i", scope: !12, file: !1, line: 10, type: !13)
 115 !12 = distinct !DILexicalBlock(scope: !4, file: !1, line: 10, column: 3)
 116 !13 = !DIBasicType(name: "unsigned long", size: 64, encoding: DW_ATE_unsigned)
 117 !14 = !DILocalVariable(name: "l", scope: !15, file: !1, line: 11, type: !13)
 118 !15 = distinct !DILexicalBlock(scope: !16, file: !1, line: 11, column: 5)
 119 !16 = distinct !DILexicalBlock(scope: !12, file: !1, line: 10, column: 3)
 120 !17 = !DILocalVariable(name: "j", scope: !18, file: !1, line: 12, type: !13)
 121 !18 = distinct !DILexicalBlock(scope: !19, file: !1, line: 12, column: 7)
 122 !19 = distinct !DILexicalBlock(scope: !15, file: !1, line: 11, column: 5)
 123 !20 = !DILocation(line: 0, scope: !12)
 124 !21 = !DILocation(line: 10, column: 3, scope: !12)
 125 !22 = !DILocation(line: 11, column: 5, scope: !15)
 126 !23 = !DILocation(line: 14, column: 1, scope: !4)
 127 !24 = !DILocation(line: 13, column: 11, scope: !25)
 128 !25 = distinct !DILexicalBlock(scope: !18, file: !1, line: 12, column: 7)
 129 !26 = !DILocation(line: 13, column: 2, scope: !25)
 130 !27 = !DILocation(line: 11, column: 32, scope: !19)
 131 !28 = !DILocation(line: 11, column: 26, scope: !19)
 132 !29 = !DILocation(line: 10, column: 30, scope: !16)
 133 !30 = !DILocation(line: 10, column: 24, scope: !16)
 134 !31 = distinct !{!31, !21, !32, !33}
 135 !32 = !DILocation(line: 13, column: 13, scope: !12)
 136 !33 = !{!"llvm.loop.vectorize.enable", i1 true}
 137 !34 = !DILocation(line: 10, column: 5, scope: !12)
 138 ;.
 139 ; CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C11, file: [[META1:![0-9]+]], producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
 140 ; CHECK: [[META1]] = !DIFile(filename: "outer-loop-vect.c", directory: {{.*}})
 141 ; CHECK: [[DBG4]] = distinct !DISubprogram(name: "foo", scope: [[META1]], file: [[META1]], line: 8, type: [[META5:![0-9]+]], scopeLine: 8, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: [[META0]], retainedNodes: [[META9:![0-9]+]])
 142 ; CHECK: [[META5]] = !DISubroutineType(types: [[META6:![0-9]+]])
 143 ; CHECK: [[META6]] = !{null, [[META7:![0-9]+]]}
 144 ; CHECK: [[META7]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: [[META8:![0-9]+]], size: 64)
 145 ; CHECK: [[META8]] = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 146 ; CHECK: [[META9]] = !{[[META10:![0-9]+]], [[META11]], [[META14:![0-9]+]], [[META17:![0-9]+]]}
 147 ; CHECK: [[META10]] = !DILocalVariable(name: "h", arg: 1, scope: [[DBG4]], file: [[META1]], line: 8, type: [[META7]])
 148 ; CHECK: [[META11]] = !DILocalVariable(name: "i", scope: [[META12:![0-9]+]], file: [[META1]], line: 10, type: [[META13:![0-9]+]])
 149 ; CHECK: [[META12]] = distinct !DILexicalBlock(scope: [[DBG4]], file: [[META1]], line: 10, column: 3)
 150 ; CHECK: [[META13]] = !DIBasicType(name: "unsigned long", size: 64, encoding: DW_ATE_unsigned)
 151 ; CHECK: [[META14]] = !DILocalVariable(name: "l", scope: [[META15:![0-9]+]], file: [[META1]], line: 11, type: [[META13]])
 152 ; CHECK: [[META15]] = distinct !DILexicalBlock(scope: [[META16:![0-9]+]], file: [[META1]], line: 11, column: 5)
 153 ; CHECK: [[META16]] = distinct !DILexicalBlock(scope: [[META12]], file: [[META1]], line: 10, column: 3)
 154 ; CHECK: [[META17]] = !DILocalVariable(name: "j", scope: [[META18:![0-9]+]], file: [[META1]], line: 12, type: [[META13]])
 155 ; CHECK: [[META18]] = distinct !DILexicalBlock(scope: [[META19:![0-9]+]], file: [[META1]], line: 12, column: 7)
 156 ; CHECK: [[META19]] = distinct !DILexicalBlock(scope: [[META15]], file: [[META1]], line: 11, column: 5)
 157 ; CHECK: [[META20]] = !DILocation(line: 0, scope: [[META12]])
 158 ; CHECK: [[DBG21]] = !DILocation(line: 10, column: 3, scope: [[META12]])
 159 ; CHECK: [[DBG22]] = !DILocation(line: 13, column: 11, scope: [[META23:![0-9]+]])
 160 ; CHECK: [[META23]] = distinct !DILexicalBlock(scope: [[META18]], file: [[META1]], line: 12, column: 7)
 161 ; CHECK: [[DBG24]] = !DILocation(line: 11, column: 32, scope: [[META19]])
 162 ; CHECK: [[DBG25]] = !DILocation(line: 11, column: 26, scope: [[META19]])
 163 ; CHECK: [[DBG26]] = !DILocation(line: 11, column: 5, scope: [[META15]])
 164 ; CHECK: [[LOOP27]] = distinct !{[[LOOP27]], [[DBG21]], [[META28:![0-9]+]], [[META29:![0-9]+]], [[META30:![0-9]+]]}
 165 ; CHECK: [[META28]] = !DILocation(line: 13, column: 13, scope: [[META12]])
 166 ; CHECK: [[META29]] = !{!"llvm.loop.isvectorized", i32 1}
 167 ; CHECK: [[META30]] = !{!"llvm.loop.unroll.runtime.disable"}
 168 ; CHECK: [[DBG31]] = !DILocation(line: 13, column: 2, scope: [[META23]])
 169 ; CHECK: [[DBG32]] = !DILocation(line: 10, column: 30, scope: [[META16]])
 170 ; CHECK: [[DBG33]] = !DILocation(line: 10, column: 24, scope: [[META16]])
 171 ; CHECK: [[LOOP34]] = distinct !{[[LOOP34]], [[DBG21]], [[META28]], [[META29]]}
 172 ; CHECK: [[DBG35]] = !DILocation(line: 14, column: 1, scope: [[DBG4]])
 173 ;.