Re: [PATCH v2 00/48] tcg: optimize redundant sign extensions

[Alex Bennée]

Richard Henderson <richard.henderson@linaro.org> writes:

> Currently, we have support for optimizing redundant zero extensions,
> which I think was done with x86 and aarch64 in mind, which zero-extend
> all 32-bit operations into the 64-bit register.
>
> But targets like Alpha, MIPS, and RISC-V do sign-extensions instead.
> The last 5 patches address this.
>
> But before that, split the quite massive tcg_optimize function.

BTW this reminded me of a discussion I was having on another thread:

  Subject: Re: TCG Floating Point Support (Work in Progress)
  Date: Fri, 01 Oct 2021 09:03:41 +0100
  In-reply-to: 
<CADc=-s5wJ0cBv9r0rXaOk0Ys77Far7mgXq5B+y4KoNr937cC7A@mail.gmail.com>
  Message-ID: <87y27d5ezt.fsf@linaro.org>

about a test harness of TCG. With the changes over the years are we any
closer to being able to lift the TCG code into a unit test so we can add
test cases that exercise and validate the optimiser decisions?

-- 
Alex Bennée