Trình biên dịch Go tự quyết biến nào ở lại stack (rẻ) và biến nào thoát lên heap (do GC quản). Đo thật: cùng logic, slice cỡ hằng số 0 cấp phát 0.23 ns, slice cỡ biến 128 byte 27.94 ns — chậm 120 lần. Cách đọc output -m và vì sao nó quan trọng. Go 1.23.
Compiler Go gán cho mỗi hàm một điểm chi phí; dưới ngân sách 80 thì được dán thẳng vào chỗ gọi. Đo thật cost từng hàm (cong 4, max3 21, tong 16), defer chặn cứng, và inline nhanh hơn noinline ~2,7 lần — không chỉ vì bỏ lệnh CALL. Go 1.23.
Inline thường tốt, nhưng nó có thể làm benchmark đo ra ~0 ns đánh lừa. Đo thật: cùng phép đo, bản bị inline cho 0,23 ns còn bản //go:noinline cho 0,70 ns — lệch 3 lần. Khi nào cần chặn inline, cách xác nhận directive, và các directive nguy hiểm khác. Go 1.23.
Mỗi truy cập slice phải kiểm biên để an toàn bộ nhớ; compiler xoá check khi chứng minh được chỉ số hợp lệ. Đo thật: vòng range và i<len(xs) đã 0 check sẵn, nhưng check biên hiện đại rất rẻ (~0,05 ns) — và chiêu reslice để gợi ý BCE ở đây còn chậm hơn. Go 1.23.
Compiler xoá mã không bao giờ chạy và tính toán không ai dùng; linker xoá hàm không ai gọi khỏi binary. Đo thật: một hàm có nhánh if DEBUG loop 1000 và phép nhân dư biên dịch ra mã máy y hệt hàm chỉ return x+1, và linker cắt 145 KB khi bỏ 199 hàm không dùng. Go 1.23.
Nếu compiler chứng minh được kiểu động sau interface lúc biên dịch, nó thay dispatch động bằng lời gọi trực tiếp rồi inline luôn. Đo thật: một lời gọi interface co xuống còn một lệnh ADD (không itab, không CALL), nhanh hơn dispatch động ~3,8 lần. Điều kiện để nó xảy ra. Go 1.23.