This is an archive of the discontinued LLVM Phabricator instance.

Differential D113194

[DebugInfo][NFC] Prevent some tests from running in instruction-referencing mode
ClosedPublic

Authored by jmorse on Nov 4 2021, 8:53 AM.

Details

Reviewers
aprantl
djtodoro
Commits
rG1dc0e47cb96a: [DebugInfo][NFC] Force some tests to not use instruction-referencing
Summary

This patch is very simple: it adds -experimental-debug-variable-locations=false to ~100 tests. This patch is just making explicit what they're currently testing.

The reason why: shortly I'd like to RFC about turning on instruction referencing by default, a pre-requisite for which is that all the tests pass with instruction referencing turned on. Hence, making these ~100 tests explicitly not test instruction referencing.

Obviously, some of these tests cover important things that need to continue being tested with instruction referencing (there are about thirty SelectionDAG where-to-place-the-debug-instr tests), I've got a breakdown of them below. I'd prefer to mark all these things -experimental-debug-variable-locations=false and then update them with instruction referencing CHECKs later as that allows for switching the PS4 buildbot to instr-ref pretty much immediately and enables other people to run their own tests without noise.

The risk is that not all get converted and we lose test coverage in the long term; if that's too high a risk, I can do the test conversion first.

Test breakdown (deeply boring):

Tests that are examining something specific to DBG_VALUE-based variable tracking, usually that livedebugvariables behaves in a certain way. These are irrelevant to instruction referencing, and should be left testing DBG_VALUE-based tracking.

  • llvm/test/CodeGen/PowerPC/pr38899-split-register-at-spill.mir
  • llvm/test/DebugInfo/MIR/Mips/livedebugvars-stop-trimming-loc.mir
  • llvm/test/DebugInfo/MIR/X86/kill-after-spill.mir
  • llvm/test/DebugInfo/MIR/X86/live-debug-vars-unused-arg-debugonly.mir
  • llvm/test/DebugInfo/MIR/X86/live-debug-vars-unused-arg.mir
  • llvm/test/DebugInfo/MIR/X86/livedebugvars-crossbb-interval.mir
  • llvm/test/DebugInfo/X86/live-debug-vars-discard-invalid.mir
  • llvm/test/DebugInfo/X86/live-debug-vars-intervals.mir
  • llvm/test/DebugInfo/X86/pr34545.ll
  • llvm/test/DebugInfo/X86/sdag-combine.ll

These all contain CHECKs for DBG_VALUEs, but are testing something important (like SelectionDAGs placement of them), that we do the right thing for big-endian stack locations, and so forth. This is the set that should definitely be updated to have instruction-referencing CHECKs.

  • llvm/test/CodeGen/ARM/dbg-range-extension.mir
  • llvm/test/CodeGen/X86/dbg-value-superreg-copy.mir
  • llvm/test/CodeGen/X86/fast-regalloc-live-out-debug-values.mir (regalloc misery)
  • llvm/test/DebugInfo/AArch64/compiler-gen-bbs-livedebugvalues.mir
  • llvm/test/DebugInfo/MIR/X86/backup-entry-values-usage.mir
  • llvm/test/DebugInfo/MIR/X86/entry-value-of-modified-param.mir (has instrref verion?)
  • llvm/test/DebugInfo/MIR/X86/kill-entry-value-after-diamond-bbs.mir (same)
  • llvm/test/DebugInfo/MIR/X86/live-debug-values-bad-transfer.mir (same)
  • llvm/test/DebugInfo/MIR/X86/live-debug-values-cutoffs.mir (same)
  • llvm/test/DebugInfo/MIR/X86/live-debug-values-fragments.mir
  • llvm/test/DebugInfo/MIR/X86/live-debug-values-restore-collide.mir (distinct stack slots)
  • llvm/test/DebugInfo/MIR/X86/live-debug-values-restore.mir
  • llvm/test/CodeGen/AArch64/wrong_debug_loc_after_regalloc.ll (dbg_ref plcmnt)
  • llvm/test/CodeGen/AMDGPU/debug-value.ll (double emission test?)
  • llvm/test/CodeGen/AMDGPU/debug-value2.ll
  • llvm/test/CodeGen/AMDGPU/post-ra-soft-clause-dbg-info.ll (gnochange)
  • llvm/test/CodeGen/AMDGPU/ptr-arg-dbg-value.ll (sdag test)
  • llvm/test/CodeGen/ARM/debuginfo-split-carryexpr.ll (loc-should-be-dropped)
  • llvm/test/CodeGen/ARM/fragmented-args-multiple-regs.ll (sdag test)
  • llvm/test/CodeGen/PowerPC/debuginfo-split-int.ll (endianness test)
  • llvm/test/DebugInfo/ARM/sdag-split-arg1.ll
  • llvm/test/DebugInfo/Generic/linear-dbg-value.ll (sdag test)
  • llvm/test/DebugInfo/MSP430/sdagsplit-1.ll (splitting sdag test)
  • llvm/test/DebugInfo/NVPTX/dbg-value-const-byref.ll
  • llvm/test/DebugInfo/PowerPC/live-debug-vars-subreg-offset.ll (big endian stack)
  • llvm/test/DebugInfo/X86/dbg-value-arg-movement.ll
  • llvm/test/DebugInfo/X86/dbg-value-funcarg.ll
  • llvm/test/DebugInfo/X86/dbg-value-funcarg2.ll
  • llvm/test/DebugInfo/X86/dbg-value-funcarg3.ll
  • llvm/test/DebugInfo/X86/float_const_loclist.ll
  • llvm/test/DebugInfo/X86/pr40427.ll
  • llvm/test/DebugInfo/X86/sdag-dangling-dbgvalue.ll
  • llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-1.ll
  • llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-2.ll
  • llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-3.ll
  • llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-4.ll
  • llvm/test/DebugInfo/X86/sdag-dbgvalue-ssareg.ll
  • llvm/test/DebugInfo/X86/sdag-ir-salvage.ll
  • llvm/test/DebugInfo/X86/sdag-salvage-add.ll
  • llvm/test/DebugInfo/X86/sdag-split-arg.ll
  • llvm/test/DebugInfo/X86/sdag-transfer-dbgvalue.ll
  • llvm/test/DebugInfo/X86/sdagsplit-1.ll

Instruction referencing produces different location lists, and these tests encode specific expectations about where ranges start and end. They can just be updated to have instruction referencing versions:

  • llvm/test/CodeGen/ARM/debug-info-sreg2.ll
  • llvm/test/CodeGen/X86/2010-05-26-DotDebugLoc.ll
  • llvm/test/DebugInfo/COFF/fpo-stack-protect.ll
  • llvm/test/DebugInfo/COFF/pieces.ll
  • llvm/test/DebugInfo/COFF/register-variables.ll
  • llvm/test/DebugInfo/NVPTX/cu-range-hole.ll
  • llvm/test/DebugInfo/NVPTX/debug-info.ll
  • llvm/test/DebugInfo/X86/basic-block-sections-debug-loclist-3.ll (outp order ch)
  • llvm/test/DebugInfo/X86/basic-block-sections-debug-loclist-4.ll (")
  • llvm/test/DebugInfo/X86/basic-block-sections-debug-loclist-5.ll (")
  • llvm/test/DebugInfo/X86/constant-loclist.ll
  • llvm/test/DebugInfo/X86/dbg-addr-dse.ll (un-necessary entry?)
  • llvm/test/DebugInfo/X86/live-debug-values.ll (Doesn't anticipate entry vals)
  • llvm/test/DebugInfo/X86/live-debug-variables.ll (wants name change too!)
  • llvm/test/DebugInfo/X86/pieces-3.ll
  • llvm/test/DebugInfo/X86/pieces-4.ll (bakes loclist addr into test)
  • llvm/test/DebugInfo/X86/spill-nospill.ll
  • llvm/test/tools/llvm-locstats/locstats.ll
  • llvm/test/DebugInfo/COFF/types-array-advanced.ll (change in variable order)

Variadic variable locations: I haven't implemented this for instruction referencing yet, it's probably a week or two of work:

  • llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-clobber.mir
  • llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-join.mir
  • llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-movements.mir
  • llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-spillrestore.mir
  • llvm/test/DebugInfo/X86/dbg-val-list-dangling.ll

Testing of global-isel / fast-isel that only generate DBG_VALUEs right now (instruction referencing doesn't expected to see DBG_VALUEs of vregs)

  • llvm/test/CodeGen/AArch64/GlobalISel/debug-insts.ll
  • llvm/test/CodeGen/AArch64/fast-isel-dbg.ll
  • llvm/test/DebugInfo/AArch64/pr40709.ll

Textual printing of DBG_VALUEs isn't quite as expected with instruction referencing:

  • llvm/test/CodeGen/ARM/2010-08-04-StackVariable.ll
  • llvm/test/CodeGen/ARM/debug-info-branch-folding.ll
  • llvm/test/CodeGen/X86/debug-loclists.ll

Webassembly: I don't know how this works, and it probably won't move to using instruction referencing any time soon anyway,

  • llvm/test/CodeGen/WebAssembly/cfg-stackify-dbg-skip.ll
  • llvm/test/CodeGen/WebAssembly/dbgvalue.ll
  • llvm/test/CodeGen/WebAssembly/stackified-debug.ll
  • llvm/test/DebugInfo/WebAssembly/dbg-value-dwarfdump.ll
  • llvm/test/DebugInfo/WebAssembly/dbg-value-live-interval.ll
  • llvm/test/DebugInfo/WebAssembly/dbg-value-move-2.ll
  • llvm/test/DebugInfo/WebAssembly/dbg-value-move.ll
  • llvm/test/DebugInfo/WebAssembly/dbg-value-ti.ll
  • llvm/test/MC/WebAssembly/debug-byval-struct.ll

More investigation needed as it wasn't immediately obvious what was wrong / different.

  • llvm/test/CodeGen/MIR/X86/diexpr-win32.mir
  • llvm/test/DebugInfo/MIR/X86/mlicm-hoist-post-regalloc.mir
  • llvm/test/CodeGen/ARM/debug-info-s16-reg.ll (drops locs?)
  • llvm/test/DebugInfo/ARM/partial-subreg.ll
  • llvm/test/DebugInfo/COFF/fpo-shrink-wrap.ll
  • llvm/test/DebugInfo/COFF/fpo-stack-protect.ll
  • llvm/test/DebugInfo/X86/dbg-addr.ll (knackered indirection?)
  • llvm/test/DebugInfo/X86/spill-indirect-nrvo.ll (knackered indirection?)
  • llvm/test/DebugInfo/X86/spill-nontrivial-param.ll (knackered indirection?)
  • llvm/test/CodeGen/AArch64/live-debugvalues-sve.mir
  • llvm/test/DebugInfo/COFF/fp-stack.ll <--- x87 stack is near-impossible to deal with
  • llvm/test/DebugInfo/X86/instr-ref-selectiondag.ll <--- is just incomplete
  • llvm/test/DebugInfo/X86/live-debug-values-remove-range.ll <--- to delete?
  • llvm/test/DebugInfo/X86/stack-value-dwarf2.ll <--- no location lists?

Diff Detail

Event Timeline

jmorse created this revision.Nov 4 2021, 8:53 AM
Herald added subscribers: asavonic, ctetreau, kerbowa and 19 others. · View Herald TranscriptNov 4 2021, 8:53 AM
jmorse requested review of this revision.Nov 4 2021, 8:53 AM
Herald added a project: Restricted Project. · View Herald TranscriptNov 4 2021, 8:53 AM
Herald added subscribers: llvm-commits, aheejin. · View Herald Transcript
jmorse planned changes to this revision.Nov 4 2021, 9:10 AM

Hmmmm, and I see that because of all the different architecture debug-info tests I've touched, herald has subscribed lots of people to this (hi!). The intention with this feature is to turn it on for a couple of architectures first, then expand to everything else. With that in mind, I suppose it'd be unhelpful to change the tests for architectures I'm not immediately looking at: they _should_ continue to fail if they experience this new feature, so that they're not accidentally missed in the future.

I'll revise the patch to not touch them shortly.

dblaikie added a subscriber: dblaikie.Nov 4 2021, 9:49 AM

The risk is that not all get converted and we lose test coverage in the long term; if that's too high a risk, I can do the test conversion first.

That seems to only be an issue if the defaults are changed before these tests are cleaned up - if having all these tests flagged this way makes it easier for local/branched (not changes to the actual LLVM github repo) that seems fine, and it's a matter of policing/ensuring the defaults aren't changed in-tree until all this is cleaned up/well understood. The flag name seems readily greppable, so I don't think that's a huge risk so long as everyone involved is aware of/remembers/ensures these are addressed before any mainline default change is made.

Harbormaster completed remote builds in B132470: Diff 384731.Nov 4 2021, 9:59 AM
djtodoro added a comment.Nov 5 2021, 5:02 AM

@jmorse Thanks a lot for this work! It seems that we are about to see this enabled by default not only for X86 - that is cool!

Regarding this change, overall it looks good to me. I am not sure what is the exact/official strategy inside LLVM community, but (I guess) if the test coverage isn't significantly broken it can be addressed as a future work by converting all the (interesting) tests into new MIR (with the new DBG instructions).

jmorse updated this revision to Diff 385884.Nov 9 2021, 10:40 AM

Update to remove non-x86 tests from the set labelled as "only test without instruction referencing". The non-x86 tests will fail if they're run with instruction referencing, which is the correct behaviour at this time.

What with this technically being NFC, without objection I'll land it tomorrow shortly before sending the RFC email out.

Harbormaster completed remote builds in B133298: Diff 385884.Nov 9 2021, 10:41 AM
jmorse added a comment.Nov 9 2021, 10:45 AM
In D113194#3111358, @djtodoro wrote:

Regarding this change, overall it looks good to me. I am not sure what is the exact/official strategy inside LLVM community, but (I guess) if the test coverage isn't significantly broken it can be addressed as a future work by converting all the (interesting) tests into new MIR (with the new DBG instructions).

I'd really enjoy some of these .ll tests becoming MIR tests; it's a considerable effort though, as things like DebugInfo/X86/stack-value-dwarf2.ll have a single CHECK line and no context to explain the intention behind what they're checking.

dblaikie added a comment.Nov 9 2021, 10:50 AM
In D113194#3119147, @jmorse wrote:

Update to remove non-x86 tests from the set labelled as "only test without instruction referencing". The non-x86 tests will fail if they're run with instruction referencing, which is the correct behaviour at this time.

What with this technically being NFC, without objection I'll land it tomorrow shortly before sending the RFC email out.

Generally once something's sent for review it should get some approval/review rather than "landing if no one objects" (general community standards - as this can lead to folks sending something out for review and then submitting things without review only because review was slow, not because the patch didn't need review)

djtodoro accepted this revision.Nov 10 2021, 12:29 AM

lgtm, thanks!

This revision is now accepted and ready to land.Nov 10 2021, 12:29 AM
This revision was landed with ongoing or failed builds.Nov 17 2021, 3:51 AM
Closed by commit rG1dc0e47cb96a: [DebugInfo][NFC] Force some tests to not use instruction-referencing (authored by jmorse). · Explain Why
This revision was automatically updated to reflect the committed changes.
jmorse added a commit: rG1dc0e47cb96a: [DebugInfo][NFC] Force some tests to not use instruction-referencing.

Revision Contents

PathSize
llvm/
test/
CodeGen/
MIR/
X86/
2 lines
X86/
4 lines
2 lines
8 lines
2 lines
DebugInfo/
COFF/
4 lines
4 lines
2 lines
4 lines
4 lines
4 lines
Generic/
2 lines
MIR/
X86/
3 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
4 lines
4 lines
2 lines
2 lines
3 lines
2 lines
2 lines
2 lines
4 lines
X86/
8 lines
8 lines
8 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
4 lines
2 lines
tools/
llvm-locstats/
2 lines

Diff 387893

llvm/test/CodeGen/MIR/X86/diexpr-win32.mir

# RUN: llc -start-after=prologepilog -filetype=obj -O0 %s -o - | llvm-readobj --codeview - | FileCheck %s # RUN: llc -start-after=prologepilog -filetype=obj -O0 %s -o - -experimental-debug-variable-locations=false | llvm-readobj --codeview - | FileCheck %s
# Offsets are now CFA, or VFRAME, relative. Both the NRVO sret pointer and the # Offsets are now CFA, or VFRAME, relative. Both the NRVO sret pointer and the
# string* parameter are on the stack, NRVO at offset 4 (after RA), and Str at # string* parameter are on the stack, NRVO at offset 4 (after RA), and Str at
# offset 8 (next slot). The stack size is 4, so the DW_OP_plus_uconst math # offset 8 (next slot). The stack size is 4, so the DW_OP_plus_uconst math
# works out. # works out.
# (DW_OP_plus_uconst 12) # (DW_OP_plus_uconst 12)
# CHECK: LocalSym { # CHECK: LocalSym {
▲ Show 20 Lines • Show All 243 Lines • Show Last 20 Lines

llvm/test/CodeGen/X86/2010-05-26-DotDebugLoc.ll

; RUN: llc -O2 < %s | FileCheck %s ; RUN: llc -O2 < %s -experimental-debug-variable-locations=false | FileCheck %s
; RUN: llc -O2 -regalloc=basic < %s | FileCheck %s ; RUN: llc -O2 -regalloc=basic < %s -experimental-debug-variable-locations=false | FileCheck %s
source_filename = "test/CodeGen/X86/2010-05-26-DotDebugLoc.ll" source_filename = "test/CodeGen/X86/2010-05-26-DotDebugLoc.ll"
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-apple-darwin10" target triple = "x86_64-apple-darwin10"
%struct.a = type { i32, %struct.a* } %struct.a = type { i32, %struct.a* }
@llvm.used = appending global [1 x i8*] [i8* bitcast (i8* (%struct.a*)* @bar to i8*)], section "llvm.metadata" @llvm.used = appending global [1 x i8*] [i8* bitcast (i8* (%struct.a*)* @bar to i8*)], section "llvm.metadata"
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/test/CodeGen/X86/dbg-value-superreg-copy.mir

# RUN: llc -O1 -start-after simple-register-coalescing -o - %s | FileCheck %s # RUN: llc -O1 -start-after simple-register-coalescing -o - %s -experimental-debug-variable-locations=false | FileCheck %s
--- | --- |
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu" target triple = "x86_64-pc-linux-gnu"
define i16 @foo(i8 %zzz) !dbg !4 { define i16 @foo(i8 %zzz) !dbg !4 {
entry: entry:
ret i16 1 ret i16 1
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/CodeGen/X86/debug-loclists.ll

; RUN: llc -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t < %s ; RUN: llc -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t -experimental-debug-variable-locations=false < %s
; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \ ; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \
; RUN: FileCheck %s --check-prefixes=CHECK,DWARF32 ; RUN: FileCheck %s --check-prefixes=CHECK,DWARF32
; RUN: llc -dwarf64 -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t < %s ; RUN: llc -dwarf64 -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t -experimental-debug-variable-locations=false < %s
; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \ ; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \
; RUN: FileCheck %s --check-prefixes=CHECK,DWARF64 ; RUN: FileCheck %s --check-prefixes=CHECK,DWARF64
; RUN: llc -dwarf-version=5 -split-dwarf-file=foo.dwo -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t < %s ; RUN: llc -dwarf-version=5 -split-dwarf-file=foo.dwo -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t -experimental-debug-variable-locations=false < %s
; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \ ; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \
; RUN: FileCheck %s --check-prefixes=DWO,DWO32 ; RUN: FileCheck %s --check-prefixes=DWO,DWO32
; RUN: llc -dwarf64 -dwarf-version=5 -split-dwarf-file=foo.dwo -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t < %s ; RUN: llc -dwarf64 -dwarf-version=5 -split-dwarf-file=foo.dwo -mtriple=x86_64-pc-linux -filetype=obj -function-sections -o %t -experimental-debug-variable-locations=false < %s
; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \ ; RUN: llvm-dwarfdump -v -debug-info -debug-loclists %t | \
; RUN: FileCheck %s --check-prefixes=DWO,DWO64 ; RUN: FileCheck %s --check-prefixes=DWO,DWO64
; CHECK: DW_TAG_variable ; CHECK: DW_TAG_variable
; DWARF32-NEXT: DW_AT_location [DW_FORM_loclistx] (indexed (0x0) loclist = 0x00000018: ; DWARF32-NEXT: DW_AT_location [DW_FORM_loclistx] (indexed (0x0) loclist = 0x00000018:
; DWARF64-NEXT: DW_AT_location [DW_FORM_loclistx] (indexed (0x0) loclist = 0x0000002c: ; DWARF64-NEXT: DW_AT_location [DW_FORM_loclistx] (indexed (0x0) loclist = 0x0000002c:
; CHECK-NEXT: [0x0000000000000000, 0x0000000000000003) ".text._Z2f1ii": DW_OP_consts +3, DW_OP_stack_value ; CHECK-NEXT: [0x0000000000000000, 0x0000000000000003) ".text._Z2f1ii": DW_OP_consts +3, DW_OP_stack_value
; CHECK-NEXT: [0x0000000000000003, 0x0000000000000004) ".text._Z2f1ii": DW_OP_consts +4, DW_OP_stack_value) ; CHECK-NEXT: [0x0000000000000003, 0x0000000000000004) ".text._Z2f1ii": DW_OP_consts +4, DW_OP_stack_value)
▲ Show 20 Lines • Show All 124 Lines • Show Last 20 Lines

llvm/test/CodeGen/X86/fast-regalloc-live-out-debug-values.mir

# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -O0 -mtriple=x86_64-unknown-linux-gnu -start-before=regallocfast -stop-after=livedebugvalues -verify-machineinstrs -o - %s | FileCheck %s # RUN: llc -O0 -mtriple=x86_64-unknown-linux-gnu -start-before=regallocfast -stop-after=livedebugvalues -verify-machineinstrs -o - %s -experimental-debug-variable-locations=false | FileCheck %s
# DBG_VALUEs for %0 should be present in the use blocks # DBG_VALUEs for %0 should be present in the use blocks
--- | --- |
define dso_local i32 @foo(i32 %a) #0 !dbg !6 { define dso_local i32 @foo(i32 %a) #0 !dbg !6 {
entry: entry:
%a.addr = alloca i32, align 4 %a.addr = alloca i32, align 4
%saved_stack = alloca i8*, align 8 %saved_stack = alloca i8*, align 8
%__vla_expr0 = alloca i64, align 8 %__vla_expr0 = alloca i64, align 8
▲ Show 20 Lines • Show All 212 Lines • Show Last 20 Lines

llvm/test/DebugInfo/COFF/fp-stack.ll

; RUN: llc -mtriple=i686-windows-msvc < %s | FileCheck %s --check-prefix=ASM ; RUN: llc -mtriple=i686-windows-msvc < %s -experimental-debug-variable-locations=false | FileCheck %s --check-prefix=ASM
; RUN: llc -mtriple=i686-windows-msvc < %s -filetype=obj | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ ; RUN: llc -mtriple=i686-windows-msvc < %s -filetype=obj -experimental-debug-variable-locations=false | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ
target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
target triple = "i686-pc-windows-msvc18.0.0" target triple = "i686-pc-windows-msvc18.0.0"
define double @f(double %p1) !dbg !4 { define double @f(double %p1) !dbg !4 {
entry: entry:
%sub = fsub double -0.000000e+00, %p1, !dbg !16 %sub = fsub double -0.000000e+00, %p1, !dbg !16
tail call void @llvm.dbg.value(metadata double %sub, metadata !10, metadata !14), !dbg !15 tail call void @llvm.dbg.value(metadata double %sub, metadata !10, metadata !14), !dbg !15
ret double %sub ret double %sub
Show All 36 Lines

llvm/test/DebugInfo/COFF/fpo-shrink-wrap.ll

; RUN: llc -enable-shrink-wrap=true < %s | FileCheck %s --check-prefix=ASM ; RUN: llc -enable-shrink-wrap=true < %s -experimental-debug-variable-locations=false | FileCheck %s --check-prefix=ASM
; RUN: llc -enable-shrink-wrap=true -filetype=obj < %s | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ ; RUN: llc -enable-shrink-wrap=true -filetype=obj < %s -experimental-debug-variable-locations=false | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ
; C source: ; C source:
; int doSomething(int*); ; int doSomething(int*);
; int __fastcall shrink_wrap_basic(int a, int b, int c, int d) { ; int __fastcall shrink_wrap_basic(int a, int b, int c, int d) {
; if (a < b) ; if (a < b)
; return a; ; return a;
; for (int i = c; i < d; ++i) ; for (int i = c; i < d; ++i)
; doSomething(&c); ; doSomething(&c);
▲ Show 20 Lines • Show All 166 Lines • Show Last 20 Lines

llvm/test/DebugInfo/COFF/fpo-stack-protect.ll

; RUN: llc < %s | FileCheck %s ; RUN: llc < %s -experimental-debug-variable-locations=false | FileCheck %s
; C source: ; C source:
; void escape(int *); ; void escape(int *);
; int ssp(int a) { ; int ssp(int a) {
; int arr[4] = {a, a, a, a}; ; int arr[4] = {a, a, a, a};
; escape(&arr[0]); ; escape(&arr[0]);
; return a; ; return a;
; } ; }
▲ Show 20 Lines • Show All 105 Lines • Show Last 20 Lines

llvm/test/DebugInfo/COFF/pieces.ll

; RUN: llc < %s | FileCheck %s --check-prefix=ASM ; RUN: llc < %s -experimental-debug-variable-locations=false | FileCheck %s --check-prefix=ASM
; RUN: llc < %s -filetype=obj | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ ; RUN: llc < %s -filetype=obj -experimental-debug-variable-locations=false | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ
; Compile with -O1 as C ; Compile with -O1 as C
; struct IntPair { int x, y; }; ; struct IntPair { int x, y; };
; struct PadRight { long a; int b; }; ; struct PadRight { long a; int b; };
; struct PadLeft { int a; long b; }; ; struct PadLeft { int a; long b; };
; struct Nested { struct PadLeft a[2]; }; ; struct Nested { struct PadLeft a[2]; };
; ;
▲ Show 20 Lines • Show All 442 Lines • Show Last 20 Lines

llvm/test/DebugInfo/COFF/register-variables.ll

; RUN: llc < %s | FileCheck %s --check-prefix=ASM ; RUN: llc < %s -experimental-debug-variable-locations=false | FileCheck %s --check-prefix=ASM
; RUN: llc < %s -filetype=obj | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ ; RUN: llc < %s -filetype=obj -experimental-debug-variable-locations=false | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ
; Generated from: ; Generated from:
; volatile int x; ; volatile int x;
; int getint(void); ; int getint(void);
; void putint(int); ; void putint(int);
; static inline int inlineinc(int a) { ; static inline int inlineinc(int a) {
; int b = a + 1; ; int b = a + 1;
; ++x; ; ++x;
▲ Show 20 Lines • Show All 260 Lines • Show Last 20 Lines

llvm/test/DebugInfo/COFF/types-array-advanced.ll

; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s ; RUN: llc < %s -filetype=obj -experimental-debug-variable-locations=false | llvm-readobj - --codeview | FileCheck %s
; RUN: llc < %s | llvm-mc -filetype=obj --triple=i686-windows | llvm-readobj - --codeview | FileCheck %s ; RUN: llc < %s -experimental-debug-variable-locations=false | llvm-mc -filetype=obj --triple=i686-windows | llvm-readobj - --codeview | FileCheck %s
; C++ source to regenerate: ; C++ source to regenerate:
; $ cat t.cpp ; $ cat t.cpp
; char multi_dim_arr[2][5][7]; ; char multi_dim_arr[2][5][7];
; ;
; struct incomplete_struct(*p_incomplete_struct_arr)[3]; ; struct incomplete_struct(*p_incomplete_struct_arr)[3];
; struct incomplete_struct { ; struct incomplete_struct {
; int s1; ; int s1;
▲ Show 20 Lines • Show All 257 Lines • Show Last 20 Lines

llvm/test/DebugInfo/Generic/linear-dbg-value.ll

; FIXME: Fix machine verifier issues and remove -verify-machineinstrs=0. PR39452. ; FIXME: Fix machine verifier issues and remove -verify-machineinstrs=0. PR39452.
; RUN: llc -stop-before=finalize-isel -pre-RA-sched=linearize -verify-machineinstrs=0 < %s | FileCheck %s ; RUN: llc -stop-before=finalize-isel -pre-RA-sched=linearize -verify-machineinstrs=0 < %s -experimental-debug-variable-locations=false | FileCheck %s
source_filename = "linear-dbg-value.ll" source_filename = "linear-dbg-value.ll"
; Function Attrs: nounwind readonly uwtable ; Function Attrs: nounwind readonly uwtable
define i32 @foo(i32* nocapture readonly %a, i32 %N) local_unnamed_addr #0 !dbg !6 { define i32 @foo(i32* nocapture readonly %a, i32 %N) local_unnamed_addr #0 !dbg !6 {
entry: entry:
%cmp6 = icmp sgt i32 %N, 0, !dbg !11 %cmp6 = icmp sgt i32 %N, 0, !dbg !11
br i1 %cmp6, label %for.body.preheader, label %for.cond.cleanup, !dbg !15 br i1 %cmp6, label %for.body.preheader, label %for.cond.cleanup, !dbg !15
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/backup-entry-values-usage.mir

# RUN: llc -run-pass=livedebugvalues -emit-call-site-info -march=x86-64 -o - %s | FileCheck %s # RUN: llc -run-pass=livedebugvalues -emit-call-site-info -march=x86-64 -o - \
# RUN: %s -experimental-debug-variable-locations=false | FileCheck %s
## Test from PR47628. ## Test from PR47628.
## Compiled from source: ## Compiled from source:
## extern void bar(int); ## extern void bar(int);
## extern int side_effect, value; ## extern int side_effect, value;
## int foo(int param) { ## int foo(int param) {
## side_effect = param; ## side_effect = param;
## param = value; ## param = value;
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-clobber.mir

# RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s | FileCheck %s --implicit-check-not=DBG_VALUE_LIST # RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s -experimental-debug-variable-locations=false | FileCheck %s --implicit-check-not=DBG_VALUE_LIST
# #
# Test that even after a move, clobbering a register terminates a DBG_VALUE_LIST. # Test that even after a move, clobbering a register terminates a DBG_VALUE_LIST.
# Check the same for DBG_VALUE $noreg. # Check the same for DBG_VALUE $noreg.
# #
# CHECK: ![[VAR:[0-9]+]] = !DILocalVariable(name: "c" # CHECK: ![[VAR:[0-9]+]] = !DILocalVariable(name: "c"
# #
# CHECK-LABEL: bb.0.entry: # CHECK-LABEL: bb.0.entry:
# CHECK: DBG_VALUE_LIST ![[VAR]], !DIExpression(DW_OP_LLVM_arg, 0, # CHECK: DBG_VALUE_LIST ![[VAR]], !DIExpression(DW_OP_LLVM_arg, 0,
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-join.mir

# RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s | FileCheck %s --implicit-check-not=DBG_VALUE_LIST # RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s -experimental-debug-variable-locations=false | FileCheck %s --implicit-check-not=DBG_VALUE_LIST
# #
# Test a series of joins, where: # Test a series of joins, where:
# * The locations agree, although registers have changed, # * The locations agree, although registers have changed,
# * A register down one of the predecessors has been def'd, # * A register down one of the predecessors has been def'd,
# * The register operands to DBG_VALUE_LIST have been swapped, # * The register operands to DBG_VALUE_LIST have been swapped,
# * A spurious additional operand has been added to one path, # * A spurious additional operand has been added to one path,
# * The expressions are not the same (plus -> minus). # * The expressions are not the same (plus -> minus).
# #
▲ Show 20 Lines • Show All 151 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-movements.mir

# RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s | FileCheck %s --implicit-check-not=DBG_VALUE_LIST # RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s -experimental-debug-variable-locations=false | FileCheck %s --implicit-check-not=DBG_VALUE_LIST
# #
# The MIR below moves values from argument registers to callee saved registers, # The MIR below moves values from argument registers to callee saved registers,
# moves that are followed by DBG_VALUEs and which should also result in # moves that are followed by DBG_VALUEs and which should also result in
# DBG_VALUE_LISTs moving their operands. # DBG_VALUE_LISTs moving their operands.
# #
# CHECK: ![[VAR:[0-9]+]] = !DILocalVariable(name: "c" # CHECK: ![[VAR:[0-9]+]] = !DILocalVariable(name: "c"
# #
# CHECK-LABEL: bb.0.entry: # CHECK-LABEL: bb.0.entry:
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/dvl-livedebugvalues-spillrestore.mir

# RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s | FileCheck %s --implicit-check-not=DBG_VALUE_LIST # RUN: llc -mtriple=x86_64-- -run-pass livedebugvalues -o - %s -experimental-debug-variable-locations=false | FileCheck %s --implicit-check-not=DBG_VALUE_LIST
# #
# A DBG_VALUE_LIST that has a component spilt and restored should had its # A DBG_VALUE_LIST that has a component spilt and restored should had its
# expression and operands updated to refer to the stack for that period, and # expression and operands updated to refer to the stack for that period, and
# then return to normal once the value is restored. # then return to normal once the value is restored.
# #
# CHECK: ![[VAR:[0-9]+]] = !DILocalVariable(name: "c" # CHECK: ![[VAR:[0-9]+]] = !DILocalVariable(name: "c"
# #
# CHECK-LABEL: bb.0.entry: # CHECK-LABEL: bb.0.entry:
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/entry-value-of-modified-param.mir

# RUN: llc -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s --check-prefixes=CHECK,VARLOCLDV # RUN: llc -run-pass=livedebugvalues -march=x86-64 -o - %s \
# RUN: -experimental-debug-variable-locations=false \
# RUN: | FileCheck %s --check-prefixes=CHECK,VARLOCLDV
# RUN: llc -force-instr-ref-livedebugvalues=1 -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s --check-prefixes=CHECK,INSTRREFLDV # RUN: llc -force-instr-ref-livedebugvalues=1 -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s --check-prefixes=CHECK,INSTRREFLDV
# #
#extern void fn1 (int, int, int); #extern void fn1 (int, int, int);
# #
#__attribute__((noinline)) #__attribute__((noinline))
#int #int
#fn2 (int a, int b, int c) { #fn2 (int a, int b, int c) {
# int q = 2 + a; # int q = 2 + a;
▲ Show 20 Lines • Show All 110 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/kill-after-spill.mir

# RUN: llc -run-pass=livedebugvalues -o - %s | FileCheck %s # RUN: llc -run-pass=livedebugvalues -o - %s -experimental-debug-variable-locations=false | FileCheck %s
# #
# This test is used to acknowledge situation when spill register is killed # This test is used to acknowledge situation when spill register is killed
# in instruction after the spill occurs. # in instruction after the spill occurs.
# Generated MIR is changed in order to test case when instruction after # Generated MIR is changed in order to test case when instruction after
# possible spill, say instruction B, kills register different than than # possible spill, say instruction B, kills register different than than
# the one that is used in possible spill, say instruction A. In that case # the one that is used in possible spill, say instruction A. In that case
# the instruction A is not recognized as spill. Changed instructions are # the instruction A is not recognized as spill. Changed instructions are
# commented in MIR below. # commented in MIR below.
▲ Show 20 Lines • Show All 378 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/kill-entry-value-after-diamond-bbs.mir

# RUN: llc -debug-entry-values -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s --check-prefixes=CHECK,VARLOCLDV # RUN: llc -debug-entry-values -run-pass=livedebugvalues -march=x86-64 -o - %s -experimental-debug-variable-locations=false | FileCheck %s --check-prefixes=CHECK,VARLOCLDV
# RUN: llc -debug-entry-values -force-instr-ref-livedebugvalues=1 -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s --check-prefixes=CHECK,INSTRREFLDV # RUN: llc -debug-entry-values -force-instr-ref-livedebugvalues=1 -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s --check-prefixes=CHECK,INSTRREFLDV
# #
# The test case was artificially adjusted, in order to make proper diamond basic # The test case was artificially adjusted, in order to make proper diamond basic
# block structure relevant to the debug entry values clobbering. # block structure relevant to the debug entry values clobbering.
# #
# CHECK: ![[ARG_B:.*]] = !DILocalVariable(name: "b" # CHECK: ![[ARG_B:.*]] = !DILocalVariable(name: "b"
# CHECK: bb.0.entry # CHECK: bb.0.entry
# CHECK: DBG_VALUE $esi, $noreg, ![[ARG_B]], !DIExpression() # CHECK: DBG_VALUE $esi, $noreg, ![[ARG_B]], !DIExpression()
▲ Show 20 Lines • Show All 177 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/live-debug-values-bad-transfer.mir

# RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -run-pass=livedebugvalues | FileCheck %s --implicit-check-not=DBG_VALUE # RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -run-pass=livedebugvalues -experimental-debug-variable-locations=false | FileCheck %s --implicit-check-not=DBG_VALUE
# RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -run-pass=livedebugvalues -experimental-debug-variable-locations | FileCheck %s -check-prefix=NEWLDV --implicit-check-not=DBG_VALUE # RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -run-pass=livedebugvalues -experimental-debug-variable-locations=true | FileCheck %s -check-prefix=NEWLDV --implicit-check-not=DBG_VALUE
# #
# Test that the DBG_VALUE of ecx below does not get propagated. It is considered # Test that the DBG_VALUE of ecx below does not get propagated. It is considered
# live-in on LiveDebugValues' first pass through the loop, but on the second it # live-in on LiveDebugValues' first pass through the loop, but on the second it
# should be removed from the InLocs set because it gets clobbered inside the # should be removed from the InLocs set because it gets clobbered inside the
# loop. There should be no transfer from ecx to ebx -- this is ensured by the # loop. There should be no transfer from ecx to ebx -- this is ensured by the
# FileCheck implicit-check-not option. # FileCheck implicit-check-not option.
# #
# FIXME: we successfully prevent the false location (ebx) from being # FIXME: we successfully prevent the false location (ebx) from being
▲ Show 20 Lines • Show All 101 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/live-debug-values-cutoffs.mir

# Test cutoffs for livedebugvalues debug range extension. # Test cutoffs for livedebugvalues debug range extension.
# Disable LDV if the input-bb-limit AND the input-dbg-value-limit are both exceeded. # Disable LDV if the input-bb-limit AND the input-dbg-value-limit are both exceeded.
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -livedebugvalues-input-bb-limit=1 \ # RUN: -livedebugvalues-input-bb-limit=1 \
# RUN: -livedebugvalues-input-dbg-value-limit=1 \ # RUN: -livedebugvalues-input-dbg-value-limit=1 \
# RUN: -experimental-debug-variable-locations=false \
# RUN: | FileCheck %s -check-prefix=LDV-DISABLED # RUN: | FileCheck %s -check-prefix=LDV-DISABLED
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -experimental-debug-variable-locations \ # RUN: -experimental-debug-variable-locations \
# RUN: -livedebugvalues-input-bb-limit=1 \ # RUN: -livedebugvalues-input-bb-limit=1 \
# RUN: -livedebugvalues-input-dbg-value-limit=1 \ # RUN: -livedebugvalues-input-dbg-value-limit=1 \
# RUN: | FileCheck %s -check-prefix=LDV-DISABLED # RUN: | FileCheck %s -check-prefix=LDV-DISABLED
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -livedebugvalues-input-bb-limit=1 \ # RUN: -livedebugvalues-input-bb-limit=1 \
# RUN: -livedebugvalues-input-dbg-value-limit=10 \ # RUN: -livedebugvalues-input-dbg-value-limit=10 \
# RUN: -experimental-debug-variable-locations=false \
# RUN: | FileCheck %s -check-prefix=LDV-ENABLED # RUN: | FileCheck %s -check-prefix=LDV-ENABLED
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -experimental-debug-variable-locations \ # RUN: -experimental-debug-variable-locations \
# RUN: -livedebugvalues-input-bb-limit=1 \ # RUN: -livedebugvalues-input-bb-limit=1 \
# RUN: -livedebugvalues-input-dbg-value-limit=10 \ # RUN: -livedebugvalues-input-dbg-value-limit=10 \
# RUN: | FileCheck %s -check-prefix=LDV-ENABLED # RUN: | FileCheck %s -check-prefix=LDV-ENABLED
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -livedebugvalues-input-bb-limit=10 \ # RUN: -livedebugvalues-input-bb-limit=10 \
# RUN: -livedebugvalues-input-dbg-value-limit=1 \ # RUN: -livedebugvalues-input-dbg-value-limit=1 \
# RUN: -experimental-debug-variable-locations=false \
# RUN: | FileCheck %s -check-prefix=LDV-ENABLED # RUN: | FileCheck %s -check-prefix=LDV-ENABLED
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -experimental-debug-variable-locations \ # RUN: -experimental-debug-variable-locations \
# RUN: -livedebugvalues-input-bb-limit=10 \ # RUN: -livedebugvalues-input-bb-limit=10 \
# RUN: -livedebugvalues-input-dbg-value-limit=1 \ # RUN: -livedebugvalues-input-dbg-value-limit=1 \
# RUN: | FileCheck %s -check-prefix=LDV-ENABLED # RUN: | FileCheck %s -check-prefix=LDV-ENABLED
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -livedebugvalues-input-bb-limit=10 \ # RUN: -livedebugvalues-input-bb-limit=10 \
# RUN: -livedebugvalues-input-dbg-value-limit=10 \ # RUN: -livedebugvalues-input-dbg-value-limit=10 \
# RUN: -experimental-debug-variable-locations=false \
# RUN: | FileCheck %s -check-prefix=LDV-ENABLED # RUN: | FileCheck %s -check-prefix=LDV-ENABLED
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \ # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown \
# RUN: -experimental-debug-variable-locations \ # RUN: -experimental-debug-variable-locations \
# RUN: -livedebugvalues-input-bb-limit=10 \ # RUN: -livedebugvalues-input-bb-limit=10 \
# RUN: -livedebugvalues-input-dbg-value-limit=10 \ # RUN: -livedebugvalues-input-dbg-value-limit=10 \
# RUN: | FileCheck %s -check-prefix=LDV-ENABLED # RUN: | FileCheck %s -check-prefix=LDV-ENABLED
# LDV-DISABLED-LABEL: bb.1.exit # LDV-DISABLED-LABEL: bb.1.exit
▲ Show 20 Lines • Show All 75 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/live-debug-values-fragments.mir

# RUN: llc %s -o - -run-pass=livedebugvalues | FileCheck %s # RUN: llc %s -o - -run-pass=livedebugvalues -experimental-debug-variable-locations=false | FileCheck %s
# #
# The first func tests that, for two independent variable fragments defined in # The first func tests that, for two independent variable fragments defined in
# blocks 1 and 2, _both_ their locations are propagated into the exit block. # blocks 1 and 2, _both_ their locations are propagated into the exit block.
# LiveDebugValues previously ignored fragments and only propagated the last # LiveDebugValues previously ignored fragments and only propagated the last
# variable location seen. # variable location seen.
# #
# The second func tests that overlapping variable fragments are handled # The second func tests that overlapping variable fragments are handled
# correctly -- that the redefinition of a particular fragment also clobbers # correctly -- that the redefinition of a particular fragment also clobbers
▲ Show 20 Lines • Show All 250 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/live-debug-values-restore-collide.mir

# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown | FileCheck %s # RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown -experimental-debug-variable-locations=false | FileCheck %s
# #
# This is a regression test for register/stack variable locations being # This is a regression test for register/stack variable locations being
# interpreted as each other. We place a variable location on the stack, based # interpreted as each other. We place a variable location on the stack, based
# on $rsp. We later make a memory load from $rsp. On faulty versions of LLVM # on $rsp. We later make a memory load from $rsp. On faulty versions of LLVM
# this gets interpreted as a stack restore of the spilt value (it's not). # this gets interpreted as a stack restore of the spilt value (it's not).
# #
# Test that LiveDebugValues does not create any new variable locations. # Test that LiveDebugValues does not create any new variable locations.
# #
▲ Show 20 Lines • Show All 76 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/live-debug-values-restore.mir

# RUN: llc -run-pass livedebugvalues -march=x86-64 -o - %s | FileCheck %s # RUN: llc -run-pass livedebugvalues -march=x86-64 -o - %s \
# RUN: -experimental-debug-variable-locations=false | FileCheck %s
# Generated from the following source with: # Generated from the following source with:
# clang -g -mllvm -stop-before=livedebugvalues -S -O2 test.c -o test.mir # clang -g -mllvm -stop-before=livedebugvalues -S -O2 test.c -o test.mir
# Then more functions added to test for extra behaviours with complex # Then more functions added to test for extra behaviours with complex
# expressions: # expressions:
# 'g': test for a crash from PR42773 # 'g': test for a crash from PR42773
# 'h': complex expressions should be restored # 'h': complex expressions should be restored
# 'i': spills should be restored across block boundaries # 'i': spills should be restored across block boundaries
▲ Show 20 Lines • Show All 727 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/live-debug-vars-unused-arg-debugonly.mir

# RUN: llc -O1 -start-before=greedy -stop-after=virtregrewriter -o /dev/null %s -debug-only=livedebugvars 2>&1 | FileCheck -check-prefix=CHECKDBG %s # RUN: llc -O1 -start-before=greedy -stop-after=virtregrewriter -o /dev/null %s -debug-only=livedebugvars 2>&1 -experimental-debug-variable-locations=false | FileCheck -check-prefix=CHECKDBG %s
# REQUIRES: asserts # REQUIRES: asserts
# This test case was generated by using the following c program: # This test case was generated by using the following c program:
# extern void foo(int, int); # extern void foo(int, int);
# #
# int bar[2] = {1, 2}; # int bar[2] = {1, 2};
# #
▲ Show 20 Lines • Show All 154 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/live-debug-vars-unused-arg.mir

# RUN: llc -O1 -start-before=greedy -stop-after=virtregrewriter -o - %s | FileCheck -check-prefix=CHECKMIR %s # RUN: llc -O1 -start-before=greedy -stop-after=virtregrewriter -o - %s -experimental-debug-variable-locations=false | FileCheck -check-prefix=CHECKMIR %s
# This test case was generated by using the following c program: # This test case was generated by using the following c program:
# extern void foo(int, int); # extern void foo(int, int);
# #
# int bar[2] = {1, 2}; # int bar[2] = {1, 2};
# #
# int main(int argc, char** argv) # int main(int argc, char** argv)
# { # {
▲ Show 20 Lines • Show All 149 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/livedebugvars-crossbb-interval.mir

# RUN: llc -start-after=phi-node-elimination -stop-after=virtregrewriter %s -mtriple=x86_64-unknown-unknown -o - | FileCheck %s # RUN: llc -start-after=phi-node-elimination -stop-after=virtregrewriter %s -mtriple=x86_64-unknown-unknown -o - -experimental-debug-variable-locations=false | FileCheck %s
# #
# Test that when a livedebugvars interval crosses a basic block boundary, # Test that when a livedebugvars interval crosses a basic block boundary,
# DBG_VALUEs are created in each covered basic block. In the IR below, control # DBG_VALUEs are created in each covered basic block. In the IR below, control
# flow moves from the bottom upwards, and the DBG_VALUEs from the entry block # flow moves from the bottom upwards, and the DBG_VALUEs from the entry block
# to bb.1 become a single range. Check that they're transformed back into two # to bb.1 become a single range. Check that they're transformed back into two
# DBG_VALUEs after regalloc. # DBG_VALUEs after regalloc.
# These checks look at the entry and bb.1 blocks, and ensure that there is a # These checks look at the entry and bb.1 blocks, and ensure that there is a
▲ Show 20 Lines • Show All 129 Lines • Show Last 20 Lines

llvm/test/DebugInfo/MIR/X86/mlicm-hoist-post-regalloc.mir

--- | --- |
; REQUIRES: asserts ; REQUIRES: asserts
; RUN: llc -start-before=phi-node-elimination -stop-after=machinelicm -debug-only=machinelicm -o - %s | FileCheck %s ; RUN: llc -start-before=phi-node-elimination -stop-after=machinelicm -debug-only=machinelicm -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; RUN: llc -start-before=phi-node-elimination -stop-after=machinelicm -debug-only=machinelicm -early-live-intervals -o - %s | FileCheck %s ; RUN: llc -start-before=phi-node-elimination -stop-after=machinelicm -debug-only=machinelicm -early-live-intervals -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; Ensure we execute machinelicm post register allocation. ; Ensure we execute machinelicm post register allocation.
; Line numbers should not be retained when loop invariant instructions are hoisted. ; Line numbers should not be retained when loop invariant instructions are hoisted.
; ;
; CHECK-LABEL: bb.0.entry: ; CHECK-LABEL: bb.0.entry:
; CHECK: MOV64rm $rip, 1, $noreg, target-flags(x86-gotpcrel) @x, $noreg :: (load (s64) from got) ; CHECK: MOV64rm $rip, 1, $noreg, target-flags(x86-gotpcrel) @x, $noreg :: (load (s64) from got)
; CHECK-LABEL: bb.1.while.body: ; CHECK-LABEL: bb.1.while.body:
; ;
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
▲ Show 20 Lines • Show All 84 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/basic-block-sections-debug-loclist-3.ll

; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=none -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=all -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=none -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=all -filetype=obj -o - -experimental-debug-variable-locations=false| llvm-dwarfdump - | FileCheck %s
; CHECK: DW_TAG_variable ; CHECK: DW_TAG_variable
; CHECK-NEXT: DW_AT_location ; CHECK-NEXT: DW_AT_location
; CHECK-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_reg3 ; CHECK-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_reg3
; CHECK-NEXT: DW_AT_name ("i") ; CHECK-NEXT: DW_AT_name ("i")
; Source to generate the IR below: ; Source to generate the IR below:
; void f1(); ; void f1();
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/basic-block-sections-debug-loclist-4.ll

; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=none -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=all -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=none -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=all -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; CHECK: DW_TAG_variable ; CHECK: DW_TAG_variable
; CHECK-NEXT: DW_AT_location ; CHECK-NEXT: DW_AT_location
; CHECK-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value) ; CHECK-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value)
; CHECK-NEXT: DW_AT_name ("i") ; CHECK-NEXT: DW_AT_name ("i")
; Source to generate the IR below: ; Source to generate the IR below:
; void f1(); ; void f1();
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/basic-block-sections-debug-loclist-5.ll

; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=none -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s --check-prefix=CHECK --check-prefix=SECTIONS ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=4 --basic-block-sections=all -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s --check-prefix=CHECK --check-prefix=SECTIONS
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=none -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=none -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s
; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=all -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s --check-prefix=CHECK --check-prefix=SECTIONS ; RUN: llc %s -mtriple=x86_64-unknown-linux-gnu --dwarf-version=5 --basic-block-sections=all -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s --check-prefix=CHECK --check-prefix=SECTIONS
; CHECK: DW_TAG_variable ; CHECK: DW_TAG_variable
; CHECK-NEXT: DW_AT_location ; CHECK-NEXT: DW_AT_location
; CHECK-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value ; CHECK-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value
; SECTIONS-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value ; SECTIONS-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value
; SECTIONS-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value ; SECTIONS-NEXT: [0x{{[0-9a-f]+}}, 0x{{[0-9a-f]+}}): DW_OP_consts +7, DW_OP_stack_value
; CHECK-NEXT: DW_AT_name ("i") ; CHECK-NEXT: DW_AT_name ("i")
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/constant-loclist.ll

; RUN: llc -filetype=obj %s -o - | llvm-dwarfdump -v -debug-info - | FileCheck %s ; RUN: llc -filetype=obj %s -o - -experimental-debug-variable-locations=false | llvm-dwarfdump -v -debug-info - | FileCheck %s
; A hand-written testcase to check 64-bit constant handling in location lists. ; A hand-written testcase to check 64-bit constant handling in location lists.
; CHECK: .debug_info contents: ; CHECK: .debug_info contents:
; CHECK: DW_TAG_variable ; CHECK: DW_TAG_variable
; CHECK-NEXT: DW_AT_location [DW_FORM_data4] ( ; CHECK-NEXT: DW_AT_location [DW_FORM_data4] (
; CHECK-NEXT: {{.*}}: DW_OP_constu 0x4000000000000000) ; CHECK-NEXT: {{.*}}: DW_OP_constu 0x4000000000000000)
; CHECK-NEXT: DW_AT_name {{.*}}"d" ; CHECK-NEXT: DW_AT_name {{.*}}"d"
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/dbg-addr-dse.ll

; RUN: llc %s -o %t.s ; RUN: llc %s -o %t.s -experimental-debug-variable-locations=false
; RUN: llvm-mc %t.s -filetype=obj -triple=x86_64-windows-msvc -o %t.o ; RUN: llvm-mc %t.s -filetype=obj -triple=x86_64-windows-msvc -o %t.o
; RUN: FileCheck %s < %t.s --check-prefix=ASM ; RUN: FileCheck %s < %t.s --check-prefix=ASM
; RUN: llvm-dwarfdump %t.o | FileCheck %s --check-prefix=DWARF ; RUN: llvm-dwarfdump %t.o | FileCheck %s --check-prefix=DWARF
; In this example, the variable lives mostly in memory, but at the point of the ; In this example, the variable lives mostly in memory, but at the point of the
; assignment to global, it lives nowhere, and is described as the constant ; assignment to global, it lives nowhere, and is described as the constant
; value 1. ; value 1.
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/dbg-addr.ll

; RUN: llc %s -o %t.s ; RUN: llc %s -o %t.s -experimental-debug-variable-locations=false
; RUN: llvm-mc -triple x86_64--linux %t.s -filetype=obj -o %t.o ; RUN: llvm-mc -triple x86_64--linux %t.s -filetype=obj -o %t.o
; RUN: FileCheck < %t.s %s ; RUN: FileCheck < %t.s %s
; RUN: llvm-dwarfdump %t.o | FileCheck %s --check-prefix=DWARF ; RUN: llvm-dwarfdump %t.o | FileCheck %s --check-prefix=DWARF
; Unlike dbg.declare, dbg.addr should be lowered to DBG_VALUE instructions. It ; Unlike dbg.declare, dbg.addr should be lowered to DBG_VALUE instructions. It
; is control-dependent. ; is control-dependent.
; CHECK-LABEL: use_dbg_addr: ; CHECK-LABEL: use_dbg_addr:
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/dbg-val-list-dangling.ll

;; At the moment we emit an undef as soon as we encounter "dangling" variadic ;; At the moment we emit an undef as soon as we encounter "dangling" variadic
;; dbg_value nodes. This does not reduce correctness but does reduce coverage. ;; dbg_value nodes. This does not reduce correctness but does reduce coverage.
;; We should make variadic dbg_values work in the same way as their ;; We should make variadic dbg_values work in the same way as their
;; non-variadic counterparts here. ;; non-variadic counterparts here.
;; FIXME: When dangling nodes for a variadic dbg_value are found, we should be ;; FIXME: When dangling nodes for a variadic dbg_value are found, we should be
;; able to recover the value in some cases. ;; able to recover the value in some cases.
; RUN: llc %s -start-after=codegenprepare -stop-before=finalize-isel -o - | FileCheck %s ; RUN: llc %s -start-after=codegenprepare -stop-before=finalize-isel -o - -experimental-debug-variable-locations=false | FileCheck %s
;; Check that dangling debug info in the SelectionDAG build phase is handled ;; Check that dangling debug info in the SelectionDAG build phase is handled
;; in the same way for variadic dbg_value ndoes as non-variadics. ;; in the same way for variadic dbg_value ndoes as non-variadics.
;; Generated from the following source with -g -O2. Second dbg.value modified ;; Generated from the following source with -g -O2. Second dbg.value modified
;; to be variadic by hand: ;; to be variadic by hand:
;; void a(char*); ;; void a(char*);
;; void b() { ;; void b() {
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/dbg-value-arg-movement.ll

; RUN: llc -mtriple=x86_64-unknown-unknown -start-after=codegenprepare -stop-before=finalize-isel %s -o - | FileCheck %s ; RUN: llc -mtriple=x86_64-unknown-unknown -start-after=codegenprepare -stop-before=finalize-isel %s -o - -experimental-debug-variable-locations=false | FileCheck %s
; Test the movement of dbg.values of arguments. SelectionDAG tries to be ; Test the movement of dbg.values of arguments. SelectionDAG tries to be
; helpful and places DBG_VALUEs of Arguments at the start of functions. ; helpful and places DBG_VALUEs of Arguments at the start of functions.
; Unfortunately, this doesn't necessarily make sense, as one can specify an ; Unfortunately, this doesn't necessarily make sense, as one can specify an
; Argument IR Value as a variable location anywhere in the program. ; Argument IR Value as a variable location anywhere in the program.
; ;
; Distinguish cases where we want to hoist DBG_VALUEs, and those where we ; Distinguish cases where we want to hoist DBG_VALUEs, and those where we
; don't, by whether the referred to variable is a parameter to the current ; don't, by whether the referred to variable is a parameter to the current
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/dbg-value-funcarg.ll

; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s | FileCheck %s ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; Input to this test looked like this and was compiled using: clang -g -O1 -mllvm -stop-after=codegenprepare -S ; Input to this test looked like this and was compiled using: clang -g -O1 -mllvm -stop-after=codegenprepare -S
; ;
; extern void bar(int); ; extern void bar(int);
; ;
; void foo_local(int t1a) { ; void foo_local(int t1a) {
; int local = 123; ; int local = 123;
; bar(local); ; bar(local);
▲ Show 20 Lines • Show All 156 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/dbg-value-funcarg2.ll

; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s | FileCheck %s ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; Test case was generated from the following C code, ; Test case was generated from the following C code,
; using: clang -g -O1 -S -emit-llvm s.c -o s.ll ; using: clang -g -O1 -S -emit-llvm s.c -o s.ll
; ;
; struct s { long long int i, j; }; ; struct s { long long int i, j; };
; ;
; extern void bar(struct s, struct s, struct s); ; extern void bar(struct s, struct s, struct s);
; ;
▲ Show 20 Lines • Show All 119 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/dbg-value-funcarg3.ll

; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s | FileCheck %s ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; Input to this test looked like this and was compiled using: clang -g -O1 -mllvm -stop-after=codegenprepare -S ; Input to this test looked like this and was compiled using: clang -g -O1 -mllvm -stop-after=codegenprepare -S
; ;
; int fn1(long t1) { ; int fn1(long t1) {
; return t; ; return t;
; } ; }
; ;
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/fission-ranges.ll

; RUN: llc -split-dwarf-file=foo.dwo -O0 %s -mtriple=x86_64-unknown-linux-gnu -filetype=obj -o %t ; RUN: llc -split-dwarf-file=foo.dwo -O0 %s -mtriple=x86_64-unknown-linux-gnu -filetype=obj -o %t
; RUN: llvm-dwarfdump -v %t | FileCheck %s ; RUN: llvm-dwarfdump -v %t | FileCheck %s
; RUN: llvm-objdump -h %t | FileCheck --check-prefix=HDR %s ; RUN: llvm-objdump -h %t | FileCheck --check-prefix=HDR %s
; RUN: llc -dwarf-version=5 -O0 %s -mtriple=x86_64-unknown-linux-gnu -filetype=obj -o %t ; RUN: llc -dwarf-version=5 -O0 %s -mtriple=x86_64-unknown-linux-gnu -filetype=obj -o %t
; RUN: llvm-dwarfdump -v %t | FileCheck --check-prefix=V5RNGLISTS %s ; RUN: llvm-dwarfdump -v %t | FileCheck --check-prefix=V5RNGLISTS %s
; RUN: llc -O0 %s -mtriple=x86_64-unknown-linux-gnu -stop-after=livedebugvalues -o -| FileCheck --check-prefix=CHECK-MIR %s ; RUN: llc -O0 %s -mtriple=x86_64-unknown-linux-gnu -stop-after=livedebugvalues -o - | FileCheck --check-prefix=CHECK-MIR %s
; LiveDebugValues should produce DBG_VALUEs for variable "b" in successive ; LiveDebugValues should produce DBG_VALUEs for variable "b" in successive
; blocks once we recognize that it is spilled. ; blocks once we recognize that it is spilled.
; CHECK-MIR: ![[BDIVAR:[0-9]+]] = !DILocalVariable(name: "b" ; CHECK-MIR: ![[BDIVAR:[0-9]+]] = !DILocalVariable(name: "b"
; CHECK-MIR: DBG_VALUE $rsp, 0, ![[BDIVAR]], !DIExpression(DW_OP_constu, 24, DW_OP_minus) ; CHECK-MIR: DBG_VALUE $rsp, 0, ![[BDIVAR]], !DIExpression(DW_OP_constu, 24, DW_OP_minus)
; CHECK-MIR-LABEL: bb.6.for.inc13: ; CHECK-MIR-LABEL: bb.6.for.inc13:
; CHECK-MIR: DBG_VALUE $rsp, 0, ![[BDIVAR]], !DIExpression(DW_OP_constu, 24, DW_OP_minus) ; CHECK-MIR: DBG_VALUE $rsp, 0, ![[BDIVAR]], !DIExpression(DW_OP_constu, 24, DW_OP_minus)
; CHECK-MIR-LABEL: bb.7.for.inc16: ; CHECK-MIR-LABEL: bb.7.for.inc16:
▲ Show 20 Lines • Show All 223 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/float_const_loclist.ll

; RUN: llc %s -stop-after=livedebugvalues -o - | FileCheck --check-prefix=SANITY %s ; RUN: llc %s -stop-after=livedebugvalues -o - -experimental-debug-variable-locations=false | FileCheck --check-prefix=SANITY %s
; RUN: llc < %s -filetype=obj | llvm-dwarfdump -v - | FileCheck %s ; RUN: llc < %s -filetype=obj -experimental-debug-variable-locations=false | llvm-dwarfdump -v - | FileCheck %s
; Test debug_loc support for floating point constants. ; Test debug_loc support for floating point constants.
; ;
; Created from clang -O1: ; Created from clang -O1:
; void barrier(); ; void barrier();
; void foo() { ; void foo() {
; float f; ; float f;
; long double ld; ; long double ld;
; barrier(); ; barrier();
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/instr-ref-selectiondag.ll

; RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -stop-before=finalize-isel \ ; RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -stop-before=finalize-isel -experimental-debug-variable-locations=false \
; RUN: | FileCheck %s --check-prefix=NORMAL \ ; RUN: | FileCheck %s --check-prefix=NORMAL \
; RUN: --implicit-check-not=debug-instr-number \ ; RUN: --implicit-check-not=debug-instr-number \
; RUN: --implicit-check-not=DBG_INSTR_REF ; RUN: --implicit-check-not=DBG_INSTR_REF
; RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -stop-before=finalize-isel \ ; RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -stop-before=finalize-isel \
; RUN: -experimental-debug-variable-locations -verify-machineinstrs \ ; RUN: -experimental-debug-variable-locations -verify-machineinstrs \
; RUN: | FileCheck %s --check-prefix=INSTRREF \ ; RUN: | FileCheck %s --check-prefix=INSTRREF \
; RUN: --implicit-check-not=DBG_VALUE ; RUN: --implicit-check-not=DBG_VALUE
; RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -stop-before=finalize-isel \ ; RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -stop-before=finalize-isel \
▲ Show 20 Lines • Show All 278 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/live-debug-values-remove-range.ll

; RUN: llc -mtriple=x86_64-unknown-unknown %s -o - -stop-after=livedebugvalues | FileCheck %s ; RUN: llc -mtriple=x86_64-unknown-unknown %s -o - -stop-after=livedebugvalues -experimental-debug-variable-locations=false | FileCheck %s
; ;
; In the simple loop below, the location of the variable "toast" is %bar in ; In the simple loop below, the location of the variable "toast" is %bar in
; the entry block, then set to constant zero at the end of the loop. We cannot ; the entry block, then set to constant zero at the end of the loop. We cannot
; know the location of "toast" at the start of the %loop block. Test that no ; know the location of "toast" at the start of the %loop block. Test that no
; location is given until after the call to @booler. ; location is given until after the call to @booler.
; ;
; Second function @baz added with an even tighter loop -- this tests different ; Second function @baz added with an even tighter loop -- this tests different
; code-paths through LiveDebugValues. Any blocks with an incoming backedge need ; code-paths through LiveDebugValues. Any blocks with an incoming backedge need
▲ Show 20 Lines • Show All 105 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/live-debug-values.ll

; RUN: llc -filetype=asm %s -o - | FileCheck %s ; RUN: llc -filetype=asm %s -o - -experimental-debug-variable-locations=false | FileCheck %s
; Test the extension of debug ranges from predecessors. ; Test the extension of debug ranges from predecessors.
; Generated from the source file LiveDebugValues.c: ; Generated from the source file LiveDebugValues.c:
; #include <stdio.h> ; #include <stdio.h>
; int m; ; int m;
; extern int inc(int n); ; extern int inc(int n);
; extern int change(int n); ; extern int change(int n);
; extern int modify(int n); ; extern int modify(int n);
▲ Show 20 Lines • Show All 149 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/live-debug-variables.ll

; RUN: llc -mtriple=x86_64-linux-gnu -filetype=obj -o - %s | llvm-dwarfdump -name i4 - \ ; RUN: llc -mtriple=x86_64-linux-gnu -filetype=obj -o - %s -experimental-debug-variable-locations=false | llvm-dwarfdump -name i4 - \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; The test inlines the function F four times, with each inlined variable for ; The test inlines the function F four times, with each inlined variable for
; "i4" sharing the same virtual register. This means the live interval of the ; "i4" sharing the same virtual register. This means the live interval of the
; register spans all of the inlined callsites, extending beyond the lexical ; register spans all of the inlined callsites, extending beyond the lexical
; scope of each. Later during register allocation the live interval is split ; scope of each. Later during register allocation the live interval is split
; into multiple intervals. Check that this does not generate multiple entries ; into multiple intervals. Check that this does not generate multiple entries
; within the debug location (see PR33730). ; within the debug location (see PR33730).
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/live-debug-vars-discard-invalid.mir

# RUN: llc -mtriple=x86_64-linux-gnu -start-before greedy -stop-after virtregrewriter -o - -verify-machineinstrs %s | FileCheck %s # RUN: llc -mtriple=x86_64-linux-gnu -start-before greedy -stop-after virtregrewriter -o - -verify-machineinstrs %s -experimental-debug-variable-locations=false | FileCheck %s
--- | --- |
; ModuleID = '<stdin>' ; ModuleID = '<stdin>'
source_filename = "test/DebugInfo/X86/dbg-value-inlined-parameter.ll" source_filename = "test/DebugInfo/X86/dbg-value-inlined-parameter.ll"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-darwin" target triple = "x86_64-apple-darwin"
%struct.S1 = type { float*, i32 } %struct.S1 = type { float*, i32 }
▲ Show 20 Lines • Show All 126 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/live-debug-vars-intervals.mir

# These tests check that DBG_VALUE intervals are correctly coalesced (or not) in # These tests check that DBG_VALUE intervals are correctly coalesced (or not) in
# LiveDebugVariables. # LiveDebugVariables.
# NOTE: We do not currently handle partially overlapping fragments in LDV. # NOTE: We do not currently handle partially overlapping fragments in LDV.
# #
# The IR in this file has been modified by hand, generated from this source: # The IR in this file has been modified by hand, generated from this source:
# void escape(int *); # void escape(int *);
# extern int global; # extern int global;
# void f(int x) { # void f(int x) {
# escape(&x); # escape(&x);
# x = 1; # x = 1;
# global = x; # global = x;
# x = 2; # x = 2;
# escape(&x); # escape(&x);
# } # }
# RUN: llc %s -start-before=machine-scheduler -stop-after=virtregrewriter -o - \ # RUN: llc %s -start-before=machine-scheduler -stop-after=virtregrewriter -o - -experimental-debug-variable-locations=false \
# RUN: | FileCheck %s --implicit-check-not=DBG_VALUE # RUN: | FileCheck %s --implicit-check-not=DBG_VALUE
# Verify that DBG_VALUEs with same { Variable, Fragment } but different DIExpressions # Verify that DBG_VALUEs with same { Variable, Fragment } but different DIExpressions
# are not coalesced. # are not coalesced.
# #
# DV1 %0 "x" (deref) --+-- Do not coalesce these because DV2 refers to the same bits. # DV1 %0 "x" (deref) --+-- Do not coalesce these because DV2 refers to the same bits.
# DV2 %0 "x" () | # DV2 %0 "x" () |
# DV3 %0 "x" (deref) --+ # DV3 %0 "x" (deref) --+
▲ Show 20 Lines • Show All 130 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/op_deref.ll

; RUN: llc -O0 -mtriple=x86_64-apple-darwin < %s -filetype=obj \ ; RUN: llc -O0 -mtriple=x86_64-apple-darwin < %s -filetype=obj \
; RUN: | llvm-dwarfdump -v -debug-info - \ ; RUN: | llvm-dwarfdump -v -debug-info - \
; RUN: | FileCheck %s -check-prefix=CHECK -check-prefix=DWARF4 ; RUN: | FileCheck %s -check-prefix=CHECK -check-prefix=DWARF4
; RUN: llc -O0 -mtriple=x86_64-apple-darwin < %s -filetype=obj -dwarf-version=3 \ ; RUN: llc -O0 -mtriple=x86_64-apple-darwin < %s -filetype=obj -dwarf-version=3\
; RUN: | llvm-dwarfdump -v -debug-info - \ ; RUN: | llvm-dwarfdump -v -debug-info - \
; RUN: | FileCheck %s -check-prefix=CHECK -check-prefix=DWARF3 ; RUN: | FileCheck %s -check-prefix=CHECK -check-prefix=DWARF3
; DWARF4: DW_AT_location [DW_FORM_sec_offset] (0x00000000 ; DWARF4: DW_AT_location [DW_FORM_sec_offset] (0x00000000
; DWARF4-NEXT: {{.*}}: DW_OP_breg6 RBP-40, DW_OP_deref, DW_OP_deref ; DWARF4-NEXT: {{.*}}: DW_OP_breg6 RBP-40, DW_OP_deref, DW_OP_deref
; DWARF4-NEXT: {{.*}}: DW_OP_breg0 RAX+0, DW_OP_deref ; DWARF4-NEXT: {{.*}}: DW_OP_breg0 RAX+0, DW_OP_deref
; DWARF4-NEXT: {{.*}}: DW_OP_breg6 RBP-40, DW_OP_deref, DW_OP_deref) ; DWARF4-NEXT: {{.*}}: DW_OP_breg6 RBP-40, DW_OP_deref, DW_OP_deref)
▲ Show 20 Lines • Show All 98 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/pieces-3.ll

; RUN: llc %s -filetype=obj -o - | llvm-dwarfdump -v - | FileCheck %s ; RUN: llc %s -filetype=obj -o - -experimental-debug-variable-locations=false | llvm-dwarfdump -v - | FileCheck %s
; ;
; // Compile with -O1 ; // Compile with -O1
; typedef struct { ; typedef struct {
; int a; ; int a;
; int b; ; int b;
; } Inner; ; } Inner;
; ;
; typedef struct { ; typedef struct {
▲ Show 20 Lines • Show All 93 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/pieces-4.ll

; RUN: llc < %s | FileCheck %s ; RUN: llc < %s -experimental-debug-variable-locations=false | FileCheck %s
; RUN: llc -filetype=obj < %s | llvm-dwarfdump -debug-loc - | FileCheck %s --check-prefix=DWARF ; RUN: llc -filetype=obj < %s -experimental-debug-variable-locations=false | llvm-dwarfdump -debug-loc - | FileCheck %s --check-prefix=DWARF
; Compile the following with -O1: ; Compile the following with -O1:
; struct IntPair { int x, y; }; ; struct IntPair { int x, y; };
; int g(void); ; int g(void);
; int bitpiece_spill() { ; int bitpiece_spill() {
; struct IntPair o = {g(), 0}; ; struct IntPair o = {g(), 0};
; // Force o.x to spill ; // Force o.x to spill
▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/pr34545.ll

; RUN: llc -O1 -filetype=asm -mtriple x86_64-unknown-linux-gnu -mcpu=x86-64 -o - %s -stop-after=livedebugvars | FileCheck %s ; RUN: llc -O1 -filetype=asm -mtriple x86_64-unknown-linux-gnu -mcpu=x86-64 -o - %s -stop-after=livedebugvars -experimental-debug-variable-locations=false | FileCheck %s
; CHECK: $eax = MOV32rm ; CHECK: $eax = MOV32rm
; CHECK: DBG_VALUE $eax ; CHECK: DBG_VALUE $eax
; CHECK: $eax = SHL32rCL killed renamable $eax ; CHECK: $eax = SHL32rCL killed renamable $eax
; CHECK: DBG_VALUE $eax ; CHECK: DBG_VALUE $eax
; CHECK: DBG_VALUE $rsp, 0, !{{[0-9]+}}, !DIExpression(DW_OP_constu, 4, DW_OP_minus) ; CHECK: DBG_VALUE $rsp, 0, !{{[0-9]+}}, !DIExpression(DW_OP_constu, 4, DW_OP_minus)
; CHECK: DBG_VALUE $eax ; CHECK: DBG_VALUE $eax
; CHECK: $eax = SHL32rCL killed renamable $eax ; CHECK: $eax = SHL32rCL killed renamable $eax
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/pr40427.ll

; RUN: llc -start-after=codegenprepare -stop-before=finalize-isel -o - < %s | FileCheck %s ; RUN: llc -start-after=codegenprepare -stop-before=finalize-isel -o - < %s -experimental-debug-variable-locations=false | FileCheck %s
; Test for correct placement of DBG_VALUE, which in PR40427 is placed before ; Test for correct placement of DBG_VALUE, which in PR40427 is placed before
; the load instruction it refers to. The circumstance replicated here is where ; the load instruction it refers to. The circumstance replicated here is where
; two instructions in a row, trunc and add, begin with no-op Copy{To,From}Reg ; two instructions in a row, trunc and add, begin with no-op Copy{To,From}Reg
; SDNodes that produce no instructions. ; SDNodes that produce no instructions.
; The DBG_VALUE instruction should come immediately after the load instruction ; The DBG_VALUE instruction should come immediately after the load instruction
; because the truncate is optimised out, and the DBG_VALUE should be placed ; because the truncate is optimised out, and the DBG_VALUE should be placed
; in front of the first instruction that occurs after the dbg.value. ; in front of the first instruction that occurs after the dbg.value.
Show All 39 Lines

llvm/test/DebugInfo/X86/sdag-combine.ll

; RUN: llc %s -stop-after=livedebugvars -o - | FileCheck %s ; RUN: llc %s -stop-after=livedebugvars -o - -experimental-debug-variable-locations=false | FileCheck %s
source_filename = "/tmp/t.ll" source_filename = "/tmp/t.ll"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.13" target triple = "x86_64-apple-macosx10.13"
%TSb = type <{ i1 }> %TSb = type <{ i1 }>
declare swiftcc i1 @f() declare swiftcc i1 @f()
Show All 37 Lines

llvm/test/DebugInfo/X86/sdag-dangling-dbgvalue.ll

; RUN: llc %s -stop-before finalize-isel -o - | FileCheck %s ; RUN: llc %s -stop-before finalize-isel -o - -experimental-debug-variable-locations=false | FileCheck %s
;-------------------------------------------------------------------- ;--------------------------------------------------------------------
; This test case is basically generated from the following C code. ; This test case is basically generated from the following C code.
; Compiled with "--target=x86_64-apple-darwin -S -g -O3" to get debug ; Compiled with "--target=x86_64-apple-darwin -S -g -O3" to get debug
; info for optimized code. ; info for optimized code.
; ;
; struct SS { ; struct SS {
; int a; ; int a;
▲ Show 20 Lines • Show All 185 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-1.ll

; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s | FileCheck %s ; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; This test case was generated from the following debug.c program, ; This test case was generated from the following debug.c program,
; using: clang debug.c -g -O1 -S -o dbg_value_phi_isel1.ll -emit-llvm ; using: clang debug.c -g -O1 -S -o dbg_value_phi_isel1.ll -emit-llvm
; -------------------------------------- ; --------------------------------------
; int end = 10; ; int end = 10;
; ;
; int main() { ; int main() {
; int x = 9; ; int x = 9;
▲ Show 20 Lines • Show All 169 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-2.ll

; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s | FileCheck %s ; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; This test case is a modified version of dbg_value_phi_isel1.ll ; This test case is a modified version of dbg_value_phi_isel1.ll
; where the llvm.dbg.value nodes in for.body has been moved. ; where the llvm.dbg.value nodes in for.body has been moved.
; ModuleID = 'debug.c' ; ModuleID = 'debug.c'
source_filename = "debug.c" source_filename = "debug.c"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
▲ Show 20 Lines • Show All 164 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-3.ll

; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s | FileCheck %s ; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; This test case was generated from the following phi-split.c program, ; This test case was generated from the following phi-split.c program,
; using: clang phi-split.c -g -O1 -S -o - --target=i386 -emit-llvm ; using: clang phi-split.c -g -O1 -S -o - --target=i386 -emit-llvm
; -------------------------------------- ; --------------------------------------
; long long end = 10; ; long long end = 10;
; ;
; int main() { ; int main() {
; long long x = 9; ; long long x = 9;
▲ Show 20 Lines • Show All 160 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-dbgvalue-phi-use-4.ll

; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s | FileCheck %s ; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; This is a reproducer based on the test case from PR37321. ; This is a reproducer based on the test case from PR37321.
; We verify that the fragment for the last DBG_VALUE is limited depending ; We verify that the fragment for the last DBG_VALUE is limited depending
; on the size of the original fragment (and that we do not emit more ; on the size of the original fragment (and that we do not emit more
; DBG_VALUE instructions than needed in case we cover the whole original ; DBG_VALUE instructions than needed in case we cover the whole original
; fragment with just a few DBG_VALUE instructions). ; fragment with just a few DBG_VALUE instructions).
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-dbgvalue-ssareg.ll

; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s | FileCheck %s ; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; Test that dbg.values of an SSA variable that's not used in a basic block, ; Test that dbg.values of an SSA variable that's not used in a basic block,
; is converted to a DBG_VALUE in that same basic block. We know that %1 is ; is converted to a DBG_VALUE in that same basic block. We know that %1 is
; live from the entry bb to the exit bb, is allocated a vreg because it's ; live from the entry bb to the exit bb, is allocated a vreg because it's
; used across basic blocks. We should be able to produce a DBG_VALUE that ; used across basic blocks. We should be able to produce a DBG_VALUE that
; refers to it in the nextbb block. ; refers to it in the nextbb block.
source_filename = "debug.c" source_filename = "debug.c"
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-ir-salvage.ll

; RUN: llc -mtriple=x86_64-unknown-unknown -start-after=codegenprepare -stop-before finalize-isel %s -o - | FileCheck %s ; RUN: llc -mtriple=x86_64-unknown-unknown -start-after=codegenprepare -stop-before finalize-isel %s -o - -experimental-debug-variable-locations=false | FileCheck %s
; Test that the dbg.value for %baz, which doesn't exist in the 'next' bb, ; Test that the dbg.value for %baz, which doesn't exist in the 'next' bb,
; can be salvaged back to the underlying argument vreg. ; can be salvaged back to the underlying argument vreg.
; CHECK: ![[AAAVAR:.*]] = !DILocalVariable(name: "aaa", ; CHECK: ![[AAAVAR:.*]] = !DILocalVariable(name: "aaa",
; CHECK-LABEL: bb.1.next: ; CHECK-LABEL: bb.1.next:
; CHECK: DBG_VALUE %{{[0-9]+}}, $noreg, ![[AAAVAR]] ; CHECK: DBG_VALUE %{{[0-9]+}}, $noreg, ![[AAAVAR]]
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-salvage-add.ll

; RUN: llc -mtriple=x86_64-unknown-unknown -stop-before livedebugvalues %s -o - \ ; RUN: llc -mtriple=x86_64-unknown-unknown -stop-before livedebugvalues %s -o - -experimental-debug-variable-locations=false \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; ;
; Generated at -O1 from: ; Generated at -O1 from:
; typedef struct { ; typedef struct {
; unsigned long long c; ; unsigned long long c;
; } S1; ; } S1;
; struct S3 { ; struct S3 {
; unsigned long long packed; ; unsigned long long packed;
▲ Show 20 Lines • Show All 101 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-split-arg.ll

; RUN: llc -O0 -filetype=asm %s -o - | FileCheck %s ; RUN: llc -O0 -filetype=asm %s -o - -experimental-debug-variable-locations=false | FileCheck %s
; Test large integral function arguments passed in multiple registers. ; Test large integral function arguments passed in multiple registers.
; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 64 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}} ; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 64 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}}
; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 48 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}} ; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 48 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}}
; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 32 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}} ; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 32 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}}
; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 16 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}} ; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 16 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}}
; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 0 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}} ; CHECK: DEBUG_VALUE: foo:bar <- [DW_OP_LLVM_fragment 0 16] ${{([a-d]x)|(si)|(di)|(bp)|(r[0-9]+w)}}
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdag-transfer-dbgvalue.ll

; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s | FileCheck %s ; RUN: llc -start-after=codegenprepare -stop-before finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s
; This tests that transferDbgValues() changes order of SDDbgValue transferred ; This tests that transferDbgValues() changes order of SDDbgValue transferred
; to another node and debug info for 'ADD32ri' appears *after* the instruction. ; to another node and debug info for 'ADD32ri' appears *after* the instruction.
; ;
; This test case was generated from the following program ; This test case was generated from the following program
; using: clang -g -O3 -S -emit-llvm test.c ; using: clang -g -O3 -S -emit-llvm test.c
; ;
; int foo(int a, int *b) { ; int foo(int a, int *b) {
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/sdagsplit-1.ll

; RUN: llc %s -stop-after=livedebugvars -o %t ; RUN: llc %s -stop-after=livedebugvars -o %t -experimental-debug-variable-locations=false
; RUN: cat %t | FileCheck %s ; RUN: cat %t | FileCheck %s
; ;
; Test that we can emit debug info for large values that are split ; Test that we can emit debug info for large values that are split
; up across multiple registers by the SelectionDAG type legalizer. ; up across multiple registers by the SelectionDAG type legalizer.
; ;
; // Compile with -O1 -m32. ; // Compile with -O1 -m32.
; long long foo (long long a, long long b) ; long long foo (long long a, long long b)
; { ; {
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/spill-indirect-nrvo.ll

; RUN: llc < %s | FileCheck -check-prefixes=CHECK,OPT %s ; RUN: llc < %s -experimental-debug-variable-locations=false | FileCheck -check-prefixes=CHECK,OPT %s
; RUN: llc -O0 < %s | FileCheck -check-prefixes=CHECK,OPTNONE %s ; RUN: llc -O0 < %s -experimental-debug-variable-locations=false | FileCheck -check-prefixes=CHECK,OPTNONE %s
; Make sure we insert DW_OP_deref when spilling indirect DBG_VALUE instructions. ; Make sure we insert DW_OP_deref when spilling indirect DBG_VALUE instructions.
; C++ source: ; C++ source:
; #define FORCE_SPILL() \ ; #define FORCE_SPILL() \
; __asm volatile("" : : : \ ; __asm volatile("" : : : \
; "rax", "rbx", "rcx", "rdx", "rsi", "rdi", "rbp", "r8", \ ; "rax", "rbx", "rcx", "rdx", "rsi", "rdi", "rbp", "r8", \
; "r9", "r10", "r11", "r12", "r13", "r14", "r15") ; "r9", "r10", "r11", "r12", "r13", "r14", "r15")
▲ Show 20 Lines • Show All 101 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/spill-nontrivial-param.ll

; RUN: llc < %s | FileCheck %s ; RUN: llc < %s -experimental-debug-variable-locations=false | FileCheck %s
; Make sure we insert DW_OP_deref when spilling indirect DBG_VALUE instructions. ; Make sure we insert DW_OP_deref when spilling indirect DBG_VALUE instructions.
; In this example, 'nt' is passed by address because it is not trivially ; In this example, 'nt' is passed by address because it is not trivially
; copyable. When we spill the physical argument register at the barrier, we need ; copyable. When we spill the physical argument register at the barrier, we need
; to insert DW_OP_deref. ; to insert DW_OP_deref.
; #define FORCE_SPILL() \ ; #define FORCE_SPILL() \
; __asm volatile("" : : : \ ; __asm volatile("" : : : \
▲ Show 20 Lines • Show All 80 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/spill-nospill.ll

; RUN: llc < %s | FileCheck %s ; RUN: llc < %s -experimental-debug-variable-locations=false | FileCheck %s
; RUN: llc < %s -filetype=obj | llvm-dwarfdump - | FileCheck %s --check-prefix=DWARF ; RUN: llc < %s -filetype=obj -experimental-debug-variable-locations=false | llvm-dwarfdump - | FileCheck %s --check-prefix=DWARF
; This test creates two UserValues in LiveDebugVariables with one location ; This test creates two UserValues in LiveDebugVariables with one location
; each. x must be spilled, but y will be allocated to a CSR. x's location ; each. x must be spilled, but y will be allocated to a CSR. x's location
; should be indirect, but y's should be direct. ; should be indirect, but y's should be direct.
; C source: ; C source:
; #define FORCE_SPILL() \ ; #define FORCE_SPILL() \
; __asm volatile("" : : : \ ; __asm volatile("" : : : \
▲ Show 20 Lines • Show All 103 Lines • Show Last 20 Lines

llvm/test/DebugInfo/X86/stack-value-dwarf2.ll

; RUN: llc -filetype=obj -o - %s | llvm-dwarfdump -debug-loc - | FileCheck %s ; RUN: llc -filetype=obj -o - %s -experimental-debug-variable-locations=false | llvm-dwarfdump -debug-loc - | FileCheck %s
; Note that it would be even better to avoid emitting the empty piece. ; Note that it would be even better to avoid emitting the empty piece.
; CHECK: {{.*}}: DW_OP_piece 0x8{{$}} ; CHECK: {{.*}}: DW_OP_piece 0x8{{$}}
source_filename = "bugpoint-reduced-simplified.ll" source_filename = "bugpoint-reduced-simplified.ll"
target triple = "i386-apple-ios7.0.0" target triple = "i386-apple-ios7.0.0"
%class.K = type { %class.N, %struct.F, i32 } %class.K = type { %class.N, %struct.F, i32 }
▲ Show 20 Lines • Show All 88 Lines • Show Last 20 Lines

llvm/test/tools/llvm-locstats/locstats.ll

; UNSUPPORTED: system-windows ; UNSUPPORTED: system-windows
; REQUIRES: x86-registered-target ; REQUIRES: x86-registered-target
; RUN: llc %s -o %t0.o -filetype=obj ; RUN: llc %s -o %t0.o -filetype=obj -experimental-debug-variable-locations=false
; RUN: %llvm-locstats %t0.o | FileCheck %s --check-prefix=LOCSTATS ; RUN: %llvm-locstats %t0.o | FileCheck %s --check-prefix=LOCSTATS
; ;
; Test the llvm-locstats output. ; Test the llvm-locstats output.
; LOCSTATS: 0% 0 0% ; LOCSTATS: 0% 0 0%
; LOCSTATS: (0%,10%) 0 0% ; LOCSTATS: (0%,10%) 0 0%
; LOCSTATS: [10%,20%) 0 0% ; LOCSTATS: [10%,20%) 0 0%
; LOCSTATS: [20%,30%) 1 11% ; LOCSTATS: [20%,30%) 1 11%
; LOCSTATS: [30%,40%) 0 0% ; LOCSTATS: [30%,40%) 0 0%
▲ Show 20 Lines • Show All 164 Lines • Show Last 20 Lines