llvm/test/Transforms/Reassociate/undef_intrinsics_when_deleting_instructions.ll

   1 ; RUN: opt < %s -passes=reassociate -S | FileCheck %s
   2 ; RUN: opt < %s -passes=reassociate -S --try-experimental-debuginfo-iterators | FileCheck %s
   3
   4 ; Check that reassociate pass now undefs debug intrinsics that reference a value
   5 ; that gets dropped and cannot be salvaged.
   6
   7 ; CHECK-NOT: %add = fadd fast float %a, %b
   8 ; CHECK: #dbg_value(float poison, [[VAR_X:![0-9]+]], !DIExpression(),
   9
  10 ; CHECK-LABEL: if.then:
  11 ; CHECK-NOT: %add1 = fadd fast float %add, %c
  12 ; CHECK: #dbg_value(float poison, [[VAR_Y:![0-9]+]], !DIExpression(),
  13 ; CHECK-LABEL: !0 =
  14 ; CHECK-DAG: [[VAR_Y]] = !DILocalVariable(name: "y"
  15 ; CHECK-DAG: [[VAR_X]] = !DILocalVariable(name: "x"
  16
  17 define float @"?foo@@YAMMMMM@Z"(float %a, float %b, float %c, float %d) !dbg !8 {
  18 entry:
  19   call void @llvm.dbg.value(metadata float %d, metadata !12, metadata !DIExpression()), !dbg !13
  20   call void @llvm.dbg.value(metadata float %c, metadata !14, metadata !DIExpression()), !dbg !13
  21   call void @llvm.dbg.value(metadata float %b, metadata !15, metadata !DIExpression()), !dbg !13
  22   call void @llvm.dbg.value(metadata float %a, metadata !16, metadata !DIExpression()), !dbg !13
  23   %add = fadd fast float %a, %b, !dbg !17
  24   call void @llvm.dbg.value(metadata float %add, metadata !18, metadata !DIExpression()), !dbg !13
  25   %cmp = fcmp fast oeq float %d, 4.000000e+00, !dbg !19
  26   br i1 %cmp, label %if.then, label %return, !dbg !19
  27
  28 if.then:                                          ; preds = %entry
  29   %add1 = fadd fast float %add, %c, !dbg !20
  30   call void @llvm.dbg.value(metadata float %add1, metadata !23, metadata !DIExpression()), !dbg !24
  31   %sub = fsub fast float %add, 1.200000e+01, !dbg !25
  32   %sub2 = fsub fast float %add1, %sub, !dbg !25
  33   %mul = fmul fast float %sub2, 2.000000e+01, !dbg !25
  34   %div = fdiv fast float %mul, 3.000000e+00, !dbg !25
  35   br label %return, !dbg !25
  36
  37 return:                                           ; preds = %entry, %if.then
  38   %retval.0 = phi float [ %div, %if.then ], [ 0.000000e+00, %entry ], !dbg !13
  39   ret float %retval.0, !dbg !26
  40 }
  41
  42 declare void @llvm.dbg.value(metadata, metadata, metadata)
  43
  44 !llvm.dbg.cu = !{!0}
  45 !llvm.module.flags = !{!3, !4, !5, !6}
  46 !llvm.ident = !{!7}
  47
  48 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 11.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)
  49 !1 = !DIFile(filename: "undef_intrinsics_when_deleting_instructions.cpp", directory: "/")
  50 !2 = !{}
  51 !3 = !{i32 2, !"CodeView", i32 1}
  52 !4 = !{i32 2, !"Debug Info Version", i32 3}
  53 !5 = !{i32 1, !"wchar_size", i32 2}
  54 !6 = !{i32 7, !"PIC Level", i32 2}
  55 !7 = !{!"clang version 11.0.0"}
  56 !8 = distinct !DISubprogram(name: "foo", linkageName: "?foo@@YAMMMMM@Z", scope: !1, file: !1, line: 1, type: !9, scopeLine: 1, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
  57 !9 = !DISubroutineType(types: !10)
  58 !10 = !{!11, !11, !11, !11, !11}
  59 !11 = !DIBasicType(name: "float", size: 32, encoding: DW_ATE_float)
  60 !12 = !DILocalVariable(name: "d", arg: 4, scope: !8, file: !1, line: 1, type: !11)
  61 !13 = !DILocation(line: 0, scope: !8)
  62 !14 = !DILocalVariable(name: "c", arg: 3, scope: !8, file: !1, line: 1, type: !11)
  63 !15 = !DILocalVariable(name: "b", arg: 2, scope: !8, file: !1, line: 1, type: !11)
  64 !16 = !DILocalVariable(name: "a", arg: 1, scope: !8, file: !1, line: 1, type: !11)
  65 !17 = !DILocation(line: 2, scope: !8)
  66 !18 = !DILocalVariable(name: "x", scope: !8, file: !1, line: 2, type: !11)
  67 !19 = !DILocation(line: 3, scope: !8)
  68 !20 = !DILocation(line: 4, scope: !21)
  69 !21 = distinct !DILexicalBlock(scope: !22, file: !1, line: 3)
  70 !22 = distinct !DILexicalBlock(scope: !8, file: !1, line: 3)
  71 !23 = !DILocalVariable(name: "y", scope: !21, file: !1, line: 4, type: !11)
  72 !24 = !DILocation(line: 0, scope: !21)
  73 !25 = !DILocation(line: 5, scope: !21)
  74 !26 = !DILocation(line: 8, scope: !8)