> Hmm, the conversion should be a separate statement so I wonder
> why it would go wrong?
It is indeed. Yet, lhs_type is the lhs type of the conversion
and not the call and consequently we compare the precision of
the converted type with the popcount input.
So we should probably rather do something like:
+ tree call_lhs = gimple_call_lhs (call_stmt);
+
/* Input and output of .POPCOUNT should be same-precision integer. */
- if (TYPE_PRECISION (unprom_diff.type) != TYPE_PRECISION (lhs_type))
+ if (TYPE_PRECISION (unprom_diff.type) != TYPE_PRECISION (TREE_TYPE
(call_lhs)))
return NULL;
Regards
Robin
