llvm/test/Transforms/SLPVectorizer/X86/debug-info-salvage.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux -mattr=+avx2 < %s | FileCheck %s
   3
   4 define void @test() {
   5 ; CHECK-LABEL: define void @test(
   6 ; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
   7 ; CHECK-NEXT:  [[ENTRY:.*:]]
   8 ; CHECK-NEXT:    br label %[[COND_END_I:.*]]
   9 ; CHECK:       [[COND_END_I]]:
  10 ; CHECK-NEXT:      #dbg_value(!DIArgList(i32 0, i32 undef), [[META3:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_or, DW_OP_stack_value), [[META5:![0-9]+]])
  11 ; CHECK-NEXT:    [[TMP0:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> zeroinitializer, <2 x i32> zeroinitializer)
  12 ; CHECK-NEXT:    [[TMP1:%.*]] = select <2 x i1> zeroinitializer, <2 x i32> zeroinitializer, <2 x i32> [[TMP0]]
  13 ; CHECK-NEXT:    [[TMP2:%.*]] = shl <2 x i32> [[TMP1]], <i32 0, i32 16>
  14 ; CHECK-NEXT:    [[TMP3:%.*]] = or <2 x i32> [[TMP2]], zeroinitializer
  15 ; CHECK-NEXT:    [[TMP4:%.*]] = or <2 x i32> [[TMP3]], zeroinitializer
  16 ; CHECK-NEXT:    [[TMP5:%.*]] = or <2 x i32> [[TMP4]], zeroinitializer
  17 ; CHECK-NEXT:    store <2 x i32> [[TMP5]], ptr null, align 4
  18 ; CHECK-NEXT:    ret void
  19 ;
  20 entry:
  21   %arrayidx51.1.i = getelementptr i8, ptr null, i64 4
  22   %retval.sroa.3.0.insert.ext.i.i = zext i8 0 to i32
  23   %retval.sroa.2.0.insert.ext.i.i = zext i8 0 to i32
  24   br label %cond.end.i
  25
  26 cond.end.i:
  27   %add46.i30 = or i32 0, %retval.sroa.2.0.insert.ext.i.i
  28   %add49.i = or i32 0, %retval.sroa.3.0.insert.ext.i.i
  29   #dbg_value(i32 %add49.i, !8, !DIExpression(), !16)
  30   %0 = tail call i32 @llvm.umin.i32(i32 %add46.i30, i32 0)
  31   %cmp.i14.i.i.i = icmp slt i32 %add49.i, 0
  32   %block_color.sroa.7.0.insert.ext.i = select i1 %cmp.i14.i.i.i, i32 0, i32 0
  33   %block_color.sroa.7.0.insert.shift.i = shl i32 %block_color.sroa.7.0.insert.ext.i, 16
  34   %block_color.sroa.5.0.insert.ext.i = select i1 false, i32 0, i32 %0
  35   %block_color.sroa.5.0.insert.shift.i = shl i32 %block_color.sroa.5.0.insert.ext.i, 0
  36   %block_color.sroa.7.0.insert.insert.i = or i32 %block_color.sroa.7.0.insert.shift.i, %block_color.sroa.5.0.insert.shift.i
  37   %block_color.sroa.5.0.insert.insert.i = or i32 %block_color.sroa.7.0.insert.insert.i, 0
  38   %block_color.sroa.0.0.insert.insert.i = or i32 %block_color.sroa.5.0.insert.insert.i, 0
  39   store i32 %block_color.sroa.0.0.insert.insert.i, ptr null, align 4
  40   %add46.1.i = or i32 0, %retval.sroa.2.0.insert.ext.i.i
  41   %add49.1.i = or i32 0, %retval.sroa.3.0.insert.ext.i.i
  42   %cmp.i11.i.i.1.i = icmp slt i32 %add46.1.i, 0
  43   %1 = tail call i32 @llvm.umin.i32(i32 %add49.1.i, i32 0)
  44   %block_color.sroa.7.0.insert.ext.1.i = select i1 false, i32 0, i32 %1
  45   %block_color.sroa.7.0.insert.shift.1.i = shl i32 %block_color.sroa.7.0.insert.ext.1.i, 16
  46   %block_color.sroa.5.0.insert.ext.1.i = select i1 %cmp.i11.i.i.1.i, i32 0, i32 0
  47   %block_color.sroa.5.0.insert.shift.1.i = shl i32 %block_color.sroa.5.0.insert.ext.1.i, 0
  48   %block_color.sroa.7.0.insert.insert.1.i = or i32 %block_color.sroa.7.0.insert.shift.1.i, %block_color.sroa.5.0.insert.shift.1.i
  49   %block_color.sroa.5.0.insert.insert.1.i = or i32 %block_color.sroa.7.0.insert.insert.1.i, 0
  50   %block_color.sroa.0.0.insert.insert.1.i = or i32 %block_color.sroa.5.0.insert.insert.1.i, 0
  51   store i32 %block_color.sroa.0.0.insert.insert.1.i, ptr %arrayidx51.1.i, align 4
  52   ret void
  53 }
  54
  55 !llvm.dbg.cu = !{!0}
  56 !llvm.module.flags = !{!7}
  57
  58 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1)
  59 !1 = !DIFile(filename: "q.cpp", directory: "/tmp")
  60 !7 = !{i32 2, !"Debug Info Version", i32 3}
  61 !8 = !DILocalVariable(name: "sb", arg: 4, scope: !9)
  62 !9 = distinct !DISubprogram(name: "color_rgba", unit: !0)
  63 !16 = !DILocation(scope: !9)
  64 ;.
  65 ; CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: [[META1:![0-9]+]], isOptimized: false, runtimeVersion: 0, emissionKind: NoDebug)
  66 ; CHECK: [[META1]] = !DIFile(filename: "q.cpp", directory: {{.*}})
  67 ; CHECK: [[META3]] = !DILocalVariable(name: "sb", arg: 4, scope: [[META4:![0-9]+]])
  68 ; CHECK: [[META4]] = distinct !DISubprogram(name: "color_rgba", scope: null, spFlags: DISPFlagDefinition, unit: [[META0]])
  69 ; CHECK: [[META5]] = !DILocation(line: 0, scope: [[META4]])
  70 ;.