Re: [PATCH] Fix A < 0 ? C : 0 optimization (PR tree-optimization/78720)

[Paolo Bonzini]

On 09/12/2016 20:26, Jakub Jelinek wrote:
> +    tree ctype = TREE_TYPE (@1);
> +   }
> +   (if (shift >= 0)
> +    (bit_and
> +     (convert (rshift @0 { build_int_cst (integer_type_node, shift); }))
> +     @1)
> +    (bit_and
> +     (lshift (convert:ctype @0) { build_int_cst (integer_type_node, -shift); 
> })
> +     @1)))))

The ":ctype" shouldn't be needed because the COND_EXPR already has @1's
type.

Paolo