On Mon, 13 Aug 2012, Richard Guenther wrote:

+  /* Check that it is only used here. We cannot use has_single_use
+     since the expression is using it twice itself...  */

Ah ... so then

          || num_imm_uses (op0) != 2

Ah, ok, that's simpler indeed, but there were such dire warnings to never
use that evil function unless absolutely necessary that I didn't dare use
it... Thanks for the permission.

If your new predicate would match more places (can you do a quick search?)

You mean: if there are more optimizations that either already check for double use in the same statement, or could benefit from doing so? I'll take a look.

then we want it in tree-flow-inline.h instead of in
tree-ssa-forwprop.c.  But yes,
num_imm_uses can be expensive.   For now just stick with the above.

I assume "the above" means "num_imm_uses (op0) != 2", since both versions are above ;-)

The natural SSA (and forwprop) way is to look for BIT_FIELD_REF and see
if the def stmt is a VEC_PERM_EXPR.

Thanks again,

--
Marc Glisse

Reply via email to