llvm/test/DebugInfo/MIR/InstrRef/x86-fp-stackifier-drop-locations.mir

   1 # RUN: llc %s -run-pass=x86-codegen -o - -experimental-debug-variable-locations | FileCheck %s
   2 #
   3 # The x87 FP instructions below have debug instr numbers attached -- but the
   4 # operands get rewritten when it's converted to stack-form. Rather than trying
   5 # to recover from this, drop any instruction numbers.
   6 #
   7 # CHECK-NOT: debug-instr-number
   8 # CHECK:     ADD_F64m
   9 # CHECK-NOT: debug-instr-number
  10 #
  11 # Original program, command line 'clang ./test.c -O2 -g -m32 -o out.o -c'
  12 #
  13 # long double ext();
  14 #
  15 # long double glob = 1.234;
  16 #
  17 # long double foo(long double a, long double b, long double c) {
  18 #   a += b;
  19 #   b += c;
  20 #   a *= ext();
  21 #   b /= ext();
  22 #   if (a < 5.0)
  23 #     a += glob;
  24 #   return a - b;
  25 # }
  26 #
  27
  28 --- |
  29   ; ModuleID = 'out.ll'
  30   source_filename = "./test.c"
  31   target datalayout = "e-m:e-p:32:32-p270:32:32-p271:32:32-p272:64:64-f64:32:64-f80:32-n8:16:32-S128"
  32   target triple = "i386-unknown-linux-gnu"
  33
  34   @glob = dso_local local_unnamed_addr global x86_fp80 0xK3FFF9DF3B645A1CAC000, align 4, !dbg !0
  35
  36   ; Function Attrs: nounwind
  37   define dso_local x86_fp80 @foo(x86_fp80 %a, x86_fp80 %b, x86_fp80 %c) local_unnamed_addr !dbg !13 {
  38   entry:
  39     call void @llvm.dbg.value(metadata x86_fp80 %a, metadata !17, metadata !DIExpression()), !dbg !20
  40     call void @llvm.dbg.value(metadata x86_fp80 %b, metadata !18, metadata !DIExpression()), !dbg !20
  41     call void @llvm.dbg.value(metadata x86_fp80 %c, metadata !19, metadata !DIExpression()), !dbg !20
  42     %add = fadd x86_fp80 %a, %b, !dbg !21
  43     call void @llvm.dbg.value(metadata x86_fp80 %add, metadata !17, metadata !DIExpression()), !dbg !20
  44     call void @llvm.dbg.value(metadata x86_fp80 undef, metadata !18, metadata !DIExpression()), !dbg !20
  45     %call = tail call x86_fp80 bitcast (x86_fp80 (...)* @ext to x86_fp80 ()*)() #3, !dbg !22
  46     %mul = fmul x86_fp80 %add, %call, !dbg !23
  47     call void @llvm.dbg.value(metadata x86_fp80 %mul, metadata !17, metadata !DIExpression()), !dbg !20
  48     %call2 = tail call x86_fp80 bitcast (x86_fp80 (...)* @ext to x86_fp80 ()*)() #3, !dbg !24
  49     call void @llvm.dbg.value(metadata x86_fp80 undef, metadata !18, metadata !DIExpression()), !dbg !20
  50     %cmp = fcmp olt x86_fp80 %mul, 0xK4001A000000000000000, !dbg !25
  51     %0 = load x86_fp80, x86_fp80* @glob, align 4, !dbg !27
  52     %add3 = fadd x86_fp80 %mul, %0, !dbg !27
  53     %a.addr.0 = select i1 %cmp, x86_fp80 %add3, x86_fp80 %mul, !dbg !27
  54     %add1 = fadd x86_fp80 %b, %c, !dbg !28
  55     call void @llvm.dbg.value(metadata x86_fp80 %add1, metadata !18, metadata !DIExpression()), !dbg !20
  56     %div = fdiv x86_fp80 %add1, %call2, !dbg !29
  57     call void @llvm.dbg.value(metadata x86_fp80 %div, metadata !18, metadata !DIExpression()), !dbg !20
  58     call void @llvm.dbg.value(metadata x86_fp80 %a.addr.0, metadata !17, metadata !DIExpression()), !dbg !20
  59     %sub = fsub x86_fp80 %a.addr.0, %div, !dbg !30
  60     ret x86_fp80 %sub, !dbg !31
  61   }
  62
  63   declare dso_local x86_fp80 @ext(...) local_unnamed_addr
  64
  65   ; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
  66   declare void @llvm.dbg.value(metadata, metadata, metadata)
  67
  68   !llvm.dbg.cu = !{!2}
  69   !llvm.module.flags = !{!8, !9, !10, !11}
  70   !llvm.ident = !{!12}
  71
  72   !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
  73   !1 = distinct !DIGlobalVariable(name: "glob", scope: !2, file: !6, line: 3, type: !7, isLocal: false, isDefinition: true)
  74   !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5, splitDebugInlining: false, nameTableKind: None)
  75   !3 = !DIFile(filename: "test.c", directory: "/fast/fs/build34llvm4")
  76   !4 = !{}
  77   !5 = !{!0}
  78   !6 = !DIFile(filename: "./test.c", directory: ".")
  79   !7 = !DIBasicType(name: "long double", size: 96, encoding: DW_ATE_float)
  80   !8 = !{i32 1, !"NumRegisterParameters", i32 0}
  81   !9 = !{i32 7, !"Dwarf Version", i32 4}
  82   !10 = !{i32 2, !"Debug Info Version", i32 3}
  83   !11 = !{i32 1, !"wchar_size", i32 4}
  84   !12 = !{!"clang"}
  85   !13 = distinct !DISubprogram(name: "foo", scope: !6, file: !6, line: 5, type: !14, scopeLine: 5, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !16)
  86   !14 = !DISubroutineType(types: !15)
  87   !15 = !{!7, !7, !7, !7}
  88   !16 = !{!17, !18, !19}
  89   !17 = !DILocalVariable(name: "a", arg: 1, scope: !13, file: !6, line: 5, type: !7)
  90   !18 = !DILocalVariable(name: "b", arg: 2, scope: !13, file: !6, line: 5, type: !7)
  91   !19 = !DILocalVariable(name: "c", arg: 3, scope: !13, file: !6, line: 5, type: !7)
  92   !20 = !DILocation(line: 0, scope: !13)
  93   !21 = !DILocation(line: 6, column: 5, scope: !13)
  94   !22 = !DILocation(line: 8, column: 8, scope: !13)
  95   !23 = !DILocation(line: 8, column: 5, scope: !13)
  96   !24 = !DILocation(line: 9, column: 8, scope: !13)
  97   !25 = !DILocation(line: 10, column: 9, scope: !26)
  98   !26 = distinct !DILexicalBlock(scope: !13, file: !6, line: 10, column: 7)
  99   !27 = !DILocation(line: 10, column: 7, scope: !13)
 100   !28 = !DILocation(line: 7, column: 5, scope: !13)
 101   !29 = !DILocation(line: 9, column: 5, scope: !13)
 102   !30 = !DILocation(line: 12, column: 12, scope: !13)
 103   !31 = !DILocation(line: 12, column: 3, scope: !13)
 104
 105 ...
 106 ---
 107 name:            foo
 108 alignment:       16
 109 tracksRegLiveness: true
 110 frameInfo:
 111   hasCalls:        true
 112 fixedStack:
 113   - { id: 0, type: default, offset: 24, size: 10, alignment: 8, stack-id: default,
 114       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
 115       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 116   - { id: 1, type: default, offset: 12, size: 10, alignment: 4, stack-id: default,
 117       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
 118       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 119   - { id: 2, type: default, offset: 0, size: 10, alignment: 16, stack-id: default,
 120       isImmutable: true, isAliased: false, callee-saved-register: '', callee-saved-restored: true,
 121       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 122 stack:
 123   - { id: 0, name: '', type: spill-slot, offset: 0, size: 10, alignment: 4,
 124       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
 125       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 126   - { id: 1, name: '', type: spill-slot, offset: 0, size: 10, alignment: 4,
 127       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
 128       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 129   - { id: 2, name: '', type: spill-slot, offset: 0, size: 10, alignment: 4,
 130       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
 131       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 132 callSites:       []
 133 debugValueSubstitutions: []
 134 constants:
 135   - id:              0
 136     value:           'float 5.000000e+00'
 137     alignment:       4
 138     isTargetSpecific: false
 139 machineFunctionInfo: {}
 140 body:             |
 141   bb.0.entry:
 142     renamable $fp0 = nofpexcept LD_Fp80m %fixed-stack.0, 1, $noreg, 0, $noreg, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 1 :: (load (s80) from %fixed-stack.0, align 8)
 143     ST_FpP80m %stack.0, 1, $noreg, 0, $noreg, killed renamable $fp0, implicit-def $fpsw, implicit $fpcw, debug-instr-number 2 :: (store (s80) into %stack.0, align 4)
 144     renamable $fp1 = nofpexcept LD_Fp80m %fixed-stack.1, 1, $noreg, 0, $noreg, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 3 :: (load (s80) from %fixed-stack.1, align 4)
 145     ST_FpP80m %stack.1, 1, $noreg, 0, $noreg, renamable $fp1, implicit-def $fpsw, implicit $fpcw, debug-instr-number 4 :: (store (s80) into %stack.1, align 4)
 146     renamable $fp0 = nofpexcept LD_Fp80m %fixed-stack.2, 1, $noreg, 0, $noreg, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 5 :: (load (s80) from %fixed-stack.2, align 16)
 147     renamable $fp0 = nofpexcept ADD_Fp80 killed renamable $fp0, killed renamable $fp1, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 6, debug-location !21
 148     ST_FpP80m %stack.2, 1, $noreg, 0, $noreg, killed renamable $fp0, implicit-def $fpsw, implicit $fpcw, debug-instr-number 7 :: (store (s80) into %stack.2, align 4)
 149     ADJCALLSTACKDOWN32 0, 0, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp, debug-location !22
 150     CALLpcrel32 @ext, csr_32, implicit $esp, implicit $ssp, implicit-def $esp, implicit-def $ssp, implicit-def $fp0, debug-instr-number 100, debug-location !22
 151     ADJCALLSTACKUP32 0, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp, debug-location !22
 152     renamable $fp1 = LD_Fp80m %stack.2, 1, $noreg, 0, $noreg, implicit-def $fpsw, implicit $fpcw :: (load (s80) from %stack.2, align 4)
 153     renamable $fp0 = nofpexcept MUL_Fp80 killed renamable $fp1, killed renamable $fp0, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 8, debug-location !23
 154     ST_FpP80m %stack.2, 1, $noreg, 0, $noreg, killed renamable $fp0, implicit-def $fpsw, implicit $fpcw, debug-instr-number 9 :: (store (s80) into %stack.2, align 4)
 155     ADJCALLSTACKDOWN32 0, 0, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp, debug-location !24
 156     CALLpcrel32 @ext, csr_32, implicit $esp, implicit $ssp, implicit-def $esp, implicit-def $ssp, implicit-def $fp0, debug-location !24
 157     ADJCALLSTACKUP32 0, 0, implicit-def dead $esp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $esp, implicit $ssp, debug-location !24
 158     renamable $fp1 = nofpexcept LD_Fp32m80 $noreg, 1, $noreg, %const.0, $noreg, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 10 :: (load (s32) from constant-pool)
 159     renamable $fp2 = LD_Fp80m %stack.2, 1, $noreg, 0, $noreg, implicit-def $fpsw, implicit $fpcw, debug-instr-number 11 :: (load (s80) from %stack.2, align 4)
 160     nofpexcept UCOM_FpIr80 killed renamable $fp1, renamable $fp2, implicit-def $eflags, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 12, debug-location !25
 161     renamable $fp1 = nofpexcept LD_Fp80m $noreg, 1, $noreg, @glob, $noreg, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 13, debug-location !27 :: (dereferenceable load (s80) from @glob, align 4)
 162     renamable $fp1 = nofpexcept ADD_Fp80 renamable $fp2, killed renamable $fp1, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 14, debug-location !27
 163     renamable $fp2 = CMOVNBE_Fp80 killed renamable $fp2, killed renamable $fp1, implicit-def dead $fpsw, implicit killed $eflags, debug-instr-number 15, debug-location !27
 164     renamable $fp3 = COPY killed renamable $fp2
 165     renamable $fp1 = LD_Fp80m %stack.0, 1, $noreg, 0, $noreg, implicit-def $fpsw, implicit $fpcw, debug-instr-number 16 :: (load (s80) from %stack.0, align 4)
 166     renamable $fp2 = LD_Fp80m %stack.1, 1, $noreg, 0, $noreg, implicit-def $fpsw, implicit $fpcw, debug-instr-number 17 :: (load (s80) from %stack.1, align 4)
 167     renamable $fp1 = nofpexcept ADD_Fp80 killed renamable $fp2, killed renamable $fp1, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 18, debug-location !28
 168     renamable $fp0 = nofpexcept DIV_Fp80 killed renamable $fp1, killed renamable $fp0, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 19, debug-location !29
 169     renamable $fp0 = nofpexcept SUB_Fp80 killed renamable $fp3, killed renamable $fp0, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 20, debug-location !30
 170     ;; Edited in:
 171     renamable $fp0 = ADD_Fp64m killed renamable $fp0, killed $esp, 1, $noreg, 0, $noreg, implicit-def dead $fpsw, implicit $fpcw, debug-instr-number 21,  :: (load (s64) from `i32 *undef`)
 172     RET 0, killed renamable $fp0, debug-location !31
 173
 174 ...