Basic Block Versioning – My Best Result Yet https://pointersgonewild.com/2015/09/24/basic-block-versioning-my-best-result-yet/ (example where dynamic types give more precision and perf than static!)