> Ah, I see. So the proper fix would be to use STRIP_NOP()ed op0/op1, > something not readily available though.
Why not just add TYPE_UNSIGNED (TREE_TYPE (op0)) == TYPE_UNSIGNED (TREE_TYPE (arg0)) && TYPE_UNSIGNED (TREE_TYPE (op1)) == TYPE_UNSIGNED (TREE_TYPE (arg1)) with a small comment? -- Eric Botcazou
