diff options
Diffstat (limited to 'dev-util/valgrind/files/support_for_TBM_bextr.patch')
-rw-r--r-- | dev-util/valgrind/files/support_for_TBM_bextr.patch | 1300 |
1 files changed, 1300 insertions, 0 deletions
diff --git a/dev-util/valgrind/files/support_for_TBM_bextr.patch b/dev-util/valgrind/files/support_for_TBM_bextr.patch new file mode 100644 index 0000000..719b4e4 --- /dev/null +++ b/dev-util/valgrind/files/support_for_TBM_bextr.patch @@ -0,0 +1,1300 @@ +--- valgrind-orig/VEX/priv/guest_amd64_toIR.c (revision 2763) ++++ valgrind-patched/VEX/priv/guest_amd64_toIR.c (working copy) +@@ -1,4 +1,3 @@ +- + /*--------------------------------------------------------------------*/ + /*--- begin guest_amd64_toIR.c ---*/ + /*--------------------------------------------------------------------*/ +@@ -673,6 +672,8 @@ + #define PFX_VEXnV1 (1<<19) /* ~VEX vvvv[1], if VEX present, else 0 */ + #define PFX_VEXnV2 (1<<20) /* ~VEX vvvv[2], if VEX present, else 0 */ + #define PFX_VEXnV3 (1<<21) /* ~VEX vvvv[3], if VEX present, else 0 */ ++#define PFX_VEXnvvvv (PFX_VEXnV0 | PFX_VEXnV1 | PFX_VEXnV2 | PFX_VEXnV3) ++#define PFX_XOP (1<<22) /* XOP prefix present (0x8F) */ + + + #define PFX_EMPTY 0x55000000 +@@ -30569,6 +30570,100 @@ + + /*------------------------------------------------------------*/ + /*--- ---*/ ++/*--- Top-level post-escape decoders: dis_ESC_0F3A__XOP ---*/ ++/*--- ---*/ ++/*------------------------------------------------------------*/ ++__attribute__((noinline)) ++static ++Long dis_ESC_0F3A__XOP( ++ /*MB_OUT*/DisResult* dres, ++ /*OUT*/ Bool* uses_vvvv, ++ Bool (*resteerOkFn) ( /*opaque*/void*, Addr64 ), ++ Bool resteerCisOk, ++ void* callback_opaque, ++ VexArchInfo* archinfo, ++ VexAbiInfo* vbi, ++ Prefix pfx, Int sz, Long deltaIN ++ ) ++{ ++ IRTemp addr = IRTemp_INVALID; ++ Int alen = 0; ++ HChar dis_buf[50]; ++ Long delta = deltaIN; ++ UChar opc = getUChar(delta); ++ delta++; ++ *uses_vvvv = False; ++ ++ switch (opc) { ++ /* BEXTR r32b, r/m32, imm32 = XOP.0.vvvv.LZ.00 0x10 /r /id */ ++ /* BEXTR r64b, r/m64, imm32 = VEX.W.vvvv.LZ.00 0x10 /r /id */ ++ case 0x10: ++ if ((pfx & PFX_VEXnvvvv) == 0 && 0==getVexL(pfx)/*LZ*/) { ++ Int size = getRexW(pfx) ? 8 : 4, ctrl; ++ UChar start, len, opsize; ++ IRType ty = szToITy(size); ++ IRTemp dst = newTemp(ty); ++ IRTemp src1 = newTemp(ty); ++ UChar rm = getUChar(delta); ++ ++ if (epartIsReg(rm)) { ++ delta++; ++ ctrl = getSDisp32(delta); ++ assign( src1, getIRegE(size,pfx,rm) ); ++ DIP("bextr %x,%s,%s\n", ctrl, ++ nameIRegE(size,pfx,rm), nameIRegG(size,pfx,rm)); ++ } else { ++ addr = disAMode ( &alen, vbi, pfx, delta, dis_buf, 0 ); ++ delta += alen; ++ ctrl = getSDisp32(delta); ++ assign( src1, loadLE(ty, mkexpr(addr)) ); ++ DIP("bextr %x,%s,%s\n", ctrl, dis_buf, nameIRegG(size,pfx,rm)); ++ } ++ ++ delta += 4; /* += control immediate */ ++ ++ start = ctrl & 0xff; ++ len = (ctrl >> 8) & 0xff; ++ opsize = 8*size; ++ ++ if ((start + len) < opsize) { ++ if (len == 0) { ++ assign(dst, mkU(ty, 0)); ++ } else { ++ assign (dst, ++ binop(mkSizedOp(ty,Iop_Shr8), ++ binop( ++ mkSizedOp(ty,Iop_Shl8), ++ mkexpr(src1), ++ mkU8(opsize-start-len)), ++ mkU8(opsize - len))); ++ } ++ } else { ++ if (start < opsize) { ++ assign(dst, binop( ++ mkSizedOp(ty,Iop_Shr8), mkexpr(src1), mkU8(start))); ++ } else { ++ assign(dst, mkU(ty, 0)); ++ } ++ } ++ ++ putIRegG( size, pfx, rm, mkexpr(dst) ); ++ stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8 ++ ? AMD64G_CC_OP_ANDN64 ++ : AMD64G_CC_OP_ANDN32)) ); ++ stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) ); ++ stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) ); ++ *uses_vvvv = True; ++ goto decode_success; ++ } ++ } ++ return deltaIN; ++decode_success: ++ return delta; ++} ++ ++/*------------------------------------------------------------*/ ++/*--- ---*/ + /*--- Disassemble a single instruction ---*/ + /*--- ---*/ + /*------------------------------------------------------------*/ +@@ -30742,24 +30837,39 @@ + if (archinfo->hwcaps & VEX_HWCAPS_AMD64_AVX) { + /* Used temporarily for holding VEX prefixes. */ + UChar vex0 = getUChar(delta); +- if (vex0 == 0xC4) { +- /* 3-byte VEX */ ++ ++ if (vex0 == 0xC4 || vex0 == 0x8f) { ++ /* 3-byte VEX or XOP */ + UChar vex1 = getUChar(delta+1); + UChar vex2 = getUChar(delta+2); + delta += 3; +- pfx |= PFX_VEX; ++ ++ pfx |= (vex0 == 0xC4) ? PFX_VEX : PFX_XOP; + /* Snarf contents of byte 1 */ + /* R */ pfx |= (vex1 & (1<<7)) ? 0 : PFX_REXR; + /* X */ pfx |= (vex1 & (1<<6)) ? 0 : PFX_REXX; + /* B */ pfx |= (vex1 & (1<<5)) ? 0 : PFX_REXB; + /* m-mmmm */ +- switch (vex1 & 0x1F) { +- case 1: esc = ESC_0F; break; +- case 2: esc = ESC_0F38; break; +- case 3: esc = ESC_0F3A; break; +- /* Any other m-mmmm field will #UD */ +- default: goto decode_failure; ++ if (pfx & PFX_VEX) { ++ switch (vex1 & 0x1F) { ++ case 1: esc = ESC_0F; break; ++ case 2: esc = ESC_0F38; break; ++ case 3: esc = ESC_0F3A; break; ++ /* Any other m-mmmm field will #UD */ ++ default: ++ goto decode_failure; ++ } ++ } else if (pfx & PFX_XOP) { ++ switch (vex1 & 0x1F) { ++ case 8: esc = ESC_0F; break; ++ case 9: esc = ESC_0F38; break; ++ case 10: esc = ESC_0F3A; break; ++ /* Any other m-mmmm field will #UD */ ++ default: goto decode_failure; ++ } + } ++ ++ + /* Snarf contents of byte 2 */ + /* W */ pfx |= (vex2 & (1<<7)) ? PFX_REXW : 0; + /* ~v3 */ pfx |= (vex2 & (1<<6)) ? 0 : PFX_VEXnV3; +@@ -30800,7 +30910,7 @@ + esc = ESC_0F; + } + /* Can't have both VEX and REX */ +- if ((pfx & PFX_VEX) && (pfx & PFX_REX)) ++ if ((pfx & (PFX_VEX | PFX_XOP)) && (pfx & PFX_REX)) + goto decode_failure; /* can't have both */ + } + +@@ -30849,7 +30959,7 @@ + + /* Eat up opcode escape bytes, until we're really looking at the + primary opcode byte. But only if there's no VEX present. */ +- if (!(pfx & PFX_VEX)) { ++ if (!(pfx & (PFX_VEX | PFX_XOP))) { + vassert(esc == ESC_NONE); + pre = getUChar(delta); + if (pre == 0x0F) { +@@ -30867,7 +30977,7 @@ + byte. */ + Long delta_at_primary_opcode = delta; + +- if (!(pfx & PFX_VEX)) { ++ if (!(pfx & (PFX_VEX | PFX_XOP))) { + /* Handle non-VEX prefixed instructions. "Legacy" (non-VEX) SSE + instructions preserve the upper 128 bits of YMM registers; + iow we can simply ignore the presence of the upper halves of +@@ -30896,7 +31006,7 @@ + default: + vassert(0); + } +- } else { ++ } else if (pfx & PFX_VEX) { + /* VEX prefixed instruction */ + /* Sloppy Intel wording: "An instruction encoded with a VEX.128 + prefix that loads a YMM register operand ..." zeroes out bits +@@ -30934,6 +31044,28 @@ + if (getVexNvvvv(pfx) != 0) + goto decode_failure; + } ++ } else { ++ /* XOP */ ++ Bool uses_vvvv = False; ++ switch (esc) { ++ case ESC_0F: goto decode_failure; /* XXX */ ++ case ESC_0F38: goto decode_failure; /* XXX */ ++ case ESC_0F3A: ++ delta = dis_ESC_0F3A__XOP ( &dres, &uses_vvvv, ++ resteerOkFn, resteerCisOk, ++ callback_opaque, ++ archinfo, vbi, pfx, sz, delta ); ++ break; ++ case ESC_NONE: goto decode_failure; ++ default: ++ vassert(0); ++ } ++ /* If the insn doesn't use VEX.vvvv then it must be all ones. Check this. */ ++ if (!uses_vvvv) { ++ if (getVexNvvvv(pfx) != 0) ++ goto decode_failure; ++ ++ } + } + + vassert(delta - delta_at_primary_opcode >= 0); +Index: none/tests/amd64/tbm.c +=================================================================== +--- none/tests/amd64/tbm.c (revision 0) ++++ none/tests/amd64/tbm.c (working copy) +@@ -0,0 +1,65 @@ ++#include <stdint.h> ++#include <stdio.h> ++ ++#define decl_imm_bextr(t,n,k) \ ++__attribute__((noinline)) \ ++void do_bextr##t##_##n (/*OUT*/uint32_t* flags, /*OUT*/uint64_t* res, uint##t##_t src) \ ++{ \ ++ uint64_t tem, flag; \ ++ __asm__ __volatile__( \ ++ "movabsq $0x5555555555555555, %0" "\n\t" \ ++ "bextr $" #n ", %2, %"#k "\n\t" \ ++ "pushfq" "\n\t" \ ++ "popq %1" "\n" \ ++ : "=&r" (tem), "=&r" (flag) : "r" (src) : "cc" ); \ ++ *res = tem; \ ++ *flags = flag & 0x8d5; \ ++ __asm__ __volatile__( \ ++ "movabsq $0x5555555555555555, %0" "\n\t" \ ++ "bextr $" #n ", %2, %"#k "\n\t" \ ++ "pushfq" "\n\t" \ ++ "popq %1" "\n" \ ++ : "=&r" (tem), "=&r" (flag) : "m" (src) : "cc" ); \ ++ if (*res != tem || *flags != (flag & 0x8d5)) \ ++ printf ("Difference between r and m variants\n"); } ++ ++#define decl_imm_bextr32(n) decl_imm_bextr(32,n,k0) ++#define decl_imm_bextr64(n) decl_imm_bextr(64,n,0) ++ ++#define do_imm_bextr(t,n,flags,res,src) do_bextr##t##_##n(flags,res,src) ++ ++#define decl_imm_bextr_pair(x) \ ++decl_imm_bextr64(x) \ ++decl_imm_bextr32(x) ++ ++/* constants from libpython2.7 */ ++decl_imm_bextr_pair(0x117); ++decl_imm_bextr_pair(0x404); ++decl_imm_bextr_pair(0xc08); ++decl_imm_bextr_pair(0x1f01); ++ ++#define bextr_loop(t, imm) \ ++ w1 = 0x57657438291CDEF0ULL; \ ++ while (1) { \ ++ do_imm_bextr(t, imm, &flags, &res, w1); \ ++ printf("bextr"#t" %016lx -> %016lx %04x\n", w1, res, flags); \ ++ if (w1 == 0) break; \ ++ w1 = ((w1 >> 2) | (w1 >> 1)) + (w1 / 17ULL); \ ++ } ++#define bextr_loop_pair(imm) \ ++bextr_loop(32, imm) \ ++bextr_loop(64, imm) ++ ++int main ( void ) ++{ ++ uint64_t w1; ++ uint64_t res; ++ uint32_t flags; ++ ++ bextr_loop_pair(0x117); ++ bextr_loop_pair(0x404); ++ bextr_loop_pair(0xc08); ++ bextr_loop_pair(0x1f01); ++ ++ return 0; ++} +Index: none/tests/amd64/tbm.stderr.exp +=================================================================== +Index: none/tests/amd64/tbm.stdout.exp +=================================================================== +--- none/tests/amd64/tbm.stdout.exp (revision 0) ++++ none/tests/amd64/tbm.stdout.exp (working copy) +@@ -0,0 +1,984 @@ ++bextr32 57657438291cdef0 -> 0000000000000000 0054 ++bextr32 452015034e67c955 -> 0000000000000000 0054 ++bextr32 37e901ef56b302d6 -> 0000000000000001 0010 ++bextr32 2348b20e142667cf -> 0000000000000000 0054 ++bextr32 1c09d34c26e1c212 -> 0000000000000001 0010 ++bextr32 10ad37922d51847f -> 0000000000000000 0054 ++bextr32 0d7b015093984564 -> 0000000000000001 0010 ++bextr32 08cac1103a60926a -> 0000000000000000 0054 ++bextr32 06fc5681c8cd2b10 -> 0000000000000001 0010 ++bextr32 04687224d51a87fa -> 0000000000000000 0054 ++bextr32 03809eacb986283a -> 0000000000000001 0010 ++bextr32 02152e09a7eb825e -> 0000000000000001 0010 ++bextr32 01af3c969c7725a6 -> 0000000000000000 0054 ++bextr32 01193d5aad28c013 -> 0000000000000000 0054 ++bextr32 00df6b2373776c4a -> 0000000000000000 0054 ++bextr32 008d24457d4341d1 -> 0000000000000000 0054 ++bextr32 007028a17fc8b89e -> 0000000000000001 0010 ++bextr32 0042b77370e42ef0 -> 0000000000000001 0010 ++bextr32 0035ecaa6c888c28 -> 0000000000000001 0010 ++bextr32 00232b89c5c8c9b6 -> 0000000000000001 0010 ++bextr32 001bf185a53e82dc -> 0000000000000000 0054 ++bextr32 0011a1af9c2edaa2 -> 0000000000000000 0054 ++bextr32 000e0282bc13b27b -> 0000000000000000 0054 ++bextr32 000854daa0b4cc02 -> 0000000000000001 0010 ++bextr32 0006bcf63e2fbf3d -> 0000000000000000 0054 ++bextr32 000464f7852a566a -> 0000000000000000 0054 ++bextr32 00037dac915ab5c5 -> 0000000000000000 0054 ++bextr32 000234911b32831c -> 0000000000000000 0054 ++bextr32 0001c0a2862c25c1 -> 0000000000000000 0054 ++bextr32 00010addcd657882 -> 0000000000000000 0054 ++bextr32 0000d7b2a9b6ab1d -> 0000000000000001 0010 ++bextr32 00008cae2719cda3 -> 0000000000000000 0054 ++bextr32 00006fc61694404d -> 0000000000000001 0010 ++bextr32 00004686be70612c -> 0000000000000000 0054 ++bextr32 0000380a0af0025a -> 0000000000000001 0010 ++bextr32 000021536a829879 -> 0000000000000001 0010 ++bextr32 00001af3d8f8abea -> 0000000000000001 0010 ++bextr32 00001193de14a839 -> 0000000000000000 0054 ++bextr32 00000df6b24569e5 -> 0000000000000000 0054 ++bextr32 000008d2446cc8f9 -> 0000000000000000 0054 ++bextr32 000007028a18af7d -> 0000000000000000 0054 ++bextr32 0000042b77359960 -> 0000000000000000 0054 ++bextr32 0000035ecaa6d9df -> 0000000000000001 0010 ++bextr32 00000232b89c662a -> 0000000000000001 0010 ++bextr32 000001bf185a50b0 -> 0000000000000000 0054 ++bextr32 0000011a1af9c13b -> 0000000000000001 0010 ++bextr32 000000e0282bc000 -> 0000000000000000 0054 ++bextr32 000000854daa0a5a -> 0000000000000001 0010 ++bextr32 0000006bcf63e2b5 -> 0000000000000000 0054 ++bextr32 000000464f7852a0 -> 0000000000000000 0054 ++bextr32 00000037dac915a7 -> 0000000000000001 0010 ++bextr32 000000234911b322 -> 0000000000000000 0054 ++bextr32 0000001c0a2862bc -> 0000000000000000 0054 ++bextr32 00000010addcd664 -> 0000000000000001 0010 ++bextr32 0000000d7b2a9b66 -> 0000000000000000 0054 ++bextr32 00000008cae27197 -> 0000000000000001 0010 ++bextr32 00000006fc616943 -> 0000000000000000 0054 ++bextr32 00000004686be704 -> 0000000000000000 0054 ++bextr32 0000000380a0aeff -> 0000000000000001 0010 ++bextr32 000000021536a868 -> 0000000000000000 0054 ++bextr32 00000001af3d8fad -> 0000000000000000 0054 ++bextr32 00000001193de163 -> 0000000000000000 0054 ++bextr32 00000000df6b2459 -> 0000000000000000 0054 ++bextr32 000000008d2446ca -> 0000000000000000 0054 ++bextr32 000000007028a18a -> 0000000000000000 0054 ++bextr32 0000000042b77358 -> 0000000000000001 0010 ++bextr32 0000000035ecaa6c -> 0000000000000001 0010 ++bextr32 00000000232b89c5 -> 0000000000000000 0054 ++bextr32 000000001bf185a4 -> 0000000000000001 0010 ++bextr32 0000000011a1af9b -> 0000000000000001 0010 ++bextr32 000000000e0282bb -> 0000000000000000 0054 ++bextr32 000000000854daa0 -> 0000000000000000 0054 ++bextr32 0000000006bcf63d -> 0000000000000001 0010 ++bextr32 000000000464f784 -> 0000000000000000 0054 ++bextr32 00000000037dac90 -> 0000000000000000 0054 ++bextr32 000000000234911a -> 0000000000000000 0054 ++bextr32 0000000001c0a285 -> 0000000000000001 0010 ++bextr32 00000000010addcc -> 0000000000000000 0054 ++bextr32 0000000000d7b2a8 -> 0000000000000001 0010 ++bextr32 00000000008cae26 -> 0000000000000001 0010 ++bextr32 00000000006fc615 -> 0000000000000000 0054 ++bextr32 00000000004686bd -> 0000000000000000 0054 ++bextr32 0000000000380a0a -> 0000000000000000 0054 ++bextr32 0000000000215369 -> 0000000000000000 0054 ++bextr32 00000000001af3d7 -> 0000000000000000 0054 ++bextr32 00000000001193de -> 0000000000000000 0054 ++bextr32 00000000000df6b1 -> 0000000000000000 0054 ++bextr32 000000000008d242 -> 0000000000000000 0054 ++bextr32 0000000000070287 -> 0000000000000000 0054 ++bextr32 0000000000042b72 -> 0000000000000000 0054 ++bextr32 0000000000035ec7 -> 0000000000000000 0054 ++bextr32 00000000000232b3 -> 0000000000000000 0054 ++bextr32 000000000001bf16 -> 0000000000000000 0054 ++bextr32 0000000000011a1b -> 0000000000000000 0054 ++bextr32 000000000000e027 -> 0000000000000000 0054 ++bextr32 000000000000854a -> 0000000000000000 0054 ++bextr32 0000000000006bce -> 0000000000000000 0054 ++bextr32 000000000000464e -> 0000000000000000 0054 ++bextr32 00000000000037d9 -> 0000000000000000 0054 ++bextr32 0000000000002347 -> 0000000000000000 0054 ++bextr32 0000000000001c06 -> 0000000000000000 0054 ++bextr32 00000000000010a9 -> 0000000000000000 0054 ++bextr32 0000000000000d78 -> 0000000000000000 0054 ++bextr32 00000000000008c8 -> 0000000000000000 0054 ++bextr32 00000000000006fa -> 0000000000000000 0054 ++bextr32 0000000000000468 -> 0000000000000000 0054 ++bextr32 0000000000000380 -> 0000000000000000 0054 ++bextr32 0000000000000214 -> 0000000000000000 0054 ++bextr32 00000000000001ae -> 0000000000000000 0054 ++bextr32 0000000000000118 -> 0000000000000000 0054 ++bextr32 00000000000000de -> 0000000000000000 0054 ++bextr32 000000000000008c -> 0000000000000000 0054 ++bextr32 000000000000006f -> 0000000000000000 0054 ++bextr32 0000000000000045 -> 0000000000000000 0054 ++bextr32 0000000000000037 -> 0000000000000000 0054 ++bextr32 0000000000000022 -> 0000000000000000 0054 ++bextr32 000000000000001b -> 0000000000000000 0054 ++bextr32 0000000000000010 -> 0000000000000000 0054 ++bextr32 000000000000000c -> 0000000000000000 0054 ++bextr32 0000000000000007 -> 0000000000000000 0054 ++bextr32 0000000000000003 -> 0000000000000000 0054 ++bextr32 0000000000000001 -> 0000000000000000 0054 ++bextr32 0000000000000000 -> 0000000000000000 0054 ++bextr64 57657438291cdef0 -> 0000000000000000 0054 ++bextr64 452015034e67c955 -> 0000000000000000 0054 ++bextr64 37e901ef56b302d6 -> 0000000000000001 0010 ++bextr64 2348b20e142667cf -> 0000000000000000 0054 ++bextr64 1c09d34c26e1c212 -> 0000000000000001 0010 ++bextr64 10ad37922d51847f -> 0000000000000000 0054 ++bextr64 0d7b015093984564 -> 0000000000000001 0010 ++bextr64 08cac1103a60926a -> 0000000000000000 0054 ++bextr64 06fc5681c8cd2b10 -> 0000000000000001 0010 ++bextr64 04687224d51a87fa -> 0000000000000000 0054 ++bextr64 03809eacb986283a -> 0000000000000001 0010 ++bextr64 02152e09a7eb825e -> 0000000000000001 0010 ++bextr64 01af3c969c7725a6 -> 0000000000000000 0054 ++bextr64 01193d5aad28c013 -> 0000000000000000 0054 ++bextr64 00df6b2373776c4a -> 0000000000000000 0054 ++bextr64 008d24457d4341d1 -> 0000000000000000 0054 ++bextr64 007028a17fc8b89e -> 0000000000000001 0010 ++bextr64 0042b77370e42ef0 -> 0000000000000001 0010 ++bextr64 0035ecaa6c888c28 -> 0000000000000001 0010 ++bextr64 00232b89c5c8c9b6 -> 0000000000000001 0010 ++bextr64 001bf185a53e82dc -> 0000000000000000 0054 ++bextr64 0011a1af9c2edaa2 -> 0000000000000000 0054 ++bextr64 000e0282bc13b27b -> 0000000000000000 0054 ++bextr64 000854daa0b4cc02 -> 0000000000000001 0010 ++bextr64 0006bcf63e2fbf3d -> 0000000000000000 0054 ++bextr64 000464f7852a566a -> 0000000000000000 0054 ++bextr64 00037dac915ab5c5 -> 0000000000000000 0054 ++bextr64 000234911b32831c -> 0000000000000000 0054 ++bextr64 0001c0a2862c25c1 -> 0000000000000000 0054 ++bextr64 00010addcd657882 -> 0000000000000000 0054 ++bextr64 0000d7b2a9b6ab1d -> 0000000000000001 0010 ++bextr64 00008cae2719cda3 -> 0000000000000000 0054 ++bextr64 00006fc61694404d -> 0000000000000001 0010 ++bextr64 00004686be70612c -> 0000000000000000 0054 ++bextr64 0000380a0af0025a -> 0000000000000001 0010 ++bextr64 000021536a829879 -> 0000000000000001 0010 ++bextr64 00001af3d8f8abea -> 0000000000000001 0010 ++bextr64 00001193de14a839 -> 0000000000000000 0054 ++bextr64 00000df6b24569e5 -> 0000000000000000 0054 ++bextr64 000008d2446cc8f9 -> 0000000000000000 0054 ++bextr64 000007028a18af7d -> 0000000000000000 0054 ++bextr64 0000042b77359960 -> 0000000000000000 0054 ++bextr64 0000035ecaa6d9df -> 0000000000000001 0010 ++bextr64 00000232b89c662a -> 0000000000000001 0010 ++bextr64 000001bf185a50b0 -> 0000000000000000 0054 ++bextr64 0000011a1af9c13b -> 0000000000000001 0010 ++bextr64 000000e0282bc000 -> 0000000000000000 0054 ++bextr64 000000854daa0a5a -> 0000000000000001 0010 ++bextr64 0000006bcf63e2b5 -> 0000000000000000 0054 ++bextr64 000000464f7852a0 -> 0000000000000000 0054 ++bextr64 00000037dac915a7 -> 0000000000000001 0010 ++bextr64 000000234911b322 -> 0000000000000000 0054 ++bextr64 0000001c0a2862bc -> 0000000000000000 0054 ++bextr64 00000010addcd664 -> 0000000000000001 0010 ++bextr64 0000000d7b2a9b66 -> 0000000000000000 0054 ++bextr64 00000008cae27197 -> 0000000000000001 0010 ++bextr64 00000006fc616943 -> 0000000000000000 0054 ++bextr64 00000004686be704 -> 0000000000000000 0054 ++bextr64 0000000380a0aeff -> 0000000000000001 0010 ++bextr64 000000021536a868 -> 0000000000000000 0054 ++bextr64 00000001af3d8fad -> 0000000000000000 0054 ++bextr64 00000001193de163 -> 0000000000000000 0054 ++bextr64 00000000df6b2459 -> 0000000000000000 0054 ++bextr64 000000008d2446ca -> 0000000000000000 0054 ++bextr64 000000007028a18a -> 0000000000000000 0054 ++bextr64 0000000042b77358 -> 0000000000000001 0010 ++bextr64 0000000035ecaa6c -> 0000000000000001 0010 ++bextr64 00000000232b89c5 -> 0000000000000000 0054 ++bextr64 000000001bf185a4 -> 0000000000000001 0010 ++bextr64 0000000011a1af9b -> 0000000000000001 0010 ++bextr64 000000000e0282bb -> 0000000000000000 0054 ++bextr64 000000000854daa0 -> 0000000000000000 0054 ++bextr64 0000000006bcf63d -> 0000000000000001 0010 ++bextr64 000000000464f784 -> 0000000000000000 0054 ++bextr64 00000000037dac90 -> 0000000000000000 0054 ++bextr64 000000000234911a -> 0000000000000000 0054 ++bextr64 0000000001c0a285 -> 0000000000000001 0010 ++bextr64 00000000010addcc -> 0000000000000000 0054 ++bextr64 0000000000d7b2a8 -> 0000000000000001 0010 ++bextr64 00000000008cae26 -> 0000000000000001 0010 ++bextr64 00000000006fc615 -> 0000000000000000 0054 ++bextr64 00000000004686bd -> 0000000000000000 0054 ++bextr64 0000000000380a0a -> 0000000000000000 0054 ++bextr64 0000000000215369 -> 0000000000000000 0054 ++bextr64 00000000001af3d7 -> 0000000000000000 0054 ++bextr64 00000000001193de -> 0000000000000000 0054 ++bextr64 00000000000df6b1 -> 0000000000000000 0054 ++bextr64 000000000008d242 -> 0000000000000000 0054 ++bextr64 0000000000070287 -> 0000000000000000 0054 ++bextr64 0000000000042b72 -> 0000000000000000 0054 ++bextr64 0000000000035ec7 -> 0000000000000000 0054 ++bextr64 00000000000232b3 -> 0000000000000000 0054 ++bextr64 000000000001bf16 -> 0000000000000000 0054 ++bextr64 0000000000011a1b -> 0000000000000000 0054 ++bextr64 000000000000e027 -> 0000000000000000 0054 ++bextr64 000000000000854a -> 0000000000000000 0054 ++bextr64 0000000000006bce -> 0000000000000000 0054 ++bextr64 000000000000464e -> 0000000000000000 0054 ++bextr64 00000000000037d9 -> 0000000000000000 0054 ++bextr64 0000000000002347 -> 0000000000000000 0054 ++bextr64 0000000000001c06 -> 0000000000000000 0054 ++bextr64 00000000000010a9 -> 0000000000000000 0054 ++bextr64 0000000000000d78 -> 0000000000000000 0054 ++bextr64 00000000000008c8 -> 0000000000000000 0054 ++bextr64 00000000000006fa -> 0000000000000000 0054 ++bextr64 0000000000000468 -> 0000000000000000 0054 ++bextr64 0000000000000380 -> 0000000000000000 0054 ++bextr64 0000000000000214 -> 0000000000000000 0054 ++bextr64 00000000000001ae -> 0000000000000000 0054 ++bextr64 0000000000000118 -> 0000000000000000 0054 ++bextr64 00000000000000de -> 0000000000000000 0054 ++bextr64 000000000000008c -> 0000000000000000 0054 ++bextr64 000000000000006f -> 0000000000000000 0054 ++bextr64 0000000000000045 -> 0000000000000000 0054 ++bextr64 0000000000000037 -> 0000000000000000 0054 ++bextr64 0000000000000022 -> 0000000000000000 0054 ++bextr64 000000000000001b -> 0000000000000000 0054 ++bextr64 0000000000000010 -> 0000000000000000 0054 ++bextr64 000000000000000c -> 0000000000000000 0054 ++bextr64 0000000000000007 -> 0000000000000000 0054 ++bextr64 0000000000000003 -> 0000000000000000 0054 ++bextr64 0000000000000001 -> 0000000000000000 0054 ++bextr64 0000000000000000 -> 0000000000000000 0054 ++bextr32 57657438291cdef0 -> 000000000000000f 0014 ++bextr32 452015034e67c955 -> 0000000000000005 0014 ++bextr32 37e901ef56b302d6 -> 000000000000000d 0010 ++bextr32 2348b20e142667cf -> 000000000000000c 0014 ++bextr32 1c09d34c26e1c212 -> 0000000000000001 0010 ++bextr32 10ad37922d51847f -> 0000000000000007 0010 ++bextr32 0d7b015093984564 -> 0000000000000006 0014 ++bextr32 08cac1103a60926a -> 0000000000000006 0014 ++bextr32 06fc5681c8cd2b10 -> 0000000000000001 0010 ++bextr32 04687224d51a87fa -> 000000000000000f 0014 ++bextr32 03809eacb986283a -> 0000000000000003 0014 ++bextr32 02152e09a7eb825e -> 0000000000000005 0014 ++bextr32 01af3c969c7725a6 -> 000000000000000a 0014 ++bextr32 01193d5aad28c013 -> 0000000000000001 0010 ++bextr32 00df6b2373776c4a -> 0000000000000004 0010 ++bextr32 008d24457d4341d1 -> 000000000000000d 0010 ++bextr32 007028a17fc8b89e -> 0000000000000009 0014 ++bextr32 0042b77370e42ef0 -> 000000000000000f 0014 ++bextr32 0035ecaa6c888c28 -> 0000000000000002 0010 ++bextr32 00232b89c5c8c9b6 -> 000000000000000b 0010 ++bextr32 001bf185a53e82dc -> 000000000000000d 0010 ++bextr32 0011a1af9c2edaa2 -> 000000000000000a 0014 ++bextr32 000e0282bc13b27b -> 0000000000000007 0010 ++bextr32 000854daa0b4cc02 -> 0000000000000000 0054 ++bextr32 0006bcf63e2fbf3d -> 0000000000000003 0014 ++bextr32 000464f7852a566a -> 0000000000000006 0014 ++bextr32 00037dac915ab5c5 -> 000000000000000c 0014 ++bextr32 000234911b32831c -> 0000000000000001 0010 ++bextr32 0001c0a2862c25c1 -> 000000000000000c 0014 ++bextr32 00010addcd657882 -> 0000000000000008 0010 ++bextr32 0000d7b2a9b6ab1d -> 0000000000000001 0010 ++bextr32 00008cae2719cda3 -> 000000000000000a 0014 ++bextr32 00006fc61694404d -> 0000000000000004 0010 ++bextr32 00004686be70612c -> 0000000000000002 0010 ++bextr32 0000380a0af0025a -> 0000000000000005 0014 ++bextr32 000021536a829879 -> 0000000000000007 0010 ++bextr32 00001af3d8f8abea -> 000000000000000e 0010 ++bextr32 00001193de14a839 -> 0000000000000003 0014 ++bextr32 00000df6b24569e5 -> 000000000000000e 0010 ++bextr32 000008d2446cc8f9 -> 000000000000000f 0014 ++bextr32 000007028a18af7d -> 0000000000000007 0010 ++bextr32 0000042b77359960 -> 0000000000000006 0014 ++bextr32 0000035ecaa6d9df -> 000000000000000d 0010 ++bextr32 00000232b89c662a -> 0000000000000002 0010 ++bextr32 000001bf185a50b0 -> 000000000000000b 0010 ++bextr32 0000011a1af9c13b -> 0000000000000003 0014 ++bextr32 000000e0282bc000 -> 0000000000000000 0054 ++bextr32 000000854daa0a5a -> 0000000000000005 0014 ++bextr32 0000006bcf63e2b5 -> 000000000000000b 0010 ++bextr32 000000464f7852a0 -> 000000000000000a 0014 ++bextr32 00000037dac915a7 -> 000000000000000a 0014 ++bextr32 000000234911b322 -> 0000000000000002 0010 ++bextr32 0000001c0a2862bc -> 000000000000000b 0010 ++bextr32 00000010addcd664 -> 0000000000000006 0014 ++bextr32 0000000d7b2a9b66 -> 0000000000000006 0014 ++bextr32 00000008cae27197 -> 0000000000000009 0014 ++bextr32 00000006fc616943 -> 0000000000000004 0010 ++bextr32 00000004686be704 -> 0000000000000000 0054 ++bextr32 0000000380a0aeff -> 000000000000000f 0014 ++bextr32 000000021536a868 -> 0000000000000006 0014 ++bextr32 00000001af3d8fad -> 000000000000000a 0014 ++bextr32 00000001193de163 -> 0000000000000006 0014 ++bextr32 00000000df6b2459 -> 0000000000000005 0014 ++bextr32 000000008d2446ca -> 000000000000000c 0014 ++bextr32 000000007028a18a -> 0000000000000008 0010 ++bextr32 0000000042b77358 -> 0000000000000005 0014 ++bextr32 0000000035ecaa6c -> 0000000000000006 0014 ++bextr32 00000000232b89c5 -> 000000000000000c 0014 ++bextr32 000000001bf185a4 -> 000000000000000a 0014 ++bextr32 0000000011a1af9b -> 0000000000000009 0014 ++bextr32 000000000e0282bb -> 000000000000000b 0010 ++bextr32 000000000854daa0 -> 000000000000000a 0014 ++bextr32 0000000006bcf63d -> 0000000000000003 0014 ++bextr32 000000000464f784 -> 0000000000000008 0010 ++bextr32 00000000037dac90 -> 0000000000000009 0014 ++bextr32 000000000234911a -> 0000000000000001 0010 ++bextr32 0000000001c0a285 -> 0000000000000008 0010 ++bextr32 00000000010addcc -> 000000000000000c 0014 ++bextr32 0000000000d7b2a8 -> 000000000000000a 0014 ++bextr32 00000000008cae26 -> 0000000000000002 0010 ++bextr32 00000000006fc615 -> 0000000000000001 0010 ++bextr32 00000000004686bd -> 000000000000000b 0010 ++bextr32 0000000000380a0a -> 0000000000000000 0054 ++bextr32 0000000000215369 -> 0000000000000006 0014 ++bextr32 00000000001af3d7 -> 000000000000000d 0010 ++bextr32 00000000001193de -> 000000000000000d 0010 ++bextr32 00000000000df6b1 -> 000000000000000b 0010 ++bextr32 000000000008d242 -> 0000000000000004 0010 ++bextr32 0000000000070287 -> 0000000000000008 0010 ++bextr32 0000000000042b72 -> 0000000000000007 0010 ++bextr32 0000000000035ec7 -> 000000000000000c 0014 ++bextr32 00000000000232b3 -> 000000000000000b 0010 ++bextr32 000000000001bf16 -> 0000000000000001 0010 ++bextr32 0000000000011a1b -> 0000000000000001 0010 ++bextr32 000000000000e027 -> 0000000000000002 0010 ++bextr32 000000000000854a -> 0000000000000004 0010 ++bextr32 0000000000006bce -> 000000000000000c 0014 ++bextr32 000000000000464e -> 0000000000000004 0010 ++bextr32 00000000000037d9 -> 000000000000000d 0010 ++bextr32 0000000000002347 -> 0000000000000004 0010 ++bextr32 0000000000001c06 -> 0000000000000000 0054 ++bextr32 00000000000010a9 -> 000000000000000a 0014 ++bextr32 0000000000000d78 -> 0000000000000007 0010 ++bextr32 00000000000008c8 -> 000000000000000c 0014 ++bextr32 00000000000006fa -> 000000000000000f 0014 ++bextr32 0000000000000468 -> 0000000000000006 0014 ++bextr32 0000000000000380 -> 0000000000000008 0010 ++bextr32 0000000000000214 -> 0000000000000001 0010 ++bextr32 00000000000001ae -> 000000000000000a 0014 ++bextr32 0000000000000118 -> 0000000000000001 0010 ++bextr32 00000000000000de -> 000000000000000d 0010 ++bextr32 000000000000008c -> 0000000000000008 0010 ++bextr32 000000000000006f -> 0000000000000006 0014 ++bextr32 0000000000000045 -> 0000000000000004 0010 ++bextr32 0000000000000037 -> 0000000000000003 0014 ++bextr32 0000000000000022 -> 0000000000000002 0010 ++bextr32 000000000000001b -> 0000000000000001 0010 ++bextr32 0000000000000010 -> 0000000000000001 0010 ++bextr32 000000000000000c -> 0000000000000000 0054 ++bextr32 0000000000000007 -> 0000000000000000 0054 ++bextr32 0000000000000003 -> 0000000000000000 0054 ++bextr32 0000000000000001 -> 0000000000000000 0054 ++bextr32 0000000000000000 -> 0000000000000000 0054 ++bextr64 57657438291cdef0 -> 000000000000000f 0014 ++bextr64 452015034e67c955 -> 0000000000000005 0014 ++bextr64 37e901ef56b302d6 -> 000000000000000d 0010 ++bextr64 2348b20e142667cf -> 000000000000000c 0014 ++bextr64 1c09d34c26e1c212 -> 0000000000000001 0010 ++bextr64 10ad37922d51847f -> 0000000000000007 0010 ++bextr64 0d7b015093984564 -> 0000000000000006 0014 ++bextr64 08cac1103a60926a -> 0000000000000006 0014 ++bextr64 06fc5681c8cd2b10 -> 0000000000000001 0010 ++bextr64 04687224d51a87fa -> 000000000000000f 0014 ++bextr64 03809eacb986283a -> 0000000000000003 0014 ++bextr64 02152e09a7eb825e -> 0000000000000005 0014 ++bextr64 01af3c969c7725a6 -> 000000000000000a 0014 ++bextr64 01193d5aad28c013 -> 0000000000000001 0010 ++bextr64 00df6b2373776c4a -> 0000000000000004 0010 ++bextr64 008d24457d4341d1 -> 000000000000000d 0010 ++bextr64 007028a17fc8b89e -> 0000000000000009 0014 ++bextr64 0042b77370e42ef0 -> 000000000000000f 0014 ++bextr64 0035ecaa6c888c28 -> 0000000000000002 0010 ++bextr64 00232b89c5c8c9b6 -> 000000000000000b 0010 ++bextr64 001bf185a53e82dc -> 000000000000000d 0010 ++bextr64 0011a1af9c2edaa2 -> 000000000000000a 0014 ++bextr64 000e0282bc13b27b -> 0000000000000007 0010 ++bextr64 000854daa0b4cc02 -> 0000000000000000 0054 ++bextr64 0006bcf63e2fbf3d -> 0000000000000003 0014 ++bextr64 000464f7852a566a -> 0000000000000006 0014 ++bextr64 00037dac915ab5c5 -> 000000000000000c 0014 ++bextr64 000234911b32831c -> 0000000000000001 0010 ++bextr64 0001c0a2862c25c1 -> 000000000000000c 0014 ++bextr64 00010addcd657882 -> 0000000000000008 0010 ++bextr64 0000d7b2a9b6ab1d -> 0000000000000001 0010 ++bextr64 00008cae2719cda3 -> 000000000000000a 0014 ++bextr64 00006fc61694404d -> 0000000000000004 0010 ++bextr64 00004686be70612c -> 0000000000000002 0010 ++bextr64 0000380a0af0025a -> 0000000000000005 0014 ++bextr64 000021536a829879 -> 0000000000000007 0010 ++bextr64 00001af3d8f8abea -> 000000000000000e 0010 ++bextr64 00001193de14a839 -> 0000000000000003 0014 ++bextr64 00000df6b24569e5 -> 000000000000000e 0010 ++bextr64 000008d2446cc8f9 -> 000000000000000f 0014 ++bextr64 000007028a18af7d -> 0000000000000007 0010 ++bextr64 0000042b77359960 -> 0000000000000006 0014 ++bextr64 0000035ecaa6d9df -> 000000000000000d 0010 ++bextr64 00000232b89c662a -> 0000000000000002 0010 ++bextr64 000001bf185a50b0 -> 000000000000000b 0010 ++bextr64 0000011a1af9c13b -> 0000000000000003 0014 ++bextr64 000000e0282bc000 -> 0000000000000000 0054 ++bextr64 000000854daa0a5a -> 0000000000000005 0014 ++bextr64 0000006bcf63e2b5 -> 000000000000000b 0010 ++bextr64 000000464f7852a0 -> 000000000000000a 0014 ++bextr64 00000037dac915a7 -> 000000000000000a 0014 ++bextr64 000000234911b322 -> 0000000000000002 0010 ++bextr64 0000001c0a2862bc -> 000000000000000b 0010 ++bextr64 00000010addcd664 -> 0000000000000006 0014 ++bextr64 0000000d7b2a9b66 -> 0000000000000006 0014 ++bextr64 00000008cae27197 -> 0000000000000009 0014 ++bextr64 00000006fc616943 -> 0000000000000004 0010 ++bextr64 00000004686be704 -> 0000000000000000 0054 ++bextr64 0000000380a0aeff -> 000000000000000f 0014 ++bextr64 000000021536a868 -> 0000000000000006 0014 ++bextr64 00000001af3d8fad -> 000000000000000a 0014 ++bextr64 00000001193de163 -> 0000000000000006 0014 ++bextr64 00000000df6b2459 -> 0000000000000005 0014 ++bextr64 000000008d2446ca -> 000000000000000c 0014 ++bextr64 000000007028a18a -> 0000000000000008 0010 ++bextr64 0000000042b77358 -> 0000000000000005 0014 ++bextr64 0000000035ecaa6c -> 0000000000000006 0014 ++bextr64 00000000232b89c5 -> 000000000000000c 0014 ++bextr64 000000001bf185a4 -> 000000000000000a 0014 ++bextr64 0000000011a1af9b -> 0000000000000009 0014 ++bextr64 000000000e0282bb -> 000000000000000b 0010 ++bextr64 000000000854daa0 -> 000000000000000a 0014 ++bextr64 0000000006bcf63d -> 0000000000000003 0014 ++bextr64 000000000464f784 -> 0000000000000008 0010 ++bextr64 00000000037dac90 -> 0000000000000009 0014 ++bextr64 000000000234911a -> 0000000000000001 0010 ++bextr64 0000000001c0a285 -> 0000000000000008 0010 ++bextr64 00000000010addcc -> 000000000000000c 0014 ++bextr64 0000000000d7b2a8 -> 000000000000000a 0014 ++bextr64 00000000008cae26 -> 0000000000000002 0010 ++bextr64 00000000006fc615 -> 0000000000000001 0010 ++bextr64 00000000004686bd -> 000000000000000b 0010 ++bextr64 0000000000380a0a -> 0000000000000000 0054 ++bextr64 0000000000215369 -> 0000000000000006 0014 ++bextr64 00000000001af3d7 -> 000000000000000d 0010 ++bextr64 00000000001193de -> 000000000000000d 0010 ++bextr64 00000000000df6b1 -> 000000000000000b 0010 ++bextr64 000000000008d242 -> 0000000000000004 0010 ++bextr64 0000000000070287 -> 0000000000000008 0010 ++bextr64 0000000000042b72 -> 0000000000000007 0010 ++bextr64 0000000000035ec7 -> 000000000000000c 0014 ++bextr64 00000000000232b3 -> 000000000000000b 0010 ++bextr64 000000000001bf16 -> 0000000000000001 0010 ++bextr64 0000000000011a1b -> 0000000000000001 0010 ++bextr64 000000000000e027 -> 0000000000000002 0010 ++bextr64 000000000000854a -> 0000000000000004 0010 ++bextr64 0000000000006bce -> 000000000000000c 0014 ++bextr64 000000000000464e -> 0000000000000004 0010 ++bextr64 00000000000037d9 -> 000000000000000d 0010 ++bextr64 0000000000002347 -> 0000000000000004 0010 ++bextr64 0000000000001c06 -> 0000000000000000 0054 ++bextr64 00000000000010a9 -> 000000000000000a 0014 ++bextr64 0000000000000d78 -> 0000000000000007 0010 ++bextr64 00000000000008c8 -> 000000000000000c 0014 ++bextr64 00000000000006fa -> 000000000000000f 0014 ++bextr64 0000000000000468 -> 0000000000000006 0014 ++bextr64 0000000000000380 -> 0000000000000008 0010 ++bextr64 0000000000000214 -> 0000000000000001 0010 ++bextr64 00000000000001ae -> 000000000000000a 0014 ++bextr64 0000000000000118 -> 0000000000000001 0010 ++bextr64 00000000000000de -> 000000000000000d 0010 ++bextr64 000000000000008c -> 0000000000000008 0010 ++bextr64 000000000000006f -> 0000000000000006 0014 ++bextr64 0000000000000045 -> 0000000000000004 0010 ++bextr64 0000000000000037 -> 0000000000000003 0014 ++bextr64 0000000000000022 -> 0000000000000002 0010 ++bextr64 000000000000001b -> 0000000000000001 0010 ++bextr64 0000000000000010 -> 0000000000000001 0010 ++bextr64 000000000000000c -> 0000000000000000 0054 ++bextr64 0000000000000007 -> 0000000000000000 0054 ++bextr64 0000000000000003 -> 0000000000000000 0054 ++bextr64 0000000000000001 -> 0000000000000000 0054 ++bextr64 0000000000000000 -> 0000000000000000 0054 ++bextr32 57657438291cdef0 -> 0000000000000cde 0014 ++bextr32 452015034e67c955 -> 00000000000007c9 0014 ++bextr32 37e901ef56b302d6 -> 0000000000000302 0010 ++bextr32 2348b20e142667cf -> 0000000000000667 0010 ++bextr32 1c09d34c26e1c212 -> 00000000000001c2 0010 ++bextr32 10ad37922d51847f -> 0000000000000184 0014 ++bextr32 0d7b015093984564 -> 0000000000000845 0010 ++bextr32 08cac1103a60926a -> 0000000000000092 0010 ++bextr32 06fc5681c8cd2b10 -> 0000000000000d2b 0014 ++bextr32 04687224d51a87fa -> 0000000000000a87 0014 ++bextr32 03809eacb986283a -> 0000000000000628 0014 ++bextr32 02152e09a7eb825e -> 0000000000000b82 0014 ++bextr32 01af3c969c7725a6 -> 0000000000000725 0010 ++bextr32 01193d5aad28c013 -> 00000000000008c0 0014 ++bextr32 00df6b2373776c4a -> 000000000000076c 0014 ++bextr32 008d24457d4341d1 -> 0000000000000341 0014 ++bextr32 007028a17fc8b89e -> 00000000000008b8 0014 ++bextr32 0042b77370e42ef0 -> 000000000000042e 0014 ++bextr32 0035ecaa6c888c28 -> 000000000000088c 0010 ++bextr32 00232b89c5c8c9b6 -> 00000000000008c9 0014 ++bextr32 001bf185a53e82dc -> 0000000000000e82 0014 ++bextr32 0011a1af9c2edaa2 -> 0000000000000eda 0010 ++bextr32 000e0282bc13b27b -> 00000000000003b2 0014 ++bextr32 000854daa0b4cc02 -> 00000000000004cc 0014 ++bextr32 0006bcf63e2fbf3d -> 0000000000000fbf 0010 ++bextr32 000464f7852a566a -> 0000000000000a56 0014 ++bextr32 00037dac915ab5c5 -> 0000000000000ab5 0010 ++bextr32 000234911b32831c -> 0000000000000283 0010 ++bextr32 0001c0a2862c25c1 -> 0000000000000c25 0010 ++bextr32 00010addcd657882 -> 0000000000000578 0014 ++bextr32 0000d7b2a9b6ab1d -> 00000000000006ab 0010 ++bextr32 00008cae2719cda3 -> 00000000000009cd 0010 ++bextr32 00006fc61694404d -> 0000000000000440 0010 ++bextr32 00004686be70612c -> 0000000000000061 0010 ++bextr32 0000380a0af0025a -> 0000000000000002 0010 ++bextr32 000021536a829879 -> 0000000000000298 0010 ++bextr32 00001af3d8f8abea -> 00000000000008ab 0010 ++bextr32 00001193de14a839 -> 00000000000004a8 0010 ++bextr32 00000df6b24569e5 -> 0000000000000569 0014 ++bextr32 000008d2446cc8f9 -> 0000000000000cc8 0010 ++bextr32 000007028a18af7d -> 00000000000008af 0014 ++bextr32 0000042b77359960 -> 0000000000000599 0014 ++bextr32 0000035ecaa6d9df -> 00000000000006d9 0010 ++bextr32 00000232b89c662a -> 0000000000000c66 0014 ++bextr32 000001bf185a50b0 -> 0000000000000a50 0014 ++bextr32 0000011a1af9c13b -> 00000000000009c1 0010 ++bextr32 000000e0282bc000 -> 0000000000000bc0 0014 ++bextr32 000000854daa0a5a -> 0000000000000a0a 0014 ++bextr32 0000006bcf63e2b5 -> 00000000000003e2 0014 ++bextr32 000000464f7852a0 -> 0000000000000852 0010 ++bextr32 00000037dac915a7 -> 0000000000000915 0010 ++bextr32 000000234911b322 -> 00000000000001b3 0010 ++bextr32 0000001c0a2862bc -> 0000000000000862 0010 ++bextr32 00000010addcd664 -> 0000000000000cd6 0010 ++bextr32 0000000d7b2a9b66 -> 0000000000000a9b 0010 ++bextr32 00000008cae27197 -> 0000000000000271 0014 ++bextr32 00000006fc616943 -> 0000000000000169 0014 ++bextr32 00000004686be704 -> 0000000000000be7 0014 ++bextr32 0000000380a0aeff -> 00000000000000ae 0010 ++bextr32 000000021536a868 -> 00000000000006a8 0010 ++bextr32 00000001af3d8fad -> 0000000000000d8f 0010 ++bextr32 00000001193de163 -> 0000000000000de1 0014 ++bextr32 00000000df6b2459 -> 0000000000000b24 0014 ++bextr32 000000008d2446ca -> 0000000000000446 0010 ++bextr32 000000007028a18a -> 00000000000008a1 0010 ++bextr32 0000000042b77358 -> 0000000000000773 0010 ++bextr32 0000000035ecaa6c -> 0000000000000caa 0014 ++bextr32 00000000232b89c5 -> 0000000000000b89 0010 ++bextr32 000000001bf185a4 -> 0000000000000185 0010 ++bextr32 0000000011a1af9b -> 00000000000001af 0014 ++bextr32 000000000e0282bb -> 0000000000000282 0014 ++bextr32 000000000854daa0 -> 00000000000004da 0010 ++bextr32 0000000006bcf63d -> 0000000000000cf6 0014 ++bextr32 000000000464f784 -> 00000000000004f7 0010 ++bextr32 00000000037dac90 -> 0000000000000dac 0014 ++bextr32 000000000234911a -> 0000000000000491 0010 ++bextr32 0000000001c0a285 -> 00000000000000a2 0010 ++bextr32 00000000010addcc -> 0000000000000add 0014 ++bextr32 0000000000d7b2a8 -> 00000000000007b2 0014 ++bextr32 00000000008cae26 -> 0000000000000cae 0010 ++bextr32 00000000006fc615 -> 0000000000000fc6 0014 ++bextr32 00000000004686bd -> 0000000000000686 0010 ++bextr32 0000000000380a0a -> 000000000000080a 0014 ++bextr32 0000000000215369 -> 0000000000000153 0014 ++bextr32 00000000001af3d7 -> 0000000000000af3 0014 ++bextr32 00000000001193de -> 0000000000000193 0014 ++bextr32 00000000000df6b1 -> 0000000000000df6 0014 ++bextr32 000000000008d242 -> 00000000000008d2 0014 ++bextr32 0000000000070287 -> 0000000000000702 0010 ++bextr32 0000000000042b72 -> 000000000000042b 0014 ++bextr32 0000000000035ec7 -> 000000000000035e 0010 ++bextr32 00000000000232b3 -> 0000000000000232 0010 ++bextr32 000000000001bf16 -> 00000000000001bf 0010 ++bextr32 0000000000011a1b -> 000000000000011a 0010 ++bextr32 000000000000e027 -> 00000000000000e0 0010 ++bextr32 000000000000854a -> 0000000000000085 0010 ++bextr32 0000000000006bce -> 000000000000006b 0010 ++bextr32 000000000000464e -> 0000000000000046 0010 ++bextr32 00000000000037d9 -> 0000000000000037 0010 ++bextr32 0000000000002347 -> 0000000000000023 0010 ++bextr32 0000000000001c06 -> 000000000000001c 0010 ++bextr32 00000000000010a9 -> 0000000000000010 0010 ++bextr32 0000000000000d78 -> 000000000000000d 0010 ++bextr32 00000000000008c8 -> 0000000000000008 0010 ++bextr32 00000000000006fa -> 0000000000000006 0014 ++bextr32 0000000000000468 -> 0000000000000004 0010 ++bextr32 0000000000000380 -> 0000000000000003 0014 ++bextr32 0000000000000214 -> 0000000000000002 0010 ++bextr32 00000000000001ae -> 0000000000000001 0010 ++bextr32 0000000000000118 -> 0000000000000001 0010 ++bextr32 00000000000000de -> 0000000000000000 0054 ++bextr32 000000000000008c -> 0000000000000000 0054 ++bextr32 000000000000006f -> 0000000000000000 0054 ++bextr32 0000000000000045 -> 0000000000000000 0054 ++bextr32 0000000000000037 -> 0000000000000000 0054 ++bextr32 0000000000000022 -> 0000000000000000 0054 ++bextr32 000000000000001b -> 0000000000000000 0054 ++bextr32 0000000000000010 -> 0000000000000000 0054 ++bextr32 000000000000000c -> 0000000000000000 0054 ++bextr32 0000000000000007 -> 0000000000000000 0054 ++bextr32 0000000000000003 -> 0000000000000000 0054 ++bextr32 0000000000000001 -> 0000000000000000 0054 ++bextr32 0000000000000000 -> 0000000000000000 0054 ++bextr64 57657438291cdef0 -> 0000000000000cde 0014 ++bextr64 452015034e67c955 -> 00000000000007c9 0014 ++bextr64 37e901ef56b302d6 -> 0000000000000302 0010 ++bextr64 2348b20e142667cf -> 0000000000000667 0010 ++bextr64 1c09d34c26e1c212 -> 00000000000001c2 0010 ++bextr64 10ad37922d51847f -> 0000000000000184 0014 ++bextr64 0d7b015093984564 -> 0000000000000845 0010 ++bextr64 08cac1103a60926a -> 0000000000000092 0010 ++bextr64 06fc5681c8cd2b10 -> 0000000000000d2b 0014 ++bextr64 04687224d51a87fa -> 0000000000000a87 0014 ++bextr64 03809eacb986283a -> 0000000000000628 0014 ++bextr64 02152e09a7eb825e -> 0000000000000b82 0014 ++bextr64 01af3c969c7725a6 -> 0000000000000725 0010 ++bextr64 01193d5aad28c013 -> 00000000000008c0 0014 ++bextr64 00df6b2373776c4a -> 000000000000076c 0014 ++bextr64 008d24457d4341d1 -> 0000000000000341 0014 ++bextr64 007028a17fc8b89e -> 00000000000008b8 0014 ++bextr64 0042b77370e42ef0 -> 000000000000042e 0014 ++bextr64 0035ecaa6c888c28 -> 000000000000088c 0010 ++bextr64 00232b89c5c8c9b6 -> 00000000000008c9 0014 ++bextr64 001bf185a53e82dc -> 0000000000000e82 0014 ++bextr64 0011a1af9c2edaa2 -> 0000000000000eda 0010 ++bextr64 000e0282bc13b27b -> 00000000000003b2 0014 ++bextr64 000854daa0b4cc02 -> 00000000000004cc 0014 ++bextr64 0006bcf63e2fbf3d -> 0000000000000fbf 0010 ++bextr64 000464f7852a566a -> 0000000000000a56 0014 ++bextr64 00037dac915ab5c5 -> 0000000000000ab5 0010 ++bextr64 000234911b32831c -> 0000000000000283 0010 ++bextr64 0001c0a2862c25c1 -> 0000000000000c25 0010 ++bextr64 00010addcd657882 -> 0000000000000578 0014 ++bextr64 0000d7b2a9b6ab1d -> 00000000000006ab 0010 ++bextr64 00008cae2719cda3 -> 00000000000009cd 0010 ++bextr64 00006fc61694404d -> 0000000000000440 0010 ++bextr64 00004686be70612c -> 0000000000000061 0010 ++bextr64 0000380a0af0025a -> 0000000000000002 0010 ++bextr64 000021536a829879 -> 0000000000000298 0010 ++bextr64 00001af3d8f8abea -> 00000000000008ab 0010 ++bextr64 00001193de14a839 -> 00000000000004a8 0010 ++bextr64 00000df6b24569e5 -> 0000000000000569 0014 ++bextr64 000008d2446cc8f9 -> 0000000000000cc8 0010 ++bextr64 000007028a18af7d -> 00000000000008af 0014 ++bextr64 0000042b77359960 -> 0000000000000599 0014 ++bextr64 0000035ecaa6d9df -> 00000000000006d9 0010 ++bextr64 00000232b89c662a -> 0000000000000c66 0014 ++bextr64 000001bf185a50b0 -> 0000000000000a50 0014 ++bextr64 0000011a1af9c13b -> 00000000000009c1 0010 ++bextr64 000000e0282bc000 -> 0000000000000bc0 0014 ++bextr64 000000854daa0a5a -> 0000000000000a0a 0014 ++bextr64 0000006bcf63e2b5 -> 00000000000003e2 0014 ++bextr64 000000464f7852a0 -> 0000000000000852 0010 ++bextr64 00000037dac915a7 -> 0000000000000915 0010 ++bextr64 000000234911b322 -> 00000000000001b3 0010 ++bextr64 0000001c0a2862bc -> 0000000000000862 0010 ++bextr64 00000010addcd664 -> 0000000000000cd6 0010 ++bextr64 0000000d7b2a9b66 -> 0000000000000a9b 0010 ++bextr64 00000008cae27197 -> 0000000000000271 0014 ++bextr64 00000006fc616943 -> 0000000000000169 0014 ++bextr64 00000004686be704 -> 0000000000000be7 0014 ++bextr64 0000000380a0aeff -> 00000000000000ae 0010 ++bextr64 000000021536a868 -> 00000000000006a8 0010 ++bextr64 00000001af3d8fad -> 0000000000000d8f 0010 ++bextr64 00000001193de163 -> 0000000000000de1 0014 ++bextr64 00000000df6b2459 -> 0000000000000b24 0014 ++bextr64 000000008d2446ca -> 0000000000000446 0010 ++bextr64 000000007028a18a -> 00000000000008a1 0010 ++bextr64 0000000042b77358 -> 0000000000000773 0010 ++bextr64 0000000035ecaa6c -> 0000000000000caa 0014 ++bextr64 00000000232b89c5 -> 0000000000000b89 0010 ++bextr64 000000001bf185a4 -> 0000000000000185 0010 ++bextr64 0000000011a1af9b -> 00000000000001af 0014 ++bextr64 000000000e0282bb -> 0000000000000282 0014 ++bextr64 000000000854daa0 -> 00000000000004da 0010 ++bextr64 0000000006bcf63d -> 0000000000000cf6 0014 ++bextr64 000000000464f784 -> 00000000000004f7 0010 ++bextr64 00000000037dac90 -> 0000000000000dac 0014 ++bextr64 000000000234911a -> 0000000000000491 0010 ++bextr64 0000000001c0a285 -> 00000000000000a2 0010 ++bextr64 00000000010addcc -> 0000000000000add 0014 ++bextr64 0000000000d7b2a8 -> 00000000000007b2 0014 ++bextr64 00000000008cae26 -> 0000000000000cae 0010 ++bextr64 00000000006fc615 -> 0000000000000fc6 0014 ++bextr64 00000000004686bd -> 0000000000000686 0010 ++bextr64 0000000000380a0a -> 000000000000080a 0014 ++bextr64 0000000000215369 -> 0000000000000153 0014 ++bextr64 00000000001af3d7 -> 0000000000000af3 0014 ++bextr64 00000000001193de -> 0000000000000193 0014 ++bextr64 00000000000df6b1 -> 0000000000000df6 0014 ++bextr64 000000000008d242 -> 00000000000008d2 0014 ++bextr64 0000000000070287 -> 0000000000000702 0010 ++bextr64 0000000000042b72 -> 000000000000042b 0014 ++bextr64 0000000000035ec7 -> 000000000000035e 0010 ++bextr64 00000000000232b3 -> 0000000000000232 0010 ++bextr64 000000000001bf16 -> 00000000000001bf 0010 ++bextr64 0000000000011a1b -> 000000000000011a 0010 ++bextr64 000000000000e027 -> 00000000000000e0 0010 ++bextr64 000000000000854a -> 0000000000000085 0010 ++bextr64 0000000000006bce -> 000000000000006b 0010 ++bextr64 000000000000464e -> 0000000000000046 0010 ++bextr64 00000000000037d9 -> 0000000000000037 0010 ++bextr64 0000000000002347 -> 0000000000000023 0010 ++bextr64 0000000000001c06 -> 000000000000001c 0010 ++bextr64 00000000000010a9 -> 0000000000000010 0010 ++bextr64 0000000000000d78 -> 000000000000000d 0010 ++bextr64 00000000000008c8 -> 0000000000000008 0010 ++bextr64 00000000000006fa -> 0000000000000006 0014 ++bextr64 0000000000000468 -> 0000000000000004 0010 ++bextr64 0000000000000380 -> 0000000000000003 0014 ++bextr64 0000000000000214 -> 0000000000000002 0010 ++bextr64 00000000000001ae -> 0000000000000001 0010 ++bextr64 0000000000000118 -> 0000000000000001 0010 ++bextr64 00000000000000de -> 0000000000000000 0054 ++bextr64 000000000000008c -> 0000000000000000 0054 ++bextr64 000000000000006f -> 0000000000000000 0054 ++bextr64 0000000000000045 -> 0000000000000000 0054 ++bextr64 0000000000000037 -> 0000000000000000 0054 ++bextr64 0000000000000022 -> 0000000000000000 0054 ++bextr64 000000000000001b -> 0000000000000000 0054 ++bextr64 0000000000000010 -> 0000000000000000 0054 ++bextr64 000000000000000c -> 0000000000000000 0054 ++bextr64 0000000000000007 -> 0000000000000000 0054 ++bextr64 0000000000000003 -> 0000000000000000 0054 ++bextr64 0000000000000001 -> 0000000000000000 0054 ++bextr64 0000000000000000 -> 0000000000000000 0054 ++bextr32 57657438291cdef0 -> 00000000148e6f78 0014 ++bextr32 452015034e67c955 -> 000000002733e4aa 0014 ++bextr32 37e901ef56b302d6 -> 000000002b59816b 0010 ++bextr32 2348b20e142667cf -> 000000000a1333e7 0014 ++bextr32 1c09d34c26e1c212 -> 000000001370e109 0014 ++bextr32 10ad37922d51847f -> 0000000016a8c23f 0014 ++bextr32 0d7b015093984564 -> 0000000049cc22b2 0014 ++bextr32 08cac1103a60926a -> 000000001d304935 0014 ++bextr32 06fc5681c8cd2b10 -> 0000000064669588 0014 ++bextr32 04687224d51a87fa -> 000000006a8d43fd 0010 ++bextr32 03809eacb986283a -> 000000005cc3141d 0014 ++bextr32 02152e09a7eb825e -> 0000000053f5c12f 0010 ++bextr32 01af3c969c7725a6 -> 000000004e3b92d3 0010 ++bextr32 01193d5aad28c013 -> 0000000056946009 0014 ++bextr32 00df6b2373776c4a -> 0000000039bbb625 0010 ++bextr32 008d24457d4341d1 -> 000000003ea1a0e8 0014 ++bextr32 007028a17fc8b89e -> 000000003fe45c4f 0010 ++bextr32 0042b77370e42ef0 -> 0000000038721778 0014 ++bextr32 0035ecaa6c888c28 -> 0000000036444614 0014 ++bextr32 00232b89c5c8c9b6 -> 0000000062e464db 0014 ++bextr32 001bf185a53e82dc -> 00000000529f416e 0010 ++bextr32 0011a1af9c2edaa2 -> 000000004e176d51 0010 ++bextr32 000e0282bc13b27b -> 000000005e09d93d 0010 ++bextr32 000854daa0b4cc02 -> 00000000505a6601 0010 ++bextr32 0006bcf63e2fbf3d -> 000000001f17df9e 0010 ++bextr32 000464f7852a566a -> 0000000042952b35 0014 ++bextr32 00037dac915ab5c5 -> 0000000048ad5ae2 0014 ++bextr32 000234911b32831c -> 000000000d99418e 0014 ++bextr32 0001c0a2862c25c1 -> 00000000431612e0 0010 ++bextr32 00010addcd657882 -> 0000000066b2bc41 0014 ++bextr32 0000d7b2a9b6ab1d -> 0000000054db558e 0014 ++bextr32 00008cae2719cda3 -> 00000000138ce6d1 0014 ++bextr32 00006fc61694404d -> 000000000b4a2026 0010 ++bextr32 00004686be70612c -> 000000005f383096 0014 ++bextr32 0000380a0af0025a -> 000000000578012d 0014 ++bextr32 000021536a829879 -> 0000000035414c3c 0014 ++bextr32 00001af3d8f8abea -> 000000006c7c55f5 0014 ++bextr32 00001193de14a839 -> 000000006f0a541c 0010 ++bextr32 00000df6b24569e5 -> 000000005922b4f2 0010 ++bextr32 000008d2446cc8f9 -> 000000002236647c 0010 ++bextr32 000007028a18af7d -> 00000000450c57be 0014 ++bextr32 0000042b77359960 -> 000000003b9accb0 0010 ++bextr32 0000035ecaa6d9df -> 0000000065536cef 0010 ++bextr32 00000232b89c662a -> 000000005c4e3315 0010 ++bextr32 000001bf185a50b0 -> 000000000c2d2858 0010 ++bextr32 0000011a1af9c13b -> 000000000d7ce09d 0010 ++bextr32 000000e0282bc000 -> 000000001415e000 0014 ++bextr32 000000854daa0a5a -> 0000000026d5052d 0014 ++bextr32 0000006bcf63e2b5 -> 0000000067b1f15a 0014 ++bextr32 000000464f7852a0 -> 0000000027bc2950 0014 ++bextr32 00000037dac915a7 -> 000000006d648ad3 0010 ++bextr32 000000234911b322 -> 000000002488d991 0010 ++bextr32 0000001c0a2862bc -> 000000000514315e 0010 ++bextr32 00000010addcd664 -> 0000000056ee6b32 0010 ++bextr32 0000000d7b2a9b66 -> 000000003d954db3 0010 ++bextr32 00000008cae27197 -> 00000000657138cb 0010 ++bextr32 00000006fc616943 -> 000000007e30b4a1 0010 ++bextr32 00000004686be704 -> 000000003435f382 0014 ++bextr32 0000000380a0aeff -> 000000004050577f 0010 ++bextr32 000000021536a868 -> 000000000a9b5434 0010 ++bextr32 00000001af3d8fad -> 00000000579ec7d6 0010 ++bextr32 00000001193de163 -> 000000000c9ef0b1 0014 ++bextr32 00000000df6b2459 -> 000000006fb5922c 0010 ++bextr32 000000008d2446ca -> 0000000046922365 0014 ++bextr32 000000007028a18a -> 00000000381450c5 0014 ++bextr32 0000000042b77358 -> 00000000215bb9ac 0014 ++bextr32 0000000035ecaa6c -> 000000001af65536 0014 ++bextr32 00000000232b89c5 -> 000000001195c4e2 0014 ++bextr32 000000001bf185a4 -> 000000000df8c2d2 0014 ++bextr32 0000000011a1af9b -> 0000000008d0d7cd 0010 ++bextr32 000000000e0282bb -> 000000000701415d 0010 ++bextr32 000000000854daa0 -> 00000000042a6d50 0014 ++bextr32 0000000006bcf63d -> 00000000035e7b1e 0014 ++bextr32 000000000464f784 -> 0000000002327bc2 0010 ++bextr32 00000000037dac90 -> 0000000001bed648 0014 ++bextr32 000000000234911a -> 00000000011a488d 0014 ++bextr32 0000000001c0a285 -> 0000000000e05142 0014 ++bextr32 00000000010addcc -> 0000000000856ee6 0010 ++bextr32 0000000000d7b2a8 -> 00000000006bd954 0010 ++bextr32 00000000008cae26 -> 0000000000465713 0010 ++bextr32 00000000006fc615 -> 000000000037e30a 0014 ++bextr32 00000000004686bd -> 000000000023435e 0010 ++bextr32 0000000000380a0a -> 00000000001c0505 0014 ++bextr32 0000000000215369 -> 000000000010a9b4 0014 ++bextr32 00000000001af3d7 -> 00000000000d79eb 0014 ++bextr32 00000000001193de -> 000000000008c9ef 0010 ++bextr32 00000000000df6b1 -> 000000000006fb58 0010 ++bextr32 000000000008d242 -> 0000000000046921 0014 ++bextr32 0000000000070287 -> 0000000000038143 0010 ++bextr32 0000000000042b72 -> 00000000000215b9 0010 ++bextr32 0000000000035ec7 -> 000000000001af63 0014 ++bextr32 00000000000232b3 -> 0000000000011959 0014 ++bextr32 000000000001bf16 -> 000000000000df8b 0014 ++bextr32 0000000000011a1b -> 0000000000008d0d 0010 ++bextr32 000000000000e027 -> 0000000000007013 0010 ++bextr32 000000000000854a -> 00000000000042a5 0014 ++bextr32 0000000000006bce -> 00000000000035e7 0014 ++bextr32 000000000000464e -> 0000000000002327 0014 ++bextr32 00000000000037d9 -> 0000000000001bec 0010 ++bextr32 0000000000002347 -> 00000000000011a3 0014 ++bextr32 0000000000001c06 -> 0000000000000e03 0014 ++bextr32 00000000000010a9 -> 0000000000000854 0010 ++bextr32 0000000000000d78 -> 00000000000006bc 0010 ++bextr32 00000000000008c8 -> 0000000000000464 0010 ++bextr32 00000000000006fa -> 000000000000037d 0014 ++bextr32 0000000000000468 -> 0000000000000234 0010 ++bextr32 0000000000000380 -> 00000000000001c0 0014 ++bextr32 0000000000000214 -> 000000000000010a 0014 ++bextr32 00000000000001ae -> 00000000000000d7 0014 ++bextr32 0000000000000118 -> 000000000000008c 0010 ++bextr32 00000000000000de -> 000000000000006f 0014 ++bextr32 000000000000008c -> 0000000000000046 0010 ++bextr32 000000000000006f -> 0000000000000037 0010 ++bextr32 0000000000000045 -> 0000000000000022 0014 ++bextr32 0000000000000037 -> 000000000000001b 0014 ++bextr32 0000000000000022 -> 0000000000000011 0014 ++bextr32 000000000000001b -> 000000000000000d 0010 ++bextr32 0000000000000010 -> 0000000000000008 0010 ++bextr32 000000000000000c -> 0000000000000006 0014 ++bextr32 0000000000000007 -> 0000000000000003 0014 ++bextr32 0000000000000003 -> 0000000000000001 0010 ++bextr32 0000000000000001 -> 0000000000000000 0054 ++bextr32 0000000000000000 -> 0000000000000000 0054 ++bextr64 57657438291cdef0 -> 00000000148e6f78 0014 ++bextr64 452015034e67c955 -> 000000002733e4aa 0014 ++bextr64 37e901ef56b302d6 -> 000000002b59816b 0010 ++bextr64 2348b20e142667cf -> 000000000a1333e7 0014 ++bextr64 1c09d34c26e1c212 -> 000000001370e109 0014 ++bextr64 10ad37922d51847f -> 0000000016a8c23f 0014 ++bextr64 0d7b015093984564 -> 0000000049cc22b2 0014 ++bextr64 08cac1103a60926a -> 000000001d304935 0014 ++bextr64 06fc5681c8cd2b10 -> 0000000064669588 0014 ++bextr64 04687224d51a87fa -> 000000006a8d43fd 0010 ++bextr64 03809eacb986283a -> 000000005cc3141d 0014 ++bextr64 02152e09a7eb825e -> 0000000053f5c12f 0010 ++bextr64 01af3c969c7725a6 -> 000000004e3b92d3 0010 ++bextr64 01193d5aad28c013 -> 0000000056946009 0014 ++bextr64 00df6b2373776c4a -> 0000000039bbb625 0010 ++bextr64 008d24457d4341d1 -> 000000003ea1a0e8 0014 ++bextr64 007028a17fc8b89e -> 000000003fe45c4f 0010 ++bextr64 0042b77370e42ef0 -> 0000000038721778 0014 ++bextr64 0035ecaa6c888c28 -> 0000000036444614 0014 ++bextr64 00232b89c5c8c9b6 -> 0000000062e464db 0014 ++bextr64 001bf185a53e82dc -> 00000000529f416e 0010 ++bextr64 0011a1af9c2edaa2 -> 000000004e176d51 0010 ++bextr64 000e0282bc13b27b -> 000000005e09d93d 0010 ++bextr64 000854daa0b4cc02 -> 00000000505a6601 0010 ++bextr64 0006bcf63e2fbf3d -> 000000001f17df9e 0010 ++bextr64 000464f7852a566a -> 0000000042952b35 0014 ++bextr64 00037dac915ab5c5 -> 0000000048ad5ae2 0014 ++bextr64 000234911b32831c -> 000000000d99418e 0014 ++bextr64 0001c0a2862c25c1 -> 00000000431612e0 0010 ++bextr64 00010addcd657882 -> 0000000066b2bc41 0014 ++bextr64 0000d7b2a9b6ab1d -> 0000000054db558e 0014 ++bextr64 00008cae2719cda3 -> 00000000138ce6d1 0014 ++bextr64 00006fc61694404d -> 000000000b4a2026 0010 ++bextr64 00004686be70612c -> 000000005f383096 0014 ++bextr64 0000380a0af0025a -> 000000000578012d 0014 ++bextr64 000021536a829879 -> 0000000035414c3c 0014 ++bextr64 00001af3d8f8abea -> 000000006c7c55f5 0014 ++bextr64 00001193de14a839 -> 000000006f0a541c 0010 ++bextr64 00000df6b24569e5 -> 000000005922b4f2 0010 ++bextr64 000008d2446cc8f9 -> 000000002236647c 0010 ++bextr64 000007028a18af7d -> 00000000450c57be 0014 ++bextr64 0000042b77359960 -> 000000003b9accb0 0010 ++bextr64 0000035ecaa6d9df -> 0000000065536cef 0010 ++bextr64 00000232b89c662a -> 000000005c4e3315 0010 ++bextr64 000001bf185a50b0 -> 000000000c2d2858 0010 ++bextr64 0000011a1af9c13b -> 000000000d7ce09d 0010 ++bextr64 000000e0282bc000 -> 000000001415e000 0014 ++bextr64 000000854daa0a5a -> 0000000026d5052d 0014 ++bextr64 0000006bcf63e2b5 -> 0000000067b1f15a 0014 ++bextr64 000000464f7852a0 -> 0000000027bc2950 0014 ++bextr64 00000037dac915a7 -> 000000006d648ad3 0010 ++bextr64 000000234911b322 -> 000000002488d991 0010 ++bextr64 0000001c0a2862bc -> 000000000514315e 0010 ++bextr64 00000010addcd664 -> 0000000056ee6b32 0010 ++bextr64 0000000d7b2a9b66 -> 000000003d954db3 0010 ++bextr64 00000008cae27197 -> 00000000657138cb 0010 ++bextr64 00000006fc616943 -> 000000007e30b4a1 0010 ++bextr64 00000004686be704 -> 000000003435f382 0014 ++bextr64 0000000380a0aeff -> 000000004050577f 0010 ++bextr64 000000021536a868 -> 000000000a9b5434 0010 ++bextr64 00000001af3d8fad -> 00000000579ec7d6 0010 ++bextr64 00000001193de163 -> 000000000c9ef0b1 0014 ++bextr64 00000000df6b2459 -> 000000006fb5922c 0010 ++bextr64 000000008d2446ca -> 0000000046922365 0014 ++bextr64 000000007028a18a -> 00000000381450c5 0014 ++bextr64 0000000042b77358 -> 00000000215bb9ac 0014 ++bextr64 0000000035ecaa6c -> 000000001af65536 0014 ++bextr64 00000000232b89c5 -> 000000001195c4e2 0014 ++bextr64 000000001bf185a4 -> 000000000df8c2d2 0014 ++bextr64 0000000011a1af9b -> 0000000008d0d7cd 0010 ++bextr64 000000000e0282bb -> 000000000701415d 0010 ++bextr64 000000000854daa0 -> 00000000042a6d50 0014 ++bextr64 0000000006bcf63d -> 00000000035e7b1e 0014 ++bextr64 000000000464f784 -> 0000000002327bc2 0010 ++bextr64 00000000037dac90 -> 0000000001bed648 0014 ++bextr64 000000000234911a -> 00000000011a488d 0014 ++bextr64 0000000001c0a285 -> 0000000000e05142 0014 ++bextr64 00000000010addcc -> 0000000000856ee6 0010 ++bextr64 0000000000d7b2a8 -> 00000000006bd954 0010 ++bextr64 00000000008cae26 -> 0000000000465713 0010 ++bextr64 00000000006fc615 -> 000000000037e30a 0014 ++bextr64 00000000004686bd -> 000000000023435e 0010 ++bextr64 0000000000380a0a -> 00000000001c0505 0014 ++bextr64 0000000000215369 -> 000000000010a9b4 0014 ++bextr64 00000000001af3d7 -> 00000000000d79eb 0014 ++bextr64 00000000001193de -> 000000000008c9ef 0010 ++bextr64 00000000000df6b1 -> 000000000006fb58 0010 ++bextr64 000000000008d242 -> 0000000000046921 0014 ++bextr64 0000000000070287 -> 0000000000038143 0010 ++bextr64 0000000000042b72 -> 00000000000215b9 0010 ++bextr64 0000000000035ec7 -> 000000000001af63 0014 ++bextr64 00000000000232b3 -> 0000000000011959 0014 ++bextr64 000000000001bf16 -> 000000000000df8b 0014 ++bextr64 0000000000011a1b -> 0000000000008d0d 0010 ++bextr64 000000000000e027 -> 0000000000007013 0010 ++bextr64 000000000000854a -> 00000000000042a5 0014 ++bextr64 0000000000006bce -> 00000000000035e7 0014 ++bextr64 000000000000464e -> 0000000000002327 0014 ++bextr64 00000000000037d9 -> 0000000000001bec 0010 ++bextr64 0000000000002347 -> 00000000000011a3 0014 ++bextr64 0000000000001c06 -> 0000000000000e03 0014 ++bextr64 00000000000010a9 -> 0000000000000854 0010 ++bextr64 0000000000000d78 -> 00000000000006bc 0010 ++bextr64 00000000000008c8 -> 0000000000000464 0010 ++bextr64 00000000000006fa -> 000000000000037d 0014 ++bextr64 0000000000000468 -> 0000000000000234 0010 ++bextr64 0000000000000380 -> 00000000000001c0 0014 ++bextr64 0000000000000214 -> 000000000000010a 0014 ++bextr64 00000000000001ae -> 00000000000000d7 0014 ++bextr64 0000000000000118 -> 000000000000008c 0010 ++bextr64 00000000000000de -> 000000000000006f 0014 ++bextr64 000000000000008c -> 0000000000000046 0010 ++bextr64 000000000000006f -> 0000000000000037 0010 ++bextr64 0000000000000045 -> 0000000000000022 0014 ++bextr64 0000000000000037 -> 000000000000001b 0014 ++bextr64 0000000000000022 -> 0000000000000011 0014 ++bextr64 000000000000001b -> 000000000000000d 0010 ++bextr64 0000000000000010 -> 0000000000000008 0010 ++bextr64 000000000000000c -> 0000000000000006 0014 ++bextr64 0000000000000007 -> 0000000000000003 0014 ++bextr64 0000000000000003 -> 0000000000000001 0010 ++bextr64 0000000000000001 -> 0000000000000000 0054 ++bextr64 0000000000000000 -> 0000000000000000 0054 +Index: none/tests/amd64/tbm.vgtest +=================================================================== +--- none/tests/amd64/tbm.vgtest (revision 0) ++++ none/tests/amd64/tbm.vgtest (working copy) +@@ -0,0 +1,3 @@ ++prog: tbm ++prereq: test -x tbm && ../../../tests/x86_amd64_features amd64-avx ++vgopts: -q |