Is PUSH optimized on AMD64? | Hacker News Reader