<div dir="ltr"><div><div>I've proposed removing the llvm.expect intrinsic:<br><a href="http://reviews.llvm.org/D19300">http://reviews.llvm.org/D19300</a><br><br></div>The motivation for this change is in:<br><a href="http://reviews.llvm.org/D19299">http://reviews.llvm.org/D19299</a><br><br>For reference:<br>1. We created an intrinsic that's only reason for existing is to improve perf, but the
intrinsic can harm optimization by interfering with transforms in other
passes.<br><br>2. To solve that, we created a pass to always
transform the intrinsic into metadata at a very early stage in LLVM. But now
every program is paying a compile-time tax (running the LowerExpectIntrinsic pass) for a feature that is rarely
used.<br><br>A possible front-end replacement transformation for a source-level "builtin_expect()" is in D19299: I think a front-end can always directly create metadata for this kind of programmer hint rather than using an intermediate representation (the intrinsic). Likewise, if there's some out-of-tree IR pass that is creating an llvm.expect, it should be able to create branch weight metadata directly instead.<br><br>Please let me know if you see any problems with this proposal or the patches.<br><br></div><div>For reference, here's the original post-commit review thread for llvm.expect:<br><a href="https://marc.info/?l=llvm-commits&m=130997676129580&w=4" class="" target="_blank" rel="noreferrer">https://marc.info/?l=llvm-commits&m=130997676129580&w=4</a><br><br></div><div><br></div></div>