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.
SSA là biểu diễn trung gian nơi mọi tối ưu compiler diễn ra. Đo thật với GOSSAFUNC: một hàm 2 phép cộng, 1 phép nhân và nhánh chết đi qua 50 pha (regalloc và lower đắt nhất) rồi co xuống còn 3 lệnh — CSE gộp biểu thức trùng, DCE xoá nhánh chết, strength reduction đổi nhân thành dịch bit. Go 1.23.
Go dùng cú pháp assembly riêng kế thừa Plan 9, khó đọc lần đầu. Đọc thật assembly một hàm Go trên arm64 và amd64: thứ tự toán hạng nguồn-trước-đích-sau, bốn pseudo-register SB FP SP PC, và prologue kiểm tra stack qua thanh ghi g. Go 1.23.
Hướng dẫn viết một hàm assembly từ đầu: khai báo Go không thân, cài đặt trong file .s, đọc tham số qua FP. Chạy thật cho kết quả đúng. Nhưng đo trung thực cho thấy hàm asm không inline được, nên với hàm nhỏ thường lỗ — nó chỉ đáng cho thứ compiler không diễn đạt được. Go 1.23.