Running slice:
core_v7A+vfpneon_vfpv3_neonv1
feature_Thumb
0x00000000 - 0xffffffff
encode_decode

FAILED[0000 0000 0000 0000 1101 0000 0100 0000, 0xd040]: Member differs: 'immediate' (BEQ      {pc}+0x84 ; 0x84)[hit 1792 times] [[bug 1] - Decode for T1 B<c> encoding does not sign extend the 8-bit immediate properly]
FAILED[0000 0000 0000 0000 1110 1000 0110 0001, 0xe861]: Member differs: 'loadStoreMode' (STRD     lr,r8,[r1],#-0x184)[hit 42 times] [[bug 2] - STRD with negative offset reencodes to positive offset and disassembles with no offset]
FAILED[1110 1100 1000 0000 0000 1011 0000 0011, 0xec800b03]: Member differs: 'minorOpcode' (FSTMIAX  r0,{d0})[hit 12240 times] [[bug 3] - FSTMX/FLDMX not supported]
FAILED[1111 0000 0000 0000 1001 0000 0000 0001, 0xf0009001]: Member differs: 'immediate' (B        {pc}+0xc00006 ; 0xc00006)[hit 16777215 times] [[bug 4] - B.W immediate is not being encoded correctly. I1 and I2 are not being decoded correctly]
FAILED[1111 1000 0001 1111 1111 0000 0000 0000, 0xf81ff000]: Member differs: 'loadStoreMode' (PLD      [pc,#-0])[hit 64 times] [[bug 5] - PLD with -ve offset is re-encoding to have +ve offset]
FAILED[1111 1001 1000 0000 0000 0100 0001 0000, 0xf9800410]: Member differs: 'vldstAlign' (VST1.16  {d0[0]},[r0@16],r0)[hit 15360 times] [[bug 6] - VST1.16 with alignment 16 is re-encoded to unaligned]


4294967296 bitpatterns tested, 4025094892 passed, 134277915 failed, 146552531 skipped (3.13% failure rate)

Failure breakdown:
Not assembled: 0
Not disassembled: 0
Should be unpredictable: 132606598 (3.09%)
Should be undefined: 10639863 (0.24%)
Should not be unpredictable: 455 (0.00%)
Should not be undefined: 5169418 (0.12%)
Member differs: 134277915 (3.13%)
Other: 0