| //@ compile-flags: -g -O |
| |
| // 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 |
