https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118483
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Here is a testcase which we miss currently because of the missing optional convert: ``` short d; int f(int a) { short b = a; int e = ~a; short c = e; return b == c; } ``` This is one missing for the `cmp == cmp'` issue too: ``` int f(int a) { return (a == 0) == (a != 0); } ```