llvm/test/Transforms/Reassociate/undef_intrinsics_when_deleting_instructions.ll

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