| //@ compile-flags: -g -Copt-level=3 | |
| // Check that simple constant values are preserved in debuginfo across both MIR opts and LLVM opts | |
| #![crate_type = "lib"] | |
| #[no_mangle] | |
| pub fn check_it() { | |
| let a = 1; | |
| let b = 42; | |
| foo(a + b); | |
| } | |
| #[inline(never)] | |
| fn foo(x: i32) { | |
| std::process::exit(x); | |
| } | |
| // CHECK-LABEL: @check_it | |
| // CHECK: dbg{{.}}value({{(metadata )?}}i32 1, {{(metadata )?}}![[a_metadata:[0-9]+]], {{(metadata )?}}!DIExpression() | |
| // CHECK: dbg{{.}}value({{(metadata )?}}i32 42, {{(metadata )?}}![[b_metadata:[0-9]+]], {{(metadata )?}}!DIExpression() | |
| // CHECK: ![[a_metadata]] = !DILocalVariable(name: "a" | |
| // CHECK-SAME: line: 9 | |
| // CHECK: ![[b_metadata]] = !DILocalVariable(name: "b" | |
| // CHECK-SAME: line: 10 |