--- uae/src/blitops.c 2018/04/24 16:39:13 1.1.1.1 +++ uae/src/blitops.c 2018/04/24 16:40:06 1.1.1.2 @@ -4,259 +4,259 @@ struct blitop blitops[256] = { /* 00 */ { "0", 0 }, - /* 01 */ { "~(srcc | srcb | srca)", 7 }, - /* 02 */ { "(srcc & ~(srcb | srca))", 7 }, - /* 03 */ { "~(srcb | srca)", 3 }, - /* 04 */ { "(srcb & ~(srcc | srca))", 7 }, - /* 05 */ { "~(srcc | srca)", 5 }, + /* 01 */ { "~(srca | srcb | srcc)", 7 }, + /* 02 */ { "(srcc & ~(srca | srcb))", 7 }, + /* 03 */ { "~(srca | srcb)", 3 }, + /* 04 */ { "(srcb & ~(srca | srcc))", 7 }, + /* 05 */ { "~(srca | srcc)", 5 }, /* 06 */ { "(~srca & (srcb ^ srcc))", 7 }, - /* 07 */ { "~(srca | (srcc & srcb))", 7 }, - /* 08 */ { "(srcc & srcb & ~srca)", 7 }, + /* 07 */ { "~(srca | (srcb & srcc))", 7 }, + /* 08 */ { "(~srca & srcb & srcc)", 7 }, /* 09 */ { "~(srca | (srcb ^ srcc))", 7 }, - /* 0a */ { "(srcc & ~srca)", 5 }, - /* 0b */ { "~(srca | (~srcc & srcb))", 7 }, - /* 0c */ { "(srcb & ~srca)", 3 }, + /* 0a */ { "(~srca & srcc)", 5 }, + /* 0b */ { "~(srca | (srcb & ~srcc))", 7 }, + /* 0c */ { "(~srca & srcb)", 3 }, /* 0d */ { "~(srca | (~srcb & srcc))", 7 }, /* 0e */ { "(~srca & (srcb | srcc))", 7 }, /* 0f */ { "~srca", 1 }, - /* 10 */ { "(srca & ~(srcc | srcb))", 7 }, - /* 11 */ { "~(srcc | srcb)", 6 }, + /* 10 */ { "(srca & ~(srcb | srcc))", 7 }, + /* 11 */ { "~(srcb | srcc)", 6 }, /* 12 */ { "(~srcb & (srca ^ srcc))", 7 }, - /* 13 */ { "~(srcb | (srcc & srca))", 7 }, + /* 13 */ { "~(srcb | (srca & srcc))", 7 }, /* 14 */ { "(~srcc & (srca ^ srcb))", 7 }, - /* 15 */ { "~(srcc | (srcb & srca))", 7 }, - /* 16 */ { "((~srca & (srcb ^ srcc)) | ~(srcc | srcb | ~srca))", 7 }, - /* 17 */ { "~((srcb | srca) & (srcc | (srcb & srca)))", 7 }, - /* 18 */ { "((srcc & srcb & ~srca) | ~(srcc | srcb | ~srca))", 7 }, - /* 19 */ { "~((srcc | srcb) & (srca | ~(srcc & srcb)))", 7 }, - /* 1a */ { "((srcc & ~srca) | ~(srcc | srcb | ~srca))", 7 }, - /* 1b */ { "~((srcb | (srcc & srca)) & (~srcc | srca))", 7 }, - /* 1c */ { "((srcb & ~srca) | ~(srcc | srcb | ~srca))", 7 }, - /* 1d */ { "~((srcc | (srcb & srca)) & (~srcb | srca))", 7 }, + /* 15 */ { "~(srcc | (srca & srcb))", 7 }, + /* 16 */ { "(srca ^ ((srca & srcb) | (srcb ^ srcc)))", 7 }, + /* 17 */ { "~(srca ^ ((srca ^ srcb) & (srca ^ srcc)))", 7 }, + /* 18 */ { "((srca ^ srcb) & (srca ^ srcc))", 7 }, + /* 19 */ { "(srcb ^ (~srcc | (srca & srcb)))", 7 }, + /* 1a */ { "(srca ^ (srcc | (srca & srcb)))", 7 }, + /* 1b */ { "(srca ^ (srcc | ~(srca ^ srcb)))", 7 }, + /* 1c */ { "(srca ^ (srcb | (srca & srcc)))", 7 }, + /* 1d */ { "(srca ^ (srcb | ~(srca ^ srcc)))", 7 }, /* 1e */ { "(srca ^ (srcb | srcc))", 7 }, - /* 1f */ { "~(srca & (srcc | srcb))", 7 }, - /* 20 */ { "(srcc & ~srcb & srca)", 7 }, + /* 1f */ { "~(srca & (srcb | srcc))", 7 }, + /* 20 */ { "(srca & ~srcb & srcc)", 7 }, /* 21 */ { "~(srcb | (srca ^ srcc))", 7 }, - /* 22 */ { "(srcc & ~srcb)", 6 }, - /* 23 */ { "~(srcb | (~srcc & srca))", 7 }, - /* 24 */ { "(~(srcc | ~srcb | srca) | (srcc & ~srcb & srca))", 7 }, - /* 25 */ { "~((srcc | srca) & (srcb | ~(srcc & srca)))", 7 }, - /* 26 */ { "((srcc & ~srcb) | ~(srcc | ~srcb | srca))", 7 }, - /* 27 */ { "~((srcb | (~srcc & srca)) & (srcc | srca))", 7 }, + /* 22 */ { "(~srcb & srcc)", 6 }, + /* 23 */ { "~(srcb | (srca & ~srcc))", 7 }, + /* 24 */ { "((srca ^ srcb) & (srcb ^ srcc))", 7 }, + /* 25 */ { "(srca ^ (~srcc | (srca & srcb)))", 7 }, + /* 26 */ { "(srcb ^ (srcc | (srca & srcb)))", 7 }, + /* 27 */ { "~(srca ^ (srcc & (srca ^ srcb)))", 7 }, /* 28 */ { "(srcc & (srca ^ srcb))", 7 }, - /* 29 */ { "(~(srcc | srcb | srca) | (srcc & (srca ^ srcb)))", 7 }, - /* 2a */ { "(srcc & ~(srcb & srca))", 7 }, - /* 2b */ { "(~(srcb | srca) | (srcc & ~(srcb & srca)))", 7 }, - /* 2c */ { "((srcb & ~srca) | (srcc & ~(srcb | ~srca)))", 7 }, + /* 29 */ { "~(srca ^ srcb ^ (srcc | (srca & srcb)))", 7 }, + /* 2a */ { "(srcc & ~(srca & srcb))", 7 }, + /* 2b */ { "~(srca ^ ((srca ^ srcb) & (srcb ^ srcc)))", 7 }, + /* 2c */ { "(srcb ^ (srca & (srcb | srcc)))", 7 }, /* 2d */ { "(srca ^ (srcb | ~srcc))", 7 }, - /* 2e */ { "((srcc & ~(srcb & srca)) | (srcb & ~srca))", 7 }, - /* 2f */ { "~(srca & (~srcc | srcb))", 7 }, - /* 30 */ { "(~srcb & srca)", 3 }, + /* 2e */ { "(srca ^ (srcb | (srca ^ srcc)))", 7 }, + /* 2f */ { "~(srca & (srcb | ~srcc))", 7 }, + /* 30 */ { "(srca & ~srcb)", 3 }, /* 31 */ { "~(srcb | (~srca & srcc))", 7 }, /* 32 */ { "(~srcb & (srca | srcc))", 7 }, /* 33 */ { "~srcb", 2 }, - /* 34 */ { "(~(srcc | ~srcb | srca) | (~srcb & srca))", 7 }, - /* 35 */ { "~((srcc | srca) & (srcb | ~srca))", 7 }, + /* 34 */ { "(srcb ^ (srca | (srcb & srcc)))", 7 }, + /* 35 */ { "(srcb ^ (srca | ~(srcb ^ srcc)))", 7 }, /* 36 */ { "(srcb ^ (srca | srcc))", 7 }, - /* 37 */ { "~(srcb & (srcc | srca))", 7 }, - /* 38 */ { "((srcc & srcb & ~srca) | ~(srcb | ~srca))", 7 }, + /* 37 */ { "~(srcb & (srca | srcc))", 7 }, + /* 38 */ { "(srca ^ (srcb & (srca | srcc)))", 7 }, /* 39 */ { "(srcb ^ (srca | ~srcc))", 7 }, - /* 3a */ { "((srcc & ~srca) | ~(srcb | ~srca))", 7 }, - /* 3b */ { "~(srcb & (~srcc | srca))", 7 }, - /* 3c */ { "(srcb ^ srca)", 3 }, - /* 3d */ { "(~(srcc | srca) | (srcb ^ srca))", 7 }, - /* 3e */ { "((srcc & ~srca) | (srcb ^ srca))", 7 }, + /* 3a */ { "(srcb ^ (srca | (srcb ^ srcc)))", 7 }, + /* 3b */ { "~(srcb & (srca | ~srcc))", 7 }, + /* 3c */ { "(srca ^ srcb)", 3 }, + /* 3d */ { "(srca ^ (srcb | ~(srca | srcc)))", 7 }, + /* 3e */ { "(srca ^ (srcb | (srca ^ (srca | srcc))))", 7 }, /* 3f */ { "~(srca & srcb)", 3 }, - /* 40 */ { "(~srcc & srcb & srca)", 7 }, + /* 40 */ { "(srca & srcb & ~srcc)", 7 }, /* 41 */ { "~(srcc | (srca ^ srcb))", 7 }, - /* 42 */ { "(~(~srcc | srcb | srca) | (~srcc & srcb & srca))", 7 }, - /* 43 */ { "~((srcb | srca) & (srcc | ~(srcb & srca)))", 7 }, - /* 44 */ { "(~srcc & srcb)", 6 }, - /* 45 */ { "~(srcc | (~srcb & srca))", 7 }, - /* 46 */ { "(~(~srcc | srcb | srca) | (~srcc & srcb))", 7 }, - /* 47 */ { "~((srcb | srca) & (srcc | (~srcb & srca)))", 7 }, + /* 42 */ { "((srca ^ srcc) & (srcb ^ srcc))", 7 }, + /* 43 */ { "(srca ^ (~srcb | (srca & srcc)))", 7 }, + /* 44 */ { "(srcb & ~srcc)", 6 }, + /* 45 */ { "~(srcc | (srca & ~srcb))", 7 }, + /* 46 */ { "(srcc ^ (srcb | (srca & srcc)))", 7 }, + /* 47 */ { "~(srca ^ (srcb & (srca ^ srcc)))", 7 }, /* 48 */ { "(srcb & (srca ^ srcc))", 7 }, - /* 49 */ { "(~(srcc | srcb | srca) | (srcb & (srca ^ srcc)))", 7 }, - /* 4a */ { "(~(~srcc | srca) | (~srcc & srcb & srca))", 7 }, - /* 4b */ { "(srca ^ (srcc | ~srcb))", 7 }, - /* 4c */ { "(srcb & ~(srcc & srca))", 7 }, - /* 4d */ { "(~(srcc | srca) | (srcb & ~(srcc & srca)))", 7 }, - /* 4e */ { "((srcc & ~srca) | (srcb & ~(srcc & srca)))", 7 }, - /* 4f */ { "~(srca & (srcc | ~srcb))", 7 }, - /* 50 */ { "(~srcc & srca)", 5 }, + /* 49 */ { "~(srca ^ srcc ^ (srcb | (srca & srcc)))", 7 }, + /* 4a */ { "(srcc ^ (srca & (srcb | srcc)))", 7 }, + /* 4b */ { "(srca ^ (~srcb | srcc))", 7 }, + /* 4c */ { "(srcb & ~(srca & srcc))", 7 }, + /* 4d */ { "(srca ^ ((srca ^ srcb) | ~(srca ^ srcc)))", 7 }, + /* 4e */ { "(srca ^ (srcc | (srca ^ srcb)))", 7 }, + /* 4f */ { "~(srca & (~srcb | srcc))", 7 }, + /* 50 */ { "(srca & ~srcc)", 5 }, /* 51 */ { "~(srcc | (~srca & srcb))", 7 }, - /* 52 */ { "(~(~srcc | srcb | srca) | (~srcc & srca))", 7 }, - /* 53 */ { "~((srcb | srca) & (srcc | ~srca))", 7 }, + /* 52 */ { "(srcc ^ (srca | (srcb & srcc)))", 7 }, + /* 53 */ { "~(srcb ^ (srca & (srcb ^ srcc)))", 7 }, /* 54 */ { "(~srcc & (srca | srcb))", 7 }, /* 55 */ { "~srcc", 4 }, - /* 56 */ { "(srcc ^ (srcb | srca))", 7 }, - /* 57 */ { "~((srcb | srca) & srcc)", 7 }, - /* 58 */ { "((srcc & srcb & ~srca) | ~(srcc | ~srca))", 7 }, + /* 56 */ { "(srcc ^ (srca | srcb))", 7 }, + /* 57 */ { "~(srcc & (srca | srcb))", 7 }, + /* 58 */ { "(srca ^ (srcc & (srca | srcb)))", 7 }, /* 59 */ { "(srcc ^ (srca | ~srcb))", 7 }, - /* 5a */ { "(srcc ^ srca)", 5 }, - /* 5b */ { "(~(srcb | srca) | (srcc ^ srca))", 7 }, - /* 5c */ { "((srcb & ~srca) | ~(srcc | ~srca))", 7 }, - /* 5d */ { "~(srcc & (~srcb | srca))", 7 }, - /* 5e */ { "((srcb & ~srca) | (srcc ^ srca))", 7 }, + /* 5a */ { "(srca ^ srcc)", 5 }, + /* 5b */ { "(srca ^ (srcc | ~(srca | srcb)))", 7 }, + /* 5c */ { "(srcc ^ (srca | (srcb ^ srcc)))", 7 }, + /* 5d */ { "~(srcc & (srca | ~srcb))", 7 }, + /* 5e */ { "(srca ^ (srcc | (srca ^ (srca | srcb))))", 7 }, /* 5f */ { "~(srca & srcc)", 5 }, /* 60 */ { "(srca & (srcb ^ srcc))", 7 }, - /* 61 */ { "(~(srcc | srcb | srca) | (srca & (srcb ^ srcc)))", 7 }, - /* 62 */ { "(~(~srcc | srcb) | (~srcc & srcb & srca))", 7 }, - /* 63 */ { "(srcb ^ (srcc | ~srca))", 7 }, - /* 64 */ { "(~(srcc | ~srcb) | (srcc & ~srcb & srca))", 7 }, - /* 65 */ { "(srcc ^ (srcb | ~srca))", 7 }, - /* 66 */ { "(srcc ^ srcb)", 6 }, - /* 67 */ { "(~(srca | (srcc & srcb)) | (srcc ^ srcb))", 7 }, - /* 68 */ { "((srcc & (srca ^ srcb)) | (~srcc & srcb & srca))", 7 }, - /* 69 */ { "~(srcc ^ srca ^ srcb)", 7 }, + /* 61 */ { "~(srcb ^ srcc ^ (srca | (srcb & srcc)))", 7 }, + /* 62 */ { "(srcc ^ (srcb & (srca | srcc)))", 7 }, + /* 63 */ { "(srcb ^ (~srca | srcc))", 7 }, + /* 64 */ { "(srcb ^ (srcc & (srca | srcb)))", 7 }, + /* 65 */ { "(srcc ^ (~srca | srcb))", 7 }, + /* 66 */ { "(srcb ^ srcc)", 6 }, + /* 67 */ { "(srcb ^ (srcc | ~(srca | srcb)))", 7 }, + /* 68 */ { "((srca & srcb) ^ (srcc & (srca | srcb)))", 7 }, + /* 69 */ { "~(srca ^ srcb ^ srcc)", 7 }, /* 6a */ { "(srcc ^ (srca & srcb))", 7 }, - /* 6b */ { "(~(srcb | srca) | (srcc ^ (srca & srcb)))", 7 }, + /* 6b */ { "~(srca ^ srcb ^ (srcc & (srca | srcb)))", 7 }, /* 6c */ { "(srcb ^ (srca & srcc))", 7 }, - /* 6d */ { "(~(srcc | srca) | (srcb ^ (srca & srcc)))", 7 }, - /* 6e */ { "((~srca & (srcb | srcc)) | (srcc ^ srcb))", 7 }, - /* 6f */ { "(~srca | (srcc ^ srcb))", 7 }, - /* 70 */ { "(srca & ~(srcc & srcb))", 7 }, - /* 71 */ { "(~(srcc | srcb) | (srca & ~(srcc & srcb)))", 7 }, - /* 72 */ { "((srcc & ~srcb) | (srca & ~(srcc & srcb)))", 7 }, - /* 73 */ { "~(srcb & (srcc | ~srca))", 7 }, - /* 74 */ { "(~(srcc | ~srcb) | (~srcb & srca))", 7 }, - /* 75 */ { "~(srcc & (srcb | ~srca))", 7 }, - /* 76 */ { "((~srcb & srca) | (srcc ^ srcb))", 7 }, + /* 6d */ { "~(srca ^ srcc ^ (srcb & (srca | srcc)))", 7 }, + /* 6e */ { "((~srca & srcb) | (srcb ^ srcc))", 7 }, + /* 6f */ { "(~srca | (srcb ^ srcc))", 7 }, + /* 70 */ { "(srca & ~(srcb & srcc))", 7 }, + /* 71 */ { "~(srca ^ ((srca ^ srcb) | (srca ^ srcc)))", 7 }, + /* 72 */ { "(srcb ^ (srcc | (srca ^ srcb)))", 7 }, + /* 73 */ { "~(srcb & (~srca | srcc))", 7 }, + /* 74 */ { "(srcc ^ (srcb | (srca ^ srcc)))", 7 }, + /* 75 */ { "~(srcc & (~srca | srcb))", 7 }, + /* 76 */ { "(srcb ^ (srcc | (srca ^ (srca & srcb))))", 7 }, /* 77 */ { "~(srcb & srcc)", 6 }, /* 78 */ { "(srca ^ (srcb & srcc))", 7 }, - /* 79 */ { "(~(srcc | srcb) | (srca ^ (srcb & srcc)))", 7 }, - /* 7a */ { "((~srcb & srca) | (srcc ^ srca))", 7 }, - /* 7b */ { "(~srcb | (srcc ^ srca))", 7 }, - /* 7c */ { "((~srcc & srca) | (srcb ^ srca))", 7 }, - /* 7d */ { "(~srcc | (srcb ^ srca))", 7 }, - /* 7e */ { "((~srca & (srcb | srcc)) | ~(~srca | (srcc & srcb)))", 7 }, + /* 79 */ { "~(srcb ^ srcc ^ (srca & (srcb | srcc)))", 7 }, + /* 7a */ { "((srca & ~srcb) | (srca ^ srcc))", 7 }, + /* 7b */ { "(~srcb | (srca ^ srcc))", 7 }, + /* 7c */ { "((srca ^ srcb) | (srca & ~srcc))", 7 }, + /* 7d */ { "(~srcc | (srca ^ srcb))", 7 }, + /* 7e */ { "((srca ^ srcb) | (srca ^ srcc))", 7 }, /* 7f */ { "~(srca & srcb & srcc)", 7 }, - /* 80 */ { "(srcc & srcb & srca)", 7 }, - /* 81 */ { "(~(srcc | srcb | srca) | (srcc & srcb & srca))", 7 }, + /* 80 */ { "(srca & srcb & srcc)", 7 }, + /* 81 */ { "~((srca ^ srcb) | (srca ^ srcc))", 7 }, /* 82 */ { "(srcc & ~(srca ^ srcb))", 7 }, - /* 83 */ { "(~(srcb | srca) | (srcc & srcb & srca))", 7 }, + /* 83 */ { "(srca ^ (~srcb | (srca & ~srcc)))", 7 }, /* 84 */ { "(srcb & ~(srca ^ srcc))", 7 }, - /* 85 */ { "(~(srcc | srca) | (srcc & srcb & srca))", 7 }, - /* 86 */ { "((~srca & (srcb ^ srcc)) | (srcc & srcb & srca))", 7 }, + /* 85 */ { "(srca ^ (~srcc | (srca & ~srcb)))", 7 }, + /* 86 */ { "(srcb ^ srcc ^ (srca & (srcb | srcc)))", 7 }, /* 87 */ { "~(srca ^ (srcb & srcc))", 7 }, - /* 88 */ { "(srcc & srcb)", 6 }, - /* 89 */ { "(~(srcc | srcb | srca) | (srcc & srcb))", 7 }, - /* 8a */ { "(srcc & (srcb | ~srca))", 7 }, - /* 8b */ { "(~(srca | (~srcc & srcb)) | (srcc & srcb))", 7 }, - /* 8c */ { "(srcb & (srcc | ~srca))", 7 }, - /* 8d */ { "(~(srca | (~srcb & srcc)) | (srcc & srcb))", 7 }, - /* 8e */ { "((srcc & ~srca) | (srcb & (srcc | ~srca)))", 7 }, - /* 8f */ { "(~srca | (srcc & srcb))", 7 }, + /* 88 */ { "(srcb & srcc)", 6 }, + /* 89 */ { "(srcb ^ (~srcc & (~srca | srcb)))", 7 }, + /* 8a */ { "(srcc & (~srca | srcb))", 7 }, + /* 8b */ { "(srca ^ (~srcb | (srca ^ srcc)))", 7 }, + /* 8c */ { "(srcb & (~srca | srcc))", 7 }, + /* 8d */ { "(srca ^ (~srcc | (srca ^ srcb)))", 7 }, + /* 8e */ { "(srca ^ ((srca ^ srcb) | (srca ^ srcc)))", 7 }, + /* 8f */ { "(~srca | (srcb & srcc))", 7 }, /* 90 */ { "(srca & ~(srcb ^ srcc))", 7 }, - /* 91 */ { "(~(srcc | srcb) | (srcc & srcb & srca))", 7 }, - /* 92 */ { "((~srcb & (srca ^ srcc)) | (srcc & srcb & srca))", 7 }, + /* 91 */ { "(srcb ^ (~srcc | (~srca & srcb)))", 7 }, + /* 92 */ { "(srca ^ srcc ^ (srcb & (srca | srcc)))", 7 }, /* 93 */ { "~(srcb ^ (srca & srcc))", 7 }, - /* 94 */ { "((~srcc & (srca ^ srcb)) | (srcc & srcb & srca))", 7 }, + /* 94 */ { "(srca ^ srcb ^ (srcc & (srca | srcb)))", 7 }, /* 95 */ { "~(srcc ^ (srca & srcb))", 7 }, - /* 96 */ { "(srcc ^ srca ^ srcb)", 7 }, - /* 97 */ { "~((srcb | srca) & (srcc ^ (srca & srcb)))", 7 }, - /* 98 */ { "((srcc & srcb) | (srca & ~(srcc | srcb)))", 7 }, - /* 99 */ { "~(srcc ^ srcb)", 6 }, + /* 96 */ { "(srca ^ srcb ^ srcc)", 7 }, + /* 97 */ { "(srca ^ srcb ^ (srcc | ~(srca | srcb)))", 7 }, + /* 98 */ { "(srcb ^ (~srcc & (srca | srcb)))", 7 }, + /* 99 */ { "~(srcb ^ srcc)", 6 }, /* 9a */ { "(srcc ^ (srca & ~srcb))", 7 }, - /* 9b */ { "~((srca | (~srcc & srcb)) & (srcc ^ srcb))", 7 }, + /* 9b */ { "~(srcb ^ (srcc & (srca | srcb)))", 7 }, /* 9c */ { "(srcb ^ (srca & ~srcc))", 7 }, - /* 9d */ { "~((srca | (~srcb & srcc)) & (srcc ^ srcb))", 7 }, - /* 9e */ { "((srcc & srcb) | (srca ^ (srcb | srcc)))", 7 }, - /* 9f */ { "~(srca & (srcc ^ srcb))", 7 }, - /* a0 */ { "(srcc & srca)", 5 }, - /* a1 */ { "(~(srcc | srcb | srca) | (srcc & srca))", 7 }, + /* 9d */ { "~(srcc ^ (srcb & (srca | srcc)))", 7 }, + /* 9e */ { "(srcb ^ srcc ^ (srca | (srcb & srcc)))", 7 }, + /* 9f */ { "~(srca & (srcb ^ srcc))", 7 }, + /* a0 */ { "(srca & srcc)", 5 }, + /* a1 */ { "(srca ^ (~srcc & (srca | ~srcb)))", 7 }, /* a2 */ { "(srcc & (srca | ~srcb))", 7 }, - /* a3 */ { "(~(srcb | srca) | (srcc & srca))", 7 }, - /* a4 */ { "((srcb & ~(srcc | srca)) | (srcc & srca))", 7 }, - /* a5 */ { "~(srcc ^ srca)", 5 }, - /* a6 */ { "(srcc ^ (srcb & ~srca))", 7 }, - /* a7 */ { "~((srcb | srca) & (srcc ^ srca))", 7 }, + /* a3 */ { "(srcb ^ (~srca | (srcb ^ srcc)))", 7 }, + /* a4 */ { "(srca ^ (~srcc & (srca | srcb)))", 7 }, + /* a5 */ { "~(srca ^ srcc)", 5 }, + /* a6 */ { "(srcc ^ (~srca & srcb))", 7 }, + /* a7 */ { "~(srca ^ (srcc & (srca | srcb)))", 7 }, /* a8 */ { "(srcc & (srca | srcb))", 7 }, - /* a9 */ { "~(srcc ^ (srcb | srca))", 7 }, + /* a9 */ { "~(srcc ^ (srca | srcb))", 7 }, /* aa */ { "srcc", 4 }, - /* ab */ { "(~(srcb | srca) | srcc)", 7 }, - /* ac */ { "((srcb & ~srca) | (srcc & srca))", 7 }, - /* ad */ { "((srcb & ~srca) | (srcc ^ ~srca))", 7 }, - /* ae */ { "(srcc | (srcb & ~srca))", 7 }, + /* ab */ { "(srcc | ~(srca | srcb))", 7 }, + /* ac */ { "(srcb ^ (srca & (srcb ^ srcc)))", 7 }, + /* ad */ { "~(srcc ^ (srca | (srcb & srcc)))", 7 }, + /* ae */ { "(srcc | (~srca & srcb))", 7 }, /* af */ { "(~srca | srcc)", 5 }, - /* b0 */ { "(srca & (srcc | ~srcb))", 7 }, - /* b1 */ { "(~(srcb | (~srca & srcc)) | (srcc & srca))", 7 }, - /* b2 */ { "((srcc & ~srcb) | (srca & (srcc | ~srcb)))", 7 }, - /* b3 */ { "(~srcb | (srcc & srca))", 7 }, + /* b0 */ { "(srca & (~srcb | srcc))", 7 }, + /* b1 */ { "~(srca ^ (srcc | (srca ^ srcb)))", 7 }, + /* b2 */ { "(srca ^ ((srca ^ srcc) & (srcb ^ srcc)))", 7 }, + /* b3 */ { "(~srcb | (srca & srcc))", 7 }, /* b4 */ { "(srca ^ (srcb & ~srcc))", 7 }, - /* b5 */ { "~((srcb | ~srca) & (srcc ^ srca))", 7 }, - /* b6 */ { "((srcc & srca) | (srcb ^ (srca | srcc)))", 7 }, - /* b7 */ { "~(srcb & (srcc ^ srca))", 7 }, - /* b8 */ { "((srcc & srcb) | (~srcb & srca))", 7 }, - /* b9 */ { "((~srcb & srca) | (srcc ^ ~srcb))", 7 }, - /* ba */ { "(srcc | (~srcb & srca))", 7 }, + /* b5 */ { "~(srcc ^ (srca & (srcb | srcc)))", 7 }, + /* b6 */ { "(srca ^ srcc ^ (srcb | (srca & srcc)))", 7 }, + /* b7 */ { "~(srcb & (srca ^ srcc))", 7 }, + /* b8 */ { "(srca ^ (srcb & (srca ^ srcc)))", 7 }, + /* b9 */ { "~(srcc ^ (srcb | (srca & srcc)))", 7 }, + /* ba */ { "(srcc | (srca & ~srcb))", 7 }, /* bb */ { "(~srcb | srcc)", 6 }, - /* bc */ { "((srcc & srca) | (srcb ^ srca))", 7 }, - /* bd */ { "(~(srcc | srca) | (srcc & srca) | (srcb ^ srca))", 7 }, - /* be */ { "(srcc | (srcb ^ srca))", 7 }, + /* bc */ { "((srca ^ srcb) | (srca & srcc))", 7 }, + /* bd */ { "((srca ^ srcb) | ~(srca ^ srcc))", 7 }, + /* be */ { "(srcc | (srca ^ srcb))", 7 }, /* bf */ { "(srcc | ~(srca & srcb))", 7 }, - /* c0 */ { "(srcb & srca)", 3 }, - /* c1 */ { "(~(srcc | srcb | srca) | (srcb & srca))", 7 }, - /* c2 */ { "((srcc & ~(srcb | srca)) | (srcb & srca))", 7 }, - /* c3 */ { "~(srcb ^ srca)", 3 }, + /* c0 */ { "(srca & srcb)", 3 }, + /* c1 */ { "(srca ^ (~srcb & (srca | ~srcc)))", 7 }, + /* c2 */ { "(srca ^ (~srcb & (srca | srcc)))", 7 }, + /* c3 */ { "~(srca ^ srcb)", 3 }, /* c4 */ { "(srcb & (srca | ~srcc))", 7 }, - /* c5 */ { "(~(srcc | srca) | (srcb & srca))", 7 }, + /* c5 */ { "~(srcb ^ (srca | (srcb ^ srcc)))", 7 }, /* c6 */ { "(srcb ^ (~srca & srcc))", 7 }, - /* c7 */ { "~((srcc | srca) & (srcb ^ srca))", 7 }, + /* c7 */ { "~(srca ^ (srcb & (srca | srcc)))", 7 }, /* c8 */ { "(srcb & (srca | srcc))", 7 }, - /* c9 */ { "~(srcb ^ (srcc | srca))", 7 }, - /* ca */ { "((srcc & ~srca) | (srcb & srca))", 7 }, - /* cb */ { "((srcc & ~srca) | (srcb ^ ~srca))", 7 }, + /* c9 */ { "~(srcb ^ (srca | srcc))", 7 }, + /* ca */ { "(srcc ^ (srca & (srcb ^ srcc)))", 7 }, + /* cb */ { "~(srcb ^ (srca | (srcb & srcc)))", 7 }, /* cc */ { "srcb", 2 }, - /* cd */ { "(~(srcc | srca) | srcb)", 7 }, - /* ce */ { "((srcc & ~srca) | srcb)", 7 }, + /* cd */ { "(srcb | ~(srca | srcc))", 7 }, + /* ce */ { "(srcb | (~srca & srcc))", 7 }, /* cf */ { "(~srca | srcb)", 3 }, /* d0 */ { "(srca & (srcb | ~srcc))", 7 }, - /* d1 */ { "(~(srcc | srcb) | (srcb & srca))", 7 }, + /* d1 */ { "~(srca ^ (srcb | (srca ^ srcc)))", 7 }, /* d2 */ { "(srca ^ (~srcb & srcc))", 7 }, - /* d3 */ { "~((srcc | ~srca) & (srcb ^ srca))", 7 }, - /* d4 */ { "((~srcc & srcb) | (srca & (srcb | ~srcc)))", 7 }, - /* d5 */ { "(~srcc | (srcb & srca))", 7 }, - /* d6 */ { "((srcb & srca) | (srcc ^ (srcb | srca)))", 7 }, - /* d7 */ { "~(srcc & (srcb ^ srca))", 7 }, - /* d8 */ { "((srcc & srcb) | (~srcc & srca))", 7 }, - /* d9 */ { "((srcb & srca) | ~(srcc ^ srcb))", 7 }, - /* da */ { "((srcb & srca) | (srcc ^ srca))", 7 }, - /* db */ { "(~(srcb | srca) | (srcb & srca) | (srcc ^ srca))", 7 }, - /* dc */ { "(srcb | (~srcc & srca))", 7 }, - /* dd */ { "(~srcc | srcb)", 6 }, - /* de */ { "(srcb | (srcc ^ srca))", 7 }, + /* d3 */ { "~(srcb ^ (srca & (srcb | srcc)))", 7 }, + /* d4 */ { "(srca ^ ((srca ^ srcb) & (srcb ^ srcc)))", 7 }, + /* d5 */ { "(~srcc | (srca & srcb))", 7 }, + /* d6 */ { "(srca ^ srcb ^ (srcc | (srca & srcb)))", 7 }, + /* d7 */ { "~(srcc & (srca ^ srcb))", 7 }, + /* d8 */ { "(srca ^ (srcc & (srca ^ srcb)))", 7 }, + /* d9 */ { "~(srcb ^ (srcc | (srca & srcb)))", 7 }, + /* da */ { "((srca & srcb) | (srca ^ srcc))", 7 }, + /* db */ { "~((srca ^ srcb) & (srcb ^ srcc))", 7 }, + /* dc */ { "(srcb | (srca & ~srcc))", 7 }, + /* dd */ { "(srcb | ~srcc)", 6 }, + /* de */ { "(srcb | (srca ^ srcc))", 7 }, /* df */ { "(srcb | ~(srca & srcc))", 7 }, /* e0 */ { "(srca & (srcb | srcc))", 7 }, - /* e1 */ { "~(srca ^ (srcc | srcb))", 7 }, - /* e2 */ { "((srcc & ~srcb) | (srcb & srca))", 7 }, - /* e3 */ { "((srcc & srca) | ~(srcb ^ srca))", 7 }, - /* e4 */ { "((~srcc & srcb) | (srcc & srca))", 7 }, - /* e5 */ { "((srcb & srca) | ~(srcc ^ srca))", 7 }, - /* e6 */ { "((srcb & srca) | (srcc ^ srcb))", 7 }, - /* e7 */ { "(~(srca | (srcc & srcb)) | (srca & (srcb | srcc)))", 7 }, - /* e8 */ { "((srcc & srcb) | (srca & (srcb | srcc)))", 7 }, - /* e9 */ { "((srcc & srcb) | ~(srca ^ (srcc | srcb)))", 7 }, - /* ea */ { "(srcc | (srcb & srca))", 7 }, - /* eb */ { "(srcc | ~(srcb ^ srca))", 7 }, - /* ec */ { "(srcb | (srcc & srca))", 7 }, - /* ed */ { "(srcb | ~(srcc ^ srca))", 7 }, - /* ee */ { "(srcc | srcb)", 6 }, - /* ef */ { "(~srca | srcc | srcb)", 7 }, + /* e1 */ { "~(srca ^ (srcb | srcc))", 7 }, + /* e2 */ { "(srcc ^ (srcb & (srca ^ srcc)))", 7 }, + /* e3 */ { "~(srca ^ (srcb | (srca & srcc)))", 7 }, + /* e4 */ { "(srcb ^ (srcc & (srca ^ srcb)))", 7 }, + /* e5 */ { "~(srca ^ (srcc | (srca & srcb)))", 7 }, + /* e6 */ { "((srca & srcb) | (srcb ^ srcc))", 7 }, + /* e7 */ { "~((srca ^ srcb) & (srca ^ srcc))", 7 }, + /* e8 */ { "(srca ^ ((srca ^ srcb) & (srca ^ srcc)))", 7 }, + /* e9 */ { "(srca ^ srcb ^ (~srcc | (srca & srcb)))", 7 }, + /* ea */ { "(srcc | (srca & srcb))", 7 }, + /* eb */ { "(srcc | ~(srca ^ srcb))", 7 }, + /* ec */ { "(srcb | (srca & srcc))", 7 }, + /* ed */ { "(srcb | ~(srca ^ srcc))", 7 }, + /* ee */ { "(srcb | srcc)", 6 }, + /* ef */ { "(~srca | srcb | srcc)", 7 }, /* f0 */ { "srca", 1 }, - /* f1 */ { "(~(srcc | srcb) | srca)", 7 }, - /* f2 */ { "((srcc & ~srcb) | srca)", 7 }, - /* f3 */ { "(~srcb | srca)", 3 }, - /* f4 */ { "((~srcc & srcb) | srca)", 7 }, - /* f5 */ { "(~srcc | srca)", 5 }, - /* f6 */ { "(srca | (srcc ^ srcb))", 7 }, + /* f1 */ { "(srca | ~(srcb | srcc))", 7 }, + /* f2 */ { "(srca | (~srcb & srcc))", 7 }, + /* f3 */ { "(srca | ~srcb)", 3 }, + /* f4 */ { "(srca | (srcb & ~srcc))", 7 }, + /* f5 */ { "(srca | ~srcc)", 5 }, + /* f6 */ { "(srca | (srcb ^ srcc))", 7 }, /* f7 */ { "(srca | ~(srcb & srcc))", 7 }, - /* f8 */ { "((srcc & srcb) | srca)", 7 }, - /* f9 */ { "(srca | ~(srcc ^ srcb))", 7 }, - /* fa */ { "(srcc | srca)", 5 }, - /* fb */ { "(~srcb | srcc | srca)", 7 }, - /* fc */ { "(srcb | srca)", 3 }, - /* fd */ { "(~srcc | srcb | srca)", 7 }, - /* fe */ { "(srcc | srcb | srca)", 7 }, + /* f8 */ { "(srca | (srcb & srcc))", 7 }, + /* f9 */ { "(srca | ~(srcb ^ srcc))", 7 }, + /* fa */ { "(srca | srcc)", 5 }, + /* fb */ { "(srca | ~srcb | srcc)", 7 }, + /* fc */ { "(srca | srcb)", 3 }, + /* fd */ { "(srca | srcb | ~srcc)", 7 }, + /* fe */ { "(srca | srcb | srcc)", 7 }, /* ff */ { "0xFFFFFFFF", 0 } };