PPC machine code vs gcc 4.0