Code sinking là gì?

Code sinking còn được gọi là lazy code motion là một thuật ngữ chỉ kỹ thuật làm giảm các lệnh (instruction) lãng phí bằng cách chuyển các lệnh đến các nhánh (branch) mà chúng được sử dụng: Nếu một phép toán được thực hiện trước một nhánh và chỉ một trong các đường dẫn của nhánh (branch path) sử dụng kết quả của phép toán đó thì code sinking dẫn đến việc chuyển phép toán đó vào nhánh nơi nó sẽ được sử dụng.

Kỹ thuật này là một dạng loại bỏ mã chết (dead code elimination) theo nghĩa là nó loại bỏ mã khi kết quả của nó bị loại bỏ hoặc không được sử dụng, nhưng ngược lại với loại bỏ mã chết, nó có thể loại bỏ các lệnh vô nghĩa ngay cả khi có thể sử dụng lệnh đó dẫn đến kết quả trong đường dẫn của mã thực thi (execution code path).