Hi Juliusz, > %5 = add nsw i32 %4, %3 > %6 = mul nsw i32 %5, %4 > %7 = mul nsw i32 %4, %4 > %8 = sub i32 %6, %7 this looks like an instcombine deficiency (not realizing that %8 equals %3 * %4). Ciao, duncan.