tests: Add run-addrcfi.sh test for libdw cfi dwarf_frame_* functions.

We require architecture backends to implement the ebl abi_cfi hook
to provide the ABI's default CFI program as used by the libdw dwarf cfi
functions. There is the addrcfi test program that prints the return
address, cfa location expression and register states as returned by
various dwarf_cfi_* and dwarf_frame functions. But that has to be run
by hand. The new run-addrcfi.sh tests hooks addrcfi up to some existing
architecture specific test files and known addresses to more easily
(and automaticly) check that the default CFI program is implemented
correctly and to test the libdw cfi frame info functionality.

Only i386 and x86_64 are tested for now since other backends don't have
the abi_cfi hook yet.

Signed-off-by: Mark Wielaard <mjw@redhat.com>

diff --git a/tests/ChangeLog b/tests/ChangeLog
index 9808ce737dde7a88624277b9eded936a6802c7c6..5cea8369ab01fd6f0fc2eca8ac5dbbc5b6f54967 100644 (file)
--- a/tests/ChangeLog
+++ b/tests/ChangeLog
@@ -1,3 +1,13 @@
+2013-08-27  Mark Wielaard  <mjw@redhat.com>
+
+       * run-addrcfi.sh: New test.
+       * Makefile.am (TESTS): Add run-addrcfi.sh.
+       (EXTRA_DIST): Likewise.
+       * addrcfi.c (op_name): New function.
+       (print_detail): Call and print op_name. Check ops, not result
+       to check if this is "same value" or "undefined".
+       (handle_cfi): Make sure cfa_ops doesn't point to NULL.
+
 2013-08-13  Mark Wielaard  <mjw@redhat.com>
 
        * run-addr2line-i-test.sh: New test.

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 9aa06a6a79b6198e2961c100d2490f67cc3e6475..c85b7495c5c61a167a29999565821600920ca236 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -70,7 +70,7 @@ TESTS = run-arextract.sh run-arsymtest.sh newfile test-nlist \
        run-elflint-test.sh run-elflint-self.sh run-ranlib-test.sh \
        run-ranlib-test2.sh run-ranlib-test3.sh run-ranlib-test4.sh \
        run-addrscopes.sh run-strings-test.sh run-funcscopes.sh \
-       run-find-prologues.sh run-allregs.sh \
+       run-find-prologues.sh run-allregs.sh run-addrcfi.sh \
        run-nm-self.sh run-readelf-self.sh \
        run-readelf-test1.sh run-readelf-test2.sh run-readelf-test3.sh \
        run-readelf-test4.sh run-readelf-twofiles.sh \
@@ -128,7 +128,7 @@ EXTRA_DIST = run-arextract.sh run-arsymtest.sh \
             run-elflint-self.sh run-ranlib-test.sh run-ranlib-test2.sh \
             run-ranlib-test3.sh run-ranlib-test4.sh \
             run-addrscopes.sh run-strings-test.sh run-funcscopes.sh \
-            run-nm-self.sh run-readelf-self.sh \
+            run-nm-self.sh run-readelf-self.sh run-addrcfi.sh \
             run-find-prologues.sh run-allregs.sh run-native-test.sh \
             run-addrname-test.sh run-dwfl-bug-offline-rel.sh \
             run-dwfl-addr-sect.sh run-early-offscn.sh \

diff --git a/tests/addrcfi.c b/tests/addrcfi.c
index bc8bc32bec2e90f58b0f54cfda7d15e085b7c9c4..7678884b92504fca9fc3c5d11269ec621e721964 100644 (file)
--- a/tests/addrcfi.c
+++ b/tests/addrcfi.c
@@ -1,5 +1,5 @@
 /* Test program for CFI handling.
-   Copyright (C) 2009-2010 Red Hat, Inc.
+   Copyright (C) 2009-2010, 2013 Red Hat, Inc.
    This file is part of elfutils.
 
    This file is free software; you can redistribute it and/or modify
@@ -28,6 +28,25 @@
 #include <error.h>
 #include <string.h>
 
+#include "../libdw/known-dwarf.h"
+
+static const char *
+op_name (unsigned int code)
+{
+  static const char *const known[] =
+    {
+#define ONE_KNOWN_DW_OP_DESC(NAME, CODE, DESC) ONE_KNOWN_DW_OP (NAME, CODE)
+#define ONE_KNOWN_DW_OP(NAME, CODE) [CODE] = #NAME,
+      ALL_KNOWN_DW_OP
+#undef ONE_KNOWN_DW_OP
+#undef ONE_KNOWN_DW_OP_DESC
+    };
+
+  if (likely (code < sizeof (known) / sizeof (known[0])))
+    return known[code];
+
+  return NULL;
+}
 
 static void
 print_detail (int result, const Dwarf_Op *ops, size_t nops, Dwarf_Addr bias)
@@ -35,13 +54,13 @@ print_detail (int result, const Dwarf_Op *ops, size_t nops, Dwarf_Addr bias)
   if (result < 0)
     printf ("indeterminate (%s)\n", dwarf_errmsg (-1));
   else if (nops == 0)
-    printf ("%s\n", result == 0 ? "same_value" : "undefined");
+    printf ("%s\n", ops == NULL ? "same_value" : "undefined");
   else
     {
       printf ("%s expression:", result == 0 ? "location" : "value");
       for (size_t i = 0; i < nops; ++i)
        {
-         printf (" %#x", ops[i].atom);
+         printf (" %s", op_name(ops[i].atom));
          if (ops[i].number2 == 0)
            {
              if (ops[i].atom == DW_OP_addr)
@@ -116,7 +135,10 @@ handle_cfi (Dwfl *dwfl, const char *which, Dwarf_CFI *cfi,
     printf ("\treturn address in reg%u%s\n",
            ra_regno, signalp ? " (signal frame)" : "");
 
-  Dwarf_Op *cfa_ops;
+  // Point cfa_ops to dummy to match print_detail expectations.
+  // (nops == 0 && cfa_ops != NULL => "undefined")
+  Dwarf_Op dummy;
+  Dwarf_Op *cfa_ops = &dummy;
   size_t cfa_nops;
   result = dwarf_frame_cfa (stuff->frame, &cfa_ops, &cfa_nops);
 

diff --git a/tests/run-addrcfi.sh b/tests/run-addrcfi.sh
new file mode 100755 (executable)
index 0000000..bf89188
--- /dev/null
+++ b/tests/run-addrcfi.sh
@@ -0,0 +1,260 @@
+#! /bin/sh
+# Copyright (C) 2013
+# This file is part of elfutils.
+#
+# This file is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# elfutils is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+. $srcdir/test-subr.sh
+
+# Note some testfiles are also used in run-allregs.sh.
+
+# Shows return address, CFA location expression and register rules
+# from ABI's default CFI program as setup by arch ebl backend hook
+# abi_cfi unless overridden by CIE and FDE program at given address.
+
+# EM_386 (function main 0x080489b8)
+testfiles testfile11
+testrun_compare ${abs_builddir}/addrcfi -e testfile11 0x080489b8 <<\EOF
+.eh_frame has 0x80489b8 => [0x80489b8, 0x80489b9):
+       return address in reg8
+       CFA location expression: bregx(4,4)
+       integer reg0 (%eax): undefined
+       integer reg1 (%ecx): undefined
+       integer reg2 (%edx): undefined
+       integer reg3 (%ebx): same_value
+       integer reg4 (%esp): location expression: call_frame_cfa stack_value
+       integer reg5 (%ebp): same_value
+       integer reg6 (%esi): same_value
+       integer reg7 (%edi): same_value
+       integer reg8 (%eip): location expression: call_frame_cfa plus_uconst(-4)
+       integer reg9 (%eflags): undefined
+       integer reg10 (%trapno): undefined
+       x87 reg11 (%st0): undefined
+       x87 reg12 (%st1): undefined
+       x87 reg13 (%st2): undefined
+       x87 reg14 (%st3): undefined
+       x87 reg15 (%st4): undefined
+       x87 reg16 (%st5): undefined
+       x87 reg17 (%st6): undefined
+       x87 reg18 (%st7): undefined
+       SSE reg21 (%xmm0): undefined
+       SSE reg22 (%xmm1): undefined
+       SSE reg23 (%xmm2): undefined
+       SSE reg24 (%xmm3): undefined
+       SSE reg25 (%xmm4): undefined
+       SSE reg26 (%xmm5): undefined
+       SSE reg27 (%xmm6): undefined
+       SSE reg28 (%xmm7): undefined
+       MMX reg29 (%mm0): undefined
+       MMX reg30 (%mm1): undefined
+       MMX reg31 (%mm2): undefined
+       MMX reg32 (%mm3): undefined
+       MMX reg33 (%mm4): undefined
+       MMX reg34 (%mm5): undefined
+       MMX reg35 (%mm6): undefined
+       MMX reg36 (%mm7): undefined
+       FPU-control reg37 (%fctrl): undefined
+       FPU-control reg38 (%fstat): undefined
+       FPU-control reg39 (%mxcsr): undefined
+       segment reg40 (%es): same_value
+       segment reg41 (%cs): same_value
+       segment reg42 (%ss): same_value
+       segment reg43 (%ds): same_value
+       segment reg44 (%fs): same_value
+       segment reg45 (%gs): same_value
+.debug_frame has 0x80489b8 => [0x80489b8, 0x80489b9):
+       return address in reg8
+       CFA location expression: bregx(4,4)
+       integer reg0 (%eax): undefined
+       integer reg1 (%ecx): undefined
+       integer reg2 (%edx): undefined
+       integer reg3 (%ebx): same_value
+       integer reg4 (%esp): location expression: call_frame_cfa stack_value
+       integer reg5 (%ebp): same_value
+       integer reg6 (%esi): same_value
+       integer reg7 (%edi): same_value
+       integer reg8 (%eip): location expression: call_frame_cfa plus_uconst(-4)
+       integer reg9 (%eflags): undefined
+       integer reg10 (%trapno): undefined
+       x87 reg11 (%st0): undefined
+       x87 reg12 (%st1): undefined
+       x87 reg13 (%st2): undefined
+       x87 reg14 (%st3): undefined
+       x87 reg15 (%st4): undefined
+       x87 reg16 (%st5): undefined
+       x87 reg17 (%st6): undefined
+       x87 reg18 (%st7): undefined
+       SSE reg21 (%xmm0): undefined
+       SSE reg22 (%xmm1): undefined
+       SSE reg23 (%xmm2): undefined
+       SSE reg24 (%xmm3): undefined
+       SSE reg25 (%xmm4): undefined
+       SSE reg26 (%xmm5): undefined
+       SSE reg27 (%xmm6): undefined
+       SSE reg28 (%xmm7): undefined
+       MMX reg29 (%mm0): undefined
+       MMX reg30 (%mm1): undefined
+       MMX reg31 (%mm2): undefined
+       MMX reg32 (%mm3): undefined
+       MMX reg33 (%mm4): undefined
+       MMX reg34 (%mm5): undefined
+       MMX reg35 (%mm6): undefined
+       MMX reg36 (%mm7): undefined
+       FPU-control reg37 (%fctrl): undefined
+       FPU-control reg38 (%fstat): undefined
+       FPU-control reg39 (%mxcsr): undefined
+       segment reg40 (%es): same_value
+       segment reg41 (%cs): same_value
+       segment reg42 (%ss): same_value
+       segment reg43 (%ds): same_value
+       segment reg44 (%fs): same_value
+       segment reg45 (%gs): same_value
+EOF
+
+# EM_X86_64 (function foo 0x00000000000009d0)
+testfiles testfile12
+testrun_compare ${abs_builddir}/addrcfi -e testfile12 0x00000000000009d0 <<\EOF
+.eh_frame has 0x9d0 => [0x9d0, 0x9d1):
+       return address in reg16
+       CFA location expression: bregx(7,8)
+       integer reg0 (%rax): same_value
+       integer reg1 (%rdx): undefined
+       integer reg2 (%rcx): undefined
+       integer reg3 (%rbx): undefined
+       integer reg4 (%rsi): undefined
+       integer reg5 (%rdi): undefined
+       integer reg6 (%rbp): same_value
+       integer reg7 (%rsp): location expression: call_frame_cfa stack_value
+       integer reg8 (%r8): undefined
+       integer reg9 (%r9): undefined
+       integer reg10 (%r10): undefined
+       integer reg11 (%r11): undefined
+       integer reg12 (%r12): same_value
+       integer reg13 (%r13): same_value
+       integer reg14 (%r14): same_value
+       integer reg15 (%r15): same_value
+       integer reg16 (%rip): location expression: call_frame_cfa plus_uconst(-8)
+       SSE reg17 (%xmm0): undefined
+       SSE reg18 (%xmm1): undefined
+       SSE reg19 (%xmm2): undefined
+       SSE reg20 (%xmm3): undefined
+       SSE reg21 (%xmm4): undefined
+       SSE reg22 (%xmm5): undefined
+       SSE reg23 (%xmm6): undefined
+       SSE reg24 (%xmm7): undefined
+       SSE reg25 (%xmm8): undefined
+       SSE reg26 (%xmm9): undefined
+       SSE reg27 (%xmm10): undefined
+       SSE reg28 (%xmm11): undefined
+       SSE reg29 (%xmm12): undefined
+       SSE reg30 (%xmm13): undefined
+       SSE reg31 (%xmm14): undefined
+       SSE reg32 (%xmm15): undefined
+       x87 reg33 (%st0): undefined
+       x87 reg34 (%st1): undefined
+       x87 reg35 (%st2): undefined
+       x87 reg36 (%st3): undefined
+       x87 reg37 (%st4): undefined
+       x87 reg38 (%st5): undefined
+       x87 reg39 (%st6): undefined
+       x87 reg40 (%st7): undefined
+       MMX reg41 (%mm0): undefined
+       MMX reg42 (%mm1): undefined
+       MMX reg43 (%mm2): undefined
+       MMX reg44 (%mm3): undefined
+       MMX reg45 (%mm4): undefined
+       MMX reg46 (%mm5): undefined
+       MMX reg47 (%mm6): undefined
+       MMX reg48 (%mm7): undefined
+       integer reg49 (%rflags): undefined
+       segment reg50 (%es): undefined
+       segment reg51 (%cs): undefined
+       segment reg52 (%ss): undefined
+       segment reg53 (%ds): undefined
+       segment reg54 (%fs): undefined
+       segment reg55 (%gs): undefined
+       segment reg58 (%fs.base): undefined
+       segment reg59 (%gs.base): undefined
+       control reg62 (%tr): undefined
+       control reg63 (%ldtr): undefined
+       control reg64 (%mxcsr): undefined
+       control reg65 (%fcw): undefined
+       control reg66 (%fsw): undefined
+.debug_frame has 0x9d0 => [0x9d0, 0x9d1):
+       return address in reg16
+       CFA location expression: bregx(7,8)
+       integer reg0 (%rax): same_value
+       integer reg1 (%rdx): undefined
+       integer reg2 (%rcx): undefined
+       integer reg3 (%rbx): undefined
+       integer reg4 (%rsi): undefined
+       integer reg5 (%rdi): undefined
+       integer reg6 (%rbp): same_value
+       integer reg7 (%rsp): location expression: call_frame_cfa stack_value
+       integer reg8 (%r8): undefined
+       integer reg9 (%r9): undefined
+       integer reg10 (%r10): undefined
+       integer reg11 (%r11): undefined
+       integer reg12 (%r12): same_value
+       integer reg13 (%r13): same_value
+       integer reg14 (%r14): same_value
+       integer reg15 (%r15): same_value
+       integer reg16 (%rip): location expression: call_frame_cfa plus_uconst(-8)
+       SSE reg17 (%xmm0): undefined
+       SSE reg18 (%xmm1): undefined
+       SSE reg19 (%xmm2): undefined
+       SSE reg20 (%xmm3): undefined
+       SSE reg21 (%xmm4): undefined
+       SSE reg22 (%xmm5): undefined
+       SSE reg23 (%xmm6): undefined
+       SSE reg24 (%xmm7): undefined
+       SSE reg25 (%xmm8): undefined
+       SSE reg26 (%xmm9): undefined
+       SSE reg27 (%xmm10): undefined
+       SSE reg28 (%xmm11): undefined
+       SSE reg29 (%xmm12): undefined
+       SSE reg30 (%xmm13): undefined
+       SSE reg31 (%xmm14): undefined
+       SSE reg32 (%xmm15): undefined
+       x87 reg33 (%st0): undefined
+       x87 reg34 (%st1): undefined
+       x87 reg35 (%st2): undefined
+       x87 reg36 (%st3): undefined
+       x87 reg37 (%st4): undefined
+       x87 reg38 (%st5): undefined
+       x87 reg39 (%st6): undefined
+       x87 reg40 (%st7): undefined
+       MMX reg41 (%mm0): undefined
+       MMX reg42 (%mm1): undefined
+       MMX reg43 (%mm2): undefined
+       MMX reg44 (%mm3): undefined
+       MMX reg45 (%mm4): undefined
+       MMX reg46 (%mm5): undefined
+       MMX reg47 (%mm6): undefined
+       MMX reg48 (%mm7): undefined
+       integer reg49 (%rflags): undefined
+       segment reg50 (%es): undefined
+       segment reg51 (%cs): undefined
+       segment reg52 (%ss): undefined
+       segment reg53 (%ds): undefined
+       segment reg54 (%fs): undefined
+       segment reg55 (%gs): undefined
+       segment reg58 (%fs.base): undefined
+       segment reg59 (%gs.base): undefined
+       control reg62 (%tr): undefined
+       control reg63 (%ldtr): undefined
+       control reg64 (%mxcsr): undefined
+       control reg65 (%fcw): undefined
+       control reg66 (%fsw): undefined
+EOF