gnu.org
; pins...@gcc.gnu.org
Subject: [EXTERNAL] Re: [PATCH] Propagate get_nonzero_bits information in
division [PR77980]
On 7/26/2021 6:45 PM, Victor Tong via Gcc-patches wrote:
> This change enables the "t1 != 0" check to be optimized away in this code:
>
> int x1 = 0;
&
On 7/26/2021 6:45 PM, Victor Tong via Gcc-patches wrote:
This change enables the "t1 != 0" check to be optimized away in this code:
int x1 = 0;
unsigned int x2 = 1;
int main ()
{
int t1 = x1*(1/(x2+x2));
if (t1 != 0) __builtin_abort();
return 0;
}
The change utilizes the VRP
