]> git.ipfire.org Git - thirdparty/binutils-gdb.git/commitdiff
libsframe: Add test for PLT0 and PLTN with only one FRE each
authorJens Remus <jremus@linux.ibm.com>
Fri, 11 Jul 2025 08:29:40 +0000 (10:29 +0200)
committerJens Remus <jremus@linux.ibm.com>
Fri, 11 Jul 2025 08:29:40 +0000 (10:29 +0200)
On s390x the PLT0 and PLTN entries are described with one SFrame FRE
each.  Add a test case for this particularity.

libsframe/testsuite/
* libsframe.find/find.exp (plt-findfre-2): Add new test.
* libsframe.find/plt-findfre-2.c: New test for PLT0 and PLTN
with only one FRE each.
* libsframe.find/local.mk (plt-findfre-2): Add new test.

libsframe/
* Makefile.in: Regenerate.

libsframe/Makefile.in
libsframe/testsuite/libsframe.find/find.exp
libsframe/testsuite/libsframe.find/local.mk
libsframe/testsuite/libsframe.find/plt-findfre-2.c [new file with mode: 0644]

index 13f4c26e2f146ae9200e760949986d725b33bcf0..fa705dd9f13ee7fd61175d37514da9ad64bb54eb 100644 (file)
@@ -118,7 +118,8 @@ check_PROGRAMS = $(am__EXEEXT_1)
 @HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.encode/encode-1 \
 @HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/findfre-1 \
 @HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/findfunc-1 \
-@HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/plt-findfre-1
+@HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/plt-findfre-1 \
+@HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/plt-findfre-2
 subdir = .
 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
 am__aclocal_m4_deps = $(top_srcdir)/../bfd/acinclude.m4 \
@@ -193,7 +194,8 @@ libsframe_la_LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \
 @HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.encode/encode-1$(EXEEXT) \
 @HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/findfre-1$(EXEEXT) \
 @HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/findfunc-1$(EXEEXT) \
-@HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/plt-findfre-1$(EXEEXT)
+@HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/plt-findfre-1$(EXEEXT) \
+@HAVE_COMPAT_DEJAGNU_TRUE@     testsuite/libsframe.find/plt-findfre-2$(EXEEXT)
 am__dirstamp = $(am__leading_dot)dirstamp
 am_testsuite_libsframe_decode_be_flipping_OBJECTS = testsuite/libsframe.decode/testsuite_libsframe_decode_be_flipping-be-flipping.$(OBJEXT)
 testsuite_libsframe_decode_be_flipping_OBJECTS =  \
@@ -230,6 +232,11 @@ testsuite_libsframe_find_plt_findfre_1_OBJECTS =  \
        $(am_testsuite_libsframe_find_plt_findfre_1_OBJECTS)
 testsuite_libsframe_find_plt_findfre_1_DEPENDENCIES =  \
        ${top_builddir}/libsframe.la
+am_testsuite_libsframe_find_plt_findfre_2_OBJECTS = testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.$(OBJEXT)
+testsuite_libsframe_find_plt_findfre_2_OBJECTS =  \
+       $(am_testsuite_libsframe_find_plt_findfre_2_OBJECTS)
+testsuite_libsframe_find_plt_findfre_2_DEPENDENCIES =  \
+       ${top_builddir}/libsframe.la
 AM_V_P = $(am__v_P_@AM_V@)
 am__v_P_ = $(am__v_P_@AM_DEFAULT_V@)
 am__v_P_0 = false
@@ -271,7 +278,8 @@ SOURCES = $(libsframe_la_SOURCES) \
        $(testsuite_libsframe_encode_encode_1_SOURCES) \
        $(testsuite_libsframe_find_findfre_1_SOURCES) \
        $(testsuite_libsframe_find_findfunc_1_SOURCES) \
-       $(testsuite_libsframe_find_plt_findfre_1_SOURCES)
+       $(testsuite_libsframe_find_plt_findfre_1_SOURCES) \
+       $(testsuite_libsframe_find_plt_findfre_2_SOURCES)
 DIST_SOURCES = $(libsframe_la_SOURCES) \
        $(testsuite_libsframe_decode_be_flipping_SOURCES) \
        $(testsuite_libsframe_decode_frecnt_1_SOURCES) \
@@ -279,7 +287,8 @@ DIST_SOURCES = $(libsframe_la_SOURCES) \
        $(testsuite_libsframe_encode_encode_1_SOURCES) \
        $(testsuite_libsframe_find_findfre_1_SOURCES) \
        $(testsuite_libsframe_find_findfunc_1_SOURCES) \
-       $(testsuite_libsframe_find_plt_findfre_1_SOURCES)
+       $(testsuite_libsframe_find_plt_findfre_1_SOURCES) \
+       $(testsuite_libsframe_find_plt_findfre_2_SOURCES)
 AM_V_DVIPS = $(am__v_DVIPS_@AM_V@)
 am__v_DVIPS_ = $(am__v_DVIPS_@AM_DEFAULT_V@)
 am__v_DVIPS_0 = @echo "  DVIPS   " $@;
@@ -569,6 +578,9 @@ testsuite_libsframe_find_findfunc_1_CPPFLAGS = -I${top_srcdir}/../include -Wall
 testsuite_libsframe_find_plt_findfre_1_SOURCES = testsuite/libsframe.find/plt-findfre-1.c
 testsuite_libsframe_find_plt_findfre_1_LDADD = ${top_builddir}/libsframe.la
 testsuite_libsframe_find_plt_findfre_1_CPPFLAGS = -I${top_srcdir}/../include -Wall
+testsuite_libsframe_find_plt_findfre_2_SOURCES = testsuite/libsframe.find/plt-findfre-2.c
+testsuite_libsframe_find_plt_findfre_2_LDADD = ${top_builddir}/libsframe.la
+testsuite_libsframe_find_plt_findfre_2_CPPFLAGS = -I${top_srcdir}/../include -Wall
 all: config.h
        $(MAKE) $(AM_MAKEFLAGS) all-am
 
@@ -748,6 +760,13 @@ testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_1-plt-findfre-1.$(
 testsuite/libsframe.find/plt-findfre-1$(EXEEXT): $(testsuite_libsframe_find_plt_findfre_1_OBJECTS) $(testsuite_libsframe_find_plt_findfre_1_DEPENDENCIES) $(EXTRA_testsuite_libsframe_find_plt_findfre_1_DEPENDENCIES) testsuite/libsframe.find/$(am__dirstamp)
        @rm -f testsuite/libsframe.find/plt-findfre-1$(EXEEXT)
        $(AM_V_CCLD)$(LINK) $(testsuite_libsframe_find_plt_findfre_1_OBJECTS) $(testsuite_libsframe_find_plt_findfre_1_LDADD) $(LIBS)
+testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.$(OBJEXT):  \
+       testsuite/libsframe.find/$(am__dirstamp) \
+       testsuite/libsframe.find/$(DEPDIR)/$(am__dirstamp)
+
+testsuite/libsframe.find/plt-findfre-2$(EXEEXT): $(testsuite_libsframe_find_plt_findfre_2_OBJECTS) $(testsuite_libsframe_find_plt_findfre_2_DEPENDENCIES) $(EXTRA_testsuite_libsframe_find_plt_findfre_2_DEPENDENCIES) testsuite/libsframe.find/$(am__dirstamp)
+       @rm -f testsuite/libsframe.find/plt-findfre-2$(EXEEXT)
+       $(AM_V_CCLD)$(LINK) $(testsuite_libsframe_find_plt_findfre_2_OBJECTS) $(testsuite_libsframe_find_plt_findfre_2_LDADD) $(LIBS)
 
 mostlyclean-compile:
        -rm -f *.$(OBJEXT)
@@ -768,6 +787,7 @@ distclean-compile:
 @AMDEP_TRUE@@am__include@ @am__quote@testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_findfre_1-findfre-1.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_findfunc_1-findfunc-1.Po@am__quote@
 @AMDEP_TRUE@@am__include@ @am__quote@testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_1-plt-findfre-1.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.Po@am__quote@
 
 .c.o:
 @am__fastdepCC_TRUE@   $(AM_V_CC)depbase=`echo $@ | sed 's|[^/]*$$|$(DEPDIR)/&|;s|\.o$$||'`;\
@@ -912,6 +932,20 @@ testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_1-plt-findfre-1.ob
 @AMDEP_TRUE@@am__fastdepCC_FALSE@      DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
 @am__fastdepCC_FALSE@  $(AM_V_CC@am__nodep@)$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(testsuite_libsframe_find_plt_findfre_1_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_1-plt-findfre-1.obj `if test -f 'testsuite/libsframe.find/plt-findfre-1.c'; then $(CYGPATH_W) 'testsuite/libsframe.find/plt-findfre-1.c'; else $(CYGPATH_W) '$(srcdir)/testsuite/libsframe.find/plt-findfre-1.c'; fi`
 
+testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.o: testsuite/libsframe.find/plt-findfre-2.c
+@am__fastdepCC_TRUE@   $(AM_V_CC)$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(testsuite_libsframe_find_plt_findfre_2_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.o -MD -MP -MF testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.Tpo -c -o testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.o `test -f 'testsuite/libsframe.find/plt-findfre-2.c' || echo '$(srcdir)/'`testsuite/libsframe.find/plt-findfre-2.c
+@am__fastdepCC_TRUE@   $(AM_V_at)$(am__mv) testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.Tpo testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.Po
+@AMDEP_TRUE@@am__fastdepCC_FALSE@      $(AM_V_CC)source='testsuite/libsframe.find/plt-findfre-2.c' object='testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.o' libtool=no @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCC_FALSE@      DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCC_FALSE@  $(AM_V_CC@am__nodep@)$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(testsuite_libsframe_find_plt_findfre_2_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.o `test -f 'testsuite/libsframe.find/plt-findfre-2.c' || echo '$(srcdir)/'`testsuite/libsframe.find/plt-findfre-2.c
+
+testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.obj: testsuite/libsframe.find/plt-findfre-2.c
+@am__fastdepCC_TRUE@   $(AM_V_CC)$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(testsuite_libsframe_find_plt_findfre_2_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.obj -MD -MP -MF testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.Tpo -c -o testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.obj `if test -f 'testsuite/libsframe.find/plt-findfre-2.c'; then $(CYGPATH_W) 'testsuite/libsframe.find/plt-findfre-2.c'; else $(CYGPATH_W) '$(srcdir)/testsuite/libsframe.find/plt-findfre-2.c'; fi`
+@am__fastdepCC_TRUE@   $(AM_V_at)$(am__mv) testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.Tpo testsuite/libsframe.find/$(DEPDIR)/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.Po
+@AMDEP_TRUE@@am__fastdepCC_FALSE@      $(AM_V_CC)source='testsuite/libsframe.find/plt-findfre-2.c' object='testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.obj' libtool=no @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCC_FALSE@      DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCC_FALSE@  $(AM_V_CC@am__nodep@)$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(testsuite_libsframe_find_plt_findfre_2_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o testsuite/libsframe.find/testsuite_libsframe_find_plt_findfre_2-plt-findfre-2.obj `if test -f 'testsuite/libsframe.find/plt-findfre-2.c'; then $(CYGPATH_W) 'testsuite/libsframe.find/plt-findfre-2.c'; else $(CYGPATH_W) '$(srcdir)/testsuite/libsframe.find/plt-findfre-2.c'; fi`
+
 mostlyclean-libtool:
        -rm -f *.lo
 
index d1be070be5bdde997c8ccee86d2ebaccd87702db..62471a39ab3e7099b26ef9f668c345cf45090047 100644 (file)
@@ -26,6 +26,7 @@ if [string equal $COMPAT_DEJAGNU "no"] {
     unsupported findfre-1
     unsupported findfunc-1
     unsupported plt-findfre-1
+    unsupported plt-findfre-2
     return;
 }
 
@@ -40,3 +41,7 @@ if { [host_execute "testsuite/libsframe.find/findfunc-1"] ne "" } {
 if { [host_execute "testsuite/libsframe.find/plt-findfre-1"] ne "" } {
     fail "plt-findfre-1"
 }
+
+if { [host_execute "testsuite/libsframe.find/plt-findfre-2"] ne "" } {
+    fail "plt-findfre-2"
+}
index 03206b134d6ca3bcfaba6752a9b2d0ad36f34941..52741e8063d768a3427c0c667119444bb1e99116 100644 (file)
@@ -1,5 +1,6 @@
 if HAVE_COMPAT_DEJAGNU
   check_PROGRAMS += %D%/findfre-1 %D%/findfunc-1 %D%/plt-findfre-1
+  check_PROGRAMS += %D%/plt-findfre-2
 endif
 
 %C%_findfre_1_SOURCES = %D%/findfre-1.c
@@ -13,3 +14,7 @@ endif
 %C%_plt_findfre_1_SOURCES = %D%/plt-findfre-1.c
 %C%_plt_findfre_1_LDADD = ${top_builddir}/libsframe.la
 %C%_plt_findfre_1_CPPFLAGS = -I${top_srcdir}/../include -Wall
+
+%C%_plt_findfre_2_SOURCES = %D%/plt-findfre-2.c
+%C%_plt_findfre_2_LDADD = ${top_builddir}/libsframe.la
+%C%_plt_findfre_2_CPPFLAGS = -I${top_srcdir}/../include -Wall
diff --git a/libsframe/testsuite/libsframe.find/plt-findfre-2.c b/libsframe/testsuite/libsframe.find/plt-findfre-2.c
new file mode 100644 (file)
index 0000000..3ccc259
--- /dev/null
@@ -0,0 +1,192 @@
+/* plt-findfre-2.c -- Test for sframe_find_fre for SFrame FDE of type
+   PCMASK with with one SFrame FRE only.
+
+   Copyright (C) 2025 Free Software Foundation, Inc.
+
+   This program 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.
+
+   This program 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/>.  */
+
+#include "config.h"
+
+#include <stdlib.h>
+#include <string.h>
+#include <sys/stat.h>
+
+#include "sframe-api.h"
+
+/* DejaGnu should not use gnulib's vsnprintf replacement here.  */
+#undef vsnprintf
+#include <dejagnu.h>
+
+/* s390x-specific size in bytes of plt0 and pltN.  */
+#define PLT_SIZE 32
+
+/* Magic values added to CFA offsets to make them distingishable.  Must
+   be multiple of 8 due to s390x-specific CFA alignment factor.  */
+#define PLT0_CFA_OFFSET_MAGIC 0
+#define PLTN_CFA_OFFSET_MAGIC 8
+
+static int
+add_plt0_fde (sframe_encoder_ctx *ectx, uint32_t plt_vaddr,
+             uint32_t sframe_vaddr, int idx)
+{
+  /* 1 single FRE.  */
+  sframe_frame_row_entry fre
+    = { 0x0,
+       { 0, 160 + PLT0_CFA_OFFSET_MAGIC },
+       SFRAME_V1_FRE_INFO (SFRAME_BASE_REG_SP, 1, SFRAME_FRE_OFFSET_2B) };
+
+  unsigned char finfo = sframe_fde_create_func_info (SFRAME_FRE_TYPE_ADDR1,
+                                                    SFRAME_FDE_TYPE_PCINC);
+  int32_t func_start_addr = plt_vaddr - sframe_vaddr;
+
+  /* 1 PCINC-type FDE for 1 plt0 entry of 32 bytes.  */
+  int err = sframe_encoder_add_funcdesc_v2 (ectx, func_start_addr,
+                                           PLT_SIZE /* func size.  */,
+                                           finfo,
+                                           0 /* rep block size.  */,
+                                           1 /* num FREs.  */);
+  if (err == -1)
+    return err;
+
+  if (sframe_encoder_add_fre (ectx, idx, &fre) == SFRAME_ERR)
+    return -1;
+
+  return 0;
+}
+
+static int
+add_pltn_fde (sframe_encoder_ctx *ectx, uint32_t plt_vaddr,
+             uint32_t sframe_vaddr, int idx)
+{
+  /* 1 single FRE.  */
+  sframe_frame_row_entry fre
+    = { 0x0,
+       { 0, 160 + PLTN_CFA_OFFSET_MAGIC },
+       SFRAME_V1_FRE_INFO (SFRAME_BASE_REG_SP, 1, SFRAME_FRE_OFFSET_2B) };
+
+  unsigned char finfo = sframe_fde_create_func_info (SFRAME_FRE_TYPE_ADDR1,
+                                                    SFRAME_FDE_TYPE_PCMASK);
+  int32_t func_start_addr = plt_vaddr - sframe_vaddr;
+
+  /* 1 PCMASK-type FDE for 5 pltN entries of 32 bytes each.  */
+  int err = sframe_encoder_add_funcdesc_v2 (ectx, func_start_addr,
+                                           5 * PLT_SIZE /* func size.  */,
+                                           finfo,
+                                           PLT_SIZE /* rep block size.  */,
+                                           1 /* num FREs.  */);
+  if (err == -1)
+    return err;
+
+  if (sframe_encoder_add_fre (ectx, idx, &fre) == SFRAME_ERR)
+    return -1;
+
+  return 0;
+}
+
+static
+void test_plt_findfre (const char suffix, const uint32_t plt_vaddr,
+                      const uint32_t sframe_vaddr)
+{
+  sframe_encoder_ctx *ectx;
+  sframe_decoder_ctx *dctx;
+  sframe_frame_row_entry frep;
+  char *sframe_buf;
+  size_t sf_size;
+  int err = 0;
+  unsigned int fde_cnt = 0;
+  int i;
+
+#define TEST(cond, ...)                                                        \
+  do                                                                   \
+    {                                                                  \
+      if (cond)                                                                \
+       pass (__VA_ARGS__);                                             \
+      else                                                             \
+       fail (__VA_ARGS__);                                             \
+    }                                                                  \
+    while (0)
+
+  ectx = sframe_encode (SFRAME_VERSION, 0, SFRAME_ABI_S390X_ENDIAN_BIG,
+                       SFRAME_CFA_FIXED_FP_INVALID,
+                       SFRAME_CFA_FIXED_RA_INVALID,
+                       &err);
+  TEST (ectx != NULL && err == 0, "plt-findfre-2%c: Creating SFrame encoder", suffix);
+
+  err = add_plt0_fde (ectx, plt_vaddr, sframe_vaddr, 0);
+  TEST (err == 0, "plt-findfre-2%c: Adding FDE for plt0", suffix);
+
+  fde_cnt = sframe_encoder_get_num_fidx (ectx);
+  TEST (fde_cnt == 1, "plt-findfre-2%c: Test FDE count after adding FDE for plt0", suffix);
+
+  err = add_pltn_fde (ectx, plt_vaddr + PLT_SIZE, sframe_vaddr, 1);
+  TEST (err == 0, "plt-findfre-2%c: Adding FDE for pltN", suffix);
+
+  fde_cnt = sframe_encoder_get_num_fidx (ectx);
+  TEST (fde_cnt == 2, "plt-findfre-2%c: Test FDE count after adding FDE for pltN", suffix);
+
+  sframe_buf = sframe_encoder_write (ectx, &sf_size, &err);
+  TEST (err == 0, "plt-findfre-2%c: Encoder write", suffix);
+
+  dctx = sframe_decode (sframe_buf, sf_size, &err);
+  TEST (dctx != NULL, "plt-findfre-2%c: Decoder setup", suffix);
+
+  /* Find the only FRE in PLT0 at offset 0.  */
+  err = sframe_find_fre (dctx, (plt_vaddr + 0 - sframe_vaddr), &frep);
+  TEST (err == 0 && sframe_fre_get_cfa_offset (dctx, &frep, &err) == 160 + PLT0_CFA_OFFSET_MAGIC,
+       "plt-findfre-2%c: Find only FRE in PLT0 at offset 0", suffix);
+
+  /* Find the only FRE in PLT0 at offset PLT_SIZE-1.  */
+  err = sframe_find_fre (dctx, (plt_vaddr + (PLT_SIZE-1) - sframe_vaddr), &frep);
+  TEST (err == 0 && sframe_fre_get_cfa_offset (dctx, &frep, &err) == 160 + PLT0_CFA_OFFSET_MAGIC,
+       "plt-findfre-2%c: Find only FRE in PLT0 at offset PLT_SIZE-1", suffix);
+
+  /* Find the only FRE in PLT1-5 at offset 0 and PLT_SIZE-1.  */
+  for (i = 1; i < 5; i++)
+    {
+      /* Find the only FRE in PLTN at offset 0.  */
+      err = sframe_find_fre (dctx, (plt_vaddr + i * PLT_SIZE + 0 - sframe_vaddr), &frep);
+      TEST (err == 0 && sframe_fre_get_cfa_offset (dctx, &frep, &err) == 160 + PLTN_CFA_OFFSET_MAGIC,
+           "plt-findfre-2%c: Find only FRE in PLT%d at offset 0", suffix, i);
+
+      /* Find the only FRE in PLTN at offset 31.  */
+      err = sframe_find_fre (dctx, (plt_vaddr + i * PLT_SIZE + (PLT_SIZE-1) - sframe_vaddr), &frep);
+      TEST (err == 0 && sframe_fre_get_cfa_offset (dctx, &frep, &err) == 160 + PLTN_CFA_OFFSET_MAGIC,
+           "plt-findfre-2%c: Find only FRE in PLT%d at offset PLT_SIZE-1", suffix, i);
+    }
+
+  /* Find no FRE in non-existing PLT6 at offset 0.  */
+  err = sframe_find_fre (dctx, (plt_vaddr + 6 * PLT_SIZE + 0 - sframe_vaddr), &frep);
+  TEST (err != 0, "plt-findfre-2%c: Find no FRE in out of range PLT6 at offset 0", suffix);
+
+  sframe_encoder_free (&ectx);
+  sframe_decoder_free (&dctx);
+}
+
+int
+main (void)
+{
+  uint32_t sframe_vaddr = 0x402220;
+  uint32_t plt_vaddr = 0x401020;
+  printf ("plt-findfre-2a: Testing with plt_vaddr = %#x; sframe_vaddr = %#x\n",
+         plt_vaddr, sframe_vaddr);
+  test_plt_findfre ('a', plt_vaddr, sframe_vaddr);
+
+  sframe_vaddr = 0x401020;
+  plt_vaddr = 0x402220;
+  printf ("plt-findfre-2b: Testing with plt_vaddr = %#x; sframe_vaddr = %#x\n",
+         plt_vaddr, sframe_vaddr);
+  test_plt_findfre ('b', plt_vaddr, sframe_vaddr);
+
+  return 0;
+}