[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 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 ptr type + ptr type 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 tree-optimization/22117] [4.1 Regression] VRP thinks ptr type + ptr type 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/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/22117] New: VRP thinks ptr type + ptr type is always nonnull.

2005-06-18 Thread kazu at cs dot umass dot edu
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 http

[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] 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] 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/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/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/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/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/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/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/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/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/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/bugzilla

[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 number of immediate

[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/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/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; bb 0: a.i = 1; a1_3 = a; i_4 = a.i; D.1687_5 = *i_4; D.1687_6 = D.1687_5

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

2005-05-18 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=21658

[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/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/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-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/21574] New: store_ccp doesn't see through a store.

2005-05-14 Thread kazu at cs dot umass dot edu
-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/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

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

2005-05-13 Thread kazu at cs dot umass dot edu
-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 gcc dot gnu dot

[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 dot gnu

[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/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/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/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 gcc dot

[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/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 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 ordering (running

[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
-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 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 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/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 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/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/21458] New: VRP does not remove a conditional in a loop

2005-05-08 Thread kazu at cs dot umass dot edu
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 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 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; bb 0: # VUSE global_3; D.1239_2 = p_1-c; if (D.1239_2 != 0) goto L2; else goto L0; L0

[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 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:/* { dg-options -O1 -fno-tree

[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 middle-end/21430] New: Quadratic behavior with constant initializers

2005-05-06 Thread kazu at cs dot umass dot edu
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.org/bugzilla

[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 |Added

[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
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/bugzilla

[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/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/21367] New: VRP does not fold if (a == b) in a certain situation

2005-05-03 Thread kazu at cs dot umass dot edu
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=21367

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

2005-05-03 Thread kazu at cs dot umass dot edu
-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/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/21348] New: tree-vrp.c:has_assert_expr is useless.

2005-05-02 Thread kazu at cs dot umass dot edu
: 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/bugzilla

[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. Let me

[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 thing happened

[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 16:27 --- Just checked in a patch. -- What|Removed |Added Status|ASSIGNED

[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
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/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/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
--- 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/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) in the loop and see something

[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
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/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 dot gnu

[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 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/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/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 gfortran and -O2. Kazu

[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/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/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/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/21137] New: Convert (a 2) 1 != 0 into a 4 != 0

2005-04-20 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=21137

[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/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
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 ReportedBy: kazu at cs dot umass dot edu

[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/21001] VRP is weak when the tested variable in a COND_EXPR is used only in the COND_EXPR.

2005-04-18 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/21086] New: VRP does not extract a value from a comparison expression.

2005-04-18 Thread kazu at cs dot umass dot edu
dot edu 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=21086

[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/21090] New: VRP does not notice nonzero-ness from a PHI node

2005-04-18 Thread kazu at cs dot umass dot edu
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/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 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 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 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 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/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 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) integer_type 0xb7cf5510 int public SI size

[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 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/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/20657] [tcb] VRP does not get rid of a redundant if statement.

2005-04-14 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-04-14 13:07 --- Patch posted: http://gcc.gnu.org/ml/gcc-patches/2005-04/msg01577.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20657

[Bug tree-optimization/20657] [tcb] VRP does not get rid of a redundant if statement.

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

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

2005-04-14 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=21021

  1   2   3   4   >