1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
// XFAIL: !system-darwin || !target-aarch64
//// Suboptimal coverage, see inlined comments.
// REQUIRES: lldb
// UNSUPPORTED: system-windows
// RUN: %clang -std=gnu11 -O3 -glldb %s -o %t
// RUN: %dexter --fail-lt 1.0 -w --debugger lldb --binary %t -- %s
//// Adapted from https://bugs.llvm.org/show_bug.cgi?id=34136#c4
int g;
__attribute__((__noinline__))
void esc(int* p) {
g = *p;
*p = 5;
}
__attribute__((__noinline__))
void thing(int x) {
g = x;
}
__attribute__((__noinline__))
int fun(int param) {
esc(¶m); //// alloca is live until here DexLabel('s1')
if (param == 0) { //// end of alloca live range
//// param is now a constant, but without lowering to dbg.value we can't
//// capture that and would still point to the stack slot that may even have
//// been reused by now.
////
//// Right now we get suboptimal coverage for x86: the param load below is
//// CSE'd with the if condition.
//// Instcombine runs LowerDbgDeclare and inserts a dbg.value after the load.
//// SelectionDAG combines the load and cmp. We go from this IR:
//// %0 = load i32, i32* %param.addr, align 4, !dbg !42, !tbaa !20
//// call void @llvm.dbg.value(metadata i32 %0, ...
//// %cmp = icmp eq i32 %0, 0, !dbg !44
//// to this MIR:
//// DBG_VALUE $noreg, $noreg, !"param"...
//// CMP32mi8 %param.addr, 1, $noreg, 0, $noreg, 0, implicit-def $eflags, debug-location !44
thing(param);
}
return 0; // DexLabel('s2')
}
int main() {
return fun(5);
}
// DexExpectWatchValue('param', '5', from_line=ref('s1'), to_line=ref('s2'))
|
