| Issue |
58187
|
| Summary |
Add optimization remarks for likelihood attribute disagreements
|
| Labels |
c++20,
PGO,
llvm:optimizations,
clang:diagnostics
|
| Assignees |
|
| Reporter |
AaronBallman
|
C++20 added the `[[likely]]` and `[[unlikely]]` attributes as optimization hints. Some users expect these hints to be an escape hatch that instructs the optimizer to ignore what it thinks it knows about a particular branch probability. Other users expect these hints to be ignored when the optimizer has more information about the probability of taking a branch (such as through PGO).
It would be nice to have optimization remarks issued for any situation where the optimizer elects to ignore an explicitly-annotated branch so that users have some way to know if their expectations are being met or not.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
