subject:"\[PATCH\] tree\-ssa\-math\-opts\: Pattern recognize some further hand written forms of signed __builtin_mul_overflow\{, _p\} \[PR105776\]"

Re: [PATCH] tree-ssa-math-opts: Pattern recognize some further hand written forms of signed __builtin_mul_overflow{, _p} [PR105776]

2023-05-19 Thread Richard Biener via Gcc-patches

> Am 19.05.2023 um 10:06 schrieb Jakub Jelinek : > > Hi! > > In the pattern recognition of signed __builtin_mul_overflow{,_p} we > check for result of unsigned division (which follows unsigned > multiplication) being equality compared against one of the multiplication's > argument (the one

[PATCH] tree-ssa-math-opts: Pattern recognize some further hand written forms of signed __builtin_mul_overflow{,_p} [PR105776]

2023-05-19 Thread Jakub Jelinek via Gcc-patches

Hi! In the pattern recognition of signed __builtin_mul_overflow{,_p} we check for result of unsigned division (which follows unsigned multiplication) being equality compared against one of the multiplication's argument (the one not used in the division) and check for the comparison to be done