Re: expr_not_equal_to: use value_range API

2018-11-08 Thread Aldy Hernandez
On 11/8/18 9:55 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 3:50 PM Aldy Hernandez wrote: On 11/8/18 9:43 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 3:27 PM Aldy Hernandez wrote: On 11/8/18 9:21 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 1:09 PM Aldy Hernandez wro

Re: expr_not_equal_to: use value_range API

2018-11-08 Thread Richard Biener
On Thu, Nov 8, 2018 at 3:50 PM Aldy Hernandez wrote: > > > > On 11/8/18 9:43 AM, Richard Biener wrote: > > On Thu, Nov 8, 2018 at 3:27 PM Aldy Hernandez wrote: > >> > >> > >> > >> On 11/8/18 9:21 AM, Richard Biener wrote: > >>> On Thu, Nov 8, 2018 at 1:09 PM Aldy Hernandez wrote: > > A

Re: expr_not_equal_to: use value_range API

2018-11-08 Thread Aldy Hernandez
On 11/8/18 9:43 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 3:27 PM Aldy Hernandez wrote: On 11/8/18 9:21 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 1:09 PM Aldy Hernandez wrote: All this nonsense: - rtype = get_range_info (t, &min, &max); - if (rtype == VR_RANGE

Re: expr_not_equal_to: use value_range API

2018-11-08 Thread Richard Biener
On Thu, Nov 8, 2018 at 3:27 PM Aldy Hernandez wrote: > > > > On 11/8/18 9:21 AM, Richard Biener wrote: > > On Thu, Nov 8, 2018 at 1:09 PM Aldy Hernandez wrote: > >> > >> All this nonsense: > >> > >> - rtype = get_range_info (t, &min, &max); > >> - if (rtype == VR_RANGE) > >> - { >

Re: expr_not_equal_to: use value_range API

2018-11-08 Thread Aldy Hernandez
On 11/8/18 9:21 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 1:09 PM Aldy Hernandez wrote: All this nonsense: - rtype = get_range_info (t, &min, &max); - if (rtype == VR_RANGE) - { - if (wi::lt_p (max, w, TYPE_SIGN (TREE_TYPE (t - return true; -

Re: expr_not_equal_to: use value_range API

2018-11-08 Thread Richard Biener
On Thu, Nov 8, 2018 at 1:09 PM Aldy Hernandez wrote: > > All this nonsense: > > - rtype = get_range_info (t, &min, &max); > - if (rtype == VR_RANGE) > - { > - if (wi::lt_p (max, w, TYPE_SIGN (TREE_TYPE (t > - return true; > - if (wi::lt_p (w, min, TYPE

expr_not_equal_to: use value_range API

2018-11-08 Thread Aldy Hernandez
o_tree (TREE_TYPE (t), w))) Ain't it grand? OK for trunk, depending on get_range_info changes of course? Aldy commit 3a3fa7eb1baba60d17b4b7731972951173c5d615 Author: Aldy Hernandez Date: Thu Nov 8 13:04:59 2018 +0100 * fold-const.c (expr_not_equal_to): Use value_range API. diff -