On Fri, Jan 15, 2016 at 2:32 PM, Jeff Law wrote:
> On 01/14/2016 11:14 AM, Jeff Law wrote:
>>
>> On 01/14/2016 12:49 AM, Jakub Jelinek wrote:
>>>
>>> On Thu, Jan 14, 2016 at 08:46:43AM +0100, Jakub Jelinek wrote:
On Thu, Jan 14, 2016 at 12:38:52AM -0700, Jeff Law wrote:
>
> + /*
On 18/01/16 11:49, Jakub Jelinek wrote:
On Mon, Jan 18, 2016 at 11:38:37AM +, Kyrill Tkachov wrote:
On 18/01/16 11:31, Andreas Schwab wrote:
Jeff Law writes:
commit 1384b36abcd52a7ac72ca6538afa2aed2e04f8e0
Author: Jeff Law
Date: Fri Jan 15 17:15:24 2016 -0500
PR tree-optimiz
On Mon, Jan 18, 2016 at 11:38:37AM +, Kyrill Tkachov wrote:
> On 18/01/16 11:31, Andreas Schwab wrote:
> >Jeff Law writes:
> >
> >>commit 1384b36abcd52a7ac72ca6538afa2aed2e04f8e0
> >>Author: Jeff Law
> >>Date: Fri Jan 15 17:15:24 2016 -0500
> >>
> >>PR tree-optimization/69270
>
On 18/01/16 11:31, Andreas Schwab wrote:
Jeff Law writes:
commit 1384b36abcd52a7ac72ca6538afa2aed2e04f8e0
Author: Jeff Law
Date: Fri Jan 15 17:15:24 2016 -0500
PR tree-optimization/69270
* tree-ssanames.c (ssa_name_has_boolean_range): Moved here from
tree-ssa-dom.c
Jeff Law writes:
> commit 1384b36abcd52a7ac72ca6538afa2aed2e04f8e0
> Author: Jeff Law
> Date: Fri Jan 15 17:15:24 2016 -0500
>
> PR tree-optimization/69270
> * tree-ssanames.c (ssa_name_has_boolean_range): Moved here from
> tree-ssa-dom.c. Improve test for [0..1] ranve from
On Fri, Jan 15, 2016 at 03:32:33PM -0700, Jeff Law wrote:
> +bool
> +ssa_name_has_boolean_range (tree op)
> +{
> + gcc_assert (TREE_CODE (op) == SSA_NAME);
> +
> + /* Boolean types always have a range [0..1]. */
> + if (TREE_CODE (TREE_TYPE (op)) == BOOLEAN_TYPE)
> +return true;
> +
> + /*
On 01/14/2016 11:14 AM, Jeff Law wrote:
On 01/14/2016 12:49 AM, Jakub Jelinek wrote:
On Thu, Jan 14, 2016 at 08:46:43AM +0100, Jakub Jelinek wrote:
On Thu, Jan 14, 2016 at 12:38:52AM -0700, Jeff Law wrote:
+ /* An integral type with more precision, but the object
+ only takes on values [0
On 01/14/2016 11:27 AM, Jeff Law wrote:
Apart from what Jakub said we have constant_boolean_node for this,
true_val = constant_boolean_node (true, TREE_TYPE (op0));
Will update. Thanks.
Here's the patch which uses constant_boolean_node and verifies the type
is unsigned when it has a sing
86_64. Installed on the trunk.
Jeff
commit e9d42e91d1e88ece5be38dbde81843e516b327e0
Author: Jeff Law
Date: Thu Jan 14 00:37:37 2016 -0700
[PATCH][PR tree-optimization/69270] Exploit VRP information in DOM
PR tree-optimization/69270
* tree-ssa-
On 01/14/2016 12:49 AM, Jakub Jelinek wrote:
On Thu, Jan 14, 2016 at 08:46:43AM +0100, Jakub Jelinek wrote:
On Thu, Jan 14, 2016 at 12:38:52AM -0700, Jeff Law wrote:
+ /* An integral type with more precision, but the object
+ only takes on values [0..1] as determined by VRP
+ analysis.
ootstrapped and regression tested on x86_64. Installed on the trunk.
>
>
>
> Jeff
>
> commit e9d42e91d1e88ece5be38dbde81843e516b327e0
> Author: Jeff Law
> Date: Thu Jan 14 00:37:37 2016 -0700
>
> [PATCH][PR tree-optimization/69270] Expl
On Thu, Jan 14, 2016 at 08:46:43AM +0100, Jakub Jelinek wrote:
> On Thu, Jan 14, 2016 at 12:38:52AM -0700, Jeff Law wrote:
> > + /* An integral type with more precision, but the object
> > + only takes on values [0..1] as determined by VRP
> > + analysis. */
> > + wide_int min, max;
> >
On Thu, Jan 14, 2016 at 12:38:52AM -0700, Jeff Law wrote:
> + /* An integral type with more precision, but the object
> + only takes on values [0..1] as determined by VRP
> + analysis. */
> + wide_int min, max;
> + if (INTEGRAL_TYPE_P (TREE_TYPE (op))
> + && get_range_info (op, &mi
327e0
Author: Jeff Law
Date: Thu Jan 14 00:37:37 2016 -0700
[PATCH][PR tree-optimization/69270] Exploit VRP information in DOM
PR tree-optimization/69270
* tree-ssa-dom.c (ssa_name_has_boolean_range): New function.
(record_edge_info): Use it. Convert boolean_{true,
14 matches
Mail list logo