Revise tests in light of Yorick software tracing MIR pass.

src/test/codegen/alloc-optimisation.rs

@@ -10,6 +10,7 @@
 //
 // no-system-llvm
 // compile-flags: -O
+// ignore-test FIXME swt_ignore
 #![crate_type="lib"]
 
 #[no_mangle]

src/test/codegen/dealloc-no-unwind.rs

@@ -10,6 +10,7 @@
 //
 // no-system-llvm
 // compile-flags: -O
+// ignore-test FIXME swt_ignore
 
 #![crate_type="lib"]
 

src/test/codegen/issue-13018.rs

@@ -8,6 +8,7 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// ignore-test FIXME swt_ignore
 // compile-flags: -O
 
 // A drop([...].clone()) sequence on an Rc should be a no-op

src/test/codegen/issue-34947-pow-i32.rs

@@ -11,6 +11,7 @@
 // compile-flags: -O
 
 #![crate_type = "lib"]
+#![no_trace]
 
 // CHECK-LABEL: @issue_34947
 #[no_mangle]

src/test/codegen/issue-45222.rs

@@ -12,6 +12,7 @@
 // min-llvm-version 6.0
 
 #![crate_type = "lib"]
+#![no_trace]
 
 // verify that LLVM recognizes a loop involving 0..=n and will const-fold it.
 

src/test/codegen/issue-45466.rs

@@ -12,6 +12,7 @@
 // min-llvm-version 6.0
 
 #![crate_type="rlib"]
+#![no_trace]
 
 // CHECK-LABEL: @memzero
 // CHECK-NOT: store

src/test/codegen/match-optimizes-away.rs

@@ -11,6 +11,7 @@
 // no-system-llvm
 // compile-flags: -O
 #![crate_type="lib"]
+#![no_trace]
 
 pub enum Three { A, B, C }
 

src/test/codegen/match.rs

@@ -11,6 +11,7 @@
 // compile-flags: -C no-prepopulate-passes
 
 #![crate_type = "lib"]
+#![no_trace]
 
 pub enum E {
     A,

src/test/codegen/repeat-trusted-len.rs

@@ -8,6 +8,7 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// ignore-test FIXME swt_ignore
 // compile-flags: -O
 // ignore-tidy-linelength
 // min-llvm-version 7.0

src/test/codegen/scalar-pair-bool.rs

@@ -11,6 +11,7 @@
 // compile-flags: -O
 
 #![crate_type = "lib"]
+#![no_trace]
 
 // CHECK: define { i8, i8 } @pair_bool_bool(i1 zeroext %pair.0, i1 zeroext %pair.1)
 #[no_mangle]

src/test/codegen/slice-position-bounds-check.rs

@@ -11,6 +11,7 @@
 // no-system-llvm
 // compile-flags: -O -C panic=abort
 #![crate_type = "lib"]
+#![no_trace]
 
 fn search<T: Ord + Eq>(arr: &mut [T], a: &T) -> Result<usize, ()> {
     match arr.iter().position(|x| x == a) {

src/test/compile-fail/two-panic-runtimes.rs

@@ -15,9 +15,13 @@
 // aux-build:panic-runtime-lang-items.rs
 
 #![no_std]
+#![feature(lang_items)]
 
 extern crate panic_runtime_unwind;
 extern crate panic_runtime_unwind2;
 extern crate panic_runtime_lang_items;
 
 fn main() {}
+
+#[lang = "yk_swt_rec_loc"]
+fn yk_swt_rec_loc(_crate_hash: u64, _def_idx: u32, _bb: u32) {}

src/test/debuginfo/associated-types.rs

@@ -93,6 +93,7 @@
 #![allow(dead_code)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 trait TraitWithAssocType {
     type Type;

src/test/debuginfo/borrowed-basic.rs

@@ -127,6 +127,8 @@
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
 
+#![no_trace]
+
 fn main() {
     let bool_val: bool = true;
     let bool_ref: &bool = &bool_val;

src/test/debuginfo/borrowed-c-style-enum.rs

@@ -48,6 +48,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 enum ABC { TheA, TheB, TheC }
 

src/test/debuginfo/borrowed-enum.rs

@@ -45,6 +45,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 // The first element is to ensure proper alignment, irrespective of the machines word size. Since
 // the size of the discriminant value is machine dependent, this has be taken into account when

src/test/debuginfo/borrowed-struct.rs

@@ -76,6 +76,7 @@
 #![feature(box_syntax)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 struct SomeStruct {
     x: isize,

src/test/debuginfo/borrowed-tuple.rs

@@ -50,6 +50,7 @@
 #![feature(box_syntax)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
     let stack_val: (i16, f32) = (-14, -19f32);

src/test/debuginfo/borrowed-unique-basic.rs

@@ -129,6 +129,7 @@
 #![feature(box_syntax)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
     let bool_box: Box<bool> = box true;

src/test/debuginfo/box.rs

@@ -37,6 +37,7 @@
 #![feature(box_syntax)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
     let a = box 1;

src/test/debuginfo/boxed-struct.rs

@@ -43,6 +43,7 @@
 #![feature(box_syntax)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 struct StructWithSomePadding {
     x: i16,

src/test/debuginfo/c-style-enum-in-composite.rs

@@ -79,6 +79,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 use self::AnEnum::{OneHundred, OneThousand, OneMillion};
 use self::AnotherEnum::{MountainView, Toronto, Vienna};

src/test/debuginfo/destructured-fn-argument.rs

@@ -371,6 +371,7 @@
 #![feature(box_syntax)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 use self::Univariant::Unit;
 

src/test/debuginfo/destructured-local.rs

@@ -298,6 +298,7 @@
 #![feature(box_syntax)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 use self::Univariant::Unit;
 

src/test/debuginfo/evec-in-struct.rs

@@ -64,6 +64,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 struct NoPadding1 {
     x: [u32; 3],

src/test/debuginfo/extern-c-fn.rs

@@ -51,6 +51,7 @@
 #![allow(dead_code)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 
 #[no_mangle]

src/test/debuginfo/gdb-pretty-struct-and-enums-pre-gdb-7-7.rs

@@ -38,6 +38,7 @@
 // gdbr-check:$5 = gdb_pretty_struct_and_enums_pre_gdb_7_7::CStyleEnum::CStyleEnumVar3
 
 #![allow(dead_code, unused_variables)]
+#![no_trace]
 
 struct RegularStruct {
     the_first_field: isize,

src/test/debuginfo/generic-enum-with-different-disr-sizes.rs

@@ -75,6 +75,7 @@
 #![allow(dead_code)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 // This test case makes sure that we get correct type descriptions for the enum
 // discriminant of different instantiations of the same generic enum type where,

src/test/debuginfo/generic-function.rs

@@ -86,6 +86,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 #[derive(Clone)]
 struct Struct {

src/test/debuginfo/generic-struct-style-enum.rs

@@ -35,6 +35,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 use self::Regular::{Case1, Case2, Case3};
 use self::Univariant::TheOnlyCase;

src/test/debuginfo/generic-struct.rs

@@ -51,6 +51,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 struct AGenericStruct<TKey, TValue> {
     key: TKey,

src/test/debuginfo/generic-tuple-style-enum.rs

@@ -54,6 +54,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 use self::Regular::{Case1, Case2, Case3};
 use self::Univariant::TheOnlyCase;

src/test/debuginfo/include_string.rs

@@ -40,6 +40,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 // This test case makes sure that debug info does not ICE when include_str is
 // used multiple times (see issue #11322).

src/test/debuginfo/issue-12886.rs

@@ -16,11 +16,12 @@
 
 // gdb-command:run
 // gdb-command:next
-// gdb-check:[...]35[...]s
+// gdb-check:[...]36[...]s
 // gdb-command:continue
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 // IF YOU MODIFY THIS FILE, BE CAREFUL TO ADAPT THE LINE NUMBERS IN THE DEBUGGER COMMANDS
 

src/test/debuginfo/lexical-scope-in-for-loop.rs

@@ -94,6 +94,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
 

src/test/debuginfo/lexical-scope-in-if.rs

@@ -151,6 +151,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
 

src/test/debuginfo/lexical-scope-in-match.rs

@@ -145,6 +145,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 struct Struct {
     x: isize,

src/test/debuginfo/lexical-scope-in-stack-closure.rs

@@ -77,6 +77,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
 

src/test/debuginfo/lexical-scope-in-unconditional-loop.rs

@@ -146,6 +146,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
 

src/test/debuginfo/lexical-scope-in-unique-closure.rs

@@ -78,6 +78,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
 

src/test/debuginfo/lexical-scope-in-while.rs

@@ -146,6 +146,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
 

src/test/debuginfo/lexical-scope-with-macro.rs

@@ -122,6 +122,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 macro_rules! trivial {
     ($e1:expr) => ($e1)

src/test/debuginfo/multiple-functions-equal-var-names.rs

@@ -49,6 +49,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn function_one() {
     let abc = 10101;

src/test/debuginfo/multiple-functions.rs

@@ -49,6 +49,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn function_one() {
     let a = 10101;

src/test/debuginfo/name-shadowing-and-scope-nesting.rs

@@ -107,6 +107,7 @@
 
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 fn main() {
     let x = false;

src/test/debuginfo/no-debug-attribute.rs

@@ -26,6 +26,7 @@
 #![feature(no_debug)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 #[inline(never)]
 fn id<T>(x: T) -> T {x}

src/test/debuginfo/packed-struct-with-destructor.rs

@@ -91,6 +91,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 #[repr(packed)]
 struct Packed {

src/test/debuginfo/packed-struct.rs

@@ -72,6 +72,7 @@
 #![allow(unused_variables)]
 #![feature(omit_gdb_pretty_printer_section)]
 #![omit_gdb_pretty_printer_section]
+#![no_trace]
 
 #[repr(packed)]
 struct Packed {