invalid translation from xmm0 to zmm0 breaking decompilation

[psifertex]

Discussed in https://github.com/Vector35/binaryninja-api/discussions/4343

^{Originally posted by **sunbo2001** May 25, 2023}  The 'chart_course' function is supposed to take only one argument, arg1, but the parsing results in a second argument, zmm0. Now I Edit the Function with 'Edit Function Properties' :  I unchecked zmm0,but it still appears：  another question is function 'atof’,:  as you see, the return register of this function should be xmm0，and I also used the same way to edit function properties,but nothing happen.  in next picture, the arg2 should be replaced by var_78.  is it a bug? the binary file is here: https://github.com/guyinatuxedo/nightmare/blob/master/modules/08-bof_dynamic/fb19_overfloat/overfloat

TL;DR

• At offset 0x40094a, in LLIL there is the correct return value of atof into xmm0, but in MLIL it's translated into zmm0 which isn't tracked as being the return value and thus incorrectly shows as a parameter to chart_course instead.

[psifertex]

Looks like we also have https://github.com/Vector35/binaryninja-api/issues/4027 which this is a duplicate of so you can track when that is resolved and this should also be fixed.