[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
These date back to when the non-intrinsic format of variable locations was still being tested and was behind a compile-time flag, so not all builds / bots would correctly run them. The solution at the time, to get at least some test coverage, was to have tests opt-in to non-intrinsic debug-info if it was built into LLVM. Nowadays, non-intrinsic format is the default and has been on for more than a year, there's no need for this flag to exist. (I've downgraded the flag from "try" to explicitly requesting non-intrinsic format in some places, so that we can deal with tests that are explicitly about non-intrinsic format in their own commit).
This commit is contained in:
parent
42ddb55017
commit
792a6f8119
@ -1,6 +1,5 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
||||
; RUN: llc < %s -global-isel -mtriple=arm64-linux-gnu -global-isel-abort=1 | FileCheck %s
|
||||
; RUN: llc < %s -global-isel -mtriple=arm64-linux-gnu -global-isel-abort=1 --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
|
||||
target triple = "arm64-apple-ios9.0.0"
|
||||
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: llc -global-isel -mtriple=aarch64 %s -stop-after=irtranslator -o - | FileCheck %s
|
||||
; RUN: llc -mtriple=aarch64 -global-isel --global-isel-abort=0 -o /dev/null
|
||||
; RUN: llc -global-isel -mtriple=aarch64 %s -stop-after=irtranslator -o - --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
; RUN: llc -mtriple=aarch64 -global-isel --global-isel-abort=0 -o /dev/null --try-experimental-debuginfo-iterators
|
||||
|
||||
; struct NTCopy {
|
||||
; NTCopy();
|
||||
|
@ -3,9 +3,6 @@
|
||||
; RUN: llc -mtriple=aarch64 -global-isel --global-isel-abort=0 %s -o /dev/null
|
||||
; RUN: llc -mtriple=aarch64 -global-isel --global-isel-abort=0 %s -o /dev/null -debug
|
||||
;
|
||||
; RUN: llc -global-isel -mtriple=aarch64 %s -stop-after=irtranslator -o - --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
; RUN: llc -mtriple=aarch64 -global-isel --global-isel-abort=0 %s -o /dev/null --try-experimental-debuginfo-iterators
|
||||
; RUN: llc -mtriple=aarch64 -global-isel --global-isel-abort=0 %s -o /dev/null -debug --try-experimental-debuginfo-iterators
|
||||
|
||||
; CHECK-LABEL: name: debug_declare
|
||||
; CHECK: stack:
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: llc -O0 -mtriple=aarch64-apple-ios -global-isel -debug-only=irtranslator \
|
||||
; RUN: -stop-after=irtranslator %s -o - 2>&1 | FileCheck %s
|
||||
; RUN: llc -O0 -mtriple=aarch64-apple-ios -global-isel -debug-only=irtranslator \
|
||||
; RUN: -stop-after=irtranslator %s -o - 2>&1 --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
|
||||
; REQUIRES: asserts
|
||||
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -O0 -stop-after=irtranslator -global-isel -verify-machineinstrs %s -o - 2>&1 | FileCheck %s
|
||||
; RUN: llc -O0 -stop-after=irtranslator -global-isel -verify-machineinstrs %s -o - 2>&1 --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
|
||||
target triple = "aarch64-unknown-fuchsia"
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
|
||||
|
||||
;; Similar to dbg-assign-tag-offset.ll except the variable 'x' has been removed
|
||||
;; and 'y' has an implicit location range as well as stack location range
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
|
||||
|
||||
;; Copied from dbg-value-tag-offset.ll. Check that variables with locations
|
||||
;; tracked with dbg.assigns with DW_OP_LLVM_TAG_offset operators in their
|
||||
|
@ -2,9 +2,6 @@
|
||||
; RUN: llc --mtriple="aarch64-" -O0 -fast-isel=false -global-isel=false -stop-after=finalize-isel %s -o - | FileCheck %s --check-prefix=AARCH
|
||||
; RUN: llc --mtriple="aarch64-" -O0 -fast-isel -stop-after=finalize-isel %s -o - | FileCheck %s --check-prefix=AARCH
|
||||
|
||||
; RUN: llc --mtriple="aarch64-" -O0 -global-isel -stop-after=irtranslator -verify-machineinstrs %s -o - --try-experimental-debuginfo-iterators | FileCheck %s --check-prefix=AARCH
|
||||
; RUN: llc --mtriple="aarch64-" -O0 -fast-isel=false -global-isel=false -stop-after=finalize-isel %s -o - --try-experimental-debuginfo-iterators | FileCheck %s --check-prefix=AARCH
|
||||
; RUN: llc --mtriple="aarch64-" -O0 -fast-isel -stop-after=finalize-isel %s -o - --try-experimental-debuginfo-iterators | FileCheck %s --check-prefix=AARCH
|
||||
|
||||
; AARCH-NOT: DBG_VALUE
|
||||
; AARCH: DBG_VALUE $x22, $noreg, !{{.*}}, !DIExpression(DW_OP_LLVM_entry_value, 1)
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -o - %s -fast-isel -stop-before=finalize-isel | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -o - %s -fast-isel -stop-before=finalize-isel | FileCheck %s
|
||||
|
||||
; Make sure fast-isel produces DBG_VALUE instructions even if no debug printer
|
||||
; is scheduled because of -stop-before.
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -O0 -fast-isel=1 -o - -print-after="finalize-isel" %s 2>&1 | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O0 -fast-isel=1 -o - -print-after="finalize-isel" %s 2>&1 | FileCheck %s
|
||||
|
||||
; Check that we emit a DBG_VALUE for the `@llvm.dbg.value` which has `undef` has first arg.
|
||||
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -aarch64-stack-tagging -stack-tagging-record-stack-history=instr -S -o - %s | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -aarch64-stack-tagging -stack-tagging-record-stack-history=instr -S -o - %s | FileCheck %s
|
||||
|
||||
source_filename = "test.ll"
|
||||
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
|
||||
|
@ -1,10 +1,5 @@
|
||||
; RUN: opt -aarch64-stack-tagging -stack-tagging-record-stack-history=instr -S -o - %s | FileCheck %s
|
||||
|
||||
;; Also test with RemoveDIs to verify that debug intrinsics immediately
|
||||
;; preceding an alloca (or other instruction of interest to stack tagging) will
|
||||
;; be correctly processed.
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -aarch64-stack-tagging -stack-tagging-record-stack-history=instr -S -o - %s | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
|
||||
target triple = "aarch64--linux-android35"
|
||||
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt < %s -aarch64-stack-tagging -S -o - | FileCheck %s
|
||||
; RUN: opt < %s -aarch64-stack-tagging -S -o - --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
|
||||
target triple = "aarch64--linux-android"
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc -O0 -mtriple=amdgcn-unknown-amdhsa -verify-machineinstrs < %s | FileCheck -check-prefixes=GCN,NOOPT %s
|
||||
; RUN: llc -mtriple=amdgcn-unknown-amdhsa -verify-machineinstrs < %s | FileCheck -check-prefixes=GCN,OPT %s
|
||||
|
||||
; RUN: llc -O0 -mtriple=amdgcn-unknown-amdhsa -verify-machineinstrs < %s --try-experimental-debuginfo-iterators | FileCheck -check-prefixes=GCN,NOOPT %s
|
||||
; RUN: llc -mtriple=amdgcn-unknown-amdhsa -verify-machineinstrs < %s --try-experimental-debuginfo-iterators | FileCheck -check-prefixes=GCN,OPT %s
|
||||
|
||||
; GCN-LABEL: {{^}}test_debug_value:
|
||||
; NOOPT: .loc 1 1 42 prologue_end ; /tmp/test_debug_value.cl:1:42
|
||||
|
@ -1,6 +1,5 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
|
||||
; RUN: opt -mtriple=amdgcn-- -S -structurizecfg -si-annotate-control-flow %s | FileCheck -check-prefix=OPT %s
|
||||
; RUN: opt -mtriple=amdgcn-- -S -structurizecfg -si-annotate-control-flow %s --try-experimental-debuginfo-iterators | FileCheck -check-prefix=OPT %s
|
||||
|
||||
define amdgpu_ps i32 @if_else(i32 %0) !dbg !5 {
|
||||
; OPT-LABEL: define amdgpu_ps i32 @if_else(
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -filetype=obj -O0 < %s | llvm-dwarfdump -v - | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -filetype=obj -O0 < %s | llvm-dwarfdump -v - | FileCheck %s
|
||||
|
||||
; debug_info content
|
||||
; CHECK: DW_AT_name {{.*}} "foobar_func_block_invoke_0"
|
||||
|
@ -2,7 +2,6 @@
|
||||
; REQUIRES: asserts
|
||||
; REQUIRES: x86_64-linux
|
||||
; RUN: llc -O1 -regalloc=pbqp < %s | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O1 -regalloc=pbqp < %s | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-unknown-linux-gnu"
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -O0 -mtriple=x86_64-apple-darwin < %s | grep DW_OP_breg7
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O0 -mtriple=x86_64-apple-darwin < %s | grep DW_OP_breg7
|
||||
; Use DW_OP_breg7 in variable's location expression if the variable is in a stack slot.
|
||||
|
||||
%struct.SVal = type { ptr, i32 }
|
||||
|
@ -1,5 +1,3 @@
|
||||
RUN: llc -O0 -mtriple=i686-- -asm-verbose < %S/../Inputs/DbgValueOtherTargets.ll | FileCheck %S/../Inputs/DbgValueOtherTargets.ll
|
||||
RUN: llc -O0 -mtriple=x86_64-- -asm-verbose < %S/../Inputs/DbgValueOtherTargets.ll | FileCheck %S/../Inputs/DbgValueOtherTargets.ll
|
||||
|
||||
RUN: llc --try-experimental-debuginfo-iterators -O0 -mtriple=i686-- -asm-verbose < %S/../Inputs/DbgValueOtherTargets.ll | FileCheck %S/../Inputs/DbgValueOtherTargets.ll
|
||||
RUN: llc --try-experimental-debuginfo-iterators -O0 -mtriple=x86_64-- -asm-verbose < %S/../Inputs/DbgValueOtherTargets.ll | FileCheck %S/../Inputs/DbgValueOtherTargets.ll
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -mtriple=i386-linux-gnu -global-isel -verify-machineinstrs < %s -o - | FileCheck %s --check-prefix=ALL
|
||||
; RUN: llc -mtriple=i386-linux-gnu -global-isel -verify-machineinstrs < %s -o - --try-experimental-debuginfo-iterators | FileCheck %s --check-prefix=ALL
|
||||
|
||||
; This file is the output of clang -g -O2
|
||||
; int test_dbg_trunc(unsigned long long a) { return a; }
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -mtriple x86_64-pc-linux -O0 < %s | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -mtriple x86_64-pc-linux -O0 < %s | FileCheck %s
|
||||
|
||||
; Make sure that the sequence of debug locations for function foo is correctly
|
||||
; generated. More specifically, .loc entries for lines 4,5,6,7 must appear in
|
||||
|
@ -1,7 +1,6 @@
|
||||
; RUN: llc -fast-isel -fast-isel-abort=1 -mtriple=x86_64-unknown-unknown -stop-after=finalize-isel %s -o - | \
|
||||
; RUN: FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -fast-isel -fast-isel-abort=1 -mtriple=x86_64-unknown-unknown -stop-after=finalize-isel %s -o - | FileCheck %s
|
||||
|
||||
define void @foo(ptr noalias nocapture %arg) !dbg !38 {
|
||||
%k.debug = alloca ptr, align 8
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s
|
||||
; RUN: llc < %s -O0 -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -stop-after livedebugvalues -o - | FileCheck %s -check-prefix=MIR
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -mtriple=x86_64-- | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -O0 -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -stop-after livedebugvalues -o - | FileCheck %s -check-prefix=MIR
|
||||
|
||||
; PR4050
|
||||
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s | FileCheck %s -check-prefix=ASM
|
||||
; RUN: llc < %s -O0 -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -stop-after livedebugvalues -o - | FileCheck %s -check-prefix=MIR
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | FileCheck %s -check-prefix=ASM
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -O0 -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -stop-after livedebugvalues -o - | FileCheck %s -check-prefix=MIR
|
||||
|
||||
; PR9055
|
||||
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32"
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s | FileCheck --check-prefixes=CHECK %s
|
||||
; RUN: llc -O0 < %s | FileCheck --check-prefixes=CHECK %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | FileCheck --check-prefixes=CHECK %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O0 < %s | FileCheck --check-prefixes=CHECK %s
|
||||
|
||||
; Source to regenerate:
|
||||
; $ clang -cc1 -triple x86_64-windows-msvc t.cpp -debug-info-kind=limited \
|
||||
|
@ -3,7 +3,6 @@
|
||||
; Also make sure that the DISubprograms reference the generated unit.
|
||||
; make sure that if there are two outlined functions in the program,
|
||||
; RUN: llc %s -verify-machineinstrs -enable-machine-outliner -mtriple=x86_64-apple-darwin -o /dev/null -print-after=machine-outliner
|
||||
; RUN: llc --try-experimental-debuginfo-iterators %s -verify-machineinstrs -enable-machine-outliner -mtriple=x86_64-apple-darwin -o /dev/null -print-after=machine-outliner
|
||||
define void @f6() #0 !dbg !8 {
|
||||
entry:
|
||||
%dog = alloca i32, align 4
|
||||
|
@ -1,6 +1,5 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
||||
; RUN: llc -O0 -fast-isel -mtriple=x86_64-- < %s | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O0 -fast-isel -mtriple=x86_64-- < %s | FileCheck %s
|
||||
|
||||
define void @test() {
|
||||
; CHECK-LABEL: test:
|
||||
|
@ -2,8 +2,6 @@
|
||||
; RUN: opt -mtriple=x86_64-unknown-unknown -select-optimize -S < %s | FileCheck %s
|
||||
; RUN: opt -mtriple=x86_64-unknown-unknown -passes='require<profile-summary>,function(select-optimize)' -S < %s | FileCheck %s
|
||||
|
||||
; RUN: opt -mtriple=x86_64-unknown-unknown -select-optimize -S < %s --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
; RUN: opt -mtriple=x86_64-unknown-unknown -passes='require<profile-summary>,function(select-optimize)' -S < %s --try-experimental-debuginfo-iterators | FileCheck %s
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
;; Test base heuristic 1:
|
||||
|
@ -1,7 +1,6 @@
|
||||
; Check that debug intrinsics do not affect code generation.
|
||||
|
||||
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck --check-prefix=X86-CHECK %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck --check-prefix=X86-CHECK %s
|
||||
|
||||
define i64 @simulate(<2 x i32> %a) {
|
||||
entry:
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -O0 < %s | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O0 < %s | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
|
||||
target triple = "i386-linux-gnu"
|
||||
|
@ -15,7 +15,6 @@
|
||||
; of CFI instructions.
|
||||
|
||||
; RUN: llc -fast-isel -O0 -filetype=asm < %s | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -fast-isel -O0 -filetype=asm < %s | FileCheck %s
|
||||
|
||||
; ModuleID = 'test1.cpp'
|
||||
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -frame-pointer=all -O0 -fast-isel -filetype=obj < %s | llvm-dwarfdump -v - | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -frame-pointer=all -O0 -fast-isel -filetype=obj < %s | llvm-dwarfdump -v - | FileCheck %s
|
||||
; Test that a variable with multiple entries in the MMI table makes it into the
|
||||
; debug info.
|
||||
;
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -passes='require<profile-summary>,function(select-optimize)' -o - -S \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt %s --try-experimental-debuginfo-iterators -passes='require<profile-summary>,function(select-optimize)' -o - -S \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; Check that the dbg.value is moved into the start of the end-block of the
|
||||
;; inserted if-block.
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -passes=instcombine %s -S | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=instcombine %s -S | FileCheck %s
|
||||
;
|
||||
; Generate me from:
|
||||
; clang -cc1 -triple thumbv7-apple-ios7.0.0 -S -target-abi apcs-gnu -gdwarf-2 -Os test.c -o test.ll -emit-llvm
|
||||
|
@ -1,9 +1,6 @@
|
||||
; RUN: llc -mtriple=thumbv7-apple-unknown-macho -O0 -filetype=obj -o - %s \
|
||||
; RUN: | llvm-dwarfdump -v -debug-info - | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -mtriple=thumbv7-apple-unknown-macho -O0 -filetype=obj -o - %s \
|
||||
; RUN: | llvm-dwarfdump -v -debug-info - | FileCheck %s
|
||||
|
||||
; generated from (-triple thumbv7-apple-unknown-macho -Os):
|
||||
; void f(_Complex double c) { c = 0; }
|
||||
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -passes='sroa' -S -o - %s | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes='sroa' -S -o - %s | FileCheck %s
|
||||
target datalayout = "e-m:o-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
|
||||
target triple = "thumbv7-apple-unknown-macho"
|
||||
|
||||
|
@ -3,9 +3,6 @@
|
||||
; RUN: llc < %s | FileCheck %s --check-prefix=ASM-INLINE-COMMENTS
|
||||
;
|
||||
; Same as above, with experimental debuginfo iterators.
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | FileCheck %s --check-prefix=ASM-INLINE-COMMENTS
|
||||
;
|
||||
; Command to generate function-options.ll
|
||||
; $ clang++ class-options-common.cpp -S -emit-llvm -g -gcodeview -o class-options-common.ll
|
||||
|
@ -1,9 +1,6 @@
|
||||
; RUN: llc -mcpu=core2 -mtriple=i686-pc-win32 -o - -O0 -filetype=obj < %s \
|
||||
; RUN: | llvm-readobj --codeview - | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -mcpu=core2 -mtriple=i686-pc-win32 -o - -O0 -filetype=obj < %s \
|
||||
; RUN: | llvm-readobj --codeview - | FileCheck %s
|
||||
|
||||
; C++ source to regenerate:
|
||||
; namespace foo {
|
||||
; int bar(int x) { return x * 2; }
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; Command to generate enum-co.ll
|
||||
; $ clang++ enum-co.cpp -S -emit-llvm -g -gcodeview -o enum-co.ll
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
;
|
||||
; Command to generate function-options.ll
|
||||
; $ clang++ function-options.cpp -S -emit-llvm -g -gcodeview -o function-options.ll
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
;
|
||||
; This test verifies global variables are emitted within the correct scope.
|
||||
;
|
||||
|
@ -5,14 +5,6 @@
|
||||
; RUN: llc < %s -filetype=obj -o %t
|
||||
; RUN: obj2yaml < %t | FileCheck %s --check-prefixes=YAML,YAML-FILE
|
||||
|
||||
; Repeat with experimental debuginfo iterators:
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | FileCheck %s --check-prefix=ASM
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s --check-prefix=OBJ
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s --check-prefix=OBJ
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | obj2yaml | FileCheck %s --check-prefixes=YAML,YAML-STDOUT
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj -o %t
|
||||
; RUN: obj2yaml < %t | FileCheck %s --check-prefixes=YAML,YAML-FILE
|
||||
|
||||
; C++ source to regenerate:
|
||||
; $ cat a.cpp
|
||||
; int first;
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc < %s | llvm-mc -filetype=obj --triple=i686-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
;
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=i686-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
;
|
||||
; Verify lambda routines are emitted properly in CodeView.
|
||||
;
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -O0 < %s | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O0 < %s | FileCheck %s
|
||||
|
||||
source_filename = "t.c"
|
||||
target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s | FileCheck %s --check-prefix=ASM
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s --check-prefix=OBJ
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | FileCheck %s --check-prefix=ASM
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s --check-prefix=OBJ
|
||||
|
||||
; C++ source to regenerate:
|
||||
; struct Foo {
|
||||
|
@ -2,11 +2,6 @@
|
||||
; RUN: llc < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc < %s | FileCheck %s --check-prefix=ASM
|
||||
|
||||
; Repeat with experimental debuginfo iterators.
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | FileCheck %s --check-prefix=ASM
|
||||
|
||||
; C++ source to regenerate:
|
||||
; $ cat numeric-leaves.cpp
|
||||
; const long long Minus1 = -1;
|
||||
|
@ -1,9 +1,6 @@
|
||||
; RUN: llc < %s -filetype=obj -o %t.o
|
||||
; RUN: llvm-pdbutil dump -types %t.o | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj -o %t.o
|
||||
; RUN: llvm-pdbutil dump -types %t.o | FileCheck %s
|
||||
|
||||
; C++ source:
|
||||
; // Note that MSVC doesn't emit anything about WrapTypedef or WrapTypedef::Inner!
|
||||
; struct WrapTypedef {
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
source_filename = "test/DebugInfo/COFF/purge-typedef-udts.ll"
|
||||
target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
|
||||
target triple = "i686-pc-windows-msvc19.11.25506"
|
||||
|
@ -2,11 +2,6 @@
|
||||
; RUN: llc < %s | FileCheck %s --check-prefix=ASM
|
||||
; RUN: opt -S -debugger-tune=lldb %s | FileCheck -check-prefix=OPT %s
|
||||
|
||||
; Do the same for experimental debuginfo iterators.
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | FileCheck %s --check-prefix=ASM
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -S -debugger-tune=lldb %s | FileCheck -check-prefix=OPT %s
|
||||
|
||||
; -- "thunk.cpp" begin --------------------------------------------------------
|
||||
; class A { public: virtual bool MyMethod() { return true; } };
|
||||
; class B { public: virtual bool MyMethod() { return true; } };
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; C++ source to regenerate:
|
||||
; $ cat m.cpp
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; C++ source to regenerate:
|
||||
; $ cat t.cpp
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; Tests that CodeView integer types are generated even when using Clang's old integer type names.
|
||||
|
||||
|
@ -1,8 +1,6 @@
|
||||
; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
|
||||
; RUN: llc --try-experimental-debuginfo-iterators < %s | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
|
||||
|
||||
; C++ source to regenerate:
|
||||
; struct A {
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: %llc_dwarf -O2 %s -o - | FileCheck %s
|
||||
; RUN: %llc_dwarf --try-experimental-debuginfo-iterators -O2 %s -o - | FileCheck %s
|
||||
; Check struct X for dead variable xyz from inlined function foo.
|
||||
|
||||
; CHECK: {{.section.*debug_info|.*dwinfo:}}
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: llc -O0 %s -o /dev/null
|
||||
; RUN: llc --try-experimental-debuginfo-iterators -O0 %s -o /dev/null
|
||||
|
||||
define void @CGRectStandardize(ptr sret(i32) %agg.result, ptr byval(i32) %rect) nounwind ssp !dbg !0 {
|
||||
entry:
|
||||
|
@ -2,7 +2,6 @@
|
||||
; XFAIL: target=sparc{{.*}}
|
||||
|
||||
; RUN: %llc_dwarf -O0 -filetype=obj -dwarf-linkage-names=All < %s | llvm-dwarfdump -debug-info - | FileCheck %s --implicit-check-not=DW_TAG
|
||||
; RUN: %llc_dwarf --try-experimental-debuginfo-iterators -O0 -filetype=obj -dwarf-linkage-names=All < %s | llvm-dwarfdump -debug-info - | FileCheck %s --implicit-check-not=DW_TAG
|
||||
|
||||
; IR generated from clang -O0 with:
|
||||
; struct C {
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -passes=adce -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -passes=adce -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; $ cat test.c
|
||||
;; void fun(int local) {}
|
||||
|
@ -3,11 +3,6 @@
|
||||
; RUN: -mtriple=x86_64-unknown-unknown %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg."
|
||||
|
||||
;; Test with RemoveDIs non-intrinsic debug-info too.
|
||||
; RUN: llc -start-before=codegenprepare -stop-after=codegenprepare \
|
||||
; RUN: -mtriple=x86_64-unknown-unknown %s -o - --try-experimental-debuginfo-iterators \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg."
|
||||
|
||||
;; Check that when CodeGenPrepare moves an address computation to a block it's
|
||||
;; used in its dbg.assign uses are updated.
|
||||
;;
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=declare-to-assign -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=declare-to-assign -o - | FileCheck %s
|
||||
|
||||
; CHECK: #dbg_assign
|
||||
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=declare-to-assign -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=declare-to-assign -o - | FileCheck %s
|
||||
|
||||
;; Generated from this C++:
|
||||
;; long double get();
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -passes=declare-to-assign -S | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -passes=declare-to-assign -S | FileCheck %s
|
||||
|
||||
;; Check AssignmentTrackingPass ignores a dbg.declare with an empty metadata
|
||||
;; location operand.
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -passes=declare-to-assign %s -S | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=declare-to-assign %s -S | FileCheck %s
|
||||
|
||||
;; Check declare-to-assign skips scalable vectors for now. i.e. do not replace
|
||||
;; the dbg.declare with a dbg.assign intrinsic.
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=declare-to-assign -S %s -o - \
|
||||
; RUN: | FileCheck %s --check-prefix=WITHOUT-INTRINSIC
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=declare-to-assign -S %s -o - \
|
||||
; RUN: | FileCheck %s --check-prefix=WITHOUT-INTRINSIC
|
||||
|
||||
; RUN: sed 's/;Uncomment-with-sed//g' < %s \
|
||||
; RUN: | opt -passes=declare-to-assign -S - -o - \
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -passes=declare-to-assign -S %s -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=declare-to-assign -S %s -o - | FileCheck %s
|
||||
|
||||
;; Check assignment tracking debug info for structured bindings. FIXME only
|
||||
;; variables at offset 0 in the backing alloca are currently tracked with the
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -passes=declare-to-assign -S %s -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=declare-to-assign -S %s -o - | FileCheck %s
|
||||
|
||||
;; The variable doesn't fill the whole alloca which has a range of different
|
||||
;; sized stores to it, overlapping (or not) the variable in various ways. Check
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -S %s -passes=declare-to-assign -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -S %s -passes=declare-to-assign -o - | FileCheck %s
|
||||
|
||||
;; Check declare-to-assign ignores VLA-backed variables (for now).
|
||||
;; From C++ source:
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=dse -o - | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=dse -o - | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Observed in the wild, but test is created by running memcpyopt on
|
||||
;; assignment-tracking/memcpyopt/merge-stores.ll then manually inserting
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=dse -o - | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=dse -o - | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Based on the test shorten.ll with some adjustments.
|
||||
;;
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=dse -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=dse -o - | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; void esc(int*);
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=inline -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=inline -o - | FileCheck %s
|
||||
|
||||
;; Check that all DIAssignID metadata that are inlined are replaced with new
|
||||
;; versions. Otherwise two inlined instances of an assignment will be considered
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=inline %s -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=inline %s -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; __attribute__((always_inline))
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -S %s -passes=inline -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -S %s -passes=inline -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; The dbg.assign linked to the large alloca describes a variable sitting at
|
||||
;; offset 0, size 64. Check:
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=inline %s -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=inline %s -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; Hand modified from:
|
||||
;; $ cat test.c
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=instcombine -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=instcombine -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Based on the test remove-redundant-dbg.ll.
|
||||
;;
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -S -passes=instcombine -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=instcombine -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; void esc(int*);
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=sroa -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=sroa -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Check that sroa removes redundant debug intrinsics after it makes a
|
||||
;; change. This has a significant positive impact on peak memory and compiler
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=instcombine | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=instcombine | FileCheck %s
|
||||
|
||||
;; Check that instcombine merges the DIAssignID metadata when merging two
|
||||
;; stores into a successor. Filecheck directives inline.
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -S -passes=instcombine -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=instcombine -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; Check that when instcombine sinks an instruction used by a dbg.assign, the
|
||||
;; usual debug intrinsic updating doesn't take place (i.e. do not
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -passes=instcombine -S | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -passes=instcombine -S | FileCheck %s
|
||||
|
||||
;; Based on test/Transforms/InstCombine/shufflevec-bitcast.ll in which the
|
||||
;; store of <4 x i4> is replaced with a store of type <2 x i8>. Debug info
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=instcombine -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=instcombine -o - | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; class a {
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -passes=licm %s -S | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=licm %s -S | FileCheck %s
|
||||
|
||||
;; Ensure that we correctly merge the DIAssignID's from the sunk stores, add it
|
||||
;; to the new new store instruction, and update the dbg.assign intrinsics using
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=licm -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=licm -o - | FileCheck %s
|
||||
|
||||
;; $ cat test.c
|
||||
;; int b, c, d;
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -passes=loop-deletion -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -passes=loop-deletion -S -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp:
|
||||
;; void esc(int*);
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -passes=loop-vectorize -force-vector-width=2 -force-vector-interleave=2 -S -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -passes=loop-vectorize -force-vector-width=2 -force-vector-interleave=2 -S -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Check that loop-vectorize removes redundant debug intrinsics after it makes
|
||||
;; a change. This has a significant positive impact on peak memory and compiler
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=mem2reg -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=mem2reg -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Test assignment tracking debug info when mem2reg promotes an alloca with
|
||||
;; stores requiring insertion of a phi. Check the output when the stores are
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=mem2reg -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=mem2reg -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Test assignment tracking debug info when mem2reg promotes a single-block
|
||||
;; alloca. Check the output when the stores are tagged and also untagged (test
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=mem2reg -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=mem2reg -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Test assignment tracking debug info when mem2reg promotes a single-store
|
||||
;; alloca. Additionally, check that all the dbg.assigns linked to the alloca
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt -passes=mem2reg -S %s -o - | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=mem2reg -S %s -o - | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
; CHECK: #dbg_value(i64 0, ![[#]], !DIExpression(DW_OP_LLVM_fragment, 0, 32),
|
||||
|
||||
|
@ -1,5 +1,4 @@
|
||||
; RUN: opt %s -S -passes=memcpyopt -o - | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=memcpyopt -o - | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; struct v {
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=mldst-motion -S %s -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=mldst-motion -S %s -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; int cond;
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -S %s -o - --passes=declare-to-assign \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -S %s -o - --passes=declare-to-assign \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Assignment tracking doesn't add any value when optimisations are disabled.
|
||||
;; Check it doesn't get applied to functions marked optnone.
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -S %s -passes=verify 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -S %s -passes=verify 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; NOTE: Expect opt to return zero because the badly formed debug info
|
||||
;; is going to be stripped.
|
||||
|
@ -1,9 +1,6 @@
|
||||
; RUN: opt %s -passes=verify \
|
||||
; RUN: | opt -passes=verify -S \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -passes=verify \
|
||||
; RUN: | opt -passes=verify -S \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; Roundtrip test (text -> bitcode -> text) for DIAssignID metadata and
|
||||
;; llvm.dbg.assign intrinsics.
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -S -passes=verify 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=verify 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; Check that badly formed assignment tracking metadata is caught either
|
||||
;; while parsing or by the verifier.
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=redundant-dbg-inst-elim -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=redundant-dbg-inst-elim -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; $ cat -n reduce.c
|
||||
;; 1 void ext();
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=redundant-dbg-inst-elim -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=redundant-dbg-inst-elim -S %s -o - \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Hand-written. Test how RemoveRedundantDbgInstrs interacts with dbg.assign
|
||||
;; intrinsics. FileCehck directives are inline.
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt %s -S -o - -passes=instcombine \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
; RUN: opt --try-experimental-debuginfo-iterators %s -S -o - -passes=instcombine \
|
||||
; RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"
|
||||
|
||||
;; Hand-written (the debug info doesn't necessarily make sense and isn't fully
|
||||
;; formed). Test salvaging a dbg.assign value and address. Checks and comments
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -S %s -passes=simplifycfg -o - \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -S %s -passes=simplifycfg -o - \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; class a {};
|
||||
|
@ -1,7 +1,5 @@
|
||||
; RUN: opt -passes=simplifycfg %s -S \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=simplifycfg %s -S \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; Ensure that we correctly update the value component of dbg.assign intrinsics
|
||||
;; after merging a conditional block with a store its the predecessor. The
|
||||
|
@ -1,8 +1,6 @@
|
||||
; REQUIRES: x86-registered-target
|
||||
; RUN: opt -passes=slp-vectorizer -S -o - %s \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt --try-experimental-debuginfo-iterators -passes=slp-vectorizer -S -o - %s \
|
||||
; RUN: | FileCheck %s
|
||||
|
||||
;; $ cat test.cpp
|
||||
;; float get();
|
||||
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
x
Reference in New Issue
Block a user