https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88798
--- Comment #8 from Wojciech Mula <wojciech_mula at poczta dot onet.pl> --- Thank you for the answer. Thus my question is: is it possible to delay conversion from kmasks into ints? I'm not a language lawyer, but I guess a `x binop y` has to be treated as `(int)x binop (int)y`. If it's true, we will have to prove that `(int)(x avx512-binop y)` is equivalent to the latter expr.
