Re: [PATCH] vectorizer: Fix up vectorization using WIDEN_MINUS_EXPR [PR102124]

2021-09-01 Thread Richard Sandiford via Gcc-patches
Jakub Jelinek writes: > Hi! > > The following testcase is miscompiled on aarch64-linux at -O3 since the > introduction of WIDEN_MINUS_EXPR. > The problem is if the inner type (half_type) is unsigned and the result > type in which the subtraction is performed (type) has precision more than > twice

[PATCH] vectorizer: Fix up vectorization using WIDEN_MINUS_EXPR [PR102124]

2021-08-31 Thread Jakub Jelinek via Gcc-patches
Hi! The following testcase is miscompiled on aarch64-linux at -O3 since the introduction of WIDEN_MINUS_EXPR. The problem is if the inner type (half_type) is unsigned and the result type in which the subtraction is performed (type) has precision more than twice as larger as the inner type's precis