https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101139
--- Comment #4 from Steinar H. Gunderson <steinar+gcc at gunderson dot no> --- Yes, the integer promotion actually costs some performance. It happens on both x86 and Arm. Should I file that as a separate bug?
