diff options
author | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 15:01:05 -0700 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 15:01:05 -0700 |
commit | 8ecd31572aae60ed50f487bccaad6abb7b346528 (patch) | |
tree | 0c84d99c29c250def2c29baab6981af2a1e2912e /test/Feature | |
parent | e90e1ab38617253f67e7c6fa682e972b1c605b78 (diff) | |
download | klee-8ecd31572aae60ed50f487bccaad6abb7b346528.tar.gz |
[Module] Try harder to associate each instruction with source level debug info.
- This makes KCachegrind output look nicer, as otherwise it assumes instructions without debug info were inlined and shows some message to that effect. - This does however we might be lying a bit about the source line that an instruction came from. - This also adds a test case for our istats output, yay!
Diffstat (limited to 'test/Feature')
-rw-r--r-- | test/Feature/SourceMapping.c | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/test/Feature/SourceMapping.c b/test/Feature/SourceMapping.c new file mode 100644 index 00000000..0462ba0b --- /dev/null +++ b/test/Feature/SourceMapping.c @@ -0,0 +1,55 @@ +// Check that we properly associate instruction level statistics with source +// file and line. +// +// RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t1.bc +// RUN: rm -rf %t.klee-out +// RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc +// RUN: FileCheck < %t.klee-out/run.istats %s + +// CHECK: positions: instr line +// CHECK: ob={{.*}}/SourceMapping.c{{.*}}/assembly.ll + +// Assuming the compiler doesn't reorder things, f0 should be first. +// CHECK: fn=f0 + +// Ensure we have a known position for the first instruction (instr and line +// should be non-zero). + +// CHECK-NEXT: fl={{.*}}/SourceMapping.c +// CHECK-NEXT: {{[1-9][0-9]*}} {{[1-9][0-9]*}} + + +// Ensure we have the right line number (and check called function markers). +// CHECK: fn=f1 +// CHECK: cfn=f0 +// CHECK-NEXT: calls=1 {{[1-9][0-9]*}} +// CHECK-NEXT: {{[1-9][0-9]*}} 48 {{.*}} + +// This check just brackets the checks above, to make sure they fall in the +// appropriate region of the run.istats file. +// +// CHECK: fn=main + + + + + + + + +// KEEP THIS AS LINE 40 + +int f0(int a, int b) { + return a + b; +} + +int f1(int a, int b) { + // f0 is called on line 48 + return f0(a, b); +} + +int main() { + int x = f1(1, 2); + + return x; +} |