On Mon, May 23, 2016 at 2:44 AM, Kugan Vivekanandarajah <kugan.vivekanandara...@linaro.org> wrote: > Hi Richard, > >> So what does this mean for this pass? It means that we need to think >> about the immediate goal we want to fulfil - which might be to just >> promote things that we can fully promote, avoiding the necessity to >> prevent passes from undoing our work. That said - we need a set of >> testcases the pass should enable to being optimized better than without it >> (I myself see the idea of promoting on GIMPLE according to PROMOTE_MODE >> as good design cleanup towards pushing GIMPLE farther out). > > I will appreciate any test-cases you think that think should work > (optimized).
You were coming from the ARM sign-/zero-elimination side and IIRC this was previously stuff you tried in VRP. Didn't you have testcases for the desired sign-/zero-extension elimination side from that time? > I will also try to gather test-cases based on testing/benchmarking. That's great. Thanks. Richard. > Thanks, > Kugan