On Tue, Nov 8, 2016 at 2:11 AM, kugan <kugan.vivekanandara...@linaro.org> wrote: > Hi, > > On 04/11/16 03:24, Martin Jambor wrote: >> >> Hi, >> >> On Fri, Oct 28, 2016 at 01:58:13PM +1100, kugan wrote: >>>> >>>> Do I understand it correctly that extract_range_from_unary_expr deals >>>> with any potential type conversions better (compared to what you did >>>> before here)? >>> >>> >>> Yes, this can be wrong at times too as reported in >>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78121. I have separated this >>> part of the patch with a testcase. >>> >>> Please note that I am using fold_convert in the attached patch. >>> >>> Bootstrapped and regression tested on x86_64-linux-gnu with no new >>> regressions. Is this OK for trunk? >>> >> >> I have no objections, but we need to wait for Honza. > > Thanks. > > Honza, is this OK for you ?
Either this patch or the patch for "Handle unary pass-through jump functions for ipa-vrp" caused a bootstrap failure on aarch64-linux-gnu. Bootstrap comparison failure! gcc/go/types.o differs gcc/fortran/class.o differs gcc/tree-ssa-live.o differs gcc/data-streamer-out.o differs gcc/ira-build.o differs gcc/hsa-gen.o differs gcc/hsa-brig.o differs gcc/omp-low.o differs gcc/lto-streamer-in.o differs gcc/real.o differs gcc/final.o differs gcc/df-core.o differs I bootstrap with the following options: --with-cpu=thunderx+lse --enable-languages=c,c++,fortran,go --disable-werror --with-sysroot=/ --enable-plugins --enable-gnu-indirect-function I have not tried removing the +lse part though Thanks, Andrew Pinski > > Thanks, > Kugan > > >> >> Thanks, >> >> Martin >> >>> Thanks, >>> Kugan >>> >>> >>> gcc/ChangeLog: >>> >>> 2016-10-28 Kugan Vivekanandarajah <kug...@linaro.org> >>> >>> PR ipa/78121 >>> * ipa-cp.c (propagate_vr_accross_jump_function): Pass param type. >>> Also fold constant passed as argument while computing value >>> range. >>> (propagate_constants_accross_call): Pass param type. >>> * ipa-prop.c: export ipa_get_callee_param_type. >>> * ipa-prop.h: export ipa_get_callee_param_type. >>> >>> gcc/testsuite/ChangeLog: >>> >>> 2016-10-28 Kugan Vivekanandarajah <kug...@linaro.org> >>> >>> PR ipa/78121 >>> * gcc.dg/ipa/pr78121.c: New test. >> >> >