Optimized instruction sequence for sitofp operation on X86-32