Đị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.
Viết tay SIMD bằng intrinsic để mong thắng trình dịch. Với phép cộng từng phần tử, nó bằng đúng bản để -O3 tự lo — cùng một lệnh fadd. Intrinsic chỉ thắng ở chỗ trình dịch từ chối vector hóa. Đo thật, đọc objdump trong container.
Một routine đọc bộ đếm chu kỳ hai lần rồi tính hiệu, viết bằng asm không volatile, luôn trả 0 — trình dịch gộp hai lần đọc rồi gấp thành return 0. Với nó, asm non-volatile là hàm thuần. Đọc objdump trong container để thấy tận mắt.
Gắn ((hot)) rồi đo vòng lặp: 38,33 so 38,35 ms, bằng nhau. Nhưng readelf cho thấy hàm đã nhảy sang section .text.hot đúng như thiết kế. Lợi ích là cache lệnh, chỉ lộ ở quy mô lớn — và bài học về đo đúng đại lượng.
Niềm tin sách giáo khoa: switch dày đặc biên dịch thành jump table. Tôi đo bốn ví dụ dày đặc — gcc gấp thành công thức, thành bảng tra cứu, thành chuỗi so sánh. Bảng nhảy thật chỉ hiện ở 20 case. Đọc objdump trong container.