diff --git a/demo.old/demo.bin b/demo.old/demo.bin new file mode 100755 index 0000000..d5b8572 Binary files /dev/null and b/demo.old/demo.bin differ diff --git a/demo.old/demo.bin.synth b/demo.old/demo.bin.synth new file mode 100755 index 0000000..a9f8df5 Binary files /dev/null and b/demo.old/demo.bin.synth differ diff --git a/demo.old/demo.c b/demo.old/demo.c new file mode 100644 index 0000000..483f154 --- /dev/null +++ b/demo.old/demo.c @@ -0,0 +1,14 @@ +#include + +int bar(int x) { + printf("'I’m %d; how many? %n\n", x, &x); + return x; +} + +int foo() { + return bar(3); +} + +int main() { + return foo(); +} diff --git a/demo.old/synth.sh b/demo.old/synth.sh new file mode 100755 index 0000000..93db5ba --- /dev/null +++ b/demo.old/synth.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +SYNTHESIS_SCRIPT="../../../src/dwarf-synthesis/synthesize_dwarf.sh" + +if [ "$#" -lt 1 ] ; then + >&2 echo -e "Missing argument: object file.\nUsage: $0 object.o" + exit 1 +fi + +objfile="$1" + +$SYNTHESIS_SCRIPT "$objfile" "$objfile.synth"