[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code (VRP related)

2005-06-25 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-06-26 03:51 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/22117] [4.1 Regression] VRP thinks + is always nonnull.

2005-06-23 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-06-24 01:59 --- Just checked in a patch. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22117

[Bug middle-end/22156] [4.0/4.1 Regression] bit-field copying regressed

2005-06-23 Thread kazu at cs dot umass dot edu
-- What|Removed |Added CC||kazu at cs dot umass dot edu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22156

[Bug tree-optimization/22117] [4.1 Regression] VRP thinks + is always nonnull.

2005-06-21 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | Status|NEW

[Bug tree-optimization/22117] New: VRP thinks + is always nonnull.

2005-06-18 Thread kazu at cs dot umass dot edu
-code Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org htt

[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code (VRP related)

2005-06-18 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | Status|NEW

[Bug tree-optimization/21849] wrong use of sbitmap in tree-ssa-copy.c

2005-06-02 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-06-03 04:09 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/21849] wrong use of sbitmap in tree-ssa-copy.c

2005-06-02 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | Status|UNCONFIRMED

[Bug tree-optimization/21849] New: wrong use of sbitmap in tree-ssa-copy.c

2005-05-31 Thread kazu at cs dot umass dot edu
Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21849

[Bug tree-optimization/21791] New: ccp and copy-prop print out too much garbage with -fdump-tree-ccp/copy-details

2005-05-27 Thread kazu at cs dot umass dot edu
/copy-details Product: gcc Version: unknown Status: UNCONFIRMED Severity: enhancement Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu

[Bug tree-optimization/21658] CCP does not propagate ADDR_EXPR far enough.

2005-05-27 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-27 16:33 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/21765] New: -free-vrp is undocumented.

2005-05-26 Thread kazu at cs dot umass dot edu
dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21765

[Bug tree-optimization/21705] FRE does not eliminate a redundant pure call.

2005-05-22 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |dberlin at gcc dot gnu dot |dot org |org Status|NEW

[Bug tree-optimization/21348] tree-vrp.c:has_assert_expr is useless.

2005-05-22 Thread kazu at cs dot umass dot edu
-- What|Removed |Added BugsThisDependsOn||18373 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21348

[Bug tree-optimization/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124

2005-05-22 Thread kazu at cs dot umass dot edu
-- What|Removed |Added BugsThisDependsOn||18373 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21076

[Bug tree-optimization/21582] (optimisation) VRP pass could/should use non-null function attribute

2005-05-22 Thread kazu at cs dot umass dot edu
-- What|Removed |Added BugsThisDependsOn||18373 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21582

[Bug tree-optimization/21705] New: FRE does not catch eliminate a redundant pute call.

2005-05-21 Thread kazu at cs dot umass dot edu
gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dberlin at gcc dot gnu dot org,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21705

[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2005-05-21 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-21 17:01 --- (In reply to comment #2) > There is a reason why forwprop does not do this, the SSA_NAME is used twice. If we run forwprop > before FRE, it will catch it in this We are interested in the num

[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2005-05-21 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-21 09:45 --- The DOM's optimization comes from find_equivalent_equality_comparison, which makes a COND_EXPR absorb a narrowing cast. We could port this to tree-ssa-forwprop.c. -- http://gcc.gnu.org/bug

[Bug tree-optimization/21694] New: Missed forwprop opportunity into COND_EXPR

2005-05-21 Thread kazu at cs dot umass dot edu
AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21694

[Bug tree-optimization/21658] CCP does not propagate ADDR_EXPR far enough.

2005-05-18 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | Status|UNCONFIRMED

[Bug tree-optimization/21658] New: CCP does not propagate ADDR_EXPR far enough.

2005-05-18 Thread kazu at cs dot umass dot edu
Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21658

[Bug tree-optimization/21636] Missed ccp optimization

2005-05-18 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-18 20:56 --- Confirmed. Here is what I get from the first CCP. int g() () { int * i; struct f * a1; struct f a; int D.1687; : a.i = 1; a1_3 = &a; i_4 = &a.i; D.1687_5 = *i_4; D.1687_6 =

[Bug tree-optimization/21636] Missed ccp optimization

2005-05-18 Thread kazu at cs dot umass dot edu
-- What|Removed |Added CC||kazu at cs dot umass dot edu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21636

[Bug tree-optimization/21576] FRE does not eliminate a redundant builtin call.

2005-05-15 Thread kazu at cs dot umass dot edu
-- What|Removed |Added Target Milestone|--- |4.1.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21576

[Bug tree-optimization/21576] New: FRE does not eliminate a redundant builtin call.

2005-05-14 Thread kazu at cs dot umass dot edu
Status: UNCONFIRMED Keywords: missed-optimization Severity: enhancement Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dberlin at gcc dot gnu d

[Bug tree-optimization/21574] New: store_ccp doesn't see through a store.

2005-05-14 Thread kazu at cs dot umass dot edu
t: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21574

[Bug tree-optimization/21563] A trivial VRP opportunity missed

2005-05-14 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-14 20:33 --- Just checked in a patch. -- What|Removed |Added URL

[Bug tree-optimization/21289] A numeric range is spoiled by a symblic one in VRP

2005-05-14 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-14 19:40 --- Another case of a numeric value range spoiled by a symbolic one: int foo (int a, int b) { if (a == 0) return 0; if (a == b) if (a == 0) return 123; return 456; } Reduced from c

[Bug tree-optimization/21563] A trivial VRP opportunity missed

2005-05-13 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-14 01:38 --- I've got a patch. -- What|Removed |Added AssignedTo|unassigned at gcc do

[Bug tree-optimization/21563] New: A trivial VRP opportunity missed

2005-05-13 Thread kazu at cs dot umass dot edu
words: missed-optimization Severity: enhancement Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gc

[Bug tree-optimization/18472] TREE_OPERAND (t, 1) is referenced for t being GOTO_EXPR

2005-05-11 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-11 18:30 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/18472] TREE_OPERAND (t, 1) is referenced for t being GOTO_EXPR

2005-05-11 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | URL

[Bug tree-optimization/21367] VRP does not fold "if (a == b)" in a certain situation

2005-05-10 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-11 03:04 --- I've got a patch in testing. -- What|Removed |Added AssignedTo|unassigned at gc

[Bug tree-optimization/21170] [4.1 Regression] Comments still mention rewrite_ssa_into_ssa.

2005-05-10 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-10 20:22 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug tree-optimization/21458] VRP does not remove a conditional in a loop

2005-05-09 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-10 05:47 --- DOM leaves PHI nodes like # i_5 = PHI <1(0)>; Then SCEV gives a symbolic initial value like i_5 with the step being 1. So the information from SCEV is useless here. With a tcb-like pass or

[Bug tree-optimization/8681] Generates unneeded test

2005-05-09 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-10 05:37 --- The same patch for PR 21458 would work. -- What|Removed |Added AssignedTo|unassigned

[Bug testsuite/21443] Most testcases with -fdump-tree-store_ccp aren't actually testing CCP itself.

2005-05-09 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-10 00:59 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/21458] New: VRP does not remove a conditional in a loop

2005-05-08 Thread kazu at cs dot umass dot edu
t gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org,steven at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21458

[Bug tree-optimization/15838] "Inline" value of static struct

2005-05-08 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-08 21:30 --- Just checked in a patch. -- What|Removed |Added Target Milestone

[Bug tree-optimization/15838] "Inline" value of static struct

2005-05-08 Thread kazu at cs dot umass dot edu
-- Bug 15838 depends on bug 14841, which changed state. Bug 14841 Summary: [tree-ssa] const_array[CST] is not folded http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14841 What|Old Value |New Value

[Bug tree-optimization/8826] "a >> b" differs from "a.operator>>(b)" in that virtual function calls are not avoided

2005-05-08 Thread kazu at cs dot umass dot edu
-- Bug 8826 depends on bug 14841, which changed state. Bug 14841 Summary: [tree-ssa] const_array[CST] is not folded http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14841 What|Old Value |New Value -

[Bug middle-end/14840] [tree-ssa] fold tree_code_type[CST] and tree_code_length[CST] in GCC itself

2005-05-08 Thread kazu at cs dot umass dot edu
-- Bug 14840 depends on bug 14841, which changed state. Bug 14841 Summary: [tree-ssa] const_array[CST] is not folded http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14841 What|Old Value |New Value

[Bug tree-optimization/14841] [tree-ssa] const_array[CST] is not folded

2005-05-08 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-08 21:30 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug c++/21454] New: const array doesn't live in the rodata section in C++

2005-05-08 Thread kazu at cs dot umass dot edu
nown Status: UNCONFIRMED Keywords: missed-optimization Severity: normal Priority: P2 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21454

[Bug testsuite/21443] ssa-ccp-9.c etc is broken

2005-05-07 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-07 17:02 --- A quick grep for fdump-tree-store_ccp shows 20030731-2.c:/* { dg-options "-O1 -fdump-tree-store_ccp" } */ 20030917-1.c:/* { dg-options "-O1 -fdump-tree-store_ccp" } */ 20030917-3.c:/* {

[Bug testsuite/21443] ssa-ccp-9.c etc is broken

2005-05-07 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | Status|NEW

[Bug tree-optimization/14705] [tree-ssa] more alias analysis needed!?

2005-05-07 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-07 15:03 --- FWIW, here is the last SSA form I get with vops. foo (p) { int D.1241; int global.0; int D.1239; : # VUSE ; D.1239_2 = p_1->c; if (D.1239_2 != 0) goto ; else goto ; :; # VUSE ; glo

[Bug testsuite/21443] New: ssa-ccp-9.c etc is broken

2005-05-07 Thread kazu at cs dot umass dot edu
Version: unknown Status: UNCONFIRMED Severity: normal Priority: P2 Component: testsuite AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu

[Bug middle-end/14840] [tree-ssa] fold tree_code_type[CST] and tree_code_length[CST] in GCC itself

2005-05-06 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-07 05:14 --- In *.final_cleanup of cc1-i files with --enable-checking, I see 1308 occurrences of tree_code_type[CST] 979 occurrences of tree_code_length[CST] -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14840

[Bug tree-optimization/15838] "Inline" value of static struct

2005-05-06 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-07 04:48 --- My patch for PR14841 also works for this case. -- What|Removed |Added AssignedTo

[Bug middle-end/21433] New: The COMPONENT_REF case of expand_expr_real_1 is probably wrong

2005-05-06 Thread kazu at cs dot umass dot edu
known Status: UNCONFIRMED Severity: normal Priority: P2 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bug

[Bug tree-optimization/14841] [tree-ssa] const_array[CST] is not folded

2005-05-06 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-07 03:08 --- I've extended Steven's patch to handle nested aggregates (i.e. any combination of ARRAY_REF and COMPONENT_REF). -- What|Removed

[Bug middle-end/21430] New: Quadratic behavior with constant initializers

2005-05-06 Thread kazu at cs dot umass dot edu
NCONFIRMED Keywords: compile-time-hog Severity: normal Priority: P2 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.or

[Bug middle-end/21417] Missed jump threading opportunity on trees

2005-05-06 Thread kazu at cs dot umass dot edu
-- What|Removed |Added CC||kazu at cs dot umass dot edu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21417

[Bug tree-optimization/21368] New: VRP does not know that &s.a != NULL

2005-05-03 Thread kazu at cs dot umass dot edu
Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21368

[Bug tree-optimization/21367] New: VRP does not fold "if (a == b)" in a certain situation

2005-05-03 Thread kazu at cs dot umass dot edu
uation Product: gcc Version: unknown Status: UNCONFIRMED Keywords: missed-optimization Severity: enhancement Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot um

[Bug tree-optimization/21348] New: tree-vrp.c:has_assert_expr is useless.

2005-05-02 Thread kazu at cs dot umass dot edu
erity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bug

[Bug tree-optimization/21294] Missed removal of null pointer check

2005-05-02 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-02 18:07 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/21294] Missed removal of null pointer check

2005-04-29 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-30 03:34 --- I've got a patch in testing. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21294

[Bug tree-optimization/21294] Missed removal of null pointer check

2005-04-29 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | Status|UNCONFIRMED

[Bug tree-optimization/21294] Missed removal of null pointer check

2005-04-29 Thread kazu at cs dot umass dot edu
-- What|Removed |Added CC||kazu at cs dot umass dot edu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21294

[Bug tree-optimization/21289] New: A numeric range is spoiled by a symblic one in VRP

2005-04-29 Thread kazu at cs dot umass dot edu
signedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21289

[Bug tree-optimization/21030] [4.1 Regression] ICE in set_value_range building 176.gcc with -O2

2005-04-29 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-29 16:27 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/21030] [4.1 Regression] ICE in set_value_range building 176.gcc with -O2

2005-04-29 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-29 16:25 --- Just checked in a patch. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21030

[Bug tree-optimization/21030] [4.1 Regression] ICE in set_value_range building 176.gcc with -O2

2005-04-29 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-29 14:55 --- Subject: Re: [4.1 Regression] ICE in set_value_range building 176.gcc with -O2 Hi Diego, > Kazu, did you mail your patch before attaching it to bugzilla? I > haven't received it. The same thi

[Bug tree-optimization/21030] [4.1 Regression] ICE in set_value_range building 176.gcc with -O2

2005-04-29 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-29 14:35 --- Diego, no, I don't mind. But I have a patch whose bootstrap is almost over and regression testing is about to start. This patch does not break g++dg/tree-ssa/pr18178.C unlike my previous patch. L

[Bug tree-optimization/21030] [4.1 Regression] ICE in set_value_range building 176.gcc with -O2

2005-04-28 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-28 19:33 --- Diego, I think it's OK to have contradictory information from an ASSERT_EXPR and SCEV. Let's say we have a loop counting from i = 0 upward. It's possible that we "if (i < 0)" i

[Bug tree-optimization/21258] Teach VRP to pick up a constant from case label.

2005-04-27 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-28 05:45 --- I'm testing a patch. -- What|Removed |Added AssignedTo|unassigned at gcc do

[Bug tree-optimization/21258] New: Teach VRP to pick up a constant from case label.

2005-04-27 Thread kazu at cs dot umass dot edu
Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21258

[Bug tree-optimization/21047] ASSERT_EXPR handling in fold never triggers.

2005-04-26 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-26 15:18 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug tree-optimization/21030] [4.1 Regression] ICE in set_value_range building 176.gcc with -O2

2005-04-24 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-24 14:02 --- I just went through the regression testing. I get FAIL: g++.dg/tree-ssa/pr18178.C scan-tree-dump-times if 1 It may be a good idea to check in this patch with the above testcase XFAILed. -- http

[Bug middle-end/21180] [4.1 Regression] checking on fold no longer happens in some cases

2005-04-23 Thread kazu at cs dot umass dot edu
-- What|Removed |Added Summary|[4.1 Regression] checking on|[4.1 Regression] checking on |fold is no longer happen in |fold no longer happens in

[Bug tree-optimization/21030] [4.1 Regression] ICE in set_value_range building 176.gcc with -O2

2005-04-23 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-23 14:13 --- Subject: Re: [4.1 Regression] ICE in set_value_range building 176.gcc with -O2 Hi Toon, > > Kazu, I just tried the patch, pr21030-vrp-ice.patch. > > It seems to fix the problems with gfor

[Bug tree-optimization/21170] New: Comments still mention rewrite_ssa_into_ssa.

2005-04-23 Thread kazu at cs dot umass dot edu
: unknown Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: dnovillo at redhat dot com ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org

[Bug tree-optimization/21088] VRP passes fold the type of operands of a comparison

2005-04-23 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-23 02:03 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug tree-optimization/21137] New: Convert (a >> 2) & 1 != 0 into a & 4 != 0

2005-04-20 Thread kazu at cs dot umass dot edu
cement Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21137

[Bug tree-optimization/14847] [tree-ssa] combine "if (a & 1) goto there" and "if (a & 4) goto there"

2005-04-20 Thread kazu at cs dot umass dot edu
-- Bug 14847 depends on bug 14846, which changed state. Bug 14846 Summary: [tree-ssa] don't use a shift in A & CST_POWER_OF_2 == 0 until very late in tree-ssa optimizations http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14846 What|Old Value |New Value ---

[Bug tree-optimization/14846] [tree-ssa] don't use a shift in A & CST_POWER_OF_2 == 0 until very late in tree-ssa optimizations

2005-04-20 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-21 00:40 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug tree-optimization/21116] [4.1 Regression] tree-ssa-phiopt.c:193 has wrong translation from EDGE_COUNT to single_succ_p.

2005-04-20 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-20 13:20 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/21116] tree-ssa-phiopt.c:193 has wrong translation from EDGE_COUNT to single_succ_p.

2005-04-19 Thread kazu at cs dot umass dot edu
-- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |kazu at cs dot umass dot edu |dot org | Status|UNCONFIRMED

[Bug tree-optimization/21116] New: tree-ssa-phiopt.c:193 has wrong translation from EDGE_COUNT to single_succ_p.

2005-04-19 Thread kazu at cs dot umass dot edu
pt.c:193 has wrong translation from EDGE_COUNT to single_succ_p. Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org R

[Bug tree-optimization/21096] copy-prop leaks memory

2005-04-19 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-19 11:44 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug tree-optimization/21096] New: copy-prop leaks memory

2005-04-18 Thread kazu at cs dot umass dot edu
: P2 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21096

[Bug tree-optimization/21090] New: VRP does not notice nonzero-ness from a PHI node

2005-04-18 Thread kazu at cs dot umass dot edu
on AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21090

[Bug tree-optimization/21088] New: VRP passes fold the type of operands of a comparison

2005-04-18 Thread kazu at cs dot umass dot edu
. -- Summary: VRP passes fold the type of operands of a comparison Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P2 Component: tree-optimization AssignedTo: kazu at cs dot umass dot edu

[Bug tree-optimization/21086] New: VRP does not extract a value from a comparison expression.

2005-04-18 Thread kazu at cs dot umass dot edu
comparison expression. Product: gcc Version: unknown Status: UNCONFIRMED Keywords: missed-optimization Severity: enhancement Priority: P2 Component: tree-optimization AssignedTo: kazu at cs dot umass dot edu

[Bug tree-optimization/21001] VRP is weak when the tested variable in a COND_EXPR is used only in the COND_EXPR.

2005-04-17 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-18 06:11 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug tree-optimization/21021] [4.1 Regression] ICE in tree-vrp building glibc

2005-04-16 Thread kazu at cs dot umass dot edu
-- Bug 21021 depends on bug 21024, which changed state. Bug 21024 Summary: fold generates a comparison of two operands whose types do not match http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21024 What|Old Value |New Value

[Bug middle-end/21024] fold generates a comparison of two operands whose types do not match

2005-04-16 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-17 01:41 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug middle-end/21024] fold generates a comparison of two operands whose types do not match

2005-04-16 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-16 14:07 --- Patch posted: http://gcc.gnu.org/ml/gcc-patches/2005-04/msg01830.html -- What|Removed |Added

[Bug tree-optimization/21001] VRP is weak when the tested variable in a COND_EXPR is used only in the COND_EXPR.

2005-04-15 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-15 20:32 --- Patch posted: http://gcc.gnu.org/ml/gcc-patches/2005-04/msg01770.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21001

[Bug tree-optimization/21031] Another missed forward propagation opportunity

2005-04-15 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-15 18:44 --- Just checked in a patch. -- What|Removed |Added Status|NEW

[Bug tree-optimization/21047] New: ASSERT_EXPR handling in fold never triggers.

2005-04-15 Thread kazu at cs dot umass dot edu
dot org ReportedBy: kazu at cs dot umass dot edu CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21047

[Bug c/21024] fold generates a comparison of two operands whose types do not match

2005-04-15 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-15 16:37 --- build_binary_op builds a binary tree node for r >= (const void *) *q; Here are the details. (gdb) p resultcode $2 = GE_EXPR (gdb) call debug_tree(build_type) constant invariant 32> unit size co

[Bug tree-optimization/21031] Another missed forward propagation opportunity

2005-04-15 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-15 15:30 --- Patch posted: http://gcc.gnu.org/ml/gcc-patches/2005-04/msg01726.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21031

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

2005-04-15 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-15 14:07 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/20936] [4.1 Regression] tree check: accessed operand 2 of view_convert_expr with 1 operands

2005-04-14 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-15 04:05 --- Testing the obvious fix. -- What|Removed |Added AssignedTo|unassigned at gcc dot gnu

[Bug tree-optimization/21021] [4.1 Regression] ICE in tree-vrp building glibc

2005-04-14 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-15 01:31 --- Just checked in a workaround patch. For a real fix, keep an eye on PR 21024. -- What|Removed |Added

[Bug tree-optimization/21021] [4.1 Regression] ICE in tree-vrp building glibc

2005-04-14 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-14 23:07 --- Patch posted: http://gcc.gnu.org/ml/gcc-patches/2005-04/msg01668.html -- What|Removed |Added

  1   2   3   4   >