vfnmadd132pd semantics incorrect

[bchurchill]

The fuzz tester gave the following output in a travis build. Sorry it's a big mangled.

[----------] * vfnmadd132pd %xmm12, %xmm10, %xmm11 # OPC=vfnmadd132pd_xmm_xmm_xmm
././tests/validator/common.h:273: Failure
Failed
Sandbox and validator do not agree for 'vfnmadd132pd %xmm12, %xmm10, %xmm11' (opcode vfnmadd132pd_xmm_xmm_xmm)
  solver encountered error: Typechecking failed for constraint: 0x0�₂₈ ∘ (vfnmadd132_double((0x3aeed6f408c3d5a7₆₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][255:192], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][255:192], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][255:192]) ∘ (vfnmadd132_double((0x3aeed6f408c3d5a7₆₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][191:128], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][191:128], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][191:128]) ∘ (vfnmadd132_double((0x3aeed6f408c3d5a7₆₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][127:64], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][127:64], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][127:64]) ∘ vfnmadd132_double((0x3aeed6f408c3d5a7₆₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][63:0], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][63:0], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][63:0]))))[127:0] = 0x0₆₄ ∘ 0x0₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0x4ba6cda2a905a447₆₄
error: In compare: 0x0�₂₈ ∘ (vfnmadd132_double((0x3aeed6f408c3d5a7₆₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][255:192], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][255:192], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][255:192]) ∘ (vfnmadd132_double((0x3aeed6f408c3d5a7₆₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][191:128], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][191:128], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][191:128]) ∘ (vfnmadd132_double((0x3aeed6f408c3d5a7₆₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][127:64], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][127:64], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][127:64]) ∘ vfnmadd132_double((0x3aeed6f408c3d5a7���₄ ∘ 0x23733bab1cd8bb90₆₄ ∘ 0x3ac7ac71f2400c92₆₄ ∘ 0x1be0f4d74044b8ba₆₄)[127:0][63:0], (0xa0bacd16a9a86b27₆₄ ∘ 0x3caaeb5f8019659f₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0xcb8dde685910fca8₆₄)[127:0][63:0], (0x1faa941f83544298₆₄ ∘ 0xd5278fb34f2d9278₆₄ ∘ 0xe1644edb420b9bbb₆₄ ∘ 0xefbc902634e67a8f₆₄)[127:0][63:0]))))[127:0] = 0x0₆₄ ∘ 0x0₆₄ ∘ 0xf66ecc1076dfe0a6₆₄ ∘ 0x4ba6cda2a905a447₆₄ the LHS has width 0 but RHS has width 100