Re: [patch testsuite]: Adjust some tests of gcc.dg and gcc.c-torture for mingw targets

2012/2/23 Kai Tietz : > 2012/2/23 Jakub Jelinek : >> Why?  I don't see extensions anywhere.  Or is __SIZE_TYPE__ on mingw >> long long and requires __extension__?  If yes, it should at least go >> right before the argument, but perhaps then it should be already >

Re: [patch testsuite]: Adjust some tests of gcc.dg and gcc.c-torture for mingw targets

2012/2/23 Jakub Jelinek : > On Thu, Feb 23, 2012 at 06:23:39PM +0100, Kai Tietz wrote: >> And the underlying issue is that __extension__ can't be use before >> __SIZE_TYPE__ here. gcc lacks to parse that proper.  You would get > > Then please use > __extension__ typede

[patch libgcc]: Fix float128 soft-float for mingw targets

gw targets. ChangeLog 2012-02-27 Kai Tietz * soft-fp/quad.h: Mark bitfield-structures as gcc_struct. Regression tested for i686-w64-mingw32, x86_64-w64-mingw32, and x86_64-unknown-linux-gnu for all languages (including Ada + Obj-C++). Ok for apply? Regards, Kai Index: soft

[patch testsuite]: Fix various testsuite failures in gcc.target/i386

Hello, this patch fixes various testsuite failures in gcc.target/i386 for mingw targets. ChangeLog 2012-02-27 Kai Tietz * gcc.target/i386/pr46939.c (long): Fix LP64 vs LLP64 issue. * gcc.target/i386/pr45352-2.c: Likewise. * gcc.target/i386/bitfield3.c: Add

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

;ll need to explain why the issue doesn't > affect the others. Yes, I noticed the issue only for quad.h, and other routines seems not to be used on IA mingw hosts. Nevertheless I revised my patch to mark also bitfield-structures in extended.h by _FP_STRUCT_LAYOUT macro. > -- > Jo

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

2012/2/27 Joseph S. Myers : > On Mon, 27 Feb 2012, Kai Tietz wrote: > >> For gcc_struct variant bitfields with different types get merged >> together, but for ms_struct  bitfields are getting merged together >> only, if they have same type.  As in those structures - I m

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

So here is the libgcc patch only. ChangeLog gcc's libgcc 2012-02-28 Kai Tietz * config/i386/sfp-machine.h (_FP_STRUCT_LAYOUT): Define it for mingw-targets as attribute gcc_struct. Ok for apply? Regards, Kai Index: config/i386/sfp-mach

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

2012/2/27 Joseph S. Myers : > On Mon, 27 Feb 2012, Kai Tietz wrote: > >> 2012-02-28  Kai Tietz   >> >>       * soft-fp/soft-fp.h (_FP_STRUCT_LAYOUT): If not defined, >>       define it as empty macro. >>       * soft-fp/quad.h: Mark bitfield-structures by _

[patch testsuite]: Adjust some tests for mingw targets

Hi, this test adjust some test for mingw targets. ChangeLog 2012-03-01 Kai Tietz * gcc.dg/torture/pr47917.c: Make test using POSIX-printf routines on mingw targets. * gcc.dg/vect/pr46126.c (size_t): Add support for LLP64 target. * gcc.dg/format/dfp

Re: [patch testsuite]: Adjust some tests for mingw targets

2012/3/1 Rainer Orth : > Kai Tietz writes: > >> this test adjust some test for mingw targets. > > would you please fix you mailer not to break long lines?  It makes > reviewing harder. > >>

[patch changes]: Add new Windows IA-32/x86_64 features

Hi, this patch adds some of the new features of gcc 4.7 to the changes.html. Ok for apply? Regards, Kai Index: wwwdocs/htdocs/gcc-4.7/changes.html === --- wwwdocs.orig/htdocs/gcc-4.7/changes.html +++ wwwdocs/htdocs/gcc-4.7/changes.

Re: [patch testsuite]: Adjust some tests for mingw targets

So updated patch (sorry the gmail-mailer breaks lines up here, and I can't configure it for not doing so. So I attached patch, too). 2012-03-01 Kai Tietz * gcc.dg/torture/pr47917.c: Make test using POSIX-printf routines on mingw targets. * gcc.dg/vect/pr46

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

2012/3/1 Joseph S. Myers : > On Thu, 1 Mar 2012, Kai Tietz wrote: > >> Thanks, I adjusted ChangeLog, comment, and added the copyright year. >> It would be kind, if somebody could apply this patch to glibc's >> repository as I don't have commit access to it.  I ca

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

truct layout, the following patch is required to fix floating-point-software-emulation failures caused by difference in handling consecutive bitfields with different types. ChangeLog 2012-03-01 Kai Tietz * soft-fp/extended.h: Imported from glibc upstream. * soft-fp/float.h: Lik

Re: [patch testsuite]: Adjust some tests for mingw targets

2012/3/1 Rainer Orth : > Kai Tietz writes: > >> So updated patch (sorry the gmail-mailer breaks lines up here, and I >> can't configure it for not doing so.  So I attached patch, too). > > Ok.  In the future, please indicate on which platforms and how you > tes

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

2012/3/1 Joseph S. Myers : > On Thu, 1 Mar 2012, Kai Tietz wrote: > >> As I understand the README file in soft-fp, just those files affected >> by my patch need to be merged from glibc. > > It's better to import the lot, rather than have mixed versions.  (But if >

Re: [patch libgcc]: Fix float128 soft-float for mingw targets

2012/3/1 Joseph S. Myers : > On Thu, 1 Mar 2012, Kai Tietz wrote: > >> 2012-03-01  Kai Tietz   >> >>       * soft-fp: Imported from glibc upstream. >> >> Ok for apply ? > > If this is just copying the files from glibc, then it's OK for GCC. Yes, it is. Applied at rev 184760. Thanks, Kai

[patch mingw/cygwin]: Allow relocated const data to be put in read-only section by default

Hi, this patch allows that relocated const data is placed into .rdata. To provide old behavior for older runtimes not supporting pseudo-relocation operating on read-only sections, the option -fwritable-relocated-rdata can be used. ChangeLog 2012-03-03 Kai Tietz * doc/invoke.texi

Re: [patch mingw/cygwin]: Allow relocated const data to be put in read-only section by default

Hi, as from Dave's side there is no objection, I committed this patch to 4.8 at revision 185027. Regards, Kai 2012/3/3 Kai Tietz : > Hi, > > this patch allows that relocated const data is placed into .rdata.  To provide > old behavior for older runtimes not supporting

Re: [patch tree-ssa-reassoc.c]: Better reassoication for comparision and boolean-logic

2011/5/20 Richard Guenther : > On Thu, May 19, 2011 at 7:52 PM, Kai Tietz wrote: >> To illustrate in which scenario code in tree-ssa-forwprop doesn't help >> is binop-tor4.c >> >> w/o this patch we get >> >> >> foo (int a, int b, int c) >>

[patch ada]: Fix bootstrap for Ada

Hi, this patch fixes an obvious bootstrap issue caused by trying to assign a constant pointer to an none-constant. Index: adaint.c === --- adaint.c(revision 174060) +++ adaint.c(working copy) @@ -3367,8 +3367,8 @@ char * __

Re: [patch ada]: Fix bootstrap for Ada

2011/5/24 Arnaud Charlet : >> > I'm confused. The above looks wrong to me: it does not return an empty >> > string, >> > it returns a pointer to an uninitialized string, which cannot be right >> > (and >> > should generate a warning :-) >> >> No, static vars are implicitly zero initialized when not

[patch gimplify]: Make sure comparison using boolean-type after gimplification

27;s sake, and we need to deal in fold-const about type-conversion of comparisons special. Additionally it takes care that in forwprop pass we don't do type hoising for boolean types. ChangeLog 2011-05-26 Kai Tietz * gimplify.c (gimple_boolify): Boolify a

Re: [patch gimplify]: Make sure comparison using boolean-type after gimplification

2011/5/26 Richard Guenther : > On Thu, May 26, 2011 at 12:20 PM, Kai Tietz wrote: >> Hello, >> >> this patch ensures that after gimplification also comparison expressions >> using FE's boolean_type_node.  As we need to deal here with C/C++'s >> (

Re: [patch gimplify]: Make sure comparison using boolean-type after gimplification

2011/5/26 Richard Guenther : > On Thu, May 26, 2011 at 12:46 PM, Richard Guenther > wrote: >> On Thu, May 26, 2011 at 12:20 PM, Kai Tietz wrote: >>> Hello, >>> >>> this patch ensures that after gimplification also comparison expressions >>> using

Re: [patch gimplify]: Make sure comparison using boolean-type after gimplification

2011/5/26 Richard Guenther : > On Thu, May 26, 2011 at 1:11 PM, Kai Tietz wrote: >> 2011/5/26 Richard Guenther : >>> On Thu, May 26, 2011 at 12:46 PM, Richard Guenther >>> wrote: >>>> On Thu, May 26, 2011 at 12:20 PM, Kai Tietz wrote: >>>>

Re: [patch gimplify]: Make sure comparison using boolean-type after gimplification

2011/5/26 Richard Guenther : > On Thu, May 26, 2011 at 1:20 PM, Kai Tietz wrote: >> 2011/5/26 Richard Guenther : >>> On Thu, May 26, 2011 at 1:11 PM, Kai Tietz wrote: >>>> 2011/5/26 Richard Guenther : >>>>> On Thu, May 26, 2011 at 12:46 PM, Richard

Re: [patch gimplify]: Make sure comparison using boolean-type after gimplification

2011/5/26 Richard Guenther : > On Thu, May 26, 2011 at 1:28 PM, Kai Tietz wrote: >> 2011/5/26 Richard Guenther : >>> On Thu, May 26, 2011 at 1:20 PM, Kai Tietz wrote: >>>> 2011/5/26 Richard Guenther : >>>>> On Thu, May 26, 2011 at 1:11 PM, Kai

Re: [build] Move ENABLE_EXECUTE_STACK to toplevel libgcc

- Original Message - From: "Rainer Orth" To: gcc-patches@gcc.gnu.org Cc: "Joseph S. Myers" , "Paolo Bonzini" , "Ralf Wildenhues" , "Mike Stump" , "Loren J. Rittle" , "Kai Tietz" , "Dave Korn" , "

Re: [build] Move MD_UNWIND_SUPPORT to toplevel libgcc

- Original Message - From: "Rainer Orth" To: gcc-patches@gcc.gnu.org Cc: "Joseph S. Myers" , "Paolo Bonzini" , "Ralf Wildenhues" , "Douglas Rupp" , "Tristan Gingold" , "John David Anglin" , "Steve Ellcey"

Re: [build] Move MD_UNWIND_SUPPORT to toplevel libgcc

2011/5/31 Paolo Bonzini : > On 05/30/2011 07:54 PM, Kai Tietz wrote: >> >> > -/* For 64-bit Windows we can't use DW2 unwind info. Also for multilib >> > -   builds we can't use it, too.  */ >> > -#if !TARGET_64BIT_DEFAULT&&  !defined (TARGET

Re: [build] Move MD_UNWIND_SUPPORT to toplevel libgcc

2011/6/1 Richard Henderson : > On 06/01/2011 09:01 AM, Rainer Orth wrote: >> The problem with this approach is that some of the macros tested only >> live in gcc, not libgcc once the libgcc sources no longer include tm.h >> etc.  E.g. look at i386/mingw32.h: >> >> #if !TARGET_64BIT_DEFAULT && !defi

Re: [build] Move MD_UNWIND_SUPPORT to toplevel libgcc

Ok, windows part of the patch is ok. Thanks, Kai

[patch libgcc committed]: Fix missing include of windows.h for mingw targets

Hello, by recent changes about HAVE_ENABLE_EXECUTE_STACK and moving code into libgcc2.c the necessary header include of windows.h was removed for config/i386/mingw32.h for LIBGCC2 case. This header is necessary for trampoline code in libgcc2.c, as for mingw target platform API is used. ChangeLog

[patch fold-const.c]: Add some missing optimizations about binary and and truth-not

Log 2011-06-20 Kai Tietz * fold-const.c (fold_binary_loc): Add missing folding for truth-not operations in combination with binary and. ChangeLog 2011-06-20 Kai Tietz * gcc.dg/binop-notand1.c: New test. * gcc.dg/binop-notand2.c: New test. * gc

Re: [patch fold-const.c]: Add some missing optimizations about binary and and truth-not

2011/6/20 Richard Guenther : > On Mon, Jun 20, 2011 at 12:23 PM, Kai Tietz wrote: >> Hello, >> >> this patch adds to fold_binary_loc some missing optimization for binary >> and operations on truth-not expressions. >> Added cases are: >>  (!X & X)

[patch tree-ssa-forwprop]: Improve binary and/or/xor folding

op !Y, if type of X is compatible to Y. ChangeLog gcc 2011-06-22 Kai Tietz * tree-ssa-forwprop.c (simplify_bitwise_binary): Improve binary folding regarding casts. ChangeLog gcc/testsuite 2011-06-22 Kai Tietz * gcc.dg/binop-notand1a.c: New test. * gcc.dg/

[patch tree-ssa-math-opts]: Improve bswap detection

Hello, this patch improves the bswap (32/64) detection and fixes an issue about shifted bit values out of type-size precision. ChangeLog 2011-06-27 Kai Tietz * tree-ssa-math-opts.c (do_shift_rotate): Zero bits out of type precision after operation. (find_bswap

Re: [patch tree-ssa-math-opts]: Improve bswap detection

2011/6/27 Richard Guenther : > On Mon, Jun 27, 2011 at 10:06 AM, Kai Tietz wrote: >> Hello, >> >> this patch improves the bswap (32/64) detection and fixes an issue about >> shifted bit values out of type-size precision. >> >> ChangeLog >> >> 2

Re: [patch tree-ssa-forwprop]: Improve binary and/or/xor folding

2011/6/27 Richard Guenther : > On Wed, Jun 22, 2011 at 3:09 PM, Kai Tietz wrote: >> Hello, >> >> This patch improves via type-sinking folding of binary and, or, and >> xor operations. >> First we do sinking also for compatible types with same precision, as >&g

[patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations

then for si mode case. ChangeLog 2011-06-27 Kai Tietz * tree-ssa-forwprop.c (simplify_bitwise_binary): Improve type sinking. * tree-ssa-math-opts.c (execute_optimize_bswap): Separate search for di/si mode patterns for finding widest match. Bootstrapped and

Re: [patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations

2011/6/27 Richard Guenther : > On Mon, Jun 27, 2011 at 3:46 PM, Kai Tietz wrote: >> Hello, >> >> this patch sink type conversions in forward-propagate for the following >> patterns: >> - ((type) X) op ((type) Y): If X and Y have compatible types. >> -

Re: [patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations

- Original Message - From: "Richard Guenther" To: "Kai Tietz" Cc: gcc-patches@gcc.gnu.org Sent: Monday, June 27, 2011 4:08:41 PM Subject: Re: [patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations On Mon, Jun 27, 2011 at 3:46 PM, Kai T

Re: [patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations

ell, those we miss now by int_fits_type_p() approach, too. And also we miss now the cases for that type is signed and type-x is unsigned with same precision. Anyway ... here is the updated patch Regards, Kai - Original Message - From: "Richard Guenther" To: "Kai Tietz

Re: [patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations

Ups, missed to update patch. Kai - Original Message - From: "Kai Tietz" To: "Richard Guenther" Cc: gcc-patches@gcc.gnu.org Sent: Monday, June 27, 2011 7:04:04 PM Subject: Re: [patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations Hi,

{patch tree-ssa-math-opts]: Change searching direction for bswap

-swap on pattern-matching for wider-mode bswap, search failed. By reversing search order within BB from last to first, this issue can be fixed. ChangeLog 2011-06-27 Kai Tietz * tree-ssa-math-opts.c (execute_optimize_bswap): Search within BB from last to first. Bootstrappe

[patch tree-optimization]: Try to do type sinking on comparisons

equal to type-precision of type-x. Or if type and type-x have same signess and CST fits into type-x. For cmp operation is == or !=, we allow also that type and type-x have different signess, as long as CST fits into type-x without truncation. ChangeLog 2011-06-27 Kai Tietz *

Re: {patch tree-ssa-math-opts]: Change searching direction for bswap

Oh, missed to fill comment. Thanks, Kai Index: gcc-head/gcc/tree-ssa-math-opts.c === --- gcc-head.orig/gcc/tree-ssa-math-opts.c +++ gcc-head/gcc/tree-ssa-math-opts.c @@ -1821,7 +1821,11 @@ execute_optimize_bswap (void) {

Re: [patch tree-optimization]: Try to sink type-casts for binary and/or/xor operations

Ok, moved code out of special case for addresses. Bootstrapped for x86_64-pc-linux-gnu. Patch ok for apply? Regards, Kai Index: gcc-head/gcc/tree-ssa-forwprop.c === --- gcc-head.orig/gcc/tree-ssa-forwprop.c +++ gcc-head/gcc/tree-ssa

Re: [patch tree-optimization]: Try to do type sinking on comparisons

- Original Message - From: "Richard Guenther" To: "Kai Tietz" Cc: gcc-patches@gcc.gnu.org Sent: Tuesday, June 28, 2011 10:45:20 AM Subject: Re: [patch tree-optimization]: Try to do type sinking on comparisons On Mon, Jun 27, 2011 at 8:52 PM, Kai Tietz wrote: >

[patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

operation. ChangeLog gcc/ 2011-06-28 Kai Tietz * tree-ssa-forwprop.c (operand_precision_onep): New function. (find_possible_not_expr_argument): Likewise. (simplify_bitwise_binary_1): Likewise. (simplify_bitwise_binary): Use simplify_bitwise_binary_1

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

- Original Message - From: "Richard Guenther" To: "Kai Tietz" Cc: gcc-patches@gcc.gnu.org Sent: Wednesday, June 29, 2011 12:14:10 PM Subject: Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns On Tue, Jun 28, 2011 at 5:05 PM, Kai T

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

- Original Message - From: "Kai Tietz" To: "Richard Guenther" Cc: gcc-patches@gcc.gnu.org Sent: Wednesday, June 29, 2011 1:33:30 PM Subject: Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns - Original Message - From: &q

[patch tree-optimization]: Fix typo in X bitwise-binary-op CST

Hello, this patch fixes a typo in type-sinking for bitwise-binary operation X op CST. ChangeLog gcc/ 2011-06-30 Kai Tietz * tree-ssa-forwprop.c (simplify_bitwise_binary): Fix typo. ChangeLog gcc/testsuite 2011-06-30 Kai Tietz * gcc.dg/tree-ssa/bitwise-sink.c: New test

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

- Original Message - From: "Richard Guenther" To: "Kai Tietz" Cc: gcc-patches@gcc.gnu.org Sent: Thursday, June 30, 2011 1:36:13 PM Subject: Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns On Wed, Jun 29, 2011 at 3:00

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011/7/1 Richard Guenther : > On Fri, Jul 1, 2011 at 1:44 PM, Kai Tietz wrote: >> Ok, here is reworked patch with adjusted testcase. >> >> ChangeLog gcc/ >> >> 2011-07-01  Kai Tietz   >> >>        * tree-ssa-forwprop.c (truth_valued_ssa): New funct

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011/7/1 Kai Tietz : > 2011/7/1 Richard Guenther : >> On Fri, Jul 1, 2011 at 1:44 PM, Kai Tietz wrote: >>> Ok, here is reworked patch with adjusted testcase. >>> >>> ChangeLog gcc/ >>> >>> 2011-07-01  Kai Tietz   >>> &g

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

So updated patch (bootstrapped and tested for all standard languages plus Ada and Obj-C++) on x86_64-pc-linux-gnu host. Index: gcc-head/gcc/tree-ssa-forwprop.c === --- gcc-head.orig/gcc/tree-ssa-forwprop.c +++ gcc-head/gcc/tree-ssa-fo

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011/7/1 Kai Tietz : > 2011/7/1 Kai Tietz : >> 2011/7/1 Richard Guenther : >>> On Fri, Jul 1, 2011 at 1:44 PM, Kai Tietz wrote: >>>> Ok, here is reworked patch with adjusted testcase. >>>> >>>> ChangeLog gcc/ >>>> &

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

Ok, reworked version. The folding of X op X and !X op !X seems indeed not being necessary. So function simplifies much. Bootstrapped and regression tested for all standard languages (plus Ada and Obj-C++). Ok for apply? Regards, Kai Index: gcc-head/gcc/tree-ssa-forwprop.c ==

[patch tree-optimization]: [1 of 3]: Boolify compares & more

Obj-C++) on host x86_64-pc-linux-gnu. Ok for apply? Regards, Kai ChangeLog 2011-07-07 Kai Tietz * fold-const.c (fold_truth_not_expr): Handle one bit precision bitwise operations. (fold_range_test): Likewise. (fold_truthop): Likewise. (fold_binary_loc

[patch tree-optimization]: [2 of 3]: Boolify compares & more

regression tested for all standard-languages (plus Ada and Obj-C++) on host x86_64-pc-linux-gnu. Ok for apply? Regards, Kai ChangeLog 2011-07-07 Kai Tietz * fold-const.c (fold_unary_loc): Preserve non-boolean-typed casts. * gimplify.c (gimple_boolify): Handle boo

[patch tree-optimization]: [3 of 3]: Boolify compares & more

. Ok for apply? Regards, Kai ChangeLog 2011-07-07 Kai Tietz * tree-vrp.c (in_second_pass): New static variable. (extract_range_from_binary_expr): Add handling for BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_NOT_EXPR. (register_edge_assert_for_1): Add handling for 1-bit

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

2011/7/7 Paolo Bonzini : > On 07/07/2011 06:07 PM, Kai Tietz wrote: >> >> +  /* We redo folding here one time for allowing to inspect more >> +     complex reductions.  */ >> +  substitute_and_fold (op_with_constant_singleton_value_range, >> +        

Re: [patch tree-optimization]: [1 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Thu, Jul 7, 2011 at 6:06 PM, Kai Tietz wrote: >> Hello, >> >> This patch - first of series - adds to fold and some helper routines support >> for one-bit precision bitwise folding and detection. >> This patch is necessary for - nex

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz wrote: >> 2011/7/7 Paolo Bonzini : >>> On 07/07/2011 06:07 PM, Kai Tietz wrote: >>>> >>>> +  /* We redo folding here one time for allowing to inspect more >>>> +  

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz wrote: >> 2011/7/7 Paolo Bonzini : >>> On 07/07/2011 06:07 PM, Kai Tietz wrote: >>>> >>>> +  /* We redo folding here one time for allowing to inspect more >>>> +  

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz wrote: >> Hello, >> >> This patch - second of series - adds boolification of comparisions in >> gimplifier.  For this >> casts from/to boolean are marked as not-useless. And in fold_unary_loc

[patch tree-optimize]: Factor out lable truth_andor as function

Hello, This patch factors out the label truth_andor in fold_binary_loc into a separate function. 2011-07-08 Kai Tietz * fold-const.c (fold_truth_andor): Factored out truth_andor label from fold_binary as function. (fold_binary_loc): Replace truth_andor lable

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz wrote: >> 2011/7/7 Paolo Bonzini : >>> On 07/07/2011 06:07 PM, Kai Tietz wrote: >>>> >>>> +  /* We redo folding here one time for allowing to inspect more >>>> +  

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Fri, Jul 8, 2011 at 4:35 PM, Kai Tietz wrote: >> 2011/7/8 Richard Guenther : >>> On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz wrote: >>>> 2011/7/7 Paolo Bonzini : >>>>> On 07/07/2011 06:07 PM, Kai Tietz wrote: >>

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz wrote: >> Index: gcc-head/gcc/tree-vrp.c >> @@ -2232,6 +2235,7 @@ extract_range_from_binary_expr (value_ra >>      some cases.  */ >>   if (code != BIT_AND_EXPR >>       &&

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

ard-languages (plus Ada and Obj-C++) on host x86_64-pc-linux-gnu. Ok for apply? Regards, Kai ChangeLog gcc/ 2011-07-08 Kai Tietz * tree-ssa-ccp.c (ccp_finalize): Add new argument for substitute_and_fold. * tree-ssa-copy.c (fini_copy_prop): Likewise. * tree-ss

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

2011/7/8 Michael Matz : > Hi, > > On Fri, 8 Jul 2011, Kai Tietz wrote: > >> This is the reworked patch, It fixes vrp to handle bitwise one-bit >> precision typed operations and to handle some type hoisting cases, Some >> cases can't be handled as long

Re: [patch tree-optimization]: [1 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Fri, Jul 8, 2011 at 11:28 AM, Kai Tietz wrote >> 2011/7/8 Richard Guenther : >>> On Thu, Jul 7, 2011 at 6:06 PM, Kai Tietz wrote: >>>> Hello, >>>> >>>> This patch - first of series - adds to fold and some he

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

2011/7/8 Richard Guenther : > On Fri, Jul 8, 2011 at 1:32 PM, Kai Tietz wrote: >> 2011/7/8 Richard Guenther : >>> On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz wrote: >>>> Hello, >>>> >>>> This patch - second of series - adds boolification of

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

2011/7/12 Richard Guenther : > On Mon, Jul 11, 2011 at 5:37 PM, Kai Tietz wrote: >> 2011/7/8 Richard Guenther : >>> On Fri, Jul 8, 2011 at 1:32 PM, Kai Tietz wrote: >>>> 2011/7/8 Richard Guenther : >>>>> On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

2011/7/12 Richard Guenther : > On Tue, Jul 12, 2011 at 11:48 AM, Kai Tietz wrote: >> 2011/7/12 Richard Guenther : >>> On Mon, Jul 11, 2011 at 5:37 PM, Kai Tietz wrote: >>>> 2011/7/8 Richard Guenther : >>>>> On Fri, Jul 8, 2011 at 1:32 PM, Kai T

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

Hello, As discussed on IRC, I reuse here the do_dce flag to choose folding direction within BB. Bootstrapped and regression tested for all standard-languages (plus Ada and Obj-C++) on host x86_64-pc-linux-gnu. Ok for apply? Regards, Kai ChangeLog gcc/ 2011-07-12 Kai Tietz * tree

[patch 1/8 tree-optimization]: Bitwise logic for fold_truth_not_expr

precision typed bitwise-binary and bitwise-not expressions. ChangeLog 2011-07-13 Kai Tietz * fold-const.c (fold_truth_not_expr): Add support for one-bit bitwise operations. Bootstrapped and regression tested for x86_64-pc-linux-gnu. Ok for apply? Regards, Kai Index: gcc/gcc/fold

[patch 2/8 tree-optimization]: Bitwise logic for fold_range_test and fold_truthop.

Hello, This patch adds support to fold_range_test and to fold_truthop for one-bit precision typed bitwise-binary and bitwise-not expressions. ChangeLog 2011-07-13 Kai Tietz * fold-const.c (fold_range_test): Add support for one-bit bitwise operations. (fold_truthop

[patch 3/8 tree-optimization]: Bitwise logic for fold_truth_andor.

Hello, This patch adds support to fold_truth_andor for one-bit precision typed bitwise-binary and bitwise-not expressions. ChangeLog 2011-07-13 Kai Tietz * fold-const.c (fold_truth_andor): Add support for one-bit bitwise operations. Bootstrapped and regression tested with

[patch 4/8 tree-optimization]: Bitwise or logic for fold_binary_loc.

Hello, This patch adds support to fold_binary_loc for one-bit precision typed bitwise-or expression. ChangeLog 2011-07-13 Kai Tietz * fold-const.c (fold_binary_loc): Add support for one-bit bitwise-or optimizeation. Bootstrapped and regression tested with prior patches of

[patch 5/8 tree-optimization]: Bitwise xor logic for fold_binary_loc.

Hello, This patch adds support to fold_binary_loc for one-bit precision typed bitwise-xor expression. ChangeLog 2011-07-13 Kai Tietz * fold-const.c (fold_binary_loc): Add support for one-bit bitwise-xor optimizeation. Bootstrapped and regression tested with prior patches of

[patch 6/8 tree-optimization]: Bitwise and logic for fold_binary_loc.

Hello, This patch adds support to fold_binary_loc for one-bit precision typed bitwise-and expression. ChangeLog 2011-07-13 Kai Tietz * fold-const.c (fold_binary_loc): Add support for one-bit bitwise-and optimizeation. Bootstrapped and regression tested with prior patches of

[patch 7/8 tree-optimization]: Bitwise not logic for fold_unary_loc.

Hello, This patch adds support to fold_unary_loc for one-bit precision typed bitwise-not expression. ChangeLog 2011-07-13 Kai Tietz * fold-const.c (fold_unary_loc): Add support for one-bit bitwise-not optimizeation. Bootstrapped and regression tested with prior patches of

[patch 8/8 tree-optimization]: Add truth_value_type_p function

-13 Kai Tietz (fold_ternary_loc): Use truth_value_type_p instead of truth_value_p. * gimple.c (canonicalize_cond_expr_cond): Likewise. * gimplify.c (gimple_boolify): Likewise. * tree-ssa-structalias.c (find_func_aliases): Likewise. * tree-ssa

[patch tree-optimization]: Normalize compares X ==/!= 1 -> X !=/== 0 for truth valued X

Hello, this patch fixes that for replaced uses, we call fold_stmt_inplace. Additionally it adds to fold_gimple_assign the canonical form for X !=/== 1 -> X ==/!= 0 for X with one-bit precision type. ChangeLog gcc/ 2011-07-13 Kai Tietz * gimple-fold.c (fold_gimple_assign):

Re: [patch 1/8 tree-optimization]: Bitwise logic for fold_truth_not_expr

Regards, Kai 2011/7/13 Richard Guenther : > On Wed, Jul 13, 2011 at 9:32 AM, Kai Tietz wrote: >> Hello, >> >> I split my old patch into 8 speparate pieces for easier review.  These >> patches >> are a prerequist for enabling boolification of comparisons in gimpli

Re: [patch 4/8 tree-optimization]: Bitwise or logic for fold_binary_loc.

2011/7/13 Richard Guenther : > On Wed, Jul 13, 2011 at 9:33 AM, Kai Tietz wrote: >> Hello, >> >> This patch adds support to fold_binary_loc for one-bit precision >> typed bitwise-or expression. > > Seems to be a fallout of the missing TRUTH_NOT conversion as well

Re: [patch tree-optimization]: Normalize compares X ==/!= 1 -> X !=/== 0 for truth valued X

2011/7/13 Richard Guenther : > On Wed, Jul 13, 2011 at 11:00 AM, Kai Tietz wrote: >> Hello, >> >> this patch fixes that for replaced uses, we call fold_stmt_inplace. >> Additionally >> it adds to fold_gimple_assign the canonical form for X !=/== 1 -> X ==/!= 0

Re: [patch 1/8 tree-optimization]: Bitwise logic for fold_truth_not_expr

2011/7/13 Richard Guenther : > On Wed, Jul 13, 2011 at 11:04 AM, Kai Tietz wrote: >> Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The underlying >> issue is that fold-const re-inttroduces TRUTH_AND/OR and co. > > I'm very sure it doesn't re-cons

Re: [patch 1/8 tree-optimization]: Bitwise logic for fold_truth_not_expr

2011/7/13 Richard Guenther : > On Wed, Jul 13, 2011 at 1:08 PM, Kai Tietz wrote: >> 2011/7/13 Richard Guenther : >>> On Wed, Jul 13, 2011 at 11:04 AM, Kai Tietz wrote: >>>> Sorrty, the TRUTH_NOT_EXPR isn't here the point at all. The underlying >>&

Re: [patch tree-optimization]: [3 of 3]: Boolify compares & more

substitute_and_fold the scan-direction of statements within a BB is controlled now by its do_dce flag. This provides better results in vrp-pass. ChangeLog gcc 2011-07-15 Kai Tietz * tree-ssa-propagate.c (substitute_and_fold): Use do_dce flag to deside, if BB's statements are scanned

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

ed by vectorization pass, which can't handle different types for vectorization, as now the conditions are always boolean-typed. ChangeLog 2011-07-19 Kai Tietz * fold-const.c (fold_unary_loc): Preserve non-boolean-typed casts. * gimplify.c (gimple_boolify): Handle boo

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

2011/7/19 Richard Guenther : > On Tue, Jul 19, 2011 at 1:27 PM, Kai Tietz wrote: >> Hello, >> >> So this is the updated patch for boolifying of comparisons.  There are >> two different kind of regression caused by this.  One is fixed by the >> VRP patch I

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

rward-propagation again. 2011-07-20 Kai Tietz * fold-const.c (fold_unary_loc): Preserve non-boolean-typed casts. * tree-ssa.c (useless_type_conversion_p): Preserve incompatible casts from/to boolean, * builtins.c (fold_builtin_expect): See through the

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

2011/7/20 Richard Guenther : > On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz wrote: >> Hello, >> >> this is the revised version of the partial pre-approved patch for preserving >> type-casts from/to boolean-types.  It fixes additionally the regression in >> tre

Re: [patch tree-optimization]: [2 of 3]: Boolify compares & more

2011/7/20 Richard Guenther : > On Wed, Jul 20, 2011 at 3:31 PM, Kai Tietz wrote: >> 2011/7/20 Richard Guenther : >>> On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz wrote: >>>> Hello, >>>> >>>> this is the revised version of the partial pre-appro

[patch tree-optimization]: Bind scan-direction in substitute_and_fold with DCE

2011-07-21 Kai Tietz * tree-ssa-propagate.c (substitute_and_fold): Use do_dce flag to deside, if BB's statements are scanned in last to first, or first to last order. Bootstrapped and regression tested for all standard languages (including Ada and Obj-C++) on host x

<    2   3   4   5   6   7   8   9   >