Wrong execution of vextracti128 #791
Description
There seems to be an error in the way we execute (or assemble, or something else) for vextracti128.
; stoke debug effect --target target.s --testcases testcases.tc
WARNING: No live out values provided, assuming { }
WARNING: No def in values provided; assuming { %ymm0 %xmm10 %mxcsr::rc[0] }
%ymm0 30 fd 9d e5 54 f2 67 d8 2e 80 5e c6 c8 f2 f3 cb 5e f5 60 99 bc 96 21 d8 d1 90 34 7e 70 54 19 54
%ymm0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 f1 49 46 f6 35 22 2e c4 4d 88 25 ba 89 b7 7a f1
Here is the code I ran:
.target:
vextracti128 $0xfb, %ymm0, %xmm10
retq
The instruction is supposed to write to xmm10, but instead modifies ymm0. No idea what's going on.