commit 86bd889458883295b73c36696ec64dea9338a7a3

Author: Vadim Barkov <vbrkov@gmail.com>

Date:   Fri Oct 5 13:46:44 2018 +0300

    Bug 385411 s390x: Tests and internals for z13 vector FP support

    Add test cases for the z13 vector FP support.  Bring s390-opcodes.csv

    up-to-date, reflecting that the z13 vector instructions are now supported.

    Also remove the non-support disclaimer for the vector facility from

    README.s390.

    The patch was contributed by Vadim Barkov, with some clean-up and minor

    adjustments by Andreas Arnez.

diff --git a/none/tests/s390x/Makefile.am b/none/tests/s390x/Makefile.am

index 77c00ba..097c85a 100644

--- a/none/tests/s390x/Makefile.am

+++ b/none/tests/s390x/Makefile.am

@@ -18,7 +18,8 @@ INSN_TESTS = clc clcle cvb cvd icm lpr tcxb lam_stam xc mvst add sub mul \

 	     spechelper-cr  spechelper-clr  \

 	     spechelper-ltr spechelper-or   \

 	     spechelper-icm-1  spechelper-icm-2 spechelper-tmll \

-	     spechelper-tm laa vector lsc2 ppno vector_string vector_integer

+	     spechelper-tm laa vector lsc2 ppno vector_string vector_integer \

+	     vector_float

 if BUILD_DFP_TESTS

   INSN_TESTS += dfp-1 dfp-2 dfp-3 dfp-4 dfptest dfpext dfpconv srnmt pfpo

@@ -71,4 +72,4 @@ vector_CFLAGS    = $(AM_CFLAGS) -march=z13

 lsc2_CFLAGS       = -march=z13 -DS390_TESTS_NOCOLOR

 vector_string_CFLAGS = $(AM_CFLAGS) -march=z13 -DS390_TEST_COUNT=5

 vector_integer_CFLAGS    = $(AM_CFLAGS) -march=z13 -DS390_TEST_COUNT=4

-

+vector_float_CFLAGS    = $(AM_CFLAGS) -march=z13 -DS390_TEST_COUNT=4

diff --git a/none/tests/s390x/vector.h b/none/tests/s390x/vector.h

index adefbcd..de23914 100644

--- a/none/tests/s390x/vector.h

+++ b/none/tests/s390x/vector.h

@@ -12,17 +12,21 @@

 #endif

 /* Test the instruction exactly one time. */

-#define test_once(insn) test_##insn()

+#define test_once(insn) test_##insn ()

 /* Test the instruction exactly S390_TEST_COUNT times.

    "..." arguments specifies code which must be executed after each tests

  */

 #define test(insn, ...) \

    for(iteration = 0; iteration < S390_TEST_COUNT; iteration++) \

-     { test_##insn(); \

+     { test_once(insn); \

         __VA_ARGS__; \

      }

+#define test_with_selective_printing(insn, info) \

+   for(iteration = 0; iteration < S390_TEST_COUNT; iteration++) \

+     { test_ ## insn ## _selective(info); }

+

 #ifdef __GNUC__

 /* GCC complains about __int128 with -pedantic */

 /* Hope that we will have int128_t in C standard someday. */

@@ -38,18 +42,67 @@ typedef union {

    uint32_t u32[4];

    int32_t s32[4];

+   float   f32[4];

    uint64_t u64[2];

    int64_t s64[2];

+   double f64[2];

    unsigned __int128 u128[1];

    __int128 s128[1];

 } V128;

+typedef enum {

+   V128_NO_PRINTING = 0,

+   V128_V_RES_AS_INT  = 1 << 0,

+   V128_V_ARG1_AS_INT = 1 << 1,

+   V128_V_ARG2_AS_INT = 1 << 2,

+   V128_V_ARG3_AS_INT = 1 << 3,

+   V128_V_RES_AS_FLOAT64 = 1 << 4,

+   V128_V_ARG1_AS_FLOAT64 = 1 << 5,

+   V128_V_ARG2_AS_FLOAT64 = 1 << 6,

+   V128_V_ARG3_AS_FLOAT64 = 1 << 7,

+   V128_V_RES_AS_FLOAT32 = 1 << 8,

+   V128_V_ARG1_AS_FLOAT32 = 1 << 9,

+   V128_V_ARG2_AS_FLOAT32 = 1 << 10,

+   V128_V_ARG3_AS_FLOAT32 = 1 << 11,

+   V128_R_RES = 1 << 12,

+   V128_R_ARG1 = 1 << 13,

+   V128_R_ARG2 = 1 << 14,

+   V128_R_ARG3 = 1 << 15,

+   V128_V_RES_EVEN_ONLY = 1 << 16,

+   V128_V_RES_ZERO_ONLY = 1 << 17,

+   V128_PRINT_ALL = (V128_V_RES_AS_INT |

+                     V128_V_ARG1_AS_INT |

+                     V128_V_ARG2_AS_INT |

+                     V128_V_ARG3_AS_INT |

+                     V128_R_RES |

+                     V128_R_ARG1 |

+                     V128_R_ARG2 |

+                     V128_R_ARG3),

+} s390x_test_usageInfo;

+

 void print_hex(const V128 value) {

    printf("%016lx | %016lx\n", value.u64[0], value.u64[1]);

 }

+void print_f32(const V128 value, int even_only, int zero_only) {

+   if (zero_only)

+      printf("%a | -- | -- | --\n", value.f32[0]);

+   else if (even_only)

+      printf("%a | -- | %a | --\n", value.f32[0], value.f32[2]);

+   else

+      printf("%a | %a | %a | %a\n",

+             value.f32[0], value.f32[1], value.f32[2], value.f32[3]);

+}

+

+void print_f64(const V128 value, int zero_only) {

+   if (zero_only)

+      printf("%a | --\n", value.f64[0]);

+   else

+      printf("%a | %a\n", value.f64[0], value.f64[1]);

+}

+

 void print_uint64_t(const uint64_t value) {

    printf("%016lx\n", value);

 }

@@ -118,7 +171,7 @@ void randomize_memory_pool()

 */

 #define s390_test_generate(insn, asm_string) \

-static void test_##insn() \

+static void test_##insn##_selective(const s390x_test_usageInfo info) \

 { \

    V128 v_result = { .u64 = {0ULL, 0ULL} }; \

    V128 v_arg1; \

@@ -138,6 +191,7 @@ static void test_##insn() \

        "vl  %%v2, %[v_arg2]\n" \

        "vl  %%v3, %[v_arg3]\n" \

        "vone %%v5\n" \

+       "srnmb 1(0)\n " \

        asm_string "\n"\

        "vst %%v5, %[v_result]\n" \

        "vst %%v1, %[v_arg1]\n" \

@@ -162,14 +216,49 @@ static void test_##insn() \

          "v1", "v2", "v3", "v5"); \

     \

    printf("insn %s:\n", #insn); \

-   printf("  v_arg1   = "); print_hex(v_arg1); \

-   printf("  v_arg2   = "); print_hex(v_arg2); \

-   printf("  v_arg3   = "); print_hex(v_arg3); \

-   printf("  v_result = "); print_hex(v_result); \

-   printf("  r_arg1   = "); print_uint64_t(r_arg1); \

-   printf("  r_arg2   = "); print_uint64_t(r_arg2); \

-   printf("  r_arg3   = "); print_uint64_t(r_arg3); \

-   printf("  r_result = "); print_uint64_t(r_result); \

+   if (info & V128_V_ARG1_AS_INT) \

+      {printf("  v_arg1   = "); print_hex(v_arg1);} \

+   if (info & V128_V_ARG2_AS_INT) \

+      {printf("  v_arg2   = "); print_hex(v_arg2);} \

+   if (info & V128_V_ARG3_AS_INT) \

+      {printf("  v_arg3   = "); print_hex(v_arg3);} \

+   if (info & V128_V_RES_AS_INT) \

+      {printf("  v_result = "); print_hex(v_result);} \

+   \

+   if (info & V128_V_ARG1_AS_FLOAT64) \

+      {printf("  v_arg1   = "); print_f64(v_arg1, 0);} \

+   if (info & V128_V_ARG2_AS_FLOAT64) \

+      {printf("  v_arg2   = "); print_f64(v_arg2, 0);} \

+   if (info & V128_V_ARG3_AS_FLOAT64) \

+      {printf("  v_arg3   = "); print_f64(v_arg3, 0);} \

+   if (info & V128_V_RES_AS_FLOAT64) { \

+      printf("  v_result = "); \

+      print_f64(v_result, info & V128_V_RES_ZERO_ONLY); \

+   } \

+   \

+   if (info & V128_V_ARG1_AS_FLOAT32) \

+      {printf("  v_arg1   = "); print_f32(v_arg1, 0, 0);} \

+   if (info & V128_V_ARG2_AS_FLOAT32) \

+      {printf("  v_arg2   = "); print_f32(v_arg2, 0, 0);} \

+   if (info & V128_V_ARG3_AS_FLOAT32) \

+      {printf("  v_arg3   = "); print_f32(v_arg3, 0, 0);} \

+   if (info & V128_V_RES_AS_FLOAT32) { \

+      printf("  v_result = "); \

+      print_f32(v_result, info & V128_V_RES_EVEN_ONLY, \

+                info & V128_V_RES_ZERO_ONLY); \

+   } \

+   if (info & V128_R_ARG1) \

+      {printf("  r_arg1   = "); print_uint64_t(r_arg1);} \

+   if (info & V128_R_ARG2) \

+      {printf("  r_arg2   = "); print_uint64_t(r_arg2);} \

+   if (info & V128_R_ARG3) \

+      {printf("  r_arg3   = "); print_uint64_t(r_arg3);} \

+   if (info & V128_R_RES) \

+      {printf("  r_result = "); print_uint64_t(r_result);} \

+} \

+__attribute__((unused)) static void test_##insn() \

+{ \

+   test_##insn##_selective (V128_PRINT_ALL); \

 }

 /* Stores CC to %[r_result].

diff --git a/none/tests/s390x/vector_float.c b/none/tests/s390x/vector_float.c

new file mode 100644

index 0000000..52f3a29

--- /dev/null

+++ b/none/tests/s390x/vector_float.c

@@ -0,0 +1,275 @@

+#include "vector.h"

+

+#define s390_generate_float_test(insn, asm_string) \

+   s390_test_generate(v##insn##00,   "v" #insn " " asm_string ",0, 0") \

+   s390_test_generate(v##insn##01,   "v" #insn " " asm_string ",0, 1") \

+   s390_test_generate(v##insn##03,   "v" #insn " " asm_string ",0, 3") \

+   s390_test_generate(v##insn##04,   "v" #insn " " asm_string ",0, 4") \

+   s390_test_generate(v##insn##05,   "v" #insn " " asm_string ",0, 5") \

+   s390_test_generate(v##insn##06,   "v" #insn " " asm_string ",0, 6") \

+   s390_test_generate(v##insn##07,   "v" #insn " " asm_string ",0, 7") \

+   s390_test_generate(w##insn##00,   "w" #insn " " asm_string ",0, 0") \

+   s390_test_generate(w##insn##01,   "w" #insn " " asm_string ",0, 1") \

+   s390_test_generate(w##insn##03,   "w" #insn " " asm_string ",0, 3") \

+   s390_test_generate(w##insn##04,   "w" #insn " " asm_string ",0, 4") \

+   s390_test_generate(w##insn##05,   "w" #insn " " asm_string ",0, 5") \

+   s390_test_generate(w##insn##06,   "w" #insn " " asm_string ",0, 6") \

+   s390_test_generate(w##insn##07,   "w" #insn " " asm_string ",0, 7") \

+

+#define s390_call_float_test(insn, info) \

+   test_with_selective_printing(v ##insn ## 00, info); \

+   test_with_selective_printing(v ##insn ## 01, info); \

+   test_with_selective_printing(v ##insn ## 03, info); \

+   test_with_selective_printing(v ##insn ## 04, info); \

+   test_with_selective_printing(v ##insn ## 05, info); \

+   test_with_selective_printing(v ##insn ## 06, info); \

+   test_with_selective_printing(v ##insn ## 07, info); \

+   test_with_selective_printing(w ##insn ## 00, info | V128_V_RES_ZERO_ONLY); \

+   test_with_selective_printing(w ##insn ## 01, info | V128_V_RES_ZERO_ONLY); \

+   test_with_selective_printing(w ##insn ## 03, info | V128_V_RES_ZERO_ONLY); \

+   test_with_selective_printing(w ##insn ## 04, info | V128_V_RES_ZERO_ONLY); \

+   test_with_selective_printing(w ##insn ## 05, info | V128_V_RES_ZERO_ONLY); \

+   test_with_selective_printing(w ##insn ## 06, info | V128_V_RES_ZERO_ONLY); \

+   test_with_selective_printing(w ##insn ## 07, info | V128_V_RES_ZERO_ONLY); \

+

+s390_generate_float_test(cdgb, " %%v5, %%v1")

+s390_generate_float_test(cdlgb, " %%v5, %%v1")

+s390_generate_float_test(cgdb, " %%v5, %%v1")

+s390_generate_float_test(clgdb, " %%v5, %%v1")

+s390_generate_float_test(fidb, " %%v5, %%v1")

+s390_generate_float_test(ledb, " %%v5, %%v1")

+

+s390_test_generate(vldeb, "vldeb %%v5, %%v1")

+s390_test_generate(wldeb, "wldeb %%v5, %%v1")

+

+s390_test_generate(vflcdb, "vflcdb %%v5, %%v1")

+s390_test_generate(wflcdb, "wflcdb %%v5, %%v1")

+s390_test_generate(vflndb, "vflndb %%v5, %%v1")

+s390_test_generate(wflndb, "wflndb %%v5, %%v1")

+s390_test_generate(vflpdb, "vflpdb %%v5, %%v1")

+s390_test_generate(wflpdb, "wflpdb %%v5, %%v1")

+

+s390_test_generate(vfadb, "vfadb %%v5, %%v1, %%v2")

+s390_test_generate(wfadb, "wfadb %%v5, %%v1, %%v2")

+s390_test_generate(vfsdb, "vfsdb %%v5, %%v1, %%v2")

+s390_test_generate(wfsdb, "wfsdb %%v5, %%v1, %%v2")

+s390_test_generate(vfmdb, "vfmdb %%v5, %%v1, %%v2")

+s390_test_generate(wfmdb, "wfmdb %%v5, %%v1, %%v2")

+s390_test_generate(vfddb, "vfddb %%v5, %%v1, %%v2")

+s390_test_generate(wfddb, "wfddb %%v5, %%v1, %%v2")

+

+s390_test_generate(vfsqdb, "vfsqdb %%v5, %%v1")

+s390_test_generate(wfsqdb, "wfsqdb %%v5, %%v1")

+

+s390_test_generate(vfmadb, "vfmadb %%v5, %%v1, %%v2, %%v3")

+s390_test_generate(wfmadb, "wfmadb %%v5, %%v1, %%v2, %%v3")

+s390_test_generate(vfmsdb, "vfmsdb %%v5, %%v1, %%v2, %%v3")

+s390_test_generate(wfmsdb, "wfmsdb %%v5, %%v1, %%v2, %%v3")

+

+s390_test_generate(wfcdb, "wfcdb %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(wfkdb, "wfkdb %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+

+s390_test_generate(vfcedb,  "vfcedb  %%v5, %%v1, %%v2")

+s390_test_generate(wfcedb,  "wfcedb  %%v5, %%v1, %%v2")

+s390_test_generate(vfcedbs, "vfcedbs %%v5, %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(wfcedbs, "wfcedbs %%v5, %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+

+s390_test_generate(vfchdb,  "vfchdb  %%v5, %%v1, %%v2")

+s390_test_generate(wfchdb,  "wfchdb  %%v5, %%v1, %%v2")

+s390_test_generate(vfchdbs, "vfchdbs %%v5, %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(wfchdbs, "wfchdbs %%v5, %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+

+s390_test_generate(vfchedb,  "vfchedb  %%v5, %%v1, %%v2")

+s390_test_generate(wfchedb,  "wfchedb  %%v5, %%v1, %%v2")

+s390_test_generate(vfchedbs, "vfchedbs %%v5, %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(wfchedbs, "wfchedbs %%v5, %%v1, %%v2\n" S390_TEST_PUT_CC_TO_RESULT)

+

+s390_test_generate(vftcidb0,    "vftcidb %%v5, %%v1,  0  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb1,    "vftcidb %%v5, %%v1,  1  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb2,    "vftcidb %%v5, %%v1,  2  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb3,    "vftcidb %%v5, %%v1,  0  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb4,    "vftcidb %%v5, %%v1,  4  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb8,    "vftcidb %%v5, %%v1,  8  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb16,   "vftcidb %%v5, %%v1, 16  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb32,   "vftcidb %%v5, %%v1, 32  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb64,   "vftcidb %%v5, %%v1, 64  \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb128,  "vftcidb %%v5, %%v1, 128 \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb256,  "vftcidb %%v5, %%v1, 256 \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb512,  "vftcidb %%v5, %%v1, 512 \n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb1024, "vftcidb %%v5, %%v1, 1024\n" S390_TEST_PUT_CC_TO_RESULT)

+s390_test_generate(vftcidb2048, "vftcidb %%v5, %%v1, 2048\n" S390_TEST_PUT_CC_TO_RESULT)

+

+int main()

+{

+   size_t iteration = 0;

+

+   s390_call_float_test(cdgb, (V128_V_RES_AS_FLOAT64 | V128_V_ARG1_AS_INT));

+   s390_call_float_test(cdlgb, (V128_V_RES_AS_FLOAT64 | V128_V_ARG1_AS_INT));

+   s390_call_float_test(cgdb, (V128_V_RES_AS_INT | V128_V_ARG1_AS_FLOAT64));

+   s390_call_float_test(clgdb, (V128_V_RES_AS_INT | V128_V_ARG1_AS_FLOAT64));

+   s390_call_float_test(fidb, (V128_V_RES_AS_FLOAT64 | V128_V_ARG1_AS_FLOAT64));

+   s390_call_float_test(ledb, (V128_V_RES_AS_FLOAT32 | V128_V_RES_EVEN_ONLY |

+                               V128_V_ARG1_AS_FLOAT64));

+

+   test_with_selective_printing(vldeb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64));

+   test_with_selective_printing(wldeb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64));

+

+   test_with_selective_printing(vflcdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+   test_with_selective_printing(wflcdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+   test_with_selective_printing(vflndb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+   test_with_selective_printing(wflndb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+   test_with_selective_printing(vflpdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+   test_with_selective_printing(wflpdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+

+   test_with_selective_printing(vfadb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(wfadb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(vfsdb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(wfsdb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(vfmdb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(wfmdb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(vfddb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(wfddb, (V128_V_RES_AS_FLOAT64 |

+                                        V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64));

+ 

+   test_with_selective_printing(vfsqdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+   test_with_selective_printing(wfsqdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64));

+

+   test_with_selective_printing(vfmadb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64 |

+                                         V128_V_ARG2_AS_FLOAT64 |

+                                         V128_V_ARG3_AS_FLOAT64));

+   test_with_selective_printing(wfmadb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64 |

+                                         V128_V_ARG2_AS_FLOAT64 |

+                                         V128_V_ARG3_AS_FLOAT64));

+   test_with_selective_printing(vfmsdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64 |

+                                         V128_V_ARG2_AS_FLOAT64 |

+                                         V128_V_ARG3_AS_FLOAT64));

+   test_with_selective_printing(wfmsdb, (V128_V_RES_AS_FLOAT64 |

+                                         V128_V_ARG1_AS_FLOAT64 |

+                                         V128_V_ARG2_AS_FLOAT64 |

+                                         V128_V_ARG3_AS_FLOAT64));

+

+   test_with_selective_printing(wfcdb, (V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64 |

+                                        V128_R_RES));

+   test_with_selective_printing(wfkdb, (V128_V_ARG1_AS_FLOAT64 |

+                                        V128_V_ARG2_AS_FLOAT64 |

+                                        V128_R_RES));

+

+   test_with_selective_printing(vfcedb,  (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(wfcedb,  (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(vfcedbs, (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64 |

+                                          V128_R_RES));

+   test_with_selective_printing(wfcedbs, (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64 |

+                                          V128_R_RES));

+

+   test_with_selective_printing(vfchdb,  (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(wfchdb,  (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(vfchdbs, (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64 |

+                                          V128_R_RES));

+   test_with_selective_printing(wfchdbs, (V128_V_RES_AS_INT |

+                                          V128_V_ARG1_AS_FLOAT64 |

+                                          V128_V_ARG2_AS_FLOAT64 |

+                                          V128_R_RES));

+

+   test_with_selective_printing(vfchedb,  (V128_V_RES_AS_INT |

+                                           V128_V_ARG1_AS_FLOAT64 |

+                                           V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(wfchedb,  (V128_V_RES_AS_INT |

+                                           V128_V_ARG1_AS_FLOAT64 |

+                                           V128_V_ARG2_AS_FLOAT64));

+   test_with_selective_printing(vfchedbs, (V128_V_RES_AS_INT |

+                                           V128_V_ARG1_AS_FLOAT64 |

+                                           V128_V_ARG2_AS_FLOAT64 |

+                                           V128_R_RES));

+   test_with_selective_printing(wfchedbs, (V128_V_RES_AS_INT |

+                                           V128_V_ARG1_AS_FLOAT64 |

+                                           V128_V_ARG2_AS_FLOAT64 |

+                                           V128_R_RES));

+

+   test_with_selective_printing(vftcidb0,    (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb1,    (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb2,    (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb3,    (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb4,    (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb8,    (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb16,   (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb32,   (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb64,   (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb128,  (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb256,  (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb512,  (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb1024, (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+   test_with_selective_printing(vftcidb2048, (V128_V_RES_AS_INT |

+                                              V128_V_ARG1_AS_FLOAT64 |

+                                              V128_R_RES));

+

+   return 0;

+}

diff --git a/none/tests/s390x/vector_float.stderr.exp b/none/tests/s390x/vector_float.stderr.exp

new file mode 100644

index 0000000..139597f

--- /dev/null

+++ b/none/tests/s390x/vector_float.stderr.exp

@@ -0,0 +1,2 @@

+

+

diff --git a/none/tests/s390x/vector_float.stdout.exp b/none/tests/s390x/vector_float.stdout.exp

new file mode 100644

index 0000000..eac5250

--- /dev/null

+++ b/none/tests/s390x/vector_float.stdout.exp

@@ -0,0 +1,1808 @@

+insn vcdgb00:

+  v_arg1   = 0d6a95fac528657d | 501eefeec0d8b847

+  v_result = 0x1.ad52bf58a50cap+59 | 0x1.407bbfbb0362ep+62

+insn vcdgb00:

+  v_arg1   = e540bc6839c44b4a | 36ed3550df9899d8

+  v_result = -0x1.abf4397c63bb4p+60 | 0x1.b769aa86fcc4cp+61

+insn vcdgb00:

+  v_arg1   = 979569ee6d5cbcd8 | 966cf73d98a42d54

+  v_result = -0x1.a1aa58464a8dp+62 | -0x1.a64c23099d6f4p+62

+insn vcdgb00:

+  v_arg1   = 10985cc9e2b9c255 | b2683bbf21432695

+  v_result = 0x1.0985cc9e2b9c2p+60 | -0x1.365f11037af36p+62

+insn vcdgb01:

+  v_arg1   = 4208cb757c0f3e0a | 91fe3de1d5e7ca54

+  v_result = 0x1.08232dd5f03dp+62 | -0x1.b8070878a860dp+62

+insn vcdgb01:

+  v_arg1   = e5f1216d47c3a621 | c1582e6bf6f3b5e9

+  v_result = -0x1.a0ede92b83c5ap+60 | -0x1.f53e8ca048625p+61

+insn vcdgb01:

+  v_arg1   = 376fbfe93425c861 | 1870f7a36a759b08

+  v_result = 0x1.bb7dff49a12e4p+61 | 0x1.870f7a36a759bp+60

+insn vcdgb01:

+  v_arg1   = bc68bf9dda3685ee | 6fcaf40c7feb0484

+  v_result = -0x1.0e5d01889725fp+62 | 0x1.bf2bd031ffac1p+62

+insn vcdgb03:

+  v_arg1   = ff55ac7f3661970c | 663cba29a8010f0e

+  v_result = -0x1.54a701933cd1fp+55 | 0x1.98f2e8a6a0043p+62

+insn vcdgb03:

+  v_arg1   = 50f94b806c444cdc | 23a9d13a3e4f30f5

+  v_result = 0x1.43e52e01b1113p+62 | 0x1.1d4e89d1f2799p+61

+insn vcdgb03:

+  v_arg1   = 8526565084674a1c | 13c07bfc401df2e6

+  v_result = -0x1.eb66a6bdee62dp+62 | 0x1.3c07bfc401df3p+60

+insn vcdgb03:

+  v_arg1   = bb7d3d1d2e024aea | a9bf6c6c1422b7ac

+  v_result = -0x1.120b0b8b47f6dp+62 | -0x1.59024e4faf753p+62

+insn vcdgb04:

+  v_arg1   = 122de4537ebadd80 | 1b359083443f73f0

+  v_result = 0x1.22de4537ebadep+60 | 0x1.b359083443f74p+60

+insn vcdgb04:

+  v_arg1   = 74b2685cb1632af8 | 28bac9f9424875f9

+  v_result = 0x1.d2c9a172c58cbp+62 | 0x1.45d64fca1243bp+61

+insn vcdgb04:

+  v_arg1   = 4f96da5fe8beae08 | d5b8af0426ba1f6b

+  v_result = 0x1.3e5b697fa2facp+62 | -0x1.523a87deca2fp+61

+insn vcdgb04:

+  v_arg1   = 57330304e93afcc5 | 2c244e196b83aa0a

+  v_result = 0x1.5ccc0c13a4ebfp+62 | 0x1.612270cb5c1d5p+61

+insn vcdgb05:

+  v_arg1   = 466d1f2de1b67b62 | fc44eca9b6c0e377

+  v_result = 0x1.19b47cb786d9ep+62 | -0x1.dd89ab249f8e4p+57

+insn vcdgb05:

+  v_arg1   = 9c7aa2bc253b2bf0 | 9c69c1e38f79f1f0

+  v_result = -0x1.8e15750f6b135p+62 | -0x1.8e58f871c2183p+62

+insn vcdgb05:

+  v_arg1   = 609cf752ecc5611e | a9b4be7727660d13

+  v_result = 0x1.8273dd4bb3158p+62 | -0x1.592d06236267cp+62

+insn vcdgb05:

+  v_arg1   = dde43c0d17fa87f9 | c4d4485011ac499a

+  v_result = -0x1.10de1f97402bcp+61 | -0x1.d95dbd7f729dbp+61

+insn vcdgb06:

+  v_arg1   = 67f00848ebf0ddad | 55c5fa58099e4a1e

+  v_result = 0x1.9fc02123afc38p+62 | 0x1.5717e96026793p+62

+insn vcdgb06:

+  v_arg1   = 14ac275ed2ea3c41 | 4c916736b17f0fd7

+  v_result = 0x1.4ac275ed2ea3dp+60 | 0x1.32459cdac5fc4p+62

+insn vcdgb06:

+  v_arg1   = 841359651e19ce5c | db11d6114f3da959

+  v_result = -0x1.efb29a6b8798cp+62 | -0x1.27714f758612bp+61

+insn vcdgb06:

+  v_arg1   = 9aee16f6c65ed705 | 3dab044d91370057

+  v_result = -0x1.9447a424e684ap+62 | 0x1.ed58226c89b81p+61

+insn vcdgb07:

+  v_arg1   = 41924de22705705d | 7314e64c4af69562

+  v_result = 0x1.064937889c15cp+62 | 0x1.cc5399312bda5p+62

+insn vcdgb07:

+  v_arg1   = 28a421fcc48a4766 | 020e652d33f63ba9

+  v_result = 0x1.45210fe624523p+61 | 0x1.07329699fb1ddp+57

+insn vcdgb07:

+  v_arg1   = 87d7abd5085662be | b72a218eab5dddb9

+  v_result = -0x1.e0a150abdea68p+62 | -0x1.235779c552889p+62

+insn vcdgb07:

+  v_arg1   = d9abbb790081d963 | 63852f4c78c03c3d

+  v_result = -0x1.32a22437fbf14p+61 | 0x1.8e14bd31e300fp+62

+insn wcdgb00:

+  v_arg1   = a02f983522909f6f | a08ddc4185e4afbe

+  v_result = -0x1.7f419f2b75bd8p+62 | --

+insn wcdgb00:

+  v_arg1   = 24bfbc5409373bdb | 8bbc6803a279e263

+  v_result = 0x1.25fde2a049b9dp+61 | --

+insn wcdgb00:

+  v_arg1   = 35c59adc3617873f | 895bccaa47e097b0

+  v_result = 0x1.ae2cd6e1b0bc3p+61 | --

+insn wcdgb00:

+  v_arg1   = e5795953d180798f | 033f758952e56949

+  v_result = -0x1.a86a6ac2e7f86p+60 | --

+insn wcdgb01:

+  v_arg1   = 50a3967f672fd7de | 2a8d07f3c58484af

+  v_result = 0x1.428e59fd9cbf6p+62 | --

+insn wcdgb01:

+  v_arg1   = 55572620ab0f011d | b4781cf689a66f00

+  v_result = 0x1.555c9882ac3cp+62 | --

+insn wcdgb01:

+  v_arg1   = 5ab7d2b735faacdb | 9d0003212fe3c3b9

+  v_result = 0x1.6adf4adcd7eabp+62 | --

+insn wcdgb01:

+  v_arg1   = 0cb41a414677a106 | e7b48241aa40f176

+  v_result = 0x1.96834828cef42p+59 | --

+insn wcdgb03:

+  v_arg1   = 1dcbf3fa837c83a7 | 5c6f941e16f101b0

+  v_result = 0x1.dcbf3fa837c83p+60 | --

+insn wcdgb03:

+  v_arg1   = 05ca8a1db62c87a8 | 471d2d4175174e7c

+  v_result = 0x1.72a2876d8b21fp+58 | --

+insn wcdgb03:

+  v_arg1   = c28bffa291993a8f | 3f76f2af6e814c51

+  v_result = -0x1.eba002eb73363p+61 | --

+insn wcdgb03:

+  v_arg1   = 99b62bfd6b813f43 | ddc001ae0d6e42c1

+  v_result = -0x1.9927500a51fb1p+62 | --

+insn wcdgb04:

+  v_arg1   = d3825be401140fc5 | 818fb07e8648113d

+  v_result = -0x1.63ed20dff75f8p+61 | --

+insn wcdgb04:

+  v_arg1   = 8273130837abb8f7 | 1287461ff268ecd4

+  v_result = -0x1.f633b3df21512p+62 | --

+insn wcdgb04:

+  v_arg1   = 3a1ccdd9d5909f57 | bc17c41010d81ef3

+  v_result = 0x1.d0e66eceac85p+61 | --

+insn wcdgb04:

+  v_arg1   = d8ddb8444bbc3ec3 | b03fa00d060ac825

+  v_result = -0x1.39123ddda21e1p+61 | --

+insn wcdgb05:

+  v_arg1   = 3fa47a776e92e735 | e74a85ce1fa4a0d3

+  v_result = 0x1.fd23d3bb74973p+61 | --

+insn wcdgb05:

+  v_arg1   = 16aeee9b39a78086 | e09214ce8b37b404

+  v_result = 0x1.6aeee9b39a78p+60 | --

+insn wcdgb05:

+  v_arg1   = 8c46e7988e7d462e | 5e41a7002202251c

+  v_result = -0x1.cee4619dc60aep+62 | --

+insn wcdgb05:

+  v_arg1   = 1584ecd3f3428b01 | 2c0d099a22b2ed9f

+  v_result = 0x1.584ecd3f3428bp+60 | --

+insn wcdgb06:

+  v_arg1   = 2b0dfbf1569378f2 | d9fa40cced239bee

+  v_result = 0x1.586fdf8ab49bdp+61 | --

+insn wcdgb06:

+  v_arg1   = 0fd84793ca3eccd2 | 7d1b4488cd1e1207

+  v_result = 0x1.fb08f27947d9ap+59 | --

+insn wcdgb06:

+  v_arg1   = 86e6fb1a47fa9c10 | 7350c53bb01b4e47

+  v_result = -0x1.e4641396e0158p+62 | --

+insn wcdgb06:

+  v_arg1   = 9c07f5646f2f1179 | 1d07e991ed001f2a

+  v_result = -0x1.8fe02a6e4343bp+62 | --

+insn wcdgb07:

+  v_arg1   = 659a8c8c44b32df8 | a3fd0c33fddfed09

+  v_result = 0x1.966a323112ccbp+62 | --

+insn wcdgb07:

+  v_arg1   = b84c4aadf38a8756 | b5fd808b43ba73d9

+  v_result = -0x1.1eced54831d5fp+62 | --

+insn wcdgb07:

+  v_arg1   = f2d6b39d8ea40bfa | 459e4b7dc64184f1

+  v_result = -0x1.a5298c4e2b7e9p+59 | --

+insn wcdgb07:

+  v_arg1   = bac2fdb4caa1bca9 | 4f08ec2df290cac3

+  v_result = -0x1.14f4092cd5791p+62 | --

+insn vcdlgb00:

+  v_arg1   = b826d785c58e7345 | 91ae17bf5bf582a0

+  v_result = 0x1.704daf0b8b1cep+63 | 0x1.235c2f7eb7ebp+63

+insn vcdlgb00:

+  v_arg1   = 5c6623a3c3a79e8f | 541375117aa74277

+  v_result = 0x1.71988e8f0e9e7p+62 | 0x1.504dd445ea9dp+62

+insn vcdlgb00:

+  v_arg1   = 9ef4bc5cec1602e7 | 228965816f8eb495

+  v_result = 0x1.3de978b9d82cp+63 | 0x1.144b2c0b7c75ap+61

+insn vcdlgb00:

+  v_arg1   = b912318010b2790a | 8eecbeacbe005865

+  v_result = 0x1.722463002164fp+63 | 0x1.1dd97d597c00bp+63

+insn vcdlgb01:

+  v_arg1   = f08d891964bfb5d2 | f0698b2c12804730

+  v_result = 0x1.e11b1232c97f7p+63 | 0x1.e0d3165825009p+63

+insn vcdlgb01:

+  v_arg1   = 4982fe3244b3fcf9 | 263cce57fe80ebdd

+  v_result = 0x1.260bf8c912cffp+62 | 0x1.31e672bff4076p+61

+insn vcdlgb01:

+  v_arg1   = 551bc293efedead4 | 556b3f05b71fc8b0

+  v_result = 0x1.546f0a4fbfb7bp+62 | 0x1.55acfc16dc7f2p+62

+insn vcdlgb01:

+  v_arg1   = e751bd824f7e331a | a68f0b49dcea370d

+  v_result = 0x1.cea37b049efc6p+63 | 0x1.4d1e1693b9d47p+63

+insn vcdlgb03:

+  v_arg1   = d8ab4e82afe45f9d | 0a8b96352f9d2734

+  v_result = 0x1.b1569d055fc8bp+63 | 0x1.5172c6a5f3a4fp+59

+insn vcdlgb03:

+  v_arg1   = cafc061682c88d0e | f751399a5ae2db05

+  v_result = 0x1.95f80c2d05911p+63 | 0x1.eea27334b5c5bp+63

+insn vcdlgb03:

+  v_arg1   = e328717e23c531bd | 2aa205c4ab0fafbd

+  v_result = 0x1.c650e2fc478a7p+63 | 0x1.55102e25587d7p+61

+insn vcdlgb03:

+  v_arg1   = 8eddcd779023d755 | 63cd7e40d9ebd3b6

+  v_result = 0x1.1dbb9aef2047bp+63 | 0x1.8f35f90367af5p+62

+insn vcdlgb04:

+  v_arg1   = 3e5cd1fd2f96dea2 | 2d6e6298be680e29

+  v_result = 0x1.f2e68fe97cb6fp+61 | 0x1.6b7314c5f3407p+61

+insn vcdlgb04:

+  v_arg1   = 2c31690b8a033d4d | 943061141b697dee

+  v_result = 0x1.618b485c5019fp+61 | 0x1.2860c22836d3p+63

+insn vcdlgb04:

+  v_arg1   = 14f57558143a429c | ed8ae27a577c5238

+  v_result = 0x1.4f57558143a43p+60 | 0x1.db15c4f4aef8ap+63

+insn vcdlgb04:

+  v_arg1   = fc128d1be2bb4f36 | 9283c5cd409f975c

+  v_result = 0x1.f8251a37c576ap+63 | 0x1.25078b9a813f3p+63

+insn vcdlgb05:

+  v_arg1   = ee7dc0c772749ddc | a3701c10cafde98a

+  v_result = 0x1.dcfb818ee4e93p+63 | 0x1.46e0382195fbdp+63

+insn vcdlgb05:

+  v_arg1   = b97c51cd687ff92f | c7b3f102ccb03d91

+  v_result = 0x1.72f8a39ad0fffp+63 | 0x1.8f67e20599607p+63

+insn vcdlgb05:

+  v_arg1   = b460795f4de78a6f | ea7d04e2c6809f9e

+  v_result = 0x1.68c0f2be9bcf1p+63 | 0x1.d4fa09c58d013p+63

+insn vcdlgb05:

+  v_arg1   = 7c4a292a4f638939 | fd8c8a2c9fa1effc

+  v_result = 0x1.f128a4a93d8e2p+62 | 0x1.fb1914593f43dp+63

+insn vcdlgb06:

+  v_arg1   = b2e9c51a04180847 | baecf0585f77a3d4

+  v_result = 0x1.65d38a3408302p+63 | 0x1.75d9e0b0beef5p+63

+insn vcdlgb06:

+  v_arg1   = be39eb18285aad32 | 5eb896a0fa5488ed

+  v_result = 0x1.7c73d63050b56p+63 | 0x1.7ae25a83e9523p+62

+insn vcdlgb06:

+  v_arg1   = 8f442ace5a6a7432 | 6dd995ba0537816b

+  v_result = 0x1.1e88559cb4d4fp+63 | 0x1.b76656e814de1p+62

+insn vcdlgb06:

+  v_arg1   = 5ae3cc60e43771db | 72c47a987f8e4792

+  v_result = 0x1.6b8f318390dddp+62 | 0x1.cb11ea61fe392p+62

+insn vcdlgb07:

+  v_arg1   = 577c8e33711f8ce0 | bc3f092e8bf32882

+  v_result = 0x1.5df238cdc47e3p+62 | 0x1.787e125d17e65p+63

+insn vcdlgb07:

+  v_arg1   = 88c462a8d4ae43d2 | 231bfc2b30f1c9fb

+  v_result = 0x1.1188c551a95c8p+63 | 0x1.18dfe159878e4p+61

+insn vcdlgb07:

+  v_arg1   = 727d35e1c85c6ce0 | c2f9c2bc20bfe51a

+  v_result = 0x1.c9f4d7872171bp+62 | 0x1.85f38578417fcp+63

+insn vcdlgb07:

+  v_arg1   = e238a379ac52f197 | bb08414f6f020c19

+  v_result = 0x1.c47146f358a5ep+63 | 0x1.7610829ede041p+63

+insn wcdlgb00:

+  v_arg1   = a912c54e442593a2 | f7c3954d578d6511

+  v_result = 0x1.52258a9c884b2p+63 | --

+insn wcdlgb00:

+  v_arg1   = 6179e4397b98a98a | e4b6cfddfb236dba

+  v_result = 0x1.85e790e5ee62ap+62 | --

+insn wcdlgb00:

+  v_arg1   = 27e744d3235cdf76 | 3539b7a62232b627

+  v_result = 0x1.3f3a26991ae6fp+61 | --

+insn wcdlgb00:

+  v_arg1   = 60a5da31b4d1f8ea | a6328b8cf898a98d

+  v_result = 0x1.829768c6d347ep+62 | --

+insn wcdlgb01:

+  v_arg1   = 758817a709c58c8a | b6d6be70d26145fc

+  v_result = 0x1.d6205e9c27163p+62 | --

+insn wcdlgb01:

+  v_arg1   = 97b59c872733cad7 | 6c67baf3e785de23

+  v_result = 0x1.2f6b390e4e679p+63 | --

+insn wcdlgb01:

+  v_arg1   = 7c5f03e2f70438ef | 13f5a03218ade00f

+  v_result = 0x1.f17c0f8bdc10ep+62 | --

+insn wcdlgb01:

+  v_arg1   = 20869d4407d06f50 | fe20038aa9ed8aeb

+  v_result = 0x1.0434ea203e838p+61 | --

+insn wcdlgb03:

+  v_arg1   = 85b92f7a4d9ce094 | 45d3b155068ab4c0

+  v_result = 0x1.0b725ef49b39dp+63 | --

+insn wcdlgb03:

+  v_arg1   = 74d3b54ee59c9334 | 87096ba97fb48a34

+  v_result = 0x1.d34ed53b96725p+62 | --

+insn wcdlgb03:

+  v_arg1   = 3bc02048cff1e348 | a78aa81e0d4c504e

+  v_result = 0x1.de0102467f8f1p+61 | --

+insn wcdlgb03:

+  v_arg1   = 6e38186eb26b4443 | 8fad57870c9d1c2e

+  v_result = 0x1.b8e061bac9ad1p+62 | --

+insn wcdlgb04:

+  v_arg1   = a781bb039c46fdba | f0169ab6ff259fd8

+  v_result = 0x1.4f037607388ep+63 | --

+insn wcdlgb04:

+  v_arg1   = 462f5c4ac0efef1d | 01788c3b504cdde9

+  v_result = 0x1.18bd712b03bfcp+62 | --

+insn wcdlgb04:

+  v_arg1   = 32e6464337bf4d7c | 3c53fd240e2af05e

+  v_result = 0x1.97323219bdfa7p+61 | --

+insn wcdlgb04:

+  v_arg1   = 9615776bc1bd6242 | 25b531bdae44ca53

+  v_result = 0x1.2c2aeed7837acp+63 | --

+insn wcdlgb05:

+  v_arg1   = a6bc667e825f4ffb | 04fca550cb4ef1c0

+  v_result = 0x1.4d78ccfd04be9p+63 | --

+insn wcdlgb05:

+  v_arg1   = 5826bd37c548ca0f | a690cbe5e6e9423d

+  v_result = 0x1.609af4df15232p+62 | --

+insn wcdlgb05:

+  v_arg1   = 2cad200dbc09e187 | 20acc9022764afbe

+  v_result = 0x1.6569006de04fp+61 | --

+insn wcdlgb05:

+  v_arg1   = e57be5f73fe3b5c6 | 8c153e6a1a7d0156

+  v_result = 0x1.caf7cbee7fc76p+63 | --

+insn wcdlgb06:

+  v_arg1   = 4e46db2789824050 | cbdffee0732097f5

+  v_result = 0x1.391b6c9e26091p+62 | --

+insn wcdlgb06:

+  v_arg1   = f61204d100c21186 | 422ed2e3cc26252c

+  v_result = 0x1.ec2409a201843p+63 | --

+insn wcdlgb06:

+  v_arg1   = f5f25be4ea6d0b66 | 9ef13972631676e7

+  v_result = 0x1.ebe4b7c9d4da2p+63 | --

+insn wcdlgb06:

+  v_arg1   = a5c590ce39f92a4e | 90a72ac9dde52c31

+  v_result = 0x1.4b8b219c73f26p+63 | --

+insn wcdlgb07:

+  v_arg1   = 6afcc73a404c3eb8 | 921dd02006b87bf3

+  v_result = 0x1.abf31ce90130fp+62 | --

+insn wcdlgb07:

+  v_arg1   = 6c515dd47c7aaffd | a12d4e718fa0f2b3

+  v_result = 0x1.b1457751f1eabp+62 | --

+insn wcdlgb07:

+  v_arg1   = 598fa3024d843814 | 027f7932ce5b3358

+  v_result = 0x1.663e8c093610ep+62 | --

+insn wcdlgb07:

+  v_arg1   = 2450a2abba1aac53 | fe49a1158218b7e3

+  v_result = 0x1.2285155dd0d56p+61 | --

+insn vcgdb00:

+  v_result = 8000000000000000 | 0000000000000000

+  v_arg1   = -0x1.9d6f33159b52cp+140 | -0x1.149ce8e328c35p-414

+insn vcgdb00:

+  v_result = 0000000000000000 | 0000000000000000

+  v_arg1   = 0x1.ef4fc458c90fp-924 | -0x1.9eacbbaf216cep-761

+insn vcgdb00:

+  v_result = 0000000000000000 | 0000000000000000

+  v_arg1   = 0x1.2a4a56fedd38ep-441 | -0x1.0b5fc7650d28ap-628

+insn vcgdb00:

+  v_result = 0000000000000000 | 0000000000000000

+  v_arg1   = -0x1.7484ccf632853p-296 | -0x1.64f8b96b20e65p-498

+insn vcgdb01:

+  v_result = 0000000000000000 | 7fffffffffffffff

+  v_arg1   = 0x1.9b48ee9440faap-186 | 0x1.793a417aab337p+274

+insn vcgdb01:

+  v_result = 0000000000000000 | 8000000000000000

+  v_arg1   = 0x1.5f4046914a1dcp-748 | -0x1.e542ddabafc78p+412

+insn vcgdb01:

+  v_result = 0000000000000000 | 0000000000000000

+  v_arg1   = 0x1.70a07df4248dp-475 | -0x1.2198d65113dfcp-305

+insn vcgdb01:

+  v_result = 0000000000000000 | 7fffffffffffffff

+  v_arg1   = -0x1.5ae6c84f089cap-838 | 0x1.bdf68a54e9eb5p+67

+insn vcgdb03:

+  v_result = 7fffffffffffffff | 8000000000000000

+  v_arg1   = 0x1.80d47f3abbb2ep+908 | -0x1.cdb5faf3bde76p+537

+insn vcgdb03:

+  v_result = 8000000000000000 | 7fffffffffffffff

+  v_arg1   = -0x1.38aaaf12dcd3cp+378 | 0x1.836d37a9211adp+161

+insn vcgdb03:

+  v_result = 0000000000000001 | ffffffffffffffff

+  v_arg1   = 0x1.88165272004d5p-526 | -0x1.0d0a1a7ba6227p-856

+insn vcgdb03:

+  v_result = 0000000000000001 | ffffffffffffffff

+  v_arg1   = 0x1.8ffc7e4ddbb33p-831 | -0x1.2ffe63a89d2cfp-189

+insn vcgdb04:

+  v_result = 7fffffffffffffff | 0000000000000000

+  v_arg1   = 0x1.28c5adc2722b3p+540 | -0x1.b4dbb5f02f86ep-483

+insn vcgdb04:

+  v_result = 0000000000000000 | 0000000000000000

+  v_arg1   = -0x1.2e2a9ecf4008dp-420 | -0x1.43ef92717c06ap-301

+insn vcgdb04: