On 06/09/2020 17:38, Ramsay Jones wrote:
[snip]
>> diff --git a/validation/optim/trunc-or-shl0.c b/validation/optim/trunc-or-shl0.c
>> new file mode 100644
>> index 000000000000..4d85a6bd4ec4
>> --- /dev/null
>> +++ b/validation/optim/trunc-or-shl0.c
>> @@ -0,0 +1,19 @@
>> +char trunc_or_shl0a(unsigned a, unsigned b)
>> +{
>> + return (a << 8) | b;
>> +}
>> +
>> +char trunc_or_shl0b(unsigned a, unsigned b)
>> +{
>> + return a | (b << 8);
>> +}
>> +
>> +/*
>> + * check-name: trunc-or-shl0
>> + * check-command: test-linearize -Wno-decl $file
>> + * check-known-to-fail
>> + *
>> + * check-output-ignore
>> + * check-output-excludes: or\\.
>> + * check-output-excludes: shl\\.
>
> Hmm, I can't see an optimization for these two! :(
> Care to explain just what you expect? (maybe with an
> '*.expected' file?)
>
Ah, so I only just noticed the 'char' return types! :-D
OK.
ATB,
Ramsay Jones
