decompiler does not seem to understand what VMX instructions do. in the attached screenshot you can see that an error in vmxon is tested for with “setbe al”, but its optimized to return 1 because it thinks the previous XOR operation is what decides if ZF/CF are set (can only attach one image but the decomp optimizes the return value to be 1). luckily it does not seem to optimize away conditionals that rely on this function
Thank you for the report! Perhaps you can try this plugin in the meantime: GitHub - synacktiv/vmx_intrinsics: VMX intrinsics plugin for Hex-Rays decompiler · GitHub
1 Like