Re: [PATCH, i386, AVX-512] Update extract_even_odd w/ AVX-512BW insns.

On Thu, Oct 8, 2015 at 7:14 AM, Kirill Yukhin wrote: > Hello, > On 06 Oct 15:09, Kirill Yukhin wrote: >> > > This caused: >> > > >> > > FAIL: gcc.target/i386/vect-perm-odd-1.c (test for excess errors) >> > > >> > > on gcc-5-branch. >> > > >> > >> > vect-perm-odd-1.s: Assembler messages: >> > vect-

Re: [PATCH, i386] Add missing entries to cpuinfo.

On Thu, Oct 8, 2015 at 7:12 AM, Kirill Yukhin wrote: > Hi Uroš, > On 06 Oct 17:15, Uros Bizjak wrote: >> On Tue, Oct 6, 2015 at 3:36 PM, Kirill Yukhin >> wrote: >> > Hello, >> > Patch in the bottom adds missing options to libgcc/config/i386/cpuinfo.c >> > It also updates documentation. >> > As f

[HSA] Enhancement of debugging stuff

Hello. In these couple of patches I enhance debugging support for emitted HSAIL. Starting from now, HSA tree pass contains BRIG offsets that are very useful in case of a validation error occurs. Thanks, Martin >From c88a7ec95058ad7da71c40723f4cc6b4aff3aa44 Mon Sep 17 00:00:00 2001 From: marxin D

Re: Use OEP_ADDRESS_OF in emit-rtl.c

On Wed, 7 Oct 2015, Jan Hubicka wrote: > > > > Did you audit all callers of mem_attrs_eq_p to see if they really > > only care about that? After all MEM_EXPR, via access paths, encode > > type-based alias info and thus replacing one with the other (cse.c use > > or ifcvt.c use) is only valid if

Re: Fix more of C/fortran canonical type issues

On Thu, 8 Oct 2015, Jan Hubicka wrote: > Hello, > here is updated version of the patch, this time without need to modify > useless_type_conversion. Just to recall the issue, Fortran C interoperability > requires size_t to interoperate with signed version produced by Fortran FE. > Unlike the exist

Re: Do not use TYPE_CANONICAL in useless_type_conversion

On Thu, 8 Oct 2015, Jan Hubicka wrote: > > > > && TREE_CODE (outer_type) == OFFSET_TYPE > > > > Ok with those changes. > > Thank you! I commited the patch. At a hike today it appeared to me that > for ipa-icf and other calling convetions checks we should not rely on > useless_type_conversion_

Re: C PATCH for c/65345 (file-scope _Atomic expansion with floats)

On Thu, Oct 01, 2015 at 04:49:41PM +0200, Marek Polacek wrote: > Joseph reminded me that I had forgotten about this patch. As mentioned > here , I'm > removing the XFAILs in the tests so people are likely to see new FAILs. > > I think the

Re: [RFC, PATCH] Disable -fprofile-use related optimizations if corresponding .gcda file not found.

On 10/07/2015 08:07 PM, pins...@gmail.com wrote: Yes. But I am saying some one could do -fprofile-use -frename-registers and expect rename registers to stay on even if there is no profile. That's true, we shouldn't disable any options that were explicitly requested by the user. Why not fi

Re: [fortran] Re: Do not compare types in operands_equal_p if OEP_ADDRESS_OF is set

On Thu, 8 Oct 2015, Jan Hubicka wrote: > > > - STRIP_NOPS (arg0); > > > - STRIP_NOPS (arg1); > > > + STRIP_NOPS (arg0); > > > + STRIP_NOPS (arg1); > > > +} > > > + else > > > +/* Addresses of NOP_EXPR (and many other things) are not well > > > defined. > > > + Check th

Re: [PATCH 7/9] i386: Add address space for tls

On 10/08/2015 06:59 AM, Richard Henderson wrote: >cpp_define (parse_in, "__SEG_FS"); >cpp_define (parse_in, "__SEG_GS"); > + cpp_define (parse_in, "__SEG_TLS"); Is there a good place to document these #defines? I looked at your glibc patch and wonder where __SEG_TLS was coming from. Flo

[gomp4, committed] Add counter inits to zero_iter_bb in expand_omp_for_init_counts

[ was: Re: [patch] Add counter inits to zero_iter_bb in expand_omp_for_init_counts ] On 01/10/15 15:37, Tom de Vries wrote: On 01/10/15 14:49, Jakub Jelinek wrote: On Thu, Oct 01, 2015 at 02:46:01PM +0200, Tom de Vries wrote: this patch adds initialization in zero_iter_bb of counters introduc

Re: [PATCH 4/4] [ARM] Add attribute/pragma target fpu=

Hi Christian, On 21/09/15 14:43, Christian Bruel wrote: Hi Kyrill, Thanks for your comments. Answers interleaved and the new patch attached. On 09/18/2015 11:04 AM, Kyrill Tkachov wrote: On 15/09/15 11:47, Christian Bruel wrote: On 09/14/2015 04:30 PM, Christian Bruel wrote: Finally, the fi

[PATCH][AArch64] Improve comparison with complex immediates followed by branch/cset

Hi all, This patch slightly improves sequences where we want to compare against a complex immediate and branch against the result or perform a cset on it. This means transforming sequences of mov+movk+cmp+branch into sub+subs+branch. Similar for cset. Unfortunately I can't just do this by simply

[PATCH] A tweak for debug_ops_vector

I've been playing with reassoc recently and what bothers me is that dump_ops_vector doesn't print a newline after each element, so it prints e.g. "Op 0 -> rank: 5, tree: a_1(D)Op 1 -> rank: 4, tree: c_3(D)" which isn't really all that readable to me. Bootstrapped/regtested on x86_64-linux, ok for

[gomp4, committed] Add libgomp.oacc-c-c++-common/kernels-loop-collapse.c test-case

Hi, I've committed this test-case to gomp-4_0-branch. Thanks, - Tom Add libgomp.oacc-c-c++-common/kernels-loop-collapse.c test-case 2015-10-08 Tom de Vries * testsuite/libgomp.oacc-c-c++-common/kernels-loop-collapse.c: New test. --- .../kernels-loop-collapse.c| 40

[PATCH] Fix another bootstrap-ubsan failure due to -Werror=maybe-uninitialized.

Hi, running UBSan bootstrap on trunk, I've run to the such issue: /home/max/workspace/downloads/svn/trunk/gcc/fortran/parse.c: In function ‘gfc_statement decode_statement()’: /home/max/workspace/downloads/svn/trunk/gcc/fortran/parse.c:368:51: error: ‘m’ may be used uninitialized in this functi

[committed, testsuite] Dump only required dse1 file

Hi, this patch makes sure we only generate the dse1 dumpfile in the two test-cases, which is the only dump file required. Committed to trunk as trivial. Thanks, - Tom Dump only required dse1 file 2015-10-08 Tom de Vries * gcc.dg/dse.c: Only dump in dse1 pass. * gcc.dg/tree-ssa/pr30375.

Re: [AArch64_be] Fix vtbl[34] and vtbx4

On Wed, Oct 07, 2015 at 09:07:30PM +0100, Christophe Lyon wrote: > On 7 October 2015 at 17:09, James Greenhalgh wrote: > > On Tue, Sep 15, 2015 at 05:25:25PM +0100, Christophe Lyon wrote: > > > > Why do we want this for vtbx4 rather than putting out a VTBX instruction > > directly (as in the inlin

Re: [PATCH] A tweak for debug_ops_vector

On 10/08/2015 10:57 AM, Marek Polacek wrote: I've been playing with reassoc recently and what bothers me is that dump_ops_vector doesn't print a newline after each element, so it prints e.g. "Op 0 -> rank: 5, tree: a_1(D)Op 1 -> rank: 4, tree: c_3(D)" which isn't really all that readable to me.

Re: [PATCH 9/9] Fix PR 66768

On 10/08/2015 07:17 AM, Bin.Cheng wrote: On Thu, Oct 8, 2015 at 12:59 PM, Richard Henderson wrote: This is the patch that richi includes in the PR. There will need to be an additional patch to solve an ICE for the AVR backend, as noted in the PR, but this is good enough to solve the bad-code g

Re: [PATCH][PR tree-optimization/67816] Fix jump threading when DOM removes conditionals in jump threading path

On Thu, Oct 8, 2015 at 12:00 AM, Jeff Law wrote: > On 10/07/2015 02:26 AM, Richard Biener wrote: > >> >> Hmm, other passes avoid all this by not removing edges or blocks >> themselves but leaving that to cfgcleanup. They simply replace the >> condition in GIMPLE_CONDs or the switch value in GIMPL

Re: [PR64164] drop copyrename, integrate into expand

On Thu, Oct 8, 2015 at 12:36 AM, Alexandre Oliva wrote: > On Sep 29, 2015, Szabolcs Nagy wrote: > >> this commit > >> commit 33cc9081157a8c90460e4c0bdda2ac461a3822cc >> Author: aoliva >> Date: 2015-09-27 09:02:00 + > >> revert to assign_parms assignments using default defs >> ... >

Re: [RFA 0/9] Address space support for x86

On Thu, Oct 8, 2015 at 6:59 AM, Richard Henderson wrote: > I started with Armin Rigo's patch, from back in July, > > https://gcc.gnu.org/ml/gcc/2015-07/msg00125.html > > but then wound up changing all of it. To wit: > > (1) If we use more sensible defaults for address spaces, we no longer > req

Re: [PATCH 2/9] Relax ADDR_SPACE_GENERIC_P checks for default address space hooks

On Thu, Oct 8, 2015 at 6:59 AM, Richard Henderson wrote: > If all address spaces use the same modes and forms, we would > be forced to replicate these hooks in the backend. Which would > then require the creation of a new hook to replace > target_default_pointer_address_modes_p. Looks good to me

Re: Generalize gimple_val_nonnegative_real_p

Richard Biener writes: > On Mon, Oct 5, 2015 at 5:02 PM, Richard Sandiford > wrote: >> The upcoming patch to move sqrt and cbrt simplifications to match.pd >> caused a regression because the (abs @0)->@0 simplification didn't >> trigger for: >> >> (abs (convert (abs X))) >> >> The simplificat

Re: [PATCH 9/9] Fix PR 66768

On Thu, Oct 8, 2015 at 5:55 PM, Bernd Schmidt wrote: > On 10/08/2015 07:17 AM, Bin.Cheng wrote: >> >> On Thu, Oct 8, 2015 at 12:59 PM, Richard Henderson wrote: >>> >>> This is the patch that richi includes in the PR. There will need to >>> be an additional patch to solve an ICE for the AVR backe

Re: [PATCH 8/9] Add TARGET_ADDR_SPACE_ZERO_ADDRESS_VALID

On Thu, Oct 8, 2015 at 6:59 AM, Richard Henderson wrote: > * target.def (TARGET_ADDR_SPACE_ZERO_ADDRESS_VALID): New. > * targhooks.h (default_addr_space_zero_address_valid): Declare. > * targhooks.c (default_addr_space_zero_address_valid): New. > * doc/tm.texi, doc/

Re: [RFC, PATCH] Disable -fprofile-use related optimizations if corresponding .gcda file not found.

On Thu, Oct 8, 2015 at 9:54 AM, Nikolai Bozhenov wrote: > > On 10/07/2015 08:07 PM, pins...@gmail.com wrote: >> >> Yes. But I am saying some one could do -fprofile-use -frename-registers >> and expect rename registers to stay on even if there is no profile. > > > That's true, we shouldn't disable

Re: [PATCH 9/9] Fix PR 66768

On Thu, Oct 8, 2015 at 6:59 AM, Richard Henderson wrote: > This is the patch that richi includes in the PR. There will need to > be an additional patch to solve an ICE for the AVR backend, as noted > in the PR, but this is good enough to solve the bad-code generation > problem for the i386 backen

Re: Do not use TYPE_CANONICAL in useless_type_conversion

t.adb -o s-regpat.o +===GNAT BUG DETECTED==+ | 6.0.0 20151008 (experimental) (x86_64-pc-linux-gnu) GCC error: | | in gen_lowpart_common, at emit-rtl.c:1399 | | Error detected around s-regpat.adb:1029:22

Re: Do not use TYPE_CANONICAL in useless_type_conversion

ux/lib/ -isystem /home/eric/install/gcc/x86_64-suse-linux/include -isystem /home/eric/install/gcc/x86_64-suse-linux/sys-include-c -g -O2 -fpic -W - Wall -gnatpg -nostdinc s-regpat.adb -o s-regpat.o +===GNAT BUG DETECTED==+ | 6.0.0 20

Re: [ARM] Add ARMv8.1 command line options.

Ping. Updated patch attached, I've broken the over-long lines added to arm-arches.def and arm-fpus.def. Matthew On 17/09/15 18:54, Matthew Wahab wrote: Hello, ARMv8.1 is a set of architectural extensions to ARMv8. Support has been enabled in binutils for ARMv8.1 for the architechure, using

Re: [ARM] Use vector wide add for mixed-mode adds

Hi Michael, On 01/10/15 11:05, Michael Collison wrote: Kyrill, I have modified the patch to address your comments. I also modified check_effective_target_vect_widen_sum_hi_to_si_pattern in target-supports.exp to indicate that arm neon supports vector widen sum of HImode to SImode. This resolved

PING: [PATCH] PR target/35514: Gcc shoud generate symbol type for undefined symbol

On Wed, Jul 8, 2015 at 1:35 PM, H.J. Lu wrote: > On Sun, Jul 5, 2015 at 2:54 PM, H.J. Lu wrote: >> On Sun, Jul 5, 2015 at 11:14 AM, H.J. Lu wrote: >>> Update default_elf_asm_output_external to also output symbol type to >>> help ELF linker to properly issue diagnostic message. We don't output >

Re: [PATCH V3][GCC] Algorithmic optimization in match and simplify

On Wed, Oct 7, 2015 at 10:21 AM, Andre Vieira wrote: > On 25/09/15 12:42, Richard Biener wrote: >> >> On Fri, Sep 25, 2015 at 1:30 PM, Andre Vieira >> wrote: >>> >>> On 17/09/15 10:46, Richard Biener wrote: On Thu, Sep 3, 2015 at 1:11 PM, Andre Vieira wrote: > > >

Re: [PATCH] Unswitching outer loops.

On Wed, Oct 7, 2015 at 5:26 PM, Yuri Rumyantsev wrote: > Richard, > > I noticed that 'gimple' type was changed and send you updated patch. Ok. Thanks, Richard. > Thanks. > Yuri. > > 2015-10-07 12:53 GMT+03:00 Yuri Rumyantsev : >> Richard, >> >> I've fixed adding virtual phi argument and add che

Re: [gomp4.1] Doacross library implementation

On Thu, 2015-09-24 at 20:32 +0200, Jakub Jelinek wrote: > Torvald, can you please have a look at it, if I got all the atomics / memory > models right? More detailed comments below, but in general, I'd really suggest to add more code comments for the synchronization parts. In the end, the level of

Re: using scratchpads to enhance RTL-level if-conversion: revised patch

Hi Abe, could you please avoid double negations, and please use early returns rather than huge right indentations: + if (! not_a_scratchpad_candidate) + { +if (MEM_SIZE_KNOWN_P (orig_x)) +{ + const size_t size_of_MEM = MEM_SIZE (orig_x); + + if (size_of_MEM <= SCRATCHPAD_MAX_S

[PATCH][AArch64] Update patterns to support FP zero

This patch improves support for instructions that allow FP zero immediate. All FP compares generated by various patterns should use aarch64_fp_compare_operand. LDP/STP uses aarch64_reg_or_fp_zero. Passes regression on AArch64. OK for commit? ChangeLog: 2015-10-08 Wilco Dijkstra * gc

Re: using scratchpads to enhance RTL-level if-conversion: revised patch

Abe, please avoid comments that are not needed. + /* We must copy the insns between the start of the THEN block + and the set of 'a', if they exist, since they may be needed + for the converted code as well, but we must not copy a + start-of-BB note if one is present, nor debug "insn"s. */

Re: [PATCH ARM]: PR67745: Fix function alignment after __attribute__ 2/2

On 10/08/2015 03:14 PM, Christian Bruel wrote: Probably at the time of start_decl, because DECL_ALIGN will have the boundary given by the global target_flags at that time. But this shouldn't be a problem since what matters is the DECL_ALIGN recomputed with the definition when there is something

Re: using scratchpads to enhance RTL-level if-conversion: revised patch

+ /* We must copy the insns between the start of the THEN block + and the set of 'a', if they exist, since they may be needed + for the converted code as well, but we must not copy a + start-of-BB note if one is present, nor debug "insn"s. */ + + for (rtx_insn* insn = BB_HEAD (then_bb); ins

[PATCH] Random shuffle moveable: container size

This patch reduces the size of the array A (the array that contains the values being shuffled) so the test can pass while running the stdlibc++ testsuite. It also make some minor changes such as: *Deleting a useless call to fill_ascending function on test02. *Changing N from const int to const unsi

[patch] header file re-ordering.

G DETECTED==+ | 6.0.0 20151008 (experimental) (x86_64-pc-linux-gnu) GCC error: | | in gen_lowpart_common, at emit-rtl.c:1399| | Error detected around s-regpat.adb:1029:22 | <...> raised TYPES.UNR

Re: Move some bit and binary optimizations in simplify and match

On Wed, Oct 7, 2015 at 11:54 AM, Hurugalawadi, Naveen wrote: > Hi, > > Please find attached the patch that moves some more patterns from > fold-const using simplify and match. > > Please review the patch and let me know if any modifications are required. +/* Fold X + (X / CST) * -CST to X % CST.

Re: using scratchpads to enhance RTL-level if-conversion: revised patch

On 10/08/2015 01:29 AM, Abe wrote: Attached please find my revised patch to the RTL if converter. This patch enables the if-conversion of half-hammocks with a store in them that the internal GCC machinery otherwise considers too hazardous to if-convert. This is made safe by using the "scratchpa

Re: Generalize gimple_val_nonnegative_real_p

On Thu, Oct 8, 2015 at 12:10 PM, Richard Sandiford wrote: > Richard Biener writes: >> On Mon, Oct 5, 2015 at 5:02 PM, Richard Sandiford >> wrote: >>> The upcoming patch to move sqrt and cbrt simplifications to match.pd >>> caused a regression because the (abs @0)->@0 simplification didn't >>> tr

[PATCH] Simple 2-lines fix for outer-loop vectorization.

Hi All, Here is a simple patch which allows to have phi with virtual operands in inner-loop loop-closed exit phi in outer-loop vectorization (i.e. a phi in the tail of the outer-loop). Bootstrap and regression testing did not show any new failures. Is it OK for trunk? ChangeLog: 2015-10-08 Yu

Re: [PATCH] Simple 2-lines fix for outer-loop vectorization.

On Thu, Oct 8, 2015 at 3:52 PM, Yuri Rumyantsev wrote: > Hi All, > > Here is a simple patch which allows to have phi with virtual operands > in inner-loop loop-closed exit phi in outer-loop vectorization (i.e. a > phi in the tail of the outer-loop). > > Bootstrap and regression testing did not sho

Re: [PATCH ARM]: PR67745: Fix function alignment after __attribute__ 2/2

On 10/08/2015 04:01 PM, Christian Bruel wrote: OK, Similar pattern occurs at many other places, that changed also in the attached proposal. Not fully tested (in particular the java part) and no ChangeLog. Just to make sure that we agree on the interface first. That looks like a plain diff rath

[Patch PR target/67366 0/2] Handle misaligned loads and stores for scalars on STRICT_ALIGNMENT targets

This set of 2 patches attempts to fix PR target/67366 by introducing use of the movmisalign optabs in gimple-fold.c to allow detecting memcpys of the form shown in the testcase in the PR. Patch 1/2 fixes the ARM backend to produce movmisalign patterns when unaligned access is supported. Patch 2/2

[Patch PR target/67366 1/2] [ARM] - Add movmisalignhi / si patterns

This adds movmisalignhi and movmisalignsi expanders when unaligned access is allowed by the architecture. This allows the mid-end to expand to misaligned loads and stored. Compared code generated for the Linux kernel and it changes code generation for a handful of files all for the better basicall

[Patch PR target/67366 2/2] [gimple-fold.c] Support movmisalign optabs in gimple-fold.c

This patch by Richard allows for movmisalign optabs to be supported in gimple-fold.c. This caused a bit of pain in the testsuite with strlenopt-8.c in conjunction with the ARM support for movmisalign_optabs as the test was coded up to do different things depending on whether the target supported mi

Re: [gomp4.1] Doacross library implementation

On 10/08/2015 05:48 AM, Torvald Riegel wrote: On Thu, 2015-09-24 at 20:32 +0200, Jakub Jelinek wrote: Torvald, can you please have a look at it, if I got all the atomics / memory models right? More detailed comments below, but in general, I'd really suggest to add more code comments for the sy

[PATCH] Disable AIX DWARF debug frame section

The standard DWARF2 unwind information is not compatible with AIX DWARF debug unwind section, so this patch disables that section completely. bootstrapped on powerpc-ibm-aix7.1.2.0 Thanks, David * config/rs6000/rs6000.c (rs6000_xcoff_debug_unwind_info): Always return UI_NONE. Index: config/rs60

Re: [PATCH ARM]: PR67745: Fix function alignment after __attribute__ 2/2

On 10/08/2015 03:50 PM, Christian Bruel wrote: Humm, I don't know what kind of alignment optimization for functions we have based on a declaration only. greping DECL_ALIGN on functions there are some bits in the ipa-icf code that seems to merge code using this information, but I think we have a d

C++ PATCH for c++/67557 (copy elision clobbering tail padding)

In this testcase, the FontTag constructor was storing the result of fontToStartTag into a stack temporary and then bitwise copying the temporary into the StartTag base subobject, which is broken for a class with a non-trivial copy constructor. This bogus copy turns out to have been introduced

[vec-cmp, patch 1/6] Add optabs for vector comparison

Hi, This series introduces autogeneration of vector comparison and its support on i386 target. It lets comparison statements to be vectorized into vector comparison instead of VEC_COND_EXPR. This allows to avoid some restrictions implied by boolean patterns. This series applies on top of bol

[vec-cmp, patch 2/6] Vectorization factor computation

Hi, This patch handles statements with boolean result in vectorization factor computation. For comparison its operands type is used instead of restult type to compute VF. Other boolean statements are ignored for VF. Vectype for comparison is computed using type of compared values. Computed

[vec-cmp, patch 3/6] Vectorize comparison

Hi, This patch supports comparison statements vectrization basing on introduced optabs. Thanks, Ilya -- gcc/ 2015-10-08 Ilya Enkovich * tree-vect-data-refs.c (vect_get_new_vect_var): Support vect_mask_var. (vect_create_destination_var): Likewise. * tree-vect-stmts.c

[vec-cmp, patch 4/6] Support vector mask invariants

Hi, This patch adds a special handling of boolean vector invariants. We need additional code to determine type of generated invariant. For VEC_COND_EXPR case we even provide this type directly because statement vectype doesn't allow us to compute it. Separate code is used to generate and exp

[vec-cmp, patch 5/6] Disable bool patterns when possible

Hi, This patch disables transformation of boolean computations into integer ones in case target supports vector comparison. Pattern still applies to transform resulting boolean value into integer or avoid COND_EXPR with SSA_NAME as condition. Thanks, Ilya -- 2015-10-08 Ilya Enkovich

Contents of PO file 'cpplib-5.2.0.zh_TW.po'

cpplib-5.2.0.zh_TW.po.gz Description: Binary data The Translation Project robot, in the name of your translation coordinator.

New Chinese (traditional) PO file for 'cpplib' (version 5.2.0)

Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'cpplib' has been submitted by the Chinese (traditional) team of translators. The file is available at: http://translationproject.org/latest/cpplib/zh_TW.po (This file, 'cpp

[PING*2][PATCH, rs6000] Add memory barriers to tbegin, tend, etc.

Ping*2. Torvald, David approved the code portion of the patch. How does the documentation part you asked for look to you? https://gcc.gnu.org/ml/gcc-patches/2015-09/msg00315.html Peter

Re: [patch] header file re-ordering.

On 10/08/2015 07:37 AM, Andrew MacLeod wrote: On 10/07/2015 06:02 PM, Jeff Law wrote: On 10/01/2015 08:33 PM, Andrew MacLeod wrote: these are all in the main gcc directory. 297 files total. Everything bootstraps on x86_64-pc-linux-gnu and powerpc64le-unknown-linux-gnu. All targets in config-l

[vec-cmp, patch 6/6, i386] Add i386 support for vector comparison

Hi, This patch adds patterns for vec_cmp optabs. Vector comparison expand code was moved from VEC_COND_EXPR expanders into a separate functions. AVX-512 patterns use more simple masked versions. Thanks, Ilya -- gcc/ 2015-10-08 Ilya Enkovich * config/i386/i386-protos.h (ix86_expan

[PR 67794] Also remap SSA_NAMEs defined in ASMs in IPA-SRA

Hi, the following fixes PR 67794 by properly remapping SSA_NAMEs which are based on PARM_DECLs which are about to be removed as unnecessary. And by "properly" I mean also when they are defined by a GIMPL_ASM statement. In fact, it switches to using an iterator over definitions to make sure it al

[mask-load, patch 1/2] Use boolean predicate for masked loads and store

Hi, This patch replaces integer mask argument for MASK_LOAD ans MASK_STORE calls with a boolean one. To allow various boolean vector modes assigned by a target maskload and maskstore optabs were transformed into convert_optab to get mask mode as a second operand. Patch applies on top of boole

[mask-load, patch 2/2, i386] Add/modify mask load/store patterns

Hi, This patch reflects changes in maskload and maskstore optabs and adds patterns for AVX-512. Thanks, Ilya -- 2015-10-08 Ilya Enkovich * config/i386/sse.md (maskload): Rename to ... (maskload): ... this. (maskstore): Rename to ... (maskstore): ... this.

Re: [patch 0/3] Header file reduction.

Hi, On Wed, 7 Oct 2015, Richard Biener wrote: > > I'm probably the last person in the world that still generally prefers > > -cp :-) I'm getting to the point where I can tolerate -u. > > No, I prefer -cp too - diff just too easily makes a mess out of diffs > with -u, esp. if you have re-inden

[mask-vec_cond, patch 1/2] Support vectorization of VEC_COND_EXPR with no embedded comparison

Hi, This patch allows COND_EXPR with no embedded comparison to be vectorized. It's applied on top of vectorized comparison support series. New optab vcond_mask_optab is introduced for such statements. Bool patterns now avoid comparison in COND_EXPR in case vector comparison is supported by t

[mask-vec_cond, patch 2/2, i386] Add patterns for vcond_mask_optab

Hi, This patch add patterns for vcond_mask_optab. No new expand code is required, existing ix86_expand_sse_movcc is used. Thanks, Ilya -- gcc/ChangeLog: 2015-10-08 Ilya Enkovich * config/i386/i386-protos.h (ix86_expand_sse_movcc): New. * config/i386/i386.c (ix86_expand_sse_

Re: Do not use TYPE_CANONICAL in useless_type_conversion

-nostdinc s-regpat.adb -o s-regpat.o > +===GNAT BUG DETECTED==+ > | 6.0.0 20151008 (experimental) [trunk revision 228597] (x86_64-suse-linux) > GCC error:| > | in gen_lowpart_common, at emit-rtl.c:1399

Re: Do not use TYPE_CANONICAL in useless_type_conversion

Eric Botcazou writes: >> Thank you! I commited the patch. > > It breaks the Ada build on x86-64 though: Also on ia64: /usr/local/gcc/test/Build/./prev-gcc/xgcc -B/usr/local/gcc/test/Build/./prev-gcc/ -B/usr/ia64-suse-linux/bin/ -B/usr/ia64-suse-linux/bin/ -B/usr/ia64-suse-linux/lib/ -isystem

Re: Use OEP_ADDRESS_OF in emit-rtl.c

> On Wed, 7 Oct 2015, Jan Hubicka wrote: > > > > > > > Did you audit all callers of mem_attrs_eq_p to see if they really > > > only care about that? After all MEM_EXPR, via access paths, encode > > > type-based alias info and thus replacing one with the other (cse.c use > > > or ifcvt.c use) is

Small C++ PATCH to add SIMPLE_TARGET_EXPR_P macro

While working on 67557 I noticed that this pattern was checked in a few places and decided to make it a macro, even though I didn't end up using it in the fix for that bug. Tested x86_64-pc-linux-gnu, applying to trunk. commit 853122e015d3f20f80161bd820f616a34d3d5c16 Author: Jason Merrill Date

Re: Fix more of C/fortran canonical type issues

> On Thu, 8 Oct 2015, Jan Hubicka wrote: > > > Hello, > > here is updated version of the patch, this time without need to modify > > useless_type_conversion. Just to recall the issue, Fortran C > > interoperability > > requires size_t to interoperate with signed version produced by Fortran FE. >

Re: Add -foffload-abi support for PPC

Hi! On 10/07/2015 08:51 AM, David Edelsohn wrote: On Wed, Oct 7, 2015 at 4:02 AM, Thomas Schwinge wrote: From a quick look at the *_TYPE_SIZE definitions in gcc/config/rs6000/rs6000.h as well as , "3-1 Fundamental Types", and

Re: Do not use TYPE_CANONICAL in useless_type_conversion

> > Heh, we need a calling convention checker in > gimple_builtin_call_types_compatible_p and friends! Yep, i will try to play with this. So far I did not managed to create a testcase that would expose a wrong code in ICF. > > Btw, with the TYPE_CANONICAL changes I wonder whether we can make

Re: [patch 4/3] Header file reduction - Tools for contrib

On Tue, 2015-10-06 at 14:02 +0200, Bernd Schmidt wrote: [...] > > No commenting on the quality of python code... :-) I was > > learning python on the fly.Im sure some things are QUITE awful., [...] > > + def ii_base (iinfo): > > + return iinfo[0] > > + > > + def ii_path (iinfo): > > + ret

Re: [PATCH] Cleanup of IPA-CP alignment lattices

Hi, On Thu, Oct 08, 2015 at 12:08:15AM +0200, Jan Hubicka wrote: > > > This patch broke Solaris bootstrap in stage 1 with g++ 4.9: > > > > > > /vol/gcc/src/hg/trunk/solaris/gcc/ipa-cp.c: In member function 'bool > > > ipcp_alignment_lattice::meet_with_1(unsigned int, unsigned int)': > > > /vol/g

[DOC PATCH]: Mention that x86-64 now supports stack realignment from word-aligned stack pointer

Hello! Attached patch documents new functionality in gcc-6 release notes. OK for GCC docs? Uros. Index: htdocs/gcc-6/changes.html === RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-6/changes.html,v retrieving revision 1.34 diff -r1.34 change

[PR c/64765, c/64880] Support OpenACC Combined Directives in C, C++

Hi! Some bits extracted out of gomp-4_0-branch, and some other bits rewritten; here is a patch to support OpenACC Combined Directives in C, C++. (The Fortran front end already does support these.) As far as I know, Jakub is not available at this time, so maybe the C (Joseph) and C++ (Jason, Nath

Re: [PATCH] New attribute to create target clones

On 09/22/2015 03:09 PM, Bernd Schmidt wrote: On 09/22/2015 09:41 PM, Jeff Law wrote: Essentially it allows us to more easily support per-microarchitecture-optimized versions of functions. You list just have to list the microarchitectures and the compiler handles the rest. Very simple, very eas

Re: [PR c/64765, c/64880] Support OpenACC Combined Directives in C, C++

The C front-end changes are OK, but please follow up with fixes for any issues Jakub identifies. -- Joseph S. Myers jos...@codesourcery.com

[HSA] Introduce support for shared libraries and host fallback

Hello. Following patch set introduces HSA support for BRIG shared libraries. Apart from that, it adds new warning option (-Whsa) that pops up when HSA code generation cannot expand a function. Moreover, remaining of patches are follow-up of previous big changes. Thanks, Martin >From 89d0a81c84

Re: [RFA 1/2]: Don't ignore target_header_dir when deciding inhibit_libc

Hans-Peter Nilsson wrote: > Let me ask you right back: after an installation, should > installation of a newer gcc *not* automatically pick up the > header files installed (copied to sys-include) by the previous > installation when using the same prefix, *without* any > --with-headers specified in

Re: Add -foffload-abi support for PPC

On Thu, Oct 8, 2015 at 12:19 PM, James Norris wrote: > I've revised the patch from the review comments (thank you) and > is attached. > > Regtested on x86_64 and powerpcle64. > > OK for trunk? What is the goal? Do you want this to return the correct value or only the value for the supported 64 b

Re: Move sqrt and cbrt simplifications to match.pd

Marc Glisse writes: > On Mon, 5 Oct 2015, Richard Sandiford wrote: > >> + /* cbrt(sqrt(x)) -> pow(x,1/6). */ >> + (simplify >> + (sqrts (cbrts @0)) >> + (pows @0 { build_real_truncate (type, dconst<1, 6> ()); })) >> + /* sqrt(cbrt(x)) -> pow(x,1/6). */ >> + (simplify >> + (cbrts (sqrts

Re: Add -foffload-abi support for PPC

Hi! On Thu, 8 Oct 2015 11:19:05 -0500, James Norris wrote: > On 10/07/2015 08:51 AM, David Edelsohn wrote: > > On Wed, Oct 7, 2015 at 4:02 AM, Thomas Schwinge > > wrote: > > > >> From a quick look at the *_TYPE_SIZE definitions in > >> gcc/config/rs6000/rs6000.h as well as > >>

[PATCH] bb-reorder: Improve the simple algorithm for -Os (PR67864)

As the PR points out, the "simple" reorder algorithm makes bigger code than the STC algorithm did, for -Os, for x86. I now tested it for many different targets and it turns out to be worse everywhere. This simple patch tunes "simple" a bit; this makes it better than STC almost everywhere. The on

Re: Move some bit and binary optimizations in simplify and match

On 10/07/2015 11:54 AM, Hurugalawadi, Naveen wrote: Move Fold X & (X ^ Y) as X & ~Y to match.pd. Move Fold X & (Y ^ X) as ~Y & X to match.pd. I wonder if we shouldn't try to autogenerate patterns such as these. I did something like that for a different project a long time ago.

[hsa] Fix segfault in fixup_child_record_type

Hi, I have committed the following patch to the hsa branch, toput the bail-out test in fixup_child_record_type all the way to the top where it should be, otherwise we get segfaults when gridifying kernels with variable-sized variables. Martin 2015-10-08 Martin Jambor * omp-low.c (fi

[PATCH, i386, AVX512] PR target/67895: Fix position of embedded rounding/SAE mode in AVX512 vrangep* and vcvt?si2s* instructions.

Hi All, This patch addresses PR target/67895. For some AVX512 instructions we've used to emit embedded rounding/SAE specifier in a wrong place. The patch fixes its position for vrange* and vcvt?si2s* instructions. I've also updated regular expressions for corresponding assembly in i386 testsuite,

[nvptx] fix some c++ tests

I've committed this to trunk. The C++ ABI now returns a pointer to the passed-in artificial arg that points to the return area. consequently return-in-mem and type_mode(return_type) == VOIDmode are not tautologies. nathan 2015-10-08 Nathan Sidwell * config/nvptx/nvptx.h (struct machine_

[PATCH] [1/n] Fix minor SSA_NAME leaks

This is the first of several patches to fix various SSA_NAME leaks throughout the compiler. I'm hoping we'll get to the point where they're all plugged and we institute a no-leak policy in the SSA_NAME manager. Until then, I'll be plugging leaks. This one is pretty obvious. We call gsi_rem

Re: Move some bit and binary optimizations in simplify and match

On Thu, 8 Oct 2015, Bernd Schmidt wrote: > On 10/07/2015 11:54 AM, Hurugalawadi, Naveen wrote: > > Move Fold X & (X ^ Y) as X & ~Y to match.pd. > > Move Fold X & (Y ^ X) as ~Y & X to match.pd. > > I wonder if we shouldn't try to autogenerate patterns such as these. I did > something like

Re: Move some bit and binary optimizations in simplify and match

On 10/08/2015 08:03 PM, Joseph Myers wrote: On Thu, 8 Oct 2015, Bernd Schmidt wrote: On 10/07/2015 11:54 AM, Hurugalawadi, Naveen wrote: Move Fold X & (X ^ Y) as X & ~Y to match.pd. Move Fold X & (Y ^ X) as ~Y & X to match.pd. I wonder if we shouldn't try to autogenerate patt

PATC: Round up the SSE register save area only if needed

There is is no point to round up the SSE register save area to 16 bytes if the incoming stack boundary is less than 16 bytes. OK for trunk? H.J. --- * config/i386/i386.c (ix86_compute_frame_layout): Round up the SSE register save area to 16 bytes only if the incoming stack

  1   2   >