PGO trông nhanh hơn -O2 hẳn 1,3 lần — cho tới khi tôi nhận ra file hồ sơ chưa từng được đọc, và cái nhanh thật ra đến từ mấy cờ mà -fprofile-use tự bật. Đo thật, và một bài học về đo nhầm đại lượng.
Thêm __builtin_expect(UNLIKELY) vào nhánh hiếm, tôi mong nhanh hơn. Đo ra bằng y hệt bản không hint — vì trình dịch đã đoán đúng sẵn. Cái duy nhất đổi thời gian lại là một hint SAI. Đo thật, đọc assembly trong container.
Gắn ((const)) cho một hàm bất biến biến vòng lặp 371 ms thành 0 ms vì trình dịch kéo lời gọi ra ngoài. Nhưng đánh nhầm const cho hàm đọc bộ nhớ khiến nó trả về giá trị cũ, không báo lỗi. Đo cả tốc độ lẫn tính đúng trong container.
Một hàm đệ quy đuôi tràn ngăn xếp ở -O0 nhưng chạy 50 triệu tầng ở -O2. Và gcc còn khử được cả 'n + f(n-1)' bằng cách tự thêm biến tích lũy — nhiều hơn tôi tưởng. Nhưng TCO là tối ưu, không phải bảo đảm của C. Đo thật trong container.
Định bắt quả tang -ffast-math làm sai số. Đo ra ngược hẳn: bản IEEE strict kẹt ở 2^24 (16777216) sai nặng, fast-math gần đúng hơn và nhanh 4 lần. Nhưng nó âm thầm xóa lá chắn NaN. Đo thật, đọc assembly trong container.
Kiểm tra tràn signed 'x+100 < x' bị trình dịch xóa thành return 0 — ngay ở -O0, không đợi -O2 như tôi tưởng. Còn unsigned thì quấn vòng đoán được, giữ nguyên phép so sánh. Đọc assembly thật để thấy vì sao bạn không được phát hiện tràn bằng chính phép tràn.