[PATCH, committed] jit: clarify (lack of) lifetime requirements on input const char *

2015-07-01 Thread David Malcolm
Committed to trunk as r225245. gcc/jit/ChangeLog: * docs/topics/contexts.rst (gcc_jit_context_set_bool_option): Clarify lack of lifetime requirements on (const char *) parameter. * docs/topics/expressions.rst (gcc_jit_context_new_string_literal): Likewise. (

[PATCH, committed] jit: document union types

2015-07-01 Thread David Malcolm
Committed to trunk as r225246. gcc/jit/ChangeLog: * docs/topics/types.rst (gcc_jit_context_new_union_type): Add documentation. * docs/_build/texinfo/libgccjit.texi: Regenerate. gcc/testsuite/ChangeLog: * jit.dg/test-accessing-union.c: Add comments for use by

[PATCH, committed] PR jit/66700: set TREE_ADDRESSABLE when building an ADDR_EXPR

2015-07-01 Thread David Malcolm
Tested by visual inspection of gimple dump of reproducer supplied by bug reporter [1], and via "make check-jit"; takes jit.sum from 8234 to 8289 passes. Committed to trunk as r225248. [1] https://gcc.gnu.org/ml/jit/2015-q2/msg00134.html gcc/jit/ChangeLog: PR jit/66700 * jit-playb

Eight more jit backports to gcc 5 branch

2015-07-01 Thread David Malcolm
I've gone over the changes to the gcc/jit and gcc/testsuite/jit.dg directories in trunk since the last backports to gcc 5 [1] and backported the following 8 changes from trunk to the gcc-5-branch: gcc-5-branch's r225251: * trunk's r225203 (9bd7a189c372465fb757ecd67336379779f4ea60, "jit: fix some

Re: Four jit backports to gcc 5 branch

2015-07-01 Thread David Malcolm
On Tue, 2015-06-30 at 09:01 -0400, David Malcolm wrote: > On Tue, 2015-06-30 at 08:43 +0200, Basile Starynkevitch wrote: > > On Mon, Jun 29, 2015 at 11:44:31AM -0400, David Malcolm wrote: > > > I've gone over the changes to the gcc/jit and gcc/testsuite/jit.dg > > >

[PATCH, committed] PR jit/66779: fix segfault

2015-07-07 Thread David Malcolm
Fix a segfault where expr.c:fold_single_bit_test was segfaulting due to jit_langhook_type_for_mode not handling QImode. Tested with "make check-jit"; takes jit.sum from 8289 to 8434 passes. Committed to trunk as r225522. gcc/jit/ChangeLog: PR jit/66779 * dummy-frontend.c (jit_lan

[PATCH, committed] PR jit/66783: prevent use of opaque structs

2015-07-07 Thread David Malcolm
Prevent use of opaque structs for fields, globals and locals. Tested with "make check-jit"; jit.sum goes from 8434 to 8494 passes. Committed to trunk as r225523. gcc/jit/ChangeLog: PR jit/66783 * jit-recording.h: Within namespace gcc:jit::recording... (type::has_known_siz

[PATCH, committed] PR jit/66783: improve error messages

2015-07-08 Thread David Malcolm
Tested with "make check-jit"; jit.sum remains at 8494 passes. Committed to trunk as r225557. gcc/jit/ChangeLog: PR jit/66783 * libgccjit.c (gcc_jit_context_new_field): Show name of field in "unknown size" error message. (gcc_jit_struct_set_fields): Show name of str

[PATCH, committed] fix comments in a jit testcase

2015-07-08 Thread David Malcolm
Fix a copy-and-paste error. Tested with "make check-jit"; jit.sum remains at 8494 passes. Committed to trunk as r225559. gcc/testsuite/ChangeLog: * jit.dg/test-error-gcc_jit_block_end_with_switch-NULL-case.c: Fix comments. --- ...t-error-gcc_jit_block_end_with_switch-NULL-case.c

Re: [PATCH 2/4 v2: part 2] libcpp: Replace macro usage with C++ constructs

2015-07-08 Thread David Malcolm
On Wed, 2015-07-08 at 16:50 +0200, Thomas Schwinge wrote: > Hi! > > On Tue, 5 May 2015 14:21:13 -0400, David Malcolm wrote: > > libcpp/ChangeLog: > > * include/line-map.h (MAX_SOURCE_LOCATION): Convert from a macro > > to a const source_location. >

[PATCH, committed] jit: prevent ICE with type mismatch in gcc_jit_block_add_assignment_op

2015-01-15 Thread David Malcolm
gcc_jit_block_add_assignment_op was missing type-checking on the params, which could lead to an ICE deep inside gimplification in fold-const.c: 10339 gcc_assert (TYPE_PRECISION (atype) == TYPE_PRECISION (type)); Takes jit.sum's # of expected passes from 7494 to 7514. Committed to trunk as r2196

Stage 3 RFC: using "jit" for ahead-of-time compilation

2015-01-15 Thread David Malcolm
c/testsuite/jit.dg/test-compile-to-object.c diff --git a/gcc/jit/docs/cp/topics/compilation.rst b/gcc/jit/docs/cp/topics/compilation.rst new file mode 100644 index 000..05917e8 --- /dev/null +++ b/gcc/jit/docs/cp/topics/compilation.rst @@ -0,0 +1,58 @@ +.. Copyright (C) 2014-2015 Free Software

Re: Merge current set of OpenACC changes from gomp-4_0-branch

2015-01-16 Thread David Malcolm
On Fri, 2015-01-16 at 15:39 +0100, Jakub Jelinek wrote: > On Thu, Jan 15, 2015 at 09:20:07PM +0100, Thomas Schwinge wrote: > > * builtin-types.def (BT_FN_VOID_INT_INT_VAR) > > (BT_FN_VOID_INT_PTR_SIZE_PTR_PTR_PTR_INT_INT_VAR) > > > > (BT_FN_VOID_INT_OMPFN_PTR_SI

PING: Re: [PATCH 18/21] PR jit/63854: Add "long-term" allocator to gcc::context

2015-01-16 Thread David Malcolm
On Wed, 2014-11-19 at 17:36 +, Joseph Myers wrote: > On Wed, 19 Nov 2014, David Malcolm wrote: > > > There's no clean way to release them: retrofitting logic to decide if > > we're dealing with a string literal vs a dynamically-allocated buffer > > (and if

[PATCH] Re: Stage 3 RFC: using "jit" for ahead-of-time compilation

2015-01-16 Thread David Malcolm
On Thu, 2015-01-15 at 22:50 +0100, Richard Biener wrote: > On January 15, 2015 9:05:59 PM CET, David Malcolm wrote: > >Release managers: given that this only touches the jit, and that the > >jit > >is off by default, any objections if I go ahead and commit this? > >I

[PATCH, committed] Parallelize the jit testsuite

2015-01-16 Thread David Malcolm
This patch adds "check-jit" to lang_checks_parallelized, and sets check_jit_parallelize, enabling jit.exp to be split across multiple jobs. Running: time make -j64 check-jit I saw: Before: real 6m49.601s user 6m19.851s sys0m15.824s After real 2m55.869s user 6m

[PATCH] rs6000, jit: Unbreak libgccjit on ppc (rs6000_output_function_epilogue)

2015-01-19 Thread David Malcolm
rs6000_output_function_epilogue performs a series of string comparisons on language_string, with a gcc_unreachable (); if the language_string is unrecognized. This leads to failure of any attempt to use libgccjit on rs6000, since jit/dummy-frontend.c has: #define LANG_HOOKS

[PATCH, committed] jit: fix crash in memento_of_new_string_literal::make_debug_string

2015-01-19 Thread David Malcolm
Fix a crash due to missing a format string in a printf-style call, when printing a string literal that contains formatting characters. Seen on aarch64, where the patch takes jit.sum to: # of expected passes7514 and no failures. Committed to trunk as r219851. gcc/jit/ChangeLog

[PATCH, committed] Fix int vs bool issue in jit.dg/test-arith-overflow.c

2015-01-19 Thread David Malcolm
This jit testcase was failing on s390x and ppc64 due to carelessly assuming int==bool. Patch fixes the testcase on s390x and ppc64. Also tested on x86_64 and aarch64. Committed to trunk as r219856. gcc/testsuite/ChangeLog: * jit.dg/test-arith-overflow.c: Include stdbool.h. (crea

Re: [PATCH] Re: Stage 3 RFC: using "jit" for ahead-of-time compilation

2015-01-19 Thread David Malcolm
On Mon, 2015-01-19 at 10:51 +0100, Richard Biener wrote: > On Fri, Jan 16, 2015 at 7:47 PM, David Malcolm wrote: > > On Thu, 2015-01-15 at 22:50 +0100, Richard Biener wrote: > >> On January 15, 2015 9:05:59 PM CET, David Malcolm > >> wrote: > >> >Release

[PATCH: toplev.c] PR jit/64721: don't install signal-handlers when running within libgccjit

2015-01-21 Thread David Malcolm
Don't install signal handlers in toplev.c if we're called from libgccjit, only install them if we're called from main.c, thus avoiding touching process-wide state from a shared library (see the PR for details of how this is currently leading to SIGSEGV on errors in "make check-jit"). Is this one s

[PATCH] PR 64722: fix corruption of %ebx on 32-bit i386 with libgccjit

2015-01-22 Thread David Malcolm
Much of the jit testsuite currently segfaults on i686, after two in-process iterations. In odd-numbered iterations, gcc_jit_context_compile generates correct code, but on even-numbered iterations, the generated code trashes the %ebx register, leading to SIGSEGV back at the call site when setting u

[PATCH] toplev: gcc version information for jit

2015-01-23 Thread David Malcolm
libgccjit can print detailed logs and generate testcases for reproducing bugs (using gcc_jit_context_set_logfile and gcc_jit_context_dump_reproducer_to_file respectively). It strikes me that such files really ought to contain version information, so the following patch adds calls to print_version

[PATCH] update_web_docs_svn: support the JIT docs (PR jit/64257)

2015-01-23 Thread David Malcolm
The following patch builds and installs the JIT documentation for the website (just HTML for now). It's tricky to test (I don't have a copy of /www/gcc/bin/preprocess), but I was able to use this to generate sane-looking documentation, both for the .texi files, and for the JIT documentation. Test

Re: [PATCH] update_web_docs_svn: support the JIT docs (PR jit/64257)

2015-01-26 Thread David Malcolm
On Mon, 2015-01-26 at 12:43 +0100, Gerald Pfeifer wrote: > On Friday 2015-01-23 17:44, David Malcolm wrote: > > The following patch builds and installs the JIT documentation for > > the website (just HTML for now). > > > > It's tricky to test (I don't h

[PATCH, committed] PR jit/64708: remove libgccjit.so from COMPILERS

2015-01-26 Thread David Malcolm
libgccjit.so is installed by jit/Make-lang.in's jit.install-common, into $(DESTDIR)/$(libdir). jit/config-lang.in listed "compilers" as "libgccjit.so", leading to the makefile variable COMPILERS containing libgccjit.so. This in turn led to gcc/Makefile's install-common installing a redundant copy

[PATCH, committed] Fix gcc_jit_context_get_last_error docs

2015-01-26 Thread David Malcolm
gcc_jit_context_get_last_error was documented as returning a string that's valid for the rest of the lifetime of the context. In fact, the buffer becomes invalid if any other errors occur on the context. Fix the docs and header file comments to reflect this. Also, fix a couple of other minor jit

Re: [PATCH] update_web_docs_svn: support the JIT docs (PR jit/64257)

2015-01-26 Thread David Malcolm
On Mon, 2015-01-26 at 15:21 -0700, Jeff Law wrote: > On 01/26/15 09:42, David Malcolm wrote: > > > update_web_docs_svn-support-the-JIT-documention-v2.patch > > > > > > From 7f7e15881981228e51b347f23df6e3106ddd68ea Mon Sep 17 00:00:00 2001 > > From: David Malc

[PATCH] PR jit/64780: configure: --enable-host-shared and the jit

2015-01-27 Thread David Malcolm
Currently the jit requires you to specify --enable-host-shared, or the build eventually fails with linker errors (this is something of a FAQ for people trying out the jit). We seem to have two choices here: (A) default to --enable-host-shared when jit is an enabled language (B) have the toplevel

Re: [RFC PATCH] Emit DW_LANG_Fortran{03,08}

2015-01-27 Thread David Malcolm
On Tue, 2015-01-27 at 19:19 +0100, Jakub Jelinek wrote: > Hi! > > DW_LANG_Fortran03 and DW_LANG_Fortran08 DW_AT_language values were recently > accepted into DWARF5. This patch changes GCC to handle those similarly to > how e.g. the -std=c++11, -std=c++14 or -std=c11 are handled. > > As it will

[PATCH 1/3] PR jit/64810: driver, arm, jit: configure-time default options

2015-01-30 Thread David Malcolm
Currently the jit completely fails to work on arm. The root cause is that the jit is ignoring configure-time default options. For example, on configuring arm with e.g.: --with-arch=armv7-a --with-float=hard --with-fpu=vfpv3-d16 these options are written into configargs.h as "configure_default_o

[PATCH 2/3] PR jit/64810: support DImode on arm

2015-01-30 Thread David Malcolm
jit_langhook_type_for_mode was failing for DImode on arm (see via a segfault in test-expressions.c.exe in the jit testsuite). A fix is to add handling for: mode == TYPE_MODE (long_long_integer_type_node) to the existing checks. gcc/jit/ChangeLog: PR jit/64810 * dummy-frontend.c

[PATCH 3/3] PR jit/64810: fix for arm_option_override

2015-01-30 Thread David Malcolm
libgccjit can make repeated in-process calls to the compiler code. On arm I see failures where e.g. the top of the generated .s file has: on the 1st iteration: .arch armv7-a on the 2nd iteration: .cpu armv7-a without changing any options. What's happening is the 1st time through arm_option_ov

[PING, www] Re: [PATCH] update_web_docs_svn: support the JIT docs (PR jit/64257)

2015-02-02 Thread David Malcolm
On Mon, 2015-01-26 at 19:14 -0500, David Malcolm wrote: > On Mon, 2015-01-26 at 15:21 -0700, Jeff Law wrote: > > On 01/26/15 09:42, David Malcolm wrote: > > > > > update_web_docs_svn-support-the-JIT-documention-v2.patch > > > > > > > > > From

[PATCH, committed] jit: option-logging

2015-02-03 Thread David Malcolm
It seems prudent to have the jit's log files contain information on the values of the various options in use. This patch adds logging when options are changed, and logs the value of all options when a compile is started (and no-ops for the common case when no logging is enabled). Tested via "make

[PATCH, committed] jit: fix typo in docs

2015-02-04 Thread David Malcolm
Fix for a trivial but confusing typo in the jit docs. Committed to trunk as r220408. gcc/jit/ChangeLog: * docs/topics/contexts.rst (gcc_jit_context_acquire): Fix typo. * docs/_build/texinfo/libgccjit.texi: Regenerate. --- gcc/jit/docs/topics/contexts.rst | 2 +- 1 file c

[PATCH] More fixes for update_web_docs_svn for jit docs (PR jit/64257)

2015-02-04 Thread David Malcolm
To build the jit docs, we need to use sphinx 1.0 or later; the 0.6.6 in EPEL 6 doesn't support all the directives we need. The alternate python-sphinx10 in EPEL 6 has 1.0.8: python-sphinx10-1.0.8-1.el6.noarch which is able to build the jit docs, apart from not having the "pyramid" theme (this th

Re: [PATCH] More fixes for update_web_docs_svn for jit docs (PR jit/64257)

2015-02-04 Thread David Malcolm
On Wed, 2015-02-04 at 19:47 +0100, Gerald Pfeifer wrote: > On Wednesday 2015-02-04 13:32, David Malcolm wrote: > > OK for trunk? > > > > gcc/jit/ChangeLog: > > PR jit/64257 > > * docs/conf.py (html_theme): Change from 'pyramid' > > to &

Re: [PATCH] More fixes for update_web_docs_svn for jit docs (PR jit/64257)

2015-02-04 Thread David Malcolm
On Wed, 2015-02-04 at 22:21 +0100, Gerald Pfeifer wrote: > On Wednesday 2015-02-04 14:10, David Malcolm wrote: > > Gerald: Please can you do the "svn up" on the relevant machine again, > > so that it gets the updated "update_web_docs_svn"? > > That w

Re: [PATCH] More fixes for update_web_docs_svn for jit docs (PR jit/64257)

2015-02-04 Thread David Malcolm
On Wed, 2015-02-04 at 17:26 -0500, David Malcolm wrote: > On Wed, 2015-02-04 at 22:21 +0100, Gerald Pfeifer wrote: > > On Wednesday 2015-02-04 14:10, David Malcolm wrote: > > > Gerald: Please can you do the "svn up" on the relevant machine again, >

[wwwdocs, patch] Add libgccjit to gcc-5/changes.html

2015-02-05 Thread David Malcolm
This patch adds an -level section about libgccjit between the sections on languages and targets. It has various links to the documentation (now that that's on the website), and to a couple of 3rd party repos (the Python and D bindings). It also mentions the license of the library. OK to commit?

[PATCH] maintainer-scripts: Fix 404s in "Show Source" in jit docs

2015-02-05 Thread David Malcolm
Tested locally with a suitably hacked up script to work on this machine; with this patch the "Show Sources" links work within the files installed to /www/gcc/htdocs. OK for trunk? maintainer-scripts/ChangeLog: * update_web_docs_svn: When copying up files for the built jit document

[wwwdocs, committed] Add link to jit docs to onlinedocs/index.html

2015-02-06 Thread David Malcolm
The attached patch adds a link to the built HTML docs for libgccjit to htdocs/onlinedocs/index.html. Committed to CVS as obvious. Index: htdocs/onlinedocs/index.html === RCS file: /cvs/gcc/wwwdocs/htdocs/onlinedocs/index.html,v retrie

[PATCH, committed] PR jit/64752 - Rewrite jit testsuite to eliminate use of "file"

2015-02-06 Thread David Malcolm
The jit testsuite attempted to test the gcc_jit_context_compile_to_file API entrypoint by running "file" on the generated file, and comparing the result against a regexp. This approach is unfixable: some hosts won't have "file" installed, and the output of "file" seems to vary enough from host to

[gimple-classes, committed 27/92] Introduce gimple_resx

2014-10-27 Thread David Malcolm
5 +++-- 10 files changed, 69 insertions(+), 24 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index fe3008a..6e2d2f5 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,44 @@ 2014-10-24 David Malcolm

[gimple-classes, committed 33/92] Introduce gimple_omp_atomic_store

2014-10-27 Thread David Malcolm
files changed, 58 insertions(+), 22 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 3026787..0073b05 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,36 @@ 2014-10-24 David Malcolm + Introduce gimple_omp_

[gimple-classes, committed 38/92] tree-cfg.c: Make verify_gimple_call require a gimple_call

2014-10-27 Thread David Malcolm
014-10-24 David Malcolm + Introduce gimple_omp_parallel * coretypes.h (gimple_omp_parallel): New typedef. diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index feeefea..9db1ffd 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3208,7 +3208,7 @@ valid_fixed_convert_types_p (t

[gimple-classes, committed 39/92] Introduce gimple_omp_task

2014-10-27 Thread David Malcolm
++--- 6 files changed, 48 insertions(+), 12 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index b030d20..5dfdc22 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,35 @@ 2014-10-24 David Malcolm +

[gimple-classes, committed 31/92] Use more concrete types for various gimple statements

2014-10-27 Thread David Malcolm
| 23 +++--- gcc/tree-ssa-phiopt.c | 6 +- gcc/tree-ssa-phiprop.c | 2 +- gcc/tree-ssa-pre.c | 9 +- gcc/tree-ssa-propagate.c| 4 +- gcc/tree-ssa-reassoc.c | 14 ++-- gcc/tree-ssa.c | 2 +- gcc

[gimple-classes, committed 45/92] omp-low.c: Use more concrete types of gimple statement for various locals

2014-10-27 Thread David Malcolm
ions(+), 10 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index b8d2f38..b0391f3 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,22 @@ 2014-10-24 David Malcolm + omp-low.c: Use more concrete types of gimple

[gimple-classes, committed 43/92] Introduce gimple_omp_sections

2014-10-27 Thread David Malcolm
mple-classes index 65c7986..b0a8465 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,31 @@ 2014-10-24 David Malcolm + Introduce gimple_omp_sections + + * coretypes.h (gimple_omp_sections): New typedef. + (const_gimple_omp_sections): New t

[gimple-classes, committed 49/92] Update GRAPHITE to use more concrete gimple statement classes

2014-10-27 Thread David Malcolm
73 gcc/graphite-scop-detection.c | 4 +- gcc/graphite-sese-to-poly.c | 125 ++ 3 files changed, 141 insertions(+), 61 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index f7d2c73..

[gimple-classes, committed 54/92] Various gimple to gimple_call conversions in IPA

2014-10-27 Thread David Malcolm
sa-pre.c | 6 +++--- 3 files changed, 47 insertions(+), 17 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 115f7ea..6fd5738 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,30 @@ 2014-10-24 David Malcolm +

[gimple-classes, committed 57/92] Make gimple_goto_set_dest require a gimple_goto

2014-10-27 Thread David Malcolm
-10-24 David Malcolm + Make gimple_goto_set_dest require a gimple_goto + + * gimple.h (gimple_goto_set_dest): Require a gimple_goto. + + * tree-cfg.c (factor_computed_gotos): Add checked cast to + gimple_goto. + (cleanup_dead_labels): Likewise. + +2014-10-24 Da

[gimple-classes, committed 40/92] Introduce gimple_omp_single

2014-10-27 Thread David Malcolm
- gcc/omp-low.c| 12 +++- 6 files changed, 51 insertions(+), 14 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 5dfdc22..88ebaa9 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,35 @@ 2014-10-2

[gimple-classes, committed 61/92] Concretize gimple_eh_filter_set_types and gimple_eh_filter_set_failure

2014-10-27 Thread David Malcolm
gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,14 @@ 2014-10-24 David Malcolm + Concretize gimple_eh_filter_set_types and gimple_eh_filter_set_failure + + * gimple.h (gimple_eh_filter_set_types): Require a gimple_eh_fil

[gimple-classes, committed 66/92] Concretize three gimple_return_ accessors

2014-10-27 Thread David Malcolm
gcc/ubsan.c| 2 +- 19 files changed, 110 insertions(+), 58 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index f2f9a05..c024a2b 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,46 @@ 2014-10-24

[gimple-classes, committed 69/92] Concretize gimple_cond_make_{false|true}

2014-10-27 Thread David Malcolm
--- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,39 @@ 2014-10-24 David Malcolm + Concretize gimple_cond_make_{false|true} + + * gimple.h (gimple_cond_make_false): Require a gimple_cond. + (gimple_cond_make_true): Likewise. + + * tree-cfg.c

[gimple-classes, committed 71/92] Concretize gimple_cond_{true|false}_label

2014-10-27 Thread David Malcolm
classes b/gcc/ChangeLog.gimple-classes index aa83c24..2bff31c 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,21 @@ 2014-10-24 David Malcolm + Concretize gimple_cond_{true|false}_label + + * gimple.h (gimple_cond_true_label): Require a const_gimple_cond +

[gimple-classes, committed 73/92] Concretize gimple_cond_set_{lhs|rhs}

2014-10-27 Thread David Malcolm
-classes b/gcc/ChangeLog.gimple-classes index 503fd44..ece5b80 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,21 @@ 2014-10-24 David Malcolm + Concretize gimple_cond_set_{lhs|rhs} + + * gimple.h (gimple_cond_set_lhs): Require a

[gimple-classes, committed 80/92] Concretize gimple_call_set_fntype

2014-10-27 Thread David Malcolm
+++ gcc/omp-low.c| 12 +++- 4 files changed, 24 insertions(+), 10 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index ae57d57..f0737b9 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes

[gimple-classes, committed 87/92] Convert various gimple to gimple_phi within ssa-iterators.h

2014-10-27 Thread David Malcolm
ons(+), 22 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 015940e..04bb1a7 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,29 @@ 2014-10-24 David Malcolm + Convert various gimple to gimple_phi within

[gimple-classes, committed 70/92] Concretize gimple_switch_index and gimple_switch_index_ptr

2014-10-27 Thread David Malcolm
le-classes b/gcc/ChangeLog.gimple-classes index 7b03dad..aa83c24 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,32 @@ 2014-10-24 David Malcolm + Concretize gimple_switch_index and gimple_switch_index_ptr + + * gimple.h (gimple_switch_i

[gimple-classes, committed 75/92] Concretize various expressions from gimple to gimple_cond

2014-10-27 Thread David Malcolm
rtions(+), 21 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index a5fd662..86e1718 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,29 @@ 2014-10-24 David Malcolm + Concretize various expressions from gimple t

[gimple-classes, committed 86/92] Use gimple_phi in many more places.

2014-10-27 Thread David Malcolm
iles changed, 409 insertions(+), 273 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 030df86..015940e 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,108 @@ 2014-10-24 David Malcolm + Use gi

[gimple-classes, committed 82/92] Concretize gimple_call_arg_flags

2014-10-27 Thread David Malcolm
mple_stmt): Use a dyn_cast rather than a + is_gimple_call and repeated checked casts. + +2014-10-24 David Malcolm + Concretize gimple_call_set_tail and gimple_call_tail_p * gimple.h (gimple_call_set_tail): Require a gimple_call. diff --git a/gcc/gimple.c b/gcc/gimple.c inde

[gimple-classes, committed 51/92] More gimple_phi

2014-10-27 Thread David Malcolm
gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 4a78ca0..8662070 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,19 @@ 2014-10-24 David Malcolm + More gimple_phi + + * gimple.h (gimple_phi_set_result): Require a gimple_phi rat

[gimple-classes, committed 92/92] Update gimple.texi class hierarchy diagram

2014-10-27 Thread David Malcolm
++-- 2 files changed, 53 insertions(+), 32 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index b0c61d1..aec5065 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,11 @@ 2014-10-27 David Malcolm

[gimple-classes, committed 63/92] Concretize three gimple_try_set_ accessors

2014-10-27 Thread David Malcolm
15 +++ 4 files changed, 34 insertions(+), 20 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index b874697..af8a440 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,19 @@ 2014-10-24 David Malcolm + Concretize th

[gimple-classes, committed 83/92] Concretize gimple_assign_nontemporal_move_p

2014-10-27 Thread David Malcolm
ions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index e064bcf..572fe5a 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,18 @@ 2014-10-24 David Malcolm + Concretize gimple_assign_nontemporal_move_p + +

[gimple-classes, committed 88/92] Preparatory work before subclass renaming

2014-10-27 Thread David Malcolm
| 2 +- 5 files changed, 47 insertions(+), 30 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 04bb1a7..041342d 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,22 @@ 2014-10-24 David Malcolm +

[gimple-classes, committed 68/92] Concretize locals within expand_omp_for_init_counts

2014-10-27 Thread David Malcolm
gcc/omp-low.c| 25 + 2 files changed, 21 insertions(+), 12 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 2bfebca..a046f12 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,13 @@ 2014-10-24 Dav

[gimple-classes, committed 72/92] Concretize gimple_cond_set_code

2014-10-27 Thread David Malcolm
-git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 2bff31c..503fd44 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,31 @@ 2014-10-24 David Malcolm + Concretize gimple_cond_set_code + + * gimple.h (gimple

[gimple-classes, committed 77/92] Concretize gimple_call_nothrow_p

2014-10-27 Thread David Malcolm
51b..503fff5 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,16 @@ 2014-10-24 David Malcolm + Concretize gimple_call_nothrow_p + + * gimple.h (gimple_call_nothrow_p): Require a gimple_call. + + * tree-eh.c (stmt_could_throw_p): Add chec

[gimple-classes, committed 74/92] Concretize gimple_cond_{lhs|rhs}_ptr

2014-10-27 Thread David Malcolm
++-- 5 files changed, 49 insertions(+), 22 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index ece5b80..a5fd662 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,24 @@ 2014-10-24 David Malcolm + Concretize gimple_

[gimple-classes, committed 84/92] Concretize gimple_call_copy_flags and ipa_modify_call_arguments

2014-10-27 Thread David Malcolm
dex 572fe5a..9255151 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,21 @@ 2014-10-24 David Malcolm + Concretize gimple_call_copy_flags and ipa_modify_call_arguments + + * gimple.h (gimple_call_copy_flags): Require gimple_calls. + + * ipa-pro

[gimple-classes, committed 85/92] Use gimple_call in some places within tree-ssa-dom.c

2014-10-27 Thread David Malcolm
files changed, 23 insertions(+), 10 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 9255151..030df86 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,18 @@ 2014-10-24 David Malcolm + Use gimple_call in some

[gimple-classes, committed 90/92] Automated renaming of gimple subclasses

2014-10-27 Thread David Malcolm
This patch is huge (704K), so I've trimmed it. The most pertinent data from the ChangeLog is: Patch autogenerated by rename_gimple_subclasses.py from https://github.com/davidmalcolm/gcc-refactoring-scripts revision 7d754b63ff2bf47226a67b2c0af5d74b54d4709f The full patch c

[gimple-classes, committed 89/92] Eliminate subclass typedefs from coretypes.h

2014-10-27 Thread David Malcolm
imple-classes @@ -1,3 +1,66 @@ +2014-10-27 David Malcolm + + * coretypes.h (gimple_cond): Drop this typedef. + (const_gimple_cond): Likewise. + (gimple_debug): Likewise. + (const_gimple_debug): Likewise. + (gimple_goto): Likewise. + (const_gimple_goto): Lik

[gimple-classes, committed 28/92] Introduce gimple_eh_dispatch

2014-10-27 Thread David Malcolm
dex 6e2d2f5..a7461cd 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,58 @@ 2014-10-24 David Malcolm + Introduce gimple_eh_dispatch + + * coretypes.h (gimple_eh_dispatch): New typedef. + (const_gimple_eh_dispatch): New typedef. + + * g

[gimple-classes, committed 15/92] tree-ssa-loop-ivopts.c: use gimple_phi in a few places

2014-10-27 Thread David Malcolm
,13 @@ 2014-10-24 David Malcolm + tree-ssa-loop-ivopts.c: use gimple_phi in a few places + + * tree-ssa-loop-ivopts.c (determine_biv_step): Require a gimple_phi. + (find_bivs): Convert local "phi" into a gimple_phi. + (mark_bivs): Likewise. + +2014-10-24 Davi

[gimple-classes, committed 23/92] Introduce gimple_catch

2014-10-27 Thread David Malcolm
gimple-classes b/gcc/ChangeLog.gimple-classes index b3a475e..04b611e 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,53 @@ 2014-10-24 David Malcolm + Introduce gimple_catch + + * coretypes.h (gimple_catch): New typedef. + (const_gimple

[gimple-classes, committed 34/92] Introduce gimple_omp_continue

2014-10-27 Thread David Malcolm
a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 0073b05..5a87159 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,45 @@ 2014-10-24 David Malcolm + Introduce gimple_omp_continue + + * coretypes.h (gimple_omp_contin

[gimple-classes, committed 37/92] Introduce gimple_omp_parallel

2014-10-27 Thread David Malcolm
- 9 files changed, 131 insertions(+), 73 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 7ad116a..b0ddcd3 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,53 @@ 2014-10-24 David Malcolm +

[gimple-classes, committed 58/92] Concretize gimple_catch_types

2014-10-27 Thread David Malcolm
gcc/ChangeLog.gimple-classes index dd735af..d2bc077 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,12 @@ 2014-10-24 David Malcolm + Concretize gimple_catch_types + + * gimple.h (gimple_catch_types): Require a const_gimple_catch + rather t

[gimple-classes, committed 10/92] tree-parloops.c: use gimple_phi in various places

2014-10-27 Thread David Malcolm
), 8 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index bd635c6..fb4c222 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,17 @@ 2014-10-24 David Malcolm + tree-parloops.c: use gimple_phi in various places + +

[gimple-classes, committed 78/92] Tweak to gimplify_modify_expr

2014-10-27 Thread David Malcolm
ngeLog.gimple-classes index 503fff5..37e3955 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,11 @@ 2014-10-24 David Malcolm + Tweak to gimplify_modify_expr + + * gimplify.c (gimplify_modify_expr): Introduce local "call_stmt". + +20

[gimple-classes, committed 13/92] tree-ssa-loop-niter.c: use gimple_phi in a few places

2014-10-27 Thread David Malcolm
hangeLog.gimple-classes @@ -1,5 +1,14 @@ 2014-10-24 David Malcolm + tree-ssa-loop-niter.c: use gimple_phi in a few places + + * tree-ssa-loop-niter.c (chain_of_csts_start): Return a gimple_phi + rather than a gimple. + (get_base_for): Likewise; convert local &

[gimple-classes, committed 42/92] Introduce gimple_omp_teams

2014-10-27 Thread David Malcolm
lasses +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,31 @@ 2014-10-24 David Malcolm + Introduce gimple_omp_teams + + * coretypes.h (gimple_omp_teams): New typedef. + (const_gimple_omp_teams): New typedef. + + * gimple.h (gimple_build_omp_teams): Return a gimple_omp_team

[gimple-classes, committed 12/92] tree-ssa-phiprop.c: use gimple_phi

2014-10-27 Thread David Malcolm
etions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 0e6a5d9..7be584b 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,12 @@ 2014-10-24 David Malcolm + tree-ssa-phiprop.c: use gimple_phi + +

[gimple-classes, committed 60/92] Concretize gimple_label_label

2014-10-27 Thread David Malcolm
es b/gcc/ChangeLog.gimple-classes index 5cf1049..20deecf 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,50 @@ 2014-10-24 David Malcolm + Concretize gimple_label_label + + * gimple.h (gimple_label_label): Require a const_gimple_label + rat

[gimple-classes, committed 64/92] Make gimple_phi_arg_location_from_edge require a gimple_phi

2014-10-27 Thread David Malcolm
classes @@ -1,5 +1,18 @@ 2014-10-24 David Malcolm + Make gimple_phi_arg_location_from_edge require a gimple_phi + + * gimple.h (gimple_phi_arg_location_from_edge): Require a + gimple_phi. + + * tree-parloops.c (create_parallel_loop): Split up local variable + &qu

[gimple-classes, committed 67/92] Make gimple_cond_set_{true|false}_label require gimple_cond.

2014-10-27 Thread David Malcolm
f --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index c024a2b..2bfebca 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,17 @@ 2014-10-24 David Malcolm + Make gimple_cond_set_{true|false}_label require gimple_cond. + +

[gimple-classes, committed 46/92] Make gimple_phi_arg_def_ptr and gimple_phi_arg_has_location require a gimple_phi

2014-10-27 Thread David Malcolm
gcc/tree-cfgcleanup.c| 8 gcc/tree-vect-loop-manip.c | 7 --- gcc/tree.c | 5 +++-- 9 files changed, 71 insertions(+), 31 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index b0391f3..b2ca765 100644 ---

[gimple-classes, committed 35/92] Introduce gimple_omp_critical

2014-10-27 Thread David Malcolm
(+), 36 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 5a87159..4f87c87 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,43 @@ 2014-10-24 David Malcolm + Introduce gimple_omp_critical + + * corety

[gimple-classes, committed 47/92] Make add_phi_arg require a gimple_phi

2014-10-27 Thread David Malcolm
| 2 +- gcc/tree-ssa-tail-merge.c | 6 +-- gcc/tree-tailcall.c | 15 gcc/tree-vect-data-refs.c | 2 +- gcc/tree-vect-loop-manip.c | 12 +++--- gcc/tree-vect-loop.c | 18 + gcc/tree-vect-stmts.c | 6

[gimple-classes, committed 41/92] Introduce gimple_omp_target

2014-10-27 Thread David Malcolm
a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 88ebaa9..e576b5e 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,49 @@ 2014-10-24 David Malcolm + Introduce gimple_omp_target + + * coretypes.h (gimple_omp_target): New typedef. +

[gimple-classes, committed 79/92] Concretize gimple_call_set_fn

2014-10-27 Thread David Malcolm
t a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 37e3955..ae57d57 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,17 @@ 2014-10-24 David Malcolm + Concretize gimple_call_set_fn + + * gimple.h (gimple_call_set_fn): Requir

[gimple-classes, committed 56/92] Make gimple_label_set_label require a gimple_label

2014-10-27 Thread David Malcolm
ple-classes index 63e5a8c..2e1ea10 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,11 @@ 2014-10-24 David Malcolm + Make gimple_label_set_label require a gimple_label + + * gimple.h (gimple_label_set_label): Require a gimple_label. + +2014-10-24 Da

[gimple-classes, committed 21/92] Introduce gimple_asm

2014-10-27 Thread David Malcolm
git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index bba6c7d..bd88371 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,128 @@ 2014-10-24 David Malcolm + Introduce gimple_asm + + * coretypes.h (gimple_asm): New typedef.

<    17   18   19   20   21   22   23   24   25   26   >