Updated diff. Now a very small change.

Ping

Ping

In D120908#3358301, @labrinea wrote:

My understanding is that function specialization of such constant arguments is controlled by the option -function-specialization-for-literal-constant. That is disabled by default as it increases compilation times. I measured how it affects instruction count using perf when compiling the llvm test suite. It was generally neutral except for the benchmark SPASS which was regressed by 4%.

Add exhaustive correctness test.
Also remove signage test in binaryXor, as the common bits would be 0 anyway, thus creating a full set regardless.

Fix malformed diff.

LGTM, but probably wait for someone more experienced to upvote :)

What about G_OR and G_XOR? Is there a reason why they're not listed?

If you're supporting a pointer value return type, should there be a test for this?

Rebased on current head.

In D68328#1758323, @igorb wrote:

LGTM,
Thanks

Addressed @igorb 's comments.

Updated diff:

After further review and testing, I have found that changing the effective SCEV type to be the pointer index type does not work. Though neither does it work when assumed to be pointer size. In many places, these are assumed to be the same. I'm unsure of which way to go with this. Do I force effective SCEV type to be the pointer size and enforce this, or change it to be index size and enforce this?

Ping