gcc/ChangeLog

   1 2009-04-13  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
   2
   3        * config/arm/arm.c (return_used_this_function): Remove.
   4        (arm_output_function_prologue): Remove use of
   5         return_used_this_function.
   6        (output_return_instruction): Replace use of
   7         return_used_this_function
   8         by cfun->machine->return_used_this_function.
   9        (arm_output_epilogue): Likewise.
  10        (arm_output_function_epilogue): Likewise.
  11        (thumb_unexpanded_epilogue): Likewise.
  12        * config/arm/arm.h (struct machine_function):
  13         New member return_used_this_function.
  14
  15 2009-04-12  Mark Mitchell  <mark@codesourcery.com>
  16
  17         * doc/install.texi: Correct description of default directory for
  18         --with-gxx-include-dir.
  19
  20 2009-04-12 Eric Botcazou <ebotcazou@adacore.com>
  21
  22         * fold-const.c (build_range_check): Properly deal with enumeral and
  23         boolean base types.
  24
  25 2009-04-12  Steven Bosscher  <steven@gcc.gnu.org>
  26
  27         * doc/invoke.texi (max_gcse_passes): Remove documentation.
  28         * params.def (PARAM_MAX_GCSE_PASSES): Remove.
  29         * params.h (MAX_GCSE_PASSES): Remove.
  30         * gcse.c (gcse_main): Run CPROP1, PRE or HOIST, and CPROP2
  31         in sequence.  Remove ability to run multiple passes.
  32         (bypass_jumps): Report run as third CPROP pass.
  33
  34 2009-04-12  Adam Nemet  <anemet@caviumnetworks.com>
  35
  36         PR middle-end/39651
  37         * except.c (can_throw_external): Look at each insn in a SEQUENCE
  38         when deciding whether the whole SEQUENCE can throw.
  39
  40 2009-04-12  Uros Bizjak  <ubizjak@gmail.com>
  41
  42         PR target/39740
  43         * config/alpha/predicates.md (local_symbolic_operand): Return 1 for
  44         offseted label references.
  45
  46 2009-04-11  Jan Hubicka  <jh@suse.cz>
  47
  48         * tree-ssa-pre.c (eliminate): Fix call of update_stmt.
  49
  50 2009-04-11  Richard Guenther  <rguenther@suse.de>
  51
  52         PR middle-end/39732
  53         * tree-inline.c (declare_return_variable): Mark DECL_BY_REFERENCE
  54         return variables as TREE_ADDRESSABLE.
  55
  56 2009-04-11  Richard Guenther  <rguenther@suse.de>
  57
  58         PR tree-optimization/39713
  59         * tree-ssa-sccvn.c (vn_get_expr_for): Make sure built
  60         reference trees have SSA_NAME operands.
  61
  62 2009-04-11  Richard Guenther  <rguenther@suse.de>
  63
  64         PR c/39712
  65         * c-gimplify.c (c_gimplify_expr): Adjust check for mismatched
  66         address expressions.
  67
  68 2009-04-11  Dave Korn  <dave.korn.cygwin@gmail.com>
  69
  70         * config/i386/cygwin-stdint.h (INT_LEAST32_TYPE):  Update to
  71         match changes in Cygwin 1.7
  72         (UINT_LEAST32_TYPE, INT_FAST16_TYPE, INT_FAST32_TYPE,
  73         UINT_FAST16_TYPE, UINT_FAST32_TYPE):  Likewise.
  74
  75 2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
  76
  77         PR tree-optimization/39701
  78         * doc/invoke.texi (Optimization Options): Document change in
  79         meaning and initialization of -fdelete-null-pointer-checks.
  80
  81 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
  82
  83         PR middle-end/39701
  84         * common.opt (-fdelete-null-pointer-checks): Initialize to 1.
  85
  86         * opts.c (decode_options): Don't set flag_delete_null_pointer_checks
  87         here.
  88
  89         * doc/invoke.texi: Update -fdelete-null-pointer-checks.
  90
  91 2009-04-10  Chao-ying Fu  <fu@mips.com>
  92
  93         * doc/tm.texi (Instruction Output): Document
  94         TARGET_ASM_FINAL_POSTSCAN_INSN.
  95         * target.h (final_postscan_insn): New field in asm_out.
  96         * target-def.h (TARGET_ASM_FINAL_POSTSCAN_INSN): New define.
  97         (TARGET_ASM_OUT): Add TARGET_ASM_FINAL_POSTSCAN_INSN.
  98         * final.c (final_scan_insn): Call
  99         targetm.asm_out.final_postscan_insn after outputting
 100         an asm macro and a normal instruction.
 101
 102         * config/mips/mips.h (FINAL_PRESCAN_INSN): New define.
 103         * config/mips/mips-protos.h (mips_final_prescan_insn): Declare.
 104         * config/mips/mips.c (mips_at_reg_p): New for_each_rtx callback.
 105         (mips_final_prescan_insn, mips_final_postscan_insn): New functions.
 106         (TARGET_ASM_FINAL_POSTSCAN_INSN): New define.
 107
 108 2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
 109
 110         PR middle-end/39701
 111         * fold-const.c (tree_single_nonzero_warnv_p): Pass non-static
 112         variables as non-NULL even with -fdelete-null-pointer-checks.
 113
 114 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
 115
 116         * config/rs6000/darwin-vecsave.asm: Remove extra "*/".
 117
 118 2009-04-09  H.J. Lu  <hongjiu.lu@intel.com>
 119
 120         PR target/39678
 121         * config/i386/i386.c (classify_argument): Handle SCmode with
 122         (bit_offset % 64) != 0.
 123
 124 2009-04-09  Sandra Loosemore  <sandra@codesourcery.com>
 125
 126         * doc/invoke.texi (Optimize Options): Add cross-reference to
 127         -Q --help=optimizers examples.
 128
 129 2009-04-10  Ben Elliston  <bje@au.ibm.com>
 130
 131         PR target/36800
 132         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Do not set
 133         regalign for the reg == fpr and TDmode case.
 134
 135 2009-04-09  David Ayers  <ayers@fsfe.org>
 136
 137         PR objc/29200
 138         * objc/objc-act.c (warn_with_method): Remove helper function.
 139         (check_duplicates): Call warning and inform directly.
 140         (really_start_method): Likewise.
 141
 142 2009-04-09  Paolo Bonzini  <bonzini@gnu.org>
 143
 144         * expmed.c (expand_divmod): Always use a comparison for a division
 145         by a large unsigned integer.
 146
 147         * fold-const.c (tree_single_nonzero_warnv_p): Always treat decls
 148         for things others than variables or functions as nonzero.
 149
 150 2009-04-09  Nick Clifton  <nickc@redhat.com>
 151
 152         * unwind-compat.c: Change copyright header to refer to version
 153         3 of the GNU General Public License with version 3.1 of the
 154         GCC Runtime Library Exception and to point readers at the
 155         COPYING3 and COPYING3.RUNTIME files and the FSF's license web page.
 156         * config/alpha/crtfastmath.c: Likewise.
 157         * config/alpha/linux-unwind.h: Likewise.
 158         * config/alpha/qrnnd.asm: Likewise.
 159         * config/alpha/vms-crt0-64.c: Likewise.
 160         * config/alpha/vms-crt0.c: Likewise.
 161         * config/alpha/vms-dwarf2.asm: Likewise.
 162         * config/alpha/vms-dwarf2eh.asm: Likewise.
 163         * config/alpha/vms-psxcrt0-64.c: Likewise.
 164         * config/alpha/vms-psxcrt0.c: Likewise.
 165         * config/alpha/vms_tramp.asm: Likewise.
 166         * config/arc/initfini.c: Likewise.
 167         * config/arc/lib1funcs.asm: Likewise.
 168         * config/arm/bpabi-v6m.S: Likewise.
 169         * config/arm/bpabi.S: Likewise.
 170         * config/arm/bpabi.c: Likewise.
 171         * config/arm/crti.asm: Likewise.
 172         * config/arm/crtn.asm: Likewise.
 173         * config/arm/ieee754-df.S: Likewise.
 174         * config/arm/ieee754-sf.S: Likewise.
 175         * config/arm/lib1funcs.asm: Likewise.
 176         * config/arm/libunwind.S: Likewise.
 177         * config/arm/linux-atomic.c: Likewise.
 178         * config/arm/mmintrin.h: Likewise.
 179         * config/arm/pr-support.c: Likewise.
 180         * config/arm/unaligned-funcs.c: Likewise.
 181         * config/arm/unwind-arm.c: Likewise.
 182         * config/arm/unwind-arm.h: Likewise.
 183         * config/avr/libgcc.S: Likewise.
 184         * config/bfin/crti.s: Likewise.
 185         * config/bfin/crtlibid.s: Likewise.
 186         * config/bfin/crtn.s: Likewise.
 187         * config/bfin/lib1funcs.asm: Likewise.
 188         * config/bfin/linux-unwind.h: Likewise.
 189         * config/cris/arit.c: Likewise.
 190         * config/cris/cris_abi_symbol.c: Likewise.
 191         * config/darwin-64.c: Likewise.
 192         * config/darwin-crt2.c: Likewise.
 193         * config/darwin-crt3.c: Likewise.
 194         * config/darwin.h: Likewise.
 195         * config/dbxelf.h: Likewise.
 196         * config/dfp-bit.c: Likewise.
 197         * config/dfp-bit.h: Likewise.
 198         * config/elfos.h: Likewise.
 199         * config/fixed-bit.c: Likewise.
 200         * config/fixed-bit.h: Likewise.
 201         * config/fp-bit.c: Likewise.
 202         * config/fp-bit.h: Likewise.
 203         * config/fr30/crti.asm: Likewise.
 204         * config/fr30/crtn.asm: Likewise.
 205         * config/fr30/lib1funcs.asm: Likewise.
 206         * config/freebsd-spec.h: Likewise.
 207         * config/frv/cmovd.c: Likewise.
 208         * config/frv/cmovh.c: Likewise.
 209         * config/frv/cmovw.c: Likewise.
 210         * config/frv/frvbegin.c: Likewise.
 211         * config/frv/frvend.c: Likewise.
 212         * config/frv/lib1funcs.asm: Likewise.
 213         * config/glibc-stdint.h: Likewise.
 214         * config/h8300/clzhi2.c: Likewise.
 215         * config/h8300/crti.asm: Likewise.
 216         * config/h8300/crtn.asm: Likewise.
 217         * config/h8300/ctzhi2.c: Likewise.
 218         * config/h8300/fixunssfsi.c: Likewise.
 219         * config/h8300/lib1funcs.asm: Likewise.
 220         * config/h8300/parityhi2.c: Likewise.
 221         * config/h8300/popcounthi2.c: Likewise.
 222         * config/i386/ammintrin.h: Likewise.
 223         * config/i386/att.h: Likewise.
 224         * config/i386/avxintrin.h: Likewise.
 225         * config/i386/biarch64.h: Likewise.
 226         * config/i386/bmmintrin.h: Likewise.
 227         * config/i386/cpuid.h: Likewise.
 228         * config/i386/cross-stdarg.h: Likewise.
 229         * config/i386/crtfastmath.c: Likewise.
 230         * config/i386/crtprec.c: Likewise.
 231         * config/i386/cygming-crtbegin.c: Likewise.
 232         * config/i386/cygming-crtend.c: Likewise.
 233         * config/i386/cygwin.asm: Likewise.
 234         * config/i386/emmintrin.h: Likewise.
 235         * config/i386/gmm_malloc.h: Likewise.
 236         * config/i386/gthr-win32.c: Likewise.
 237         * config/i386/i386.h: Likewise.
 238         * config/i386/immintrin.h: Likewise.
 239         * config/i386/linux-unwind.h: Likewise.
 240         * config/i386/linux64.h: Likewise.
 241         * config/i386/mm3dnow.h: Likewise.
 242         * config/i386/mmintrin-common.h: Likewise.
 243         * config/i386/mmintrin.h: Likewise.
 244         * config/i386/nmmintrin.h: Likewise.
 245         * config/i386/pmm_malloc.h: Likewise.
 246         * config/i386/pmmintrin.h: Likewise.
 247         * config/i386/smmintrin.h: Likewise.
 248         * config/i386/sol2-c1.asm: Likewise.
 249         * config/i386/sol2-ci.asm: Likewise.
 250         * config/i386/sol2-cn.asm: Likewise.
 251         * config/i386/sol2-gc1.asm: Likewise.
 252         * config/i386/tmmintrin.h: Likewise.
 253         * config/i386/unix.h: Likewise.
 254         * config/i386/w32-unwind.h: Likewise.
 255         * config/i386/wmmintrin.h: Likewise.
 256         * config/i386/x86-64.h: Likewise.
 257         * config/i386/x86intrin.h: Likewise.
 258         * config/i386/xmmintrin.h: Likewise.
 259         * config/ia64/crtbegin.asm: Likewise.
 260         * config/ia64/crtend.asm: Likewise.
 261         * config/ia64/crtfastmath.c: Likewise.
 262         * config/ia64/crti.asm: Likewise.
 263         * config/ia64/crtn.asm: Likewise.
 264         * config/ia64/fde-glibc.c: Likewise.
 265         * config/ia64/lib1funcs.asm: Likewise.
 266         * config/ia64/linux-unwind.h: Likewise.
 267         * config/ia64/quadlib.c: Likewise.
 268         * config/ia64/unwind-ia64.c: Likewise.
 269         * config/linux.h: Likewise.
 270         * config/m32c/m32c-lib1.S: Likewise.
 271         * config/m32c/m32c-lib2-trapv.c: Likewise.
 272         * config/m32c/m32c-lib2.c: Likewise.
 273         * config/m32r/initfini.c: Likewise.
 274         * config/m68hc11/larith.asm: Likewise.
 275         * config/m68hc11/m68hc11-crt0.S: Likewise.
 276         * config/m68k/cf.md: Likewise.
 277         * config/m68k/crti.s: Likewise.
 278         * config/m68k/crtn.s: Likewise.
 279         * config/m68k/lb1sf68.asm: Likewise.
 280         * config/m68k/linux-unwind.h: Likewise.
 281         * config/mcore/crti.asm: Likewise.
 282         * config/mcore/crtn.asm: Likewise.
 283         * config/mcore/lib1.asm: Likewise.
 284         * config/mips/linux-unwind.h: Likewise.
 285         * config/mips/loongson.h: Likewise.
 286         * config/mips/mips16.S: Likewise.
 287         * config/mmix/crti.asm: Likewise.
 288         * config/mmix/crtn.asm: Likewise.
 289         * config/pa/fptr.c: Likewise.
 290         * config/pa/hpux-unwind.h: Likewise.
 291         * config/pa/lib2funcs.asm: Likewise.
 292         * config/pa/linux-atomic.c: Likewise.
 293         * config/pa/linux-unwind.h: Likewise.
 294         * config/pa/milli64.S: Likewise.
 295         * config/pa/quadlib.c: Likewise.
 296         * config/pa/stublib.c: Likewise.
 297         * config/picochip/libgccExtras/adddi3.asm: Likewise.
 298         * config/picochip/libgccExtras/ashlsi3.asm: Likewise.
 299         * config/picochip/libgccExtras/ashlsi3.c: Likewise.
 300         * config/picochip/libgccExtras/ashrsi3.asm: Likewise.
 301         * config/picochip/libgccExtras/ashrsi3.c: Likewise.
 302         * config/picochip/libgccExtras/cmpsi2.asm: Likewise.
 303         * config/picochip/libgccExtras/divmod15.asm: Likewise.
 304         * config/picochip/libgccExtras/divmodhi4.asm: Likewise.
 305         * config/picochip/libgccExtras/divmodsi4.asm: Likewise.
 306         * config/picochip/libgccExtras/longjmp.asm: Likewise.
 307         * config/picochip/libgccExtras/lshrsi3.asm: Likewise.
 308         * config/picochip/libgccExtras/lshrsi3.c: Likewise.
 309         * config/picochip/libgccExtras/parityhi2.asm: Likewise.
 310         * config/picochip/libgccExtras/popcounthi2.asm: Likewise.
 311         * config/picochip/libgccExtras/setjmp.asm: Likewise.
 312         * config/picochip/libgccExtras/subdi3.asm: Likewise.
 313         * config/picochip/libgccExtras/ucmpsi2.asm: Likewise.
 314         * config/picochip/libgccExtras/udivmodhi4.asm: Likewise.
 315         * config/picochip/libgccExtras/udivmodsi4.asm: Likewise.
 316         * config/rs6000/750cl.h: Likewise.
 317         * config/rs6000/altivec.h: Likewise.
 318         * config/rs6000/biarch64.h: Likewise.
 319         * config/rs6000/crtresfpr.asm: Likewise.
 320         * config/rs6000/crtresgpr.asm: Likewise.
 321         * config/rs6000/crtresxfpr.asm: Likewise.
 322         * config/rs6000/crtresxgpr.asm: Likewise.
 323         * config/rs6000/crtsavfpr.asm: Likewise.
 324         * config/rs6000/crtsavgpr.asm: Likewise.
 325         * config/rs6000/darwin-asm.h: Likewise.
 326         * config/rs6000/darwin-fallback.c: Likewise.
 327         * config/rs6000/darwin-fpsave.asm: Likewise.
 328         * config/rs6000/darwin-ldouble.c: Likewise.
 329         * config/rs6000/darwin-tramp.asm: Likewise.
 330         * config/rs6000/darwin-unwind.h: Likewise.
 331         * config/rs6000/darwin-vecsave.asm: Likewise.
 332         * config/rs6000/darwin-world.asm: Likewise.
 333         * config/rs6000/e500crtres32gpr.asm: Likewise.
 334         * config/rs6000/e500crtres64gpr.asm: Likewise.
 335         * config/rs6000/e500crtres64gprctr.asm: Likewise.
 336         * config/rs6000/e500crtrest32gpr.asm: Likewise.
 337         * config/rs6000/e500crtrest64gpr.asm: Likewise.
 338         * config/rs6000/e500crtresx32gpr.asm: Likewise.
 339         * config/rs6000/e500crtresx64gpr.asm: Likewise.
 340         * config/rs6000/e500crtsav32gpr.asm: Likewise.
 341         * config/rs6000/e500crtsav64gpr.asm: Likewise.
 342         * config/rs6000/e500crtsav64gprctr.asm: Likewise.
 343         * config/rs6000/e500crtsavg32gpr.asm: Likewise.
 344         * config/rs6000/e500crtsavg64gpr.asm: Likewise.
 345         * config/rs6000/e500crtsavg64gprctr.asm: Likewise.
 346         * config/rs6000/eabi-ci.asm: Likewise.
 347         * config/rs6000/eabi-cn.asm: Likewise.
 348         * config/rs6000/eabi.asm: Likewise.
 349         * config/rs6000/linux-unwind.h: Likewise.
 350         * config/rs6000/linux64.h: Likewise.
 351         * config/rs6000/paired.h: Likewise.
 352         * config/rs6000/paired.md: Likewise.
 353         * config/rs6000/ppc64-fp.c: Likewise.
 354         * config/rs6000/ppu_intrinsics.h: Likewise.
 355         * config/rs6000/rs6000.h: Likewise.
 356         * config/rs6000/si2vmx.h: Likewise.
 357         * config/rs6000/sol-ci.asm: Likewise.
 358         * config/rs6000/sol-cn.asm: Likewise.
 359         * config/rs6000/spe.h: Likewise.
 360         * config/rs6000/spu2vmx.h: Likewise.
 361         * config/rs6000/sysv4.h: Likewise.
 362         * config/rs6000/tramp.asm: Likewise.
 363         * config/rs6000/vec_types.h: Likewise.
 364         * config/s390/linux-unwind.h: Likewise.
 365         * config/s390/tpf-unwind.h: Likewise.
 366         * config/score/crti.asm: Likewise.
 367         * config/score/crtn.asm: Likewise.
 368         * config/sh/crt1.asm: Likewise.
 369         * config/sh/crti.asm: Likewise.
 370         * config/sh/crtn.asm: Likewise.
 371         * config/sh/divtab-sh4-300.c: Likewise.
 372         * config/sh/divtab-sh4.c: Likewise.
 373         * config/sh/divtab.c: Likewise.
 374         * config/sh/lib1funcs-4-300.asm: Likewise.
 375         * config/sh/lib1funcs-Os-4-200.asm: Likewise.
 376         * config/sh/lib1funcs.asm: Likewise.
 377         * config/sh/lib1funcs.h: Likewise.
 378         * config/sh/linux-atomic.asm: Likewise.
 379         * config/sh/linux-unwind.h: Likewise.
 380         * config/sh/shmedia.h: Likewise.
 381         * config/sh/sshmedia.h: Likewise.
 382         * config/sh/ushmedia.h: Likewise.
 383         * config/sparc/crtfastmath.c: Likewise.
 384         * config/sparc/linux-unwind.h: Likewise.
 385         * config/sparc/sol2-c1.asm: Likewise.
 386         * config/sparc/sol2-ci.asm: Likewise.
 387         * config/sparc/sol2-cn.asm: Likewise.
 388         * config/spu/divmodti4.c: Likewise.
 389         * config/spu/divv2df3.c: Likewise.
 390         * config/spu/float_disf.c: Likewise.
 391         * config/spu/float_unsdidf.c: Likewise.
 392         * config/spu/float_unsdisf.c: Likewise.
 393         * config/spu/float_unssidf.c: Likewise.
 394         * config/spu/mfc_multi_tag_release.c: Likewise.
 395         * config/spu/mfc_multi_tag_reserve.c: Likewise.
 396         * config/spu/mfc_tag_release.c: Likewise.
 397         * config/spu/mfc_tag_reserve.c: Likewise.
 398         * config/spu/mfc_tag_table.c: Likewise.
 399         * config/spu/multi3.c: Likewise.
 400         * config/spu/spu_internals.h: Likewise.
 401         * config/spu/spu_intrinsics.h: Likewise.
 402         * config/spu/spu_mfcio.h: Likewise.
 403         * config/spu/vec_types.h: Likewise.
 404         * config/spu/vmx2spu.h: Likewise.
 405         * config/stormy16/stormy16-lib2.c: Likewise.
 406         * config/svr4.h: Likewise.
 407         * config/sync.c: Likewise.
 408         * config/v850/lib1funcs.asm: Likewise.
 409         * config/vxlib-tls.c: Likewise.
 410         * config/vxlib.c: Likewise.
 411         * config/vxworks-dummy.h: Likewise.
 412         * config/xtensa/crti.asm: Likewise.
 413         * config/xtensa/crtn.asm: Likewise.
 414         * config/xtensa/ieee754-df.S: Likewise.
 415         * config/xtensa/ieee754-sf.S: Likewise.
 416         * config/xtensa/lib1funcs.asm: Likewise.
 417         * config/xtensa/lib2funcs.S: Likewise.
 418         * config/xtensa/linux-unwind.h: Likewise.
 419         * config/xtensa/unwind-dw2-xtensa.c: Likewise.
 420         * config/xtensa/unwind-dw2-xtensa.h: Likewise.
 421         * coretypes.h: Likewise.
 422         * crtstuff.c: Likewise.
 423         * defaults.h: Likewise.
 424         * dwarf2.h: Likewise.
 425         * emutls.c: Likewise.
 426         * gbl-ctors.h: Likewise.
 427         * gcov-io.h: Likewise.
 428         * ginclude/float.h: Likewise.
 429         * ginclude/iso646.h: Likewise.
 430         * ginclude/stdarg.h: Likewise.
 431         * ginclude/stdbool.h: Likewise.
 432         * ginclude/stddef.h: Likewise.
 433         * ginclude/stdfix.h: Likewise.
 434         * ginclude/stdint-gcc.h: Likewise.
 435         * ginclude/tgmath.h: Likewise.
 436         * gthr-aix.h: Likewise.
 437         * gthr-dce.h: Likewise.
 438         * gthr-gnat.c: Likewise.
 439         * gthr-gnat.h: Likewise.
 440         * gthr-lynx.h: Likewise.
 441         * gthr-mipssde.h: Likewise.
 442         * gthr-nks.h: Likewise.
 443         * gthr-posix.c: Likewise.
 444         * gthr-posix.h: Likewise.
 445         * gthr-posix95.h: Likewise.
 446         * gthr-rtems.h: Likewise.
 447         * gthr-single.h: Likewise.
 448         * gthr-solaris.h: Likewise.
 449         * gthr-tpf.h: Likewise.
 450         * gthr-vxworks.h: Likewise.
 451         * gthr-win32.h: Likewise.
 452         * gthr.h: Likewise.
 453         * libgcc2.c: Likewise.
 454         * libgcc2.h: Likewise.
 455         * libgcov.c: Likewise.
 456         * tsystem.h: Likewise.
 457         * typeclass.h: Likewise.
 458         * unwind-c.c: Likewise.
 459         * unwind-compat.h: Likewise.
 460         * unwind-dw2-fde-compat.c: Likewise.
 461         * unwind-dw2-fde-darwin.c: Likewise.
 462         * unwind-dw2-fde-glibc.c: Likewise.
 463         * unwind-dw2-fde.c: Likewise.
 464         * unwind-dw2-fde.h: Likewise.
 465         * unwind-dw2.c: Likewise.
 466         * unwind-dw2.h: Likewise.
 467         * unwind-generic.h: Likewise.
 468         * unwind-pe.h: Likewise.
 469         * unwind-sjlj.c: Likewise.
 470         * unwind.inc: Likewise.
 471         * config/arm/neon-gen.ml: Change generated copyright header to
 472         refer to version 3 of the GNU General Public License with
 473         version 3.1 of the GCC Runtime Library Exception and to point
 474         readers at the COPYING3 and COPYING3.RUNTIME files and the
 475         FSF's license web page.
 476         * config/arm/arm_neon.h: Regenerate.
 477
 478 2009-04-09  Jakub Jelinek  <jakub@redhat.com>
 479
 480         * config/cris/cris.md: Change copyright header to refer to version
 481         3 of the GNU General Public License.
 482         * doc/install.texi2html: Change copyright header to refer to version
 483         3 of the GNU General Public License and to point readers at the
 484         COPYING3 file and the FSF's license web page.
 485         * config/vax/linux.h: Likewise.
 486
 487 2009-04-09  Paolo Bonzini  <bonzini@gnu.org>
 488
 489         * config/i386/i386.md (cmpcc): New.
 490         * config/i386/sync.md (sync_compare_and_swap*): Set FLAGS_REG.
 491         (sync_compare_and_swap_cc*): Delete.
 492
 493         * config/s390/s390.c (s390_compare_emitted): Remove.
 494         (s390_emit_compare): Handle MODE_CC s390_compare_op0 like
 495         s390_compare_emitted used to be handled.  Assert that modes match.
 496         (s390_emit_compare_and_swap): Use s390_emit_compare, do not
 497         refer to sync_compare_and_swap_ccsi.
 498         * config/s390/s390.h (s390_compare_emitted): Remove.
 499         * config/s390/s390.md (seq): Look for MODE_CC s390_compare_op0
 500         instead of s390_compare_emitted.
 501         (stack_protect_test, sync_compare_and_swap_cc): Set s390_compare_op0
 502         instead of s390_compare_emitted.
 503         * config/s390/s390.md (cmpcc): New.
 504         (sync_compare_and_swapqi, sync_compare_and_swaphi): Clobber
 505         CC_REGNUM, do not pretend it's set.
 506         (sync_compare_and_swap_cc*): Delete.
 507         * config/s390/predicates.md (cc_reg_operand): New.
 508
 509         * expr.c (sync_compare_and_swap_cc): Delete.
 510         * optabs.h (sync_compare_and_swap_cc): Delete.
 511         * optabs.c (prepare_cmp_insn): Ignore which specific CCmode
 512         is being used with can_compare_p.
 513         (emit_cmp_and_jump_insn_1): Likewise when looking in the optab.
 514         (find_cc_set): New.
 515         (expand_bool_compare_and_swap): Do not use sync_compare_and_swap_cc,
 516         look for a MODE_CC set instead.  Use emit_store_flag.
 517         (expand_compare_and_swap_loop): Likewise, with some additional
 518         complication to avoid a force_reg when useless.  Use
 519         emit_cmp_and_jump_insns.
 520         * genopinit.c (optabs): Delete sync_compare_and_swap_cc.
 521         * doc/md.texi (sync_compare_and_swap_cc): Merge with
 522         sync_compare_and_swap documentation.
 523
 524 2009-04-09  Jan Hubicka  <jh@suse.cz>
 525
 526         * except.c (find_prev_try): Break out from ....
 527         (duplicate_eh_regions): ... here; properly update prev_try pointers
 528         when duplication part of tree.
 529         (dump_eh_tree): Improve dumping.
 530         (verify_eh_region): New.
 531         (verify_eh_tree): Use it.
 532
 533 2009-04-06  Richard Guenther  <rguenther@suse.de>
 534
 535         * c-gimplify.c (c_gimplify_expr): Fix the invalid GENERIC
 536         &ARRAY addresses by adjusting their types and prepending
 537         a conversion.
 538         * tree-cfg.c (verify_gimple_assign_single): Verify that
 539         addresses are correct.
 540
 541 2009-04-09  Richard Guenther  <rguenther@suse.de>
 542
 543         * tree-ssa-ccp.c (maybe_fold_stmt_addition): Move non-constant
 544         indices into an array reference if possible.
 545         * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
 546         Fold POINTER_PLUS_EXPR statements with invariant address.
 547
 548 2009-04-09  Alan Modra  <amodra@bigpond.net.au>
 549
 550         PR target/39634
 551         * config.gcc (powerpc64-*-linux*): Always build biarch.
 552
 553 2009-04-09  Joseph Myers  <joseph@codesourcery.com>
 554
 555         PR c/39613
 556         * c-typeck.c (do_case): If case label is not an INTEGER_CST, fold
 557         it and pedwarn if this results in an INTEGER_CST.
 558
 559 2009-04-08  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 560
 561         * doc/install.texi: Update minimum GMP version.  Remove obsolete
 562         text in MPFR section.
 563
 564 2009-04-08  Jakub Jelinek  <jakub@redhat.com>
 565
 566         * dwarf2out.c (class_scope_p): New static inline.
 567         (class_or_namespace_scope_p): Use it.
 568         (gen_variable_die): Use DW_TAG_member tag for static data member
 569         declarations instead of DW_TAG_variable.
 570
 571         PR middle-end/39573
 572         * omp-low.c (expand_omp_taskreg): Finalize taskreg static local_decls
 573         variables.
 574
 575 2009-04-08  Richard Guenther  <rguenther@suse.de>
 576
 577         * tree-ssa-sccvn.c (valueize_refs): Do not continue to
 578         valueize random data.
 579
 580 2009-04-08  David Edelsohn  <edelsohn@gnu.org>
 581
 582         * config.gcc (aix tm_file):  Add aix-stdint.h.
 583         (aix tm clause use_gcc_stdint):  Set to wrap.
 584         * config/rs6000/aix-stdint.h:  New file.
 585
 586 2009-04-08  Richard Guenther  <rguenther@suse.de>
 587
 588         PR middle-end/36291
 589         * tree-dfa.c (add_referenced_var): Do not recurse into
 590         global initializers.
 591         * tree-ssa-ccp.c (get_symbol_constant_value): Add newly
 592         exposed variables.
 593         (fold_const_aggregate_ref): Likewise.
 594
 595 2009-04-08  Paolo Bonzini  <bonzini@gnu.org>
 596
 597         * recog.c (ordered_comparison_operator): New.
 598         * gensupport.c (std_preds): Add it.
 599         * doc/md.texi (Machine-Independent Predicates): Document it.
 600
 601 2009-04-08  Jan Hubicka  <jh@suse.cz>
 602
 603         * tree-eh.c (cleanup_eh): When not optimizing, do not try EH merging.
 604         * function.h (rtl_eh): Remove exception_handler_label_map.
 605         * except.c (ehl_hash, ehl_eq, add_ehl_entry,
 606         remove_exception_handler_label, for_each_eh_label_1): Remove.
 607         (rtl_remove_unreachable_regions): Remove.
 608         (convert_from_eh_region_ranges): Do not remove unreachable regions.
 609         (find_exception_handler_labels): Don't build the hashtable.
 610         (maybe_remove_eh_handler): Remove.
 611         (for_each_eh_label): Rewrite to walk the tree.
 612         (rest_of_handle_eh): Do not cleanup cfg prior EH construction.
 613         * except.h (maybe_remove_eh_handler): Remove.
 614         * passes.c (init_optimization_passes): Schedule second EH cleanup
 615         before out-of-ssa.
 616         * cfgrtl.c (rtl_delete_block, rtl_merge_blocks,
 617         cfg_layout_merge_blocks): Do not call maybe_remove_eh_handler.
 618
 619 2009-04-08  Paolo Bonzini  <bonzini@gnu.org>
 620
 621         * genoutput.c (validate_optab_operands): New.
 622         (gen_insn, gen_expand): Call it.
 623
 624         * genflags.c (gen_insn): Detect misused iterators.
 625         (main): Pass line_no to gen_insn, exit with status 1 on error.
 626
 627         * genextract.c (line_no): Make global.
 628         (VEC_safe_set_locstr): Change assertion to error message.
 629         (main): Exit with status 1 on error.
 630
 631 2009-04-08  Joseph Myers  <joseph@codesourcery.com>
 632
 633         PR c/39614
 634         PR c/39673
 635         * c-common.h (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
 636         C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
 637         EXPR_INT_CONST_OPERANDS): Remove duplicate definitions.
 638         * c-convert.c (convert): Do not call fold on results of conversion
 639         functions when the result is a C_MAYBE_CONST_EXPR.
 640         * c-parser.c (c_parser_postfix_expression): Do not fold condition
 641         of __builtin_choose_expr.
 642         * c-typeck.c (remove_c_maybe_const_expr): New.
 643         (build_unary_op, build_conditional_expr, build_compound_expr,
 644         build_binary_op, c_objc_common_truthvalue_conversion): Call
 645         remove_c_maybe_const_expr on any input C_MAYBE_CONST_EXPR with
 646         integer operands.
 647
 648 2009-04-08 Bingfeng Mei <bmei@broadcom.com>
 649
 650         * fold-const.c (const_binop): Combine two VECTOR_CST under operation
 651         CODE to produce a new one. Add a prototype to use fold_convert_const
 652
 653 2009-04-08  Danny Smith  <dannysmith@users.sourceforge.net>
 654
 655         PR bootstrap/39660
 656         * config/i386/host-mingw32.c (mingw32_gt_pch_use_address): Don't
 657         mix declarations and code.
 658
 659 2009-04-08  Ben Elliston  <bje@au.ibm.com>
 660
 661         * gcc.c: Replace `CC' with `GCC' throughout.
 662
 663 2009-04-07  H.J. Lu  <hongjiu.lu@intel.com>
 664
 665         * doc/invoke.texi: Document Atom support.
 666
 667 2009-04-07  Jason Merrill  <jason@redhat.com>
 668
 669         PR c++/25185
 670         * c-common.h, c-common.c: Add flag_pretty_templates.
 671         * c-opts.c (c_common_handle_option): Set it.
 672         * c.opt: Add -fno-pretty-templates.
 673         * doc/invoke.texi (C++ Dialect Options): Likewise.
 674
 675 2009-04-07  Uros Bizjak  <ubizjak@gmail.com>
 676
 677         * config/ia64/ia64.c (ia64_builtins): Add IA64_BUILTIN_HUGE_VALQ.
 678         (ia64_init_builtins): Handle IA64_BUILTIN_HUGE_VALQ.
 679         (ia64_expand_builtin): Likewise.
 680
 681 2009-04-07  Martin Jambor  <mjambor@suse.cz>
 682
 683         * tree-ssa-alias.c (refs_may_alias_p_1): Check for
 684         is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
 685         ADDR_EXPRS are include too.
 686
 687 2009-04-07  Richard Guenther  <rguenther@suse.de>
 688
 689         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Non-aliased
 690         decls are only used if passes as parameters or if they are
 691         local statics and the call is not to a builtin.
 692         (call_may_clobber_ref_p_1): Likewise.
 693
 694 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
 695
 696         * expr.c (do_store_flag): Remove last argument.  Simplify code
 697         to avoid duplication of tests already done by can_compare_p.
 698         (expand_expr_real_1): Adjust caller.
 699
 700 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
 701
 702         * optabs.c (can_compare_p): Test the predicate of a
 703         cbranch and cstore pattern.
 704
 705 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
 706
 707         * expr.c (convert_move): Use emit_store_flag instead of
 708         "emulating" it.
 709
 710 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
 711
 712         * config/i386/i386.c (ix86_compare_emitted): Remove.
 713         (ix86_expand_compare, ix86_expand_branch): Handle MODE_CC
 714         ix86_compare_op0 like ix86_compare_emitted used to be handled.
 715         * config/i386/i386.h (ix86_compare_emitted): Remove.
 716         * config/i386/i386.md (stack_protect_test): Set ix86_compare_op0
 717         instead of ix86_compare_emitted.
 718         * config/i386/sync.md (sync_compare_and_swap_cc): Likewise.
 719
 720 2009-04-07  Andrew Stubbs  <ams@codesourcery.com>
 721
 722         * config.gcc (sh-*-*): Add sysroot-suffix.h to tm_file.
 723         Add t-sysroot-suffix to tmake_file.
 724         * config/print-sysroot-suffix.sh: New file.
 725         * config/t-sysroot-suffix: New file.
 726
 727 2009-04-07  Ben Elliston  <bje@au.ibm.com>
 728
 729         * libgcc2.c (INFINITY): Use __builtin_huge_val, not __builtin_inf,
 730         as the latter produces a warning when the target does not support
 731         infinity.
 732
 733 2009-04-07  Ben Elliston  <bje@au.ibm.com>
 734
 735         * dfp.c: Replace type punning assignments with memcpy throughout.
 736         * Makefile.in (dfp.o-warn): Remove.
 737
 738 2009-04-07  Alan Modra  <amodra@bigpond.net.au>
 739
 740         PR target/39634
 741         * config.gcc: Merge powerpc-*-linux* and powerpc64-*-linux*.
 742         Include soft-fp/t-softfp after rs6000/t-linux64.
 743
 744 2009-04-06  Eric Botcazou  <ebotcazou@adacore.com>
 745
 746         * stor-layout.c (set_sizetype): Use the full precision of their
 747         machine mode for bitsize types.
 748
 749 2009-04-06  H.J. Lu  <hongjiu.lu@intel.com>
 750
 751         * config/i386/i386.md: Revert 2 accidental checkins.
 752
 753 2009-04-06  Joey Ye  <joey.ye@intel.com>
 754             Xuepeng Guo <xuepeng.guo@intel.com>
 755             H.J. Lu  <hongjiu.lu@intel.com>
 756
 757         Atom pipeline model, tuning and insn selection.
 758         * config.gcc (atom): Add atom config options and target.
 759
 760         * config/i386/atom.md: New.
 761
 762         * config/i386/i386.c (atom_cost): New cost.
 763         (m_ATOM): New macro flag.
 764         (initial_ix86_tune_features): Set m_ATOM.
 765         (x86_accumulate_outgoing_args): Likewise.
 766         (x86_arch_always_fancy_math_387): Likewise.
 767         (processor_target): Add Atom cost.
 768         (cpu_names): Add Atom cpu name.
 769         (override_options): Set Atom ISA.
 770         (ix86_issue_rate): New case PROCESSOR_ATOM.
 771         (ix86_adjust_cost): Likewise.
 772
 773         * config/i386/i386.h (TARGET_ATOM): New target macro.
 774         (ix86_tune_indices): Add X86_TUNE_OPT_AGU.
 775         (TARGET_OPT_AGU): New target option.
 776         (target_cpu_default): Add TARGET_CPU_DEFAULT_atom.
 777         (processor_type): Add PROCESSOR_ATOM.
 778
 779         * config/i386/i386.md (cpu): Add new value "atom".
 780         (use_carry, movu): New attr.
 781         (atom.md): Include atom.md.
 782         (adddi3_carry_rex64): Set attr "use_carry".
 783         (addqi3_carry): Likewise.
 784         (addhi3_carry): Likewise.
 785         (addsi3_carry): Likewise.
 786         (*addsi3_carry_zext): Likewise.
 787         (subdi3_carry_rex64): Likewise.
 788         (subqi3_carry): Likewise.
 789         (subhi3_carry): Likewise.
 790         (subsi3_carry): Likewise.
 791         (x86_movdicc_0_m1_rex64): Likewise.
 792         (*x86_movdicc_0_m1_se): Likewise.
 793         (x86_movsicc_0_m1): Likewise.
 794         (*x86_movsicc_0_m1_se): Likewise.
 795         (*adddi_1_rex64): Emit add insn as much as possible.
 796         (*addsi_1): Likewise.
 797         (return_internal): Set atom_unit.
 798         (return_internal_long): Likewise.
 799         (return_pop_internal): Likewise.
 800         (*rcpsf2_sse): Set atom_sse_attr attr.
 801         (*qrt<mode>2_sse): Likewise.
 802         (*prefetch_sse): Likewise.
 803
 804         * config/i386/i386-c.c (ix86_target_macros_internal): New case
 805         PROCESSOR_ATOM.
 806         (ix86_target_macros_internal): Likewise.
 807
 808         * config/i386/sse.md (cpu): Set attr "atom_sse_attr".
 809         (*prefetch_sse_rex): Likewise.
 810         (sse_rcpv4sf2): Likewise.
 811         (sse_vmrcpv4sf2): Likewise.
 812         (sse_sqrtv4sf2): Likewise.
 813         (<sse>_vmsqrt<mode>2): Likewise.
 814         (sse_ldmxcsr): Likewise.
 815         (sse_stmxcsr): Likewise.
 816         (*sse_sfence): Likewise.
 817         (sse2_clflush): Likewise.
 818         (*sse2_mfence): Likewise.
 819         (*sse2_lfence): Likewise.
 820         (avx_movup<avxmodesuffixf2c><avxmodesuffix>): Set attr "movu".
 821         (<sse>_movup<ssemodesuffixf2c>): Likewise.
 822         (avx_movdqu<avxmodesuffix>): Likewise.
 823         (avx_lddqu<avxmodesuffix>): Likewise.
 824         (sse2_movntv2di): Change attr "type" to "ssemov".
 825         (sse2_movntsi): Likewise.
 826         (rsqrtv8sf2): Change attr "type" to "sseadd".
 827         (sse3_addsubv2df3): Set attr "atom_unit".
 828         (sse3_h<plusminus_insn>v4sf3): Likewise.
 829         (*sse2_pmaddwd): Likewise.
 830         (*vec_extractv2di_1_rex64): Likewise.
 831         (*vec_extractv2di_1_avx): Likewise.
 832         (sse2_psadbw): Likewise.
 833         (ssse3_phaddwv8hi3): Likewise.
 834         (ssse3_phaddwv4hi3): Likewise.
 835         (ssse3_phadddv4si3): Likewise.
 836         (ssse3_phadddv2si3): Likewise.
 837         (ssse3_phaddswv8hi3): Likewise.
 838         (ssse3_phaddswv4hi3): Likewise.
 839         (ssse3_phsubwv8hi3): Likewise.
 840         (ssse3_phsubwv4hi3): Likewise.
 841         (ssse3_phsubdv4si3): Likewise.
 842         (ssse3_phsubdv2si3): Likewise.
 843         (ssse3_phsubswv8hi3): Likewise.
 844         (ssse3_phsubswv4hi3): Likewise.
 845         (ssse3_pmaddubsw128): Likewise.
 846         (sse3_pmaddubsw: Likewise.
 847         (ssse3_palignrti): Likewise.
 848         (ssse3_palignrdi): Likewise.
 849
 850 2009-04-06  Gerald Pfeifer  <gerald@pfeifer.com>
 851
 852         * doc/install.texi (Specific): Fix two cross-references to MinGW.
 853
 854 2009-04-06  Richard Guenther  <rguenther@suse.de>
 855
 856         PR tree-optimization/28868
 857         * tree-ssa-pre.c (inserted_phi_names): New bitmap to keep track
 858         of which PHI results we inserted.
 859         (insert_into_preds_of_block): Record inserted PHIs.
 860         (eliminate): Eliminate redundant PHI nodes.
 861         (init_pre): Init inserted_phi_names.
 862
 863 2009-04-06  Richard Guenther  <rguenther@suse.de>
 864
 865         PR tree-optimization/39643
 866         * tree-ssa-ccp.c (ccp_fold): Fold REALPART_EXPRs and
 867         IMAGPART_EXPRs of complex constants.
 868         (execute_fold_all_builtins): If we folded a call queue
 869         TODO_update_address_taken.
 870
 871 2009-04-06  Jan Hubicka  <jh@suse.cz>
 872
 873         PR middle-end/39659
 874         * except.c (remove_unreachable_regions): Propagate may_contain_throw
 875         flag.
 876
 877 2009-04-06  Andrew Stubbs  <ams@codesourcery.com>
 878
 879         * config/sh/lib1funcs.asm (ic_invalidate): Move ICBI out of the
 880         delay slot.
 881         (ic_invalidate_array): Likewise.
 882
 883 2009-04-06  Hariharan Sandanagobalane <hariharan@picochip.com>
 884
 885         * calls.c (emit_library_call_value_1): Fix a problem with parameter
 886         alignment for library calls.
 887
 888 2009-04-06  Danny Smith  <dannysmith@users.sourceforge.net>
 889
 890         * config.gcc (mingw32 tm_file):  Add mingw-stdint.h.
 891         (mingw32 tm clause use_gcc_stdint):  Set to wrap.
 892         * config/i386/mingw-stdint.h:  New file.
 893
 894 2009-04-05  Richard Guenther  <rguenther@suse.de>
 895
 896         PR tree-optimization/39648
 897         * tree-ssa-sccvn.c (vn_reference_fold_indirect): Work around
 898         our &A vs. &A[0] IL deficiencies.
 899
 900 2009-04-04  Jan Hubicka  <jh@suse.cz>
 901
 902         * except.c (sjlj_find_directly_reachable_regions): Be ready for
 903         removed toplevel regions.
 904         (sjlj_mark_call_sites): Likewise.
 905
 906 2009-04-04  Dave Korn  <dave.korn.cygwin@gmail.com>
 907
 908         * config.gcc (cygwin tm_file):  Add cygwin-stdint.h.
 909         (cygwin tm clause use_gcc_stdint):  Set to wrap.
 910         * config/i386/cygwin-stdint.h:  New file.
 911
 912 2009-04-04  Richard Guenther  <rguenther@suse.de>
 913
 914         * Makefile.in (tree-ssa-copy.o): Add $(CFGLOOP_H) dependency.
 915         * tree-ssa-copy.c (init_copy_prop): Do not propagate through
 916         single-argument PHIs if we are in loop-closed SSA form.
 917         * tree-vect-loop-manip.c (slpeel_add_loop_guard): Pass extra guards
 918         for the pre-condition.
 919         (slpeel_tree_peel_loop_to_edge): Likewise.
 920         (vect_build_loop_niters): Take an optional sequence to append stmts.
 921         (vect_generate_tmps_on_preheader): Likewise.
 922         (vect_do_peeling_for_loop_bound): Take extra guards for the
 923         pre-condition.
 924         (vect_do_peeling_for_alignment): Adjust.  Unconditionally apply
 925         the cost model check.
 926         (vect_loop_versioning): Take stmt and stmt list to put pre-condition
 927         guards if we are going to peel.  Do not apply versioning in that case.
 928         * tree-vectorizer.h (vect_loop_versioning): Adjust declaration.
 929         (vect_do_peeling_for_loop_bound): Likewise.
 930         * tree-vect-loop.c (vect_transform_loop): If we are peeling for
 931         loop bound only record extra pre-conditions, do not apply loop
 932         versioning.
 933
 934 2009-04-04  Richard Guenther  <rguenther@suse.de>
 935
 936         * tree-ssa-operands.c (pop_stmt_changes): Remove automatic
 937         renaming code.
 938
 939 2009-04-04  Jan Hubicka  <jh@suse.cz>
 940
 941         * tree-ssa-uncprop.c (associate_equivalences_with_edges): Use
 942         last_basic_block for size of bb->index indexed array.
 943         * bt-load.c (compute_defs_uses_and_gen, compute_kill,
 944         compute_out, link_btr_uses, build_btr_def_use_webs,
 945         build_btr_def_use_webs, migrate_btr_defs): Likewise.
 946
 947 2009-04-04  Jan Hubicka  <jh@suse.cz>
 948
 949         * except.c (remove_eh_handler_and_replace): Break out from ...
 950         (remove_eh_handler): ... here.
 951         (bring_to_root): New function.
 952         (remove_unreachable_regions): Collect MUST_NOT_THROW, unify runtime
 953         handled ones, bring others to root of tree.
 954
 955 2009-04-04  Jan Hubicka  <jh@suse.cz>
 956
 957         * tree-eh.c (tree_empty_eh_handler_p): Pattern match more curefully.
 958         (all_phis_safe_to_merge): New function.
 959         (update_info): New structure.
 960         (make_eh_edge_and_update_phi, update_eh_edges): New functions.
 961         (cleanup_empty_eh): Update SSA if possible.
 962
 963 2009-04-04  Richard Guenther  <rguenther@suse.de>
 964
 965         * tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.
 966         * tree-ssa-operands.c (append_vdef): Do not append VOPs at -O0.
 967         (append_vuse): Likewise.
 968
 969 2009-04-04  Jakub Jelinek  <jakub@redhat.com>
 970
 971         * unwind-dw2.h (_Unwind_FrameState): Add REG_UNDEFINED enum value.
 972         * unwind-dw2.c (execute_cfa_program): Set how to REG_UNDEFINED
 973         instead of REG_UNSAVED for DW_CFA_undefined.
 974         (uw_update_context_1): Handle REG_UNDEFINED the same as REG_UNSAVED.
 975         (uw_update_context): If RA column is REG_UNDEFINED, mark it as
 976         outermost frame.
 977
 978 2009-04-04  Richard Earnshaw  <rearnsha@arm.com>
 979
 980         PR target/39501
 981         * arm.md (movsfcc): Disable if not TARGET_HARD_FLOAT.
 982         * testsuite/gcc.c-torture/execute/pr39501.c: New file.
 983         * testsuite/gcc.c-torture/execute/pr39501.x: New file.
 984
 985 2009-04-04  Richard Guenther  <rguenther@suse.de>
 986
 987         PR tree-optimization/8781
 988         PR tree-optimization/37892
 989         * tree-ssa-sccvn.h (vn_reference_fold_indirect): Declare.
 990         * tree-ssa-sccvn.c (vn_reference_fold_indirect): New function.
 991         (valueize_refs): Call it for *& valueizations.
 992         (shared_reference_ops_from_ref): Rename to ...
 993         (valueize_shared_reference_ops_from_ref): ... this and valueize.
 994         (shared_reference_ops_from_call): Rename to ...
 995         (valueize_shared_reference_ops_from_call): ... this and valueize.
 996         (vn_reference_lookup): Update.
 997         (visit_reference_op_call): Likewise.
 998         * tree-ssa-pre.c (phi_translate_1): Fold *&.
 999         (eliminate): Value-replace the call address in call statements.
1000
1001 2009-04-04  Richard Guenther  <rguenther@suse.de>
1002
1003         PR tree-optimization/39636
1004         * tree-ssa-forwprop.c
1005         (forward_propagate_addr_into_variable_array_index): Check for
1006         GIMPLE_ASSIGN before accessing the rhs code.
1007
1008 2009-04-03  Jason Merrill  <jason@redhat.com>
1009
1010         * stor-layout.c (set_sizetype): Set TYPE_CANONICAL.
1011
1012 2009-04-03  Steve Ellcey  <sje@cup.hp.com>
1013
1014         * config/ia64/ia64.md (extendsfdf2, extendsfxf2, extenddfxf2,
1015         truncdfsf2, truncxfsf2, truncxfdf2, floatdixf2, fix_truncsfdi2,
1016         fix_truncdfdi2, fix_truncxfdi2, fix_truncxfdi2_alts, floatunsdisf2,
1017         floatunsdidf2, floatunsdixf2, fixuns_truncsfdi2, fixuns_truncdfdi2,
1018         fixuns_truncxfdi2, fixuns_truncxfdi2_alts, divsi3_internal,
1019         smuldi3_highpart, umuldi3_highpart, ctzdi2, *getf_exp_xf,
1020         divdi3_internal_lat, divdi3_internal_thr, mulditi3, *mulditi3_internal,
1021         umulditi3, *umulditi3_internal, addsf3, mulsf3, abssf2, negsf2,
1022         *nabssf2, sminsf3, smaxsf3, *maddsf4, *msubsf4, *nmulsf3, *nmaddsf4,
1023         *nmaddsf4_alts, divsf3, *sqrt_approx, sqrtsf2, sqrtsf2_internal_thr,
1024         adddf3, *adddf3_trunc, muldf3, *muldf3_trunc, absdf2, negdf2, *nabsdf2,
1025         smindf3, smaxdf3, *madddf4, *madddf4_trunc, *msubdf4, *msubdf4_trunc,
1026         *nmuldf3, *nmuldf3_trunc, *nmadddf4, *nmadddf4_alts, *nmadddf4_truncsf,
1027         *nmadddf4_truncsf_alts, divdf3, sqrtdf2, sqrtdf2_internal_thr, divxf3,
1028         sqrtxf2, sqrtxf2_internal_thr, *recip_approx):
1029         Use fr_reg_or_fp01_operand instead of fr_register_operand
1030
1031         * config/ia64/div.md (extend<mode>rf2, truncrf<mode>2,
1032         recip_approx_rf, divsf3_internal_thr, divsf3_internal_lat,
1033         divdf3_internal_thr, divdf3_internal_lat divxf3_internal): Ditto.
1034
1035 2009-04-03  Vladimir Makarov  <vmakarov@redhat.com>
1036
1037         PR rtl-optimization/39607
1038         PR rtl-optimization/39631
1039
1040         Revert:
1041
1042         2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
1043         * reload.c (push_reload, find_dummy_reload): Use df_get_live_out
1044         instead of DF_LR_OUT.
1045         * ira-lives.c (process_bb_node_lives): Ditto.
1046         * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in}
1047         instead of DF_LR_{OUT,IN}.
1048         * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto.
1049         * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto.
1050
1051 2009-04-03  Steven Bosscher  <steven@gcc.gnu.org>
1052
1053         * omp-low.c (pass_expand_omp): Don't claim to provide PROP_gimple_lomp.
1054         (execute_lower_omp): Always run but take the short way out if -fopenmp
1055         is not given.
1056         (gate_lower_omp): Remove, forcing the pass manager to always run the
1057         pass and always set PROP_gimple_lomp.
1058         (pass_lower_omp): Remove gate function.
1059         * matrix-reorg.c (pass_ipa_matrix_reorg): Don't claim to provide
1060         PROP_trees.  Instead, require it.
1061         * ipa-cp.c (pass_ipa_cp): Likewise.
1062         * ipa-inline.c (pass_early_inline): Don't claim to provide PROP_cfg.
1063         (pass_ipa_early_inline, pass_inline_parameters, pass_ipa_inline): Idem.
1064         * tree-profile.c (pass_tree_profile): Don't claim to provide PROP_cfg
1065         and PROP_gimple_leh.
1066
1067 2009-04-03  Richard Guenther  <rguenther@suse.de>
1068
1069         PR middle-end/13146
1070         PR tree-optimization/23940
1071         PR tree-optimization/33237
1072         PR middle-end/33974
1073         PR middle-end/34093
1074         PR tree-optimization/36201
1075         PR tree-optimization/36230
1076         PR tree-optimization/38049
1077         PR tree-optimization/38207
1078         PR tree-optimization/38230
1079         PR tree-optimization/38301
1080         PR tree-optimization/38585
1081         PR middle-end/38895
1082         PR tree-optimization/38985
1083         PR tree-optimization/39299
1084         * tree-ssa-structalias.h: Remove.
1085         * tree-ssa-operands.h (NULL_USE_OPERAND_P): Make of type use_operand_p.
1086         (NULL_DEF_OPERAND_P): Make of type def_operand_p.
1087         (struct vuse_element_d): Remove.
1088         (struct vuse_vec_d): Likewise.
1089         (VUSE_VECT_NUM_ELEM, VUSE_VECT_ELEMENT_NC, VUSE_ELEMENT_PTR_NC,
1090         VUSE_ELEMENT_VAR_NC, VUSE_VECT_ELEMENT, VUSE_ELEMENT_PTR,
1091         SET_VUSE_VECT_ELEMENT, SET_VUSE_ELEMENT_VAR, SET_VUSE_ELEMENT_PTR,
1092         VUSE_ELEMENT_VAR): Likewise.
1093         (struct voptype_d): Likewise.
1094         (NUM_VOP_FREE_BUCKETS): Likewise.
1095         (struct ssa_operands): Remove vop_free_buckets and mpt_table fields.
1096         (struct stmt_operands_d): Remove.
1097         (VUSE_OP_PTR, VUSE_OP, SET_VUSE_OP, VUSE_NUM, VUSE_VECT,
1098         VDEF_RESULT_PTR, VDEF_RESULT, VDEF_OP_PTR, VDEF_OP, SET_VDEF_OP,
1099         VDEF_NUM, VDEF_VECT): Likewise.
1100         (copy_virtual_operands): Remove.
1101         (operand_build_cmp): Likewise.
1102         (create_ssa_artificial_load_stmt): Likewise.
1103         (enum ssa_op_iter_type): Remove ssa_op_iter_vdef.
1104         (struct ssa_operand_iterator_d): Remove vuses, vdefs, mayusesm
1105         vuse_index and mayuse_index members.  Pack and move done and iter_type
1106         members to the front.
1107         (SSA_OP_VMAYUSE): Remove.
1108         (SSA_OP_VIRTUAL_USES): Adjust.
1109         (FOR_EACH_SSA_VDEF_OPERAND): Remove.
1110         (unlink_stmt_vdef): Declare.
1111         (add_to_addressable_set): Remove.
1112         * tree-vrp.c (stmt_interesting_for_vrp): Adjust.
1113         (vrp_visit_stmt): Likewise.
1114         * doc/tree-ssa.texi (Alias analysis): Update.
1115         * doc/invoke.texi (max-aliased-vops): Remove docs.
1116         (avg-aliased-vops): Likewise.
1117         * tree-into-ssa.c (syms_to_rename): Remove.
1118         (need_to_update_vops_p): Likewise.
1119         (need_to_initialize_update_ssa_p): Rename to ...
1120         (update_ssa_initialized_fn): ... this.  Track function we are
1121         initialized for.
1122         (symbol_marked_for_renaming): Simplify.
1123         (add_new_name_mapping): Do not set need_to_update_vops_p.
1124         (dump_currdefs): Use SYMS_TO_RENAME.
1125         (rewrite_update_stmt): Always walk all uses/defs.
1126         (dump_update_ssa): Adjust.
1127         (init_update_ssa): Take function argument.  Track what we are
1128         initialized for.
1129         (delete_update_ssa): Reset SYMS_TO_RENAME and update_ssa_initialized_fn.
1130         (create_new_def_for): Initialize for cfun, assert we are initialized
1131         for cfun.
1132         (mark_sym_for_renaming): Simplify.
1133         (mark_set_for_renaming): Do not initialize update-ssa.
1134         (need_ssa_update_p): Simplify.  Take function argument.
1135         (name_mappings_registered_p): Assert we ask for the correct function.
1136         (name_registered_for_update_p): Likewise.
1137         (ssa_names_to_replace): Likewise.
1138         (release_ssa_name_after_update_ssa): Likewise.
1139         (update_ssa): Likewise.  Use SYMS_TO_RENAME.
1140         (dump_decl_set): Do not print a newline.
1141         (debug_decl_set): Do it here.
1142         (dump_update_ssa): And here.
1143         * tree-ssa-loop-im.c (move_computations): Adjust.
1144         (movement_possibility): Likewise.
1145         (determine_max_movement): Likewise.
1146         (gather_mem_refs_stmt): Likewise.
1147         * tree-dump.c (dequeue_and_dump): Do not handle SYMBOL_MEMORY_TAG
1148         or NAME_MEMORY_TAG.
1149         * tree-complex.c (update_all_vops): Remove.
1150         (expand_complex_move): Adjust.
1151         * tree-ssa-loop-niter.c (chain_of_csts_start): Use NULL_TREE.
1152         Simplify test for memory referencing statement.  Exclude
1153         non-invariant ADDR_EXPRs.
1154         * tree-pretty-print.c (dump_generic_node): Do not handle memory tags.
1155         * tree-loop-distribution.c (generate_memset_zero): Adjust.
1156         (rdg_flag_uses): Likewise.
1157         * tree-tailcall.c (suitable_for_tail_opt_p): Remove memory-tag
1158         related code.
1159         (tree_optimize_tail_calls_1): Also split the
1160         edge from the entry block if we have degenerate PHI nodes in
1161         the first basic block.
1162         * tree.c (init_ttree): Remove memory-tag related code.
1163         (tree_code_size): Likewise.
1164         (tree_node_structure): Likewise.
1165         (build7_stat): Re-write to be build6_stat.
1166         * tree.h (MTAG_P, TREE_MEMORY_TAG_CHECK, TMR_TAG): Remove.
1167         (SSA_VAR_P): Adjust.
1168         (struct tree_memory_tag): Remove.
1169         (struct tree_memory_partition_tag): Likewise.
1170         (union tree_node): Adjust.
1171         (build7): Re-write to be build6.
1172         * tree-pass.h (pass_reset_cc_flags): Remove.
1173         (TODO_update_address_taken): New flag.
1174         (pass_simple_dse): Remove.
1175         * ipa-cp.c (ipcp_update_callgraph): Update SSA form.
1176         * params.h (MAX_ALIASED_VOPS): Remove.
1177         (AVG_ALIASED_VOPS): Likewise.
1178         * omp-low.c (expand_omp_taskreg): Update SSA form.
1179         * tree-ssa-dse.c (dse_optimize_stmt): Properly query if the rhs
1180         aliases the lhs in a copy stmt.
1181         * tree-ssa-dse.c (struct address_walk_data): Remove.
1182         (memory_ssa_name_same): Likewise.
1183         (memory_address_same): Likewise.
1184         (get_kill_of_stmt_lhs): Likewise.
1185         (dse_possible_dead_store_p): Simplify, use the oracle.  Handle
1186         unused stores.  Look through PHI nodes into post-dominated regions.
1187         (dse_optimize_stmt): Simplify.  Properly remove stores.
1188         (tree_ssa_dse): Compute dominators.
1189         (execute_simple_dse): Remove.
1190         (pass_simple_dse): Likewise.
1191         * ipa-reference.c (scan_stmt_for_static_refs): Open-code
1192         gimple_loaded_syms and gimple_stored_syms computation.
1193         * toplev.c (dump_memory_report): Dump alias and pta stats.
1194         * tree-ssa-sccvn.c (vn_reference_compute_hash): Simplify.
1195         (vn_reference_eq): Likewise.
1196         (vuses_to_vec, copy_vuses_from_stmt, vdefs_to_vec,
1197         copy_vdefs_from_stmt, shared_lookup_vops, shared_vuses_from_stmt,
1198         valueize_vuses): Remove.
1199         (get_def_ref_stmt_vuses): Simplify.  Rename to ...
1200         (get_def_ref_stmt_vuse): ... this.
1201         (vn_reference_lookup_2): New function.
1202         (vn_reference_lookup_pieces): Use walk_non_aliased_vuses for
1203         walking equivalent vuses.  Simplify.
1204         (vn_reference_lookup): Likewise.
1205         (vn_reference_insert): Likewise.
1206         (vn_reference_insert_pieces): Likewise.
1207         (visit_reference_op_call): Simplify.
1208         (visit_reference_op_load): Likewise.
1209         (visit_reference_op_store): Likewise.
1210         (init_scc_vn): Remove shared_lookup_vuses initialization.
1211         (free_scc_vn): Remove shared_lookup_vuses freeing.
1212         (sort_vuses, sort_vuses_heap): Remove.
1213         (get_ref_from_reference_ops): Export.
1214         * tree-ssa-sccvn.h (struct vn_reference_s): Replace vuses
1215         vector with single vuse pointer.
1216         (vn_reference_lookup_pieces, vn_reference_lookup,
1217         vn_reference_insert, vn_reference_insert_pieces): Adjust prototypes.
1218         (shared_vuses_from_stmt): Remove.
1219         (get_ref_from_reference_ops): Declare.
1220         * tree-ssa-loop-manip.c (slpeel_can_duplicate_loop_p): Adjust.
1221         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Remove
1222         memory-tag related code.
1223         * tree-ssa-ccp.c (get_symbol_constant_value): Remove memory-tag code.
1224         (likely_value): Add comment, skip static-chain of call statements.
1225         (surely_varying_stmt_p): Adjust.
1226         (gimplify_and_update_call_from_tree): Likewise.
1227         (execute_fold_all_builtins): Do not rebuild alias info.
1228         (gimplify_and_update_call_from_tree): Properly update VOPs.
1229         * tree-ssa-loop-ivopts.c (get_ref_tag): Remove.
1230         (copy_ref_info): Remove memory-tag related code.
1231         * tree-call-cdce.c (tree_call_cdce): Rename the VOP.
1232         * ipa-pure-const.c (check_decl): Remove memory-tag related code.
1233         (check_stmt): Open-code gimple_loaded_syms and gimple_stored_syms
1234         computation.
1235         * tree-ssa-dom.c (gimple_p): Remove typedef.
1236         (eliminate_redundant_computations): Adjust.
1237         (record_equivalences_from_stmt): Likewise.
1238         (avail_expr_hash): Likewise.
1239         (avail_expr_eq): Likewise.
1240         * tree-ssa-propagate.c (update_call_from_tree): Properly update VOPs.
1241         (stmt_makes_single_load): Likewise.
1242         (stmt_makes_single_store): Likewise.
1243         * tree-ssa-alias.c: Rewrite completely.
1244         (debug_memory_partitions, dump_mem_ref_stats, debug_mem_ref_stats,
1245         debug_mem_sym_stats, dump_mem_sym_stats_for_var,
1246         debug_all_mem_sym_stats, debug_mp_info, update_mem_sym_stats_from_stmt,
1247         delete_mem_ref_stats, create_tag_raw, dump_points_to_info,
1248         dump_may_aliases_for, debug_may_aliases_for, new_type_alias):
1249         Remove public functions.
1250         (pass_reset_cc_flags): Remove.
1251         (pass_build_alias): Move ...
1252         * tree-ssa-structalias.c (pass_build_alias): ... here.
1253         * tree-ssa-alias.c (may_be_aliased): Move ...
1254         * tree-flow-inline.h (may_be_aliased): ... here.
1255         tree-ssa-alias.c (struct count_ptr_d, count_ptr_derefs,
1256         count_uses_and_derefs): Move ...
1257         * gimple.c: ... here.
1258         * gimple.h (count_uses_and_derefs): Declare.
1259         * tree-ssa-alias.c (dump_alias_stats, ptr_deref_may_alias_global_p,
1260         ptr_deref_may_alias_decl_p, ptr_derefs_may_alias_p,
1261         same_type_for_tbaa, nonaliasing_component_refs_p, decl_refs_may_alias_p,
1262         indirect_ref_may_alias_decl_p, indirect_refs_may_alias_p,
1263         ref_maybe_used_by_call_p, ref_maybe_used_by_stmt_p,
1264         call_may_clobber_ref_p, stmt_may_clobber_ref_p, maybe_skip_until,
1265         get_continuation_for_phi, walk_non_aliased_vuses, walk_aliased_vdefs):
1266         New functions.
1267         * tree-dfa.c (refs_may_alias_p): Move ...
1268         * tree-ssa-alias.c (refs_may_alias_p): ... here.  Extend.
1269         * tree-ssa-alias.h: New file.
1270         * tree-ssa-sink.c (is_hidden_global_store): Adjust.
1271         (statement_sink_location): Likewise.
1272         * opts.c (decode_options): Do not adjust max-aliased-vops or
1273         avg-aliased-vops values.
1274         * timevar.def (TV_TREE_MAY_ALIAS): Remove.
1275         (TV_CALL_CLOBBER): Likewise.
1276         (TV_FLOW_SENSITIVE): Likewise.
1277         (TV_FLOW_INSENSITIVE): Likewise.
1278         (TV_MEMORY_PARTITIONING): Likewise.
1279         (TV_ALIAS_STMT_WALK): New timevar.
1280         * tree-ssa-loop-ivcanon.c (empty_loop_p): Adjust.
1281         * tree-ssa-address.c (create_mem_ref_raw): Use build6.
1282         (get_address_description): Remove memory-tag related code.
1283         * tree-ssa-ifcombine.c (bb_no_side_effects_p): Adjust.
1284         * treestruct.def (TS_MEMORY_TAG, TS_MEMORY_PARTITION_TAG): Remove.
1285         * tree-eh.c (cleanup_empty_eh): Do not leave stale SSA_NAMEs
1286         and immediate uses in statements.  Document.
1287         * gimple-pretty-print.c (dump_gimple_mem_ops): Adjust.
1288         (dump_symbols): Remove.
1289         (dump_gimple_mem_ops): Do not dump loaded or stored syms.
1290         * alias.c (get_deref_alias_set): New function split out from ...
1291         (get_alias_set): ... here.
1292         * alias.h (get_deref_alias_set): Declare.
1293         * tree-vect-data-refs.c (vect_create_data_ref_ptr): Remove unused
1294         type parameter.  Remove restrict pointer handling.  Create a
1295         ref-all pointer in case type-based alias sets do not conflict.
1296         (vect_analyze_data_refs): Remove SMT related code.
1297         * tree-vect-stmts.c (vectorizable_store): Re-instantiate TBAA assert.
1298         (vectorizable_load): Likewise.
1299         * tree-data-ref.h (struct dr_alias): Remove symbol_tag field.
1300         (DR_SYMBOL_TAG, DR_VOPS): Remove.
1301         * tree-data-ref.c (dr_may_alias_p): Use the alias-oracle.
1302         Ignore vops and SMTs.
1303         (dr_analyze_alias): Likewise..
1304         (free_data_ref): Likewise.
1305         (create_data_ref): Likewise.
1306         (analyze_all_data_dependences): Likewise.
1307         (get_references_in_stmt): Adjust.
1308         * tree-flow-inline.h (gimple_aliases_computed_p,
1309         gimple_addressable_vars, gimple_call_clobbered_vars,
1310         gimple_call_used_vars, gimple_global_var, may_aliases, memory_partition,
1311         factoring_name_p, mark_call_clobbered, clear_call_clobbered,
1312         compare_ssa_operands_equal, symbol_mem_tag, set_symbol_mem_tag,
1313         gimple_mem_ref_stats): Remove.
1314         (gimple_vop): New function.
1315         (op_iter_next_use): Remove vuses and mayuses cases.
1316         (op_iter_next_def): Remove vdefs case.
1317         (op_iter_next_tree): Remove vuses, mayuses and vdefs cases.
1318         (clear_and_done_ssa_iter): Do not set removed fields.
1319         (op_iter_init): Likewise.  Skip vuse and/or vdef if requested.
1320         Assert we are not iterating over vuses or vdefs if not also
1321         iterating over uses or defs.
1322         (op_iter_init_use): Likewise.
1323         (op_iter_init_def): Likewise.
1324         (op_iter_next_vdef): Remove.
1325         (op_iter_next_mustdef): Likewise.
1326         (op_iter_init_vdef): Likewise.
1327         (compare_ssa_operands_equal): Likewise.
1328         (link_use_stmts_after): Handle vuse operand.
1329         (is_call_used): Use is_call_clobbered.
1330         (is_call_clobbered): Global variables are always call clobbered,
1331         query the call-clobbers bitmap.
1332         (mark_call_clobbered): Ignore global variables.
1333         (clear_call_clobbered): Likewise.
1334         * tree-ssa-coalesce.c (create_outofssa_var_map): Adjust
1335         virtual operands sanity check.
1336         * tree.def (NAME_MEMORY_TAG, SYMBOL_MEMORY_TAG, MEMORY_PARTITION_TAG):
1337         Remove.
1338         (TARGET_MEM_REF): Remove TMR_TAG operand.
1339         * tree-dfa.c (add_referenced_var): Initialize call-clobber state.
1340         Remove call-clobber related code.
1341         (remove_referenced_var): Likewise.  Do not clear mpt or symbol_mem_tag.
1342         (dump_variable): Do not dump SMTs, memory stats, may-aliases or
1343         partitions or escape reason.
1344         (get_single_def_stmt, get_single_def_stmt_from_phi,
1345         get_single_def_stmt_with_phi): Remove.
1346         (dump_referenced_vars): Tidy.
1347         (get_ref_base_and_extent): Allow bare decls.
1348         (collect_dfa_stats): Adjust.
1349         * graphite.c (rename_variables_in_stmt): Adjust.
1350         (graphite_copy_stmts_from_block): Likewise.
1351         (translate_clast): Likewise.
1352         * tree-ssa-pre.c (struct bb_bitmap_sets): Add expr_dies bitmap.
1353         (EXPR_DIES): New.
1354         (translate_vuse_through_block): Use the oracle.
1355         (phi_translate_1): Adjust.
1356         (value_dies_in_block_x): Use the oracle.  Cache the outcome
1357         in EXPR_DIES.
1358         (valid_in_sets): Check if the VUSE for
1359         a REFERENCE is available.
1360         (eliminate): Do not remove stmts during elimination,
1361         instead queue and remove them afterwards.
1362         (do_pre): Do not rebuild alias info.
1363         (pass_pre): Run TODO_rebuild_alias before PRE.
1364         * tree-ssa-live.c (remove_unused_locals): Remove memory-tag code.
1365         * tree-sra.c (sra_walk_function): Use gimple_references_memory_p.
1366         (mark_all_v_defs_stmt): Remove.
1367         (mark_all_v_defs_seq): Adjust.
1368         (sra_replace): Likewise.
1369         (scalarize_use): Likewise.
1370         (scalarize_copy): Likewise.
1371         (scalarize_init): Likewise.
1372         (scalarize_ldst): Likewise.
1373         (todoflags): Remove.
1374         (tree_sra): Do not rebuild alias info.
1375         (tree_sra_early): Adjust.
1376         (pass_sra): Run TODO_update_address_taken before SRA.
1377         * tree-predcom.c (set_alias_info): Remove.
1378         (prepare_initializers_chain): Do not call it.
1379         (mark_virtual_ops_for_renaming): Adjust.
1380         (mark_virtual_ops_for_renaming_list): Remove.
1381         (initialize_root_vars): Adjust.
1382         (initialize_root_vars_lm): Likewise.
1383         (prepare_initializers_chain): Likewise.
1384         * tree-ssa-copy.c (may_propagate_copy): Remove memory-tag related code.
1385         (may_propagate_copy_into_stmt): Likewise.
1386         (merge_alias_info): Do nothing for now.
1387         (propagate_tree_value_into_stmt): Adjust.
1388         (stmt_may_generate_copy): Likewise.
1389         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr): Do
1390         not mark symbols for renaming.
1391         (forward_propagate_addr_expr): Match up push/pop_stmt_changes
1392         with the same statement, make sure to update the new pointed-to one.
1393         * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do not copy
1394         call statements, do not mark symbols for renaming.
1395         (mark_operand_necessary): Dump something.
1396         (ref_may_be_aliased): New function.
1397         (mark_aliased_reaching_defs_necessary_1): New helper function.
1398         (mark_aliased_reaching_defs_necessary): Likewise.
1399         (mark_all_reaching_defs_necessary_1): Likewise.
1400         (mark_all_reaching_defs_necessary): Likewise.
1401         (propagate_necessity): Do not process virtual PHIs.  For
1402         non-aliased loads mark all reaching definitions as necessary.
1403         For aliased loads and stores mark the immediate dominating
1404         aliased clobbers as necessary.
1405         (visited): New global static.
1406         (perform_tree_ssa_dce): Free visited bitmap after propagating
1407         necessity.
1408         (remove_dead_phis): Perform simple dead virtual PHI removal.
1409         (remove_dead_stmt): Properly unlink virtual operands when
1410         removing stores.
1411         (eliminate_unnecessary_stmts): Schedule PHI removal after
1412         stmt removal.
1413         * tree-ssa-ter.c (is_replaceable_p): Adjust.
1414         (process_replaceable): Likewise.
1415         (find_replaceable_in_bb): Likewise.
1416         * tree-ssa.c (verify_ssa_name): Verify all VOPs are
1417         based on the single gimple vop.
1418         (verify_flow_insensitive_alias_info): Remove.
1419         (verify_flow_sensitive_alias_info): Likewise.
1420         (verify_call_clobbering): Likewise.
1421         (verify_memory_partitions): Likewise.
1422         (verify_alias_info): Likewise.
1423         (verify_ssa): Adjust..
1424         (execute_update_addresses_taken): Export.  Update SSA
1425         manually.  Optimize only when optimizing.  Use a local bitmap.
1426         (pass_update_address_taken): Remove TODO_update_ssa, add
1427         TODO_dump_func.
1428         (pass_update_address_taken): Just use TODO_update_address_taken.
1429         (init_tree_ssa): Do not initialize addressable_vars.
1430         (verify_ssa): Verify new VUSE / VDEF properties.
1431         Verify that all stmts definitions have the stmt as SSA_NAME_DEF_STMT.
1432         Do not call verify_alias_info.
1433         (delete_tree_ssa): Clear the VUSE, VDEF operands.
1434         Do not free the loaded and stored syms bitmaps.  Reset the escaped
1435         and callused solutions.  Do not free addressable_vars.
1436         Remove memory-tag related code.
1437         (warn_uninitialized_var): Aliases are always available.
1438         * tree-ssa-loop-prefetch.c (gather_memory_references): Adjust.
1439         * lambda-code.c (can_put_in_inner_loop): Adjust.
1440         (can_put_after_inner_loop): Likewise.
1441         (perfect_nestify): Likewise.
1442         * tree-vect-stmts.c (vect_stmt_relevant_p): Adjust.
1443         (vect_gen_widened_results_half): Remove CALL_EXPR handling.
1444         (vectorizable_conversion): Do not mark symbols for renaming.
1445         * tree-inline.c (remap_gimple_stmt): Clear VUSE/VDEF.
1446         (expand_call_inline): Unlink the calls virtual operands before
1447         replacing it.
1448         (tree_function_versioning): Do not call update_ssa if we are not
1449         updating clones.  Simplify.
1450         * tree-ssa-phiprop.c (phivn_valid_p): Adjust.
1451         (propagate_with_phi): Likewise..
1452         * tree-outof-ssa.c (create_temp): Remove memory tag and call
1453         clobber code.  Assert we are not aliased or global.
1454         * tree-flow.h: Include tree-ssa-alias.h
1455         (enum escape_type): Remove.
1456         (struct mem_sym_stats_d): Likewise.
1457         (struct mem_ref_stats_d): Likewise.
1458         (struct gimple_df): Add vop member.  Remove global_var,
1459         call_clobbered_vars, call_used_vars, addressable_vars,
1460         aliases_compted_p and mem_ref_stats members.  Add syms_to_rename,
1461         escaped and callused members.
1462         (struct ptr_info_def): Remove all members, add points-to solution
1463         member pt.
1464         (struct var_ann_d): Remove in_vuse_list, in_vdef_list,
1465         call_clobbered, escape_mask, mpt and symbol_mem_tag members.
1466         * Makefile.in (TREE_FLOW_H): Add tree-ssa-alias.h.
1467         (tree-ssa-structalias.o): Remove tree-ssa-structalias.h.
1468         (tree-ssa-alias.o): Likewise.
1469         (toplev.o): Add tree-ssa-alias.h
1470         (GTFILES): Remove tree-ssa-structalias.h, add tree-ssa-alias.h.
1471         * gimple.c (gimple_set_bb): Fix off-by-one error.
1472         (is_gimple_reg): Do not handle memory tags.
1473         (gimple_copy): Also copy virtual operands.
1474         Delay updating the statement.  Do not reset loaded and stored syms.
1475         (gimple_set_stored_syms): Remove.
1476         (gimple_set_loaded_syms): Likewise.
1477         (gimple_call_copy_skip_args): Copy the virtual operands
1478         and mark the new statement modified.
1479         * tree-ssa-structalias.c (may_alias_p): Remove.
1480         (set_uids_in_ptset): Take the alias set to prune with as
1481         parameter.  Fold in the alias test of may_alias_p.
1482         (compute_points_to_sets): Compute whether a ptr is dereferenced
1483         in a local sbitmap.
1484         (process_constraint): Deal with &ANYTHING on the lhs, reject all
1485         other ADDRESSOF constraints on the lhs.
1486         (get_constraint_for_component_ref): Assert that we don't get
1487         ADDRESSOF constraints from the base of the reference.
1488         Properly generate UNKNOWN_OFFSET for DEREF if needed.
1489         (struct variable_info): Remove collapsed_to member.
1490         (get_varinfo_fc): Remove.
1491         (new_var_info): Do not set collapsed_to.
1492         (dump_constraint): Do not follow cycles.
1493         (dump_constraint_graph): Likewise.
1494         (build_pred_graph): Likewise.
1495         (build_succ_graph): Likewise.
1496         (rewrite_constraints): Likewise.
1497         (do_simple_structure_copy): Remove.
1498         (do_rhs_deref_structure_copy): Remove.
1499         (do_lhs_deref_structure_copy): Remove.
1500         (collapse_rest_of_var): Remove.
1501         (do_structure_copy): Re-implement.
1502         (pta_stats): New global variable.
1503         (dump_pta_stats): New function.
1504         (struct constraint_expr): Make offset signed.
1505         (UNKNOWN_OFFSET): Define special value.
1506         (dump_constraint): Dump UNKNOWN_OFFSET as UNKNOWN.
1507         (solution_set_expand): New helper function split out from ...
1508         (do_sd_constraint): ... here.
1509         (solution_set_add): Handle UNKNOWN_OFFSET.  Handle negative offsets.
1510         (do_ds_constraint): Likewise.
1511         (do_sd_constraint): Likewise.  Do not special-case ESCAPED = *ESCAPED
1512         and CALLUSED = *CALLUSED.
1513         (set_union_with_increment): Make inc argument signed.
1514         (type_safe): Remove.
1515         (get_constraint_for_ptr_offset): Handle unknown and negative
1516         constant offsets.
1517         (first_vi_for_offset): Handle offsets before start.  Bail
1518         out early for offsets beyond the variable extent.
1519         (first_or_preceding_vi_for_offset): New function.
1520         (init_base_vars): Add ESCAPED = ESCAPED + UNKNOWN_OFFSET constraint.
1521         Together with ESCAPED = *ESCAPED this properly computes reachability.
1522         (find_what_var_points_to): New function.
1523         (find_what_p_points_to): Implement in terms of find_what_var_points_to.
1524         (pt_solution_reset, pt_solution_empty_p, pt_solution_includes_global,
1525         pt_solution_includes_1, pt_solution_includes, pt_solutions_intersect_1,
1526         pt_solutions_intersect): New functions.
1527         (compute_call_used_vars): Remove.
1528         (compute_may_aliases): New main entry into PTA computation.
1529         * gimple.h (gimple_p): New typedef.
1530         (struct gimple_statement_base): Remove references_memory_p.
1531         (struct gimple_statement_with_memory_ops_base): Remove
1532         vdef_ops, vuse_ops, stores and loads members.  Add vdef and vuse
1533         members.
1534         (gimple_vuse_ops, gimple_set_vuse_ops, gimple_vdef_ops,
1535         gimple_set_vdef_ops, gimple_loaded_syms, gimple_stored_syms,
1536         gimple_set_references_memory): Remove.
1537         (gimple_vuse_op, gimple_vdef_op, gimple_vuse, gimple_vdef,
1538         gimple_vuse_ptr, gimple_vdef_ptri, gimple_set_vuse, gimple_set_vdef):
1539         New functions.
1540         * tree-cfg.c (move_block_to_fn): Fix off-by-one error.
1541         (verify_expr): Allow RESULT_DECL.
1542         (gimple_duplicate_bb): Do not copy virtual operands.
1543         (gimple_duplicate_sese_region): Adjust.
1544         (gimple_duplicate_sese_tail): Likewise.
1545         (mark_virtual_ops_in_region): Remove.
1546         (move_sese_region_to_fn): Do not call it.
1547         * passes.c (init_optimization_passes): Remove pass_reset_cc_flags
1548         and pass_simple_dse.
1549         (execute_function_todo): Handle TODO_update_address_taken,
1550         call execute_update_addresses_taken for TODO_rebuild_alias.
1551         (execute_todo): Adjust.
1552         (execute_one_pass): Init dump files early.
1553         * ipa-struct-reorg.c (finalize_var_creation): Do not mark vars
1554         call-clobbered.
1555         (create_general_new_stmt): Clear vops.
1556         * tree-ssa-reassoc.c (get_rank): Adjust.
1557         * tree-vect-slp.c (vect_create_mask_and_perm): Do not mark
1558         symbols for renaming.
1559         * params.def (PARAM_MAX_ALIASED_VOPS): Remove.
1560         (PARAM_AVG_ALIASED_VOPS): Likewise.
1561         * tree-ssanames.c (init_ssanames): Allocate SYMS_TO_RENAME.
1562         (duplicate_ssa_name_ptr_info): No need to copy the shared bitmaps.
1563         * tree-ssa-operands.c: Simplify for new virtual operand representation.
1564         (operand_build_cmp, copy_virtual_operands,
1565         create_ssa_artificial_load_stmt, add_to_addressable_set,
1566         gimple_add_to_addresses_taken): Remove public functions.
1567         (unlink_stmt_vdef): New function.
1568
1569 2009-04-03  Alan Modra  <amodra@bigpond.net.au>
1570
1571         * config.gcc (powerpc-*-linux*): Merge variants.
1572
1573 2009-04-02  Chao-ying Fu  <fu@mips.com>
1574             James Grosbach <james.grosbach@microchip.com>
1575
1576         * config/mips/mips.c (mips_frame_info): Add acc_mask, num_acc,
1577         num_cop0_regs, acc_save_offset, cop0_save_offset, acc_sp_offset,
1578         cop0_sp_offset.
1579         (machine_function): Add interrupt_handler_p, use_shadow_register_set_p,
1580         keep_interrupts_masked_p, use_debug_exception_return_p.
1581         (mips_attribute_table): Add interrupt, use_shadow_register_set,
1582         keep_interrupts_masked, use_debug_exception_return.
1583         (mips_interrupt_type_p, mips_use_shadow_register_set_p,
1584         mips_keep_interrupts_masked_p, mips_use_debug_exception_return_p):
1585         New functions.
1586         (mips_function_ok_for_sibcall): Return false for interrupt handlers.
1587         (mips_print_operand): Process COP0 registers to print $0 .. $31
1588         correctly for GAS to process.
1589         (mips_interrupt_extra_call_saved_reg_p): New function.
1590         (mips_cfun_call_saved_reg_p): For interrupt handlers, we need to check
1591         extra registers.
1592         (mips_cfun_might_clobber_call_saved_reg_p): Likewise.
1593         (mips_compute_frame_info): Add supports for interrupt context that
1594         includes doubleword accumulators and COP0 registers.
1595         (mips_for_each_saved_acc): New function.
1596         (mips_for_each_saved_gpr_and_fpr): Change the function name from
1597         mips_for_each_saved_reg.
1598         (mips_save_reg): Save accumulators.
1599         (mips_kernel_reg_p): A new for_each_rtx callback.
1600         (mips_expand_prologue): Support interrupt handlers.
1601         (mips_restore_reg): Restore accumulators.
1602         (mips_expand_epilogue): Support interrupt handlers.
1603         (mips_can_use_return_insn): Return false for interrupt handlers.
1604         (mips_epilogue_uses): New function.
1605         * config/mips/mips.md (UNSPEC_ERET, UNSPEC_DERET, UNSPEC_DI,
1606         UNSPEC_EHB, UNSPEC_RDPGPR, UNSPEC_COP0): New UNSPEC.
1607         (mips_eret, mips_deret, mips_di, mips_ehb, mips_rdpgpr,
1608         cop0_move): New instructions.
1609         * config/mips/mips-protos.h (mips_epilogue_uses): Declare.
1610         * config/mips/mips.h (K0_REG_NUM, K1_REG_NUM, KERNEL_REG_P): New
1611         defines.
1612         (COP0_STATUS_REG_NUM, COP0_CAUSE_REG_NUM, COP0_EPC_REG_NUM):
1613         New defines.
1614         (CAUSE_IPL, SR_IPL, SR_EXL, SR_IE): New defines.
1615         (MIPS_PROLOGUE_TEMP_REGNUM, MIPS_EPILOGUE_TEMP_REGNUM): For
1616         interrupt handlers, we use K0 as the temporary register.
1617         (EPILOGUE_USES): Change to a function call.
1618         * config/mips/sde.h (MIPS_EPILOGUE_TEMP_REGNUM): For interrupt
1619         handlers, we use K0 as the temporary register.
1620
1621         * doc/extend.texi (Function Attributes): Document interrupt,
1622         use_shadow_register_set, keep_interrupts_masked,
1623         use_debug_exception_return for MIPS attributes.
1624
1625 2009-04-03  Alan Modra  <amodra@bigpond.net.au>
1626
1627         * config.gcc (powerpc64-*-gnu*): Add rs6000/default64.h to tm_file.
1628         Remove a number of t-files from tmake_file.
1629         * config/rs6000/sysv4.opt (mprototype): Name variable target_prototype.
1630         * config/rs6000/sysv4.h (TARGET_PROTOTYPE): Define.
1631         * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Set
1632         target_prototype, not TARGET_PROTOTYPE.
1633         (LINK_OS_GNU_SPEC): Define.
1634         * config/rs6000/t-linux64 (LIB2FUNCS_EXTRA): Delete tramp.S
1635         and darwin-ldoubdle.c.
1636
1637 2009-04-02  Michael Meissner  <meissner@linux.vnet.ibm.com>
1638
1639         PR driver/39293
1640         * gcc.c (save_temps_flag): Add support for -save-temps=obj.
1641         (cpp_options): Ditto.
1642         (default_compilers): Ditto.
1643         (display_help): Ditto.
1644         (process_command): Ditto.
1645         (do_spec_1): Ditto.
1646         (set_input): Use lbasename instead of duplicate code.
1647         (save_temps_prefix): New static for -save-temps=obj.
1648         (save_temps_length): Ditto.
1649
1650         * doc/invoke.texi (-save-temps=obj): Document new variant to
1651         -save-temps switch.
1652
1653 2009-04-02  Jeff Law  <law@redhat.com>
1654
1655         * reload1.c (fixup_eh_region_notes): Remove write-only "trap_count"
1656         variable.
1657
1658 2009-04-02  H.J. Lu  <hongjiu.lu@intel.com>
1659
1660         * configure.ac: Support -Bstatic/-Bdynamic for linker version > 2.
1661         * configure: Regenerated.
1662
1663 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
1664
1665         * c-decl.c (merge_decls): Make sure newdecl and olddecl don't
1666         share the argument list.
1667
1668 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
1669
1670         Merge
1671
1672         2009-02-12  Diego Novillo  <dnovillo@google.com>
1673
1674         * varpool.c (debug_varpool): New.
1675         * cgraph.h (debug_varpool): Declare.
1676
1677 2009-04-02  Jan Hubicka  <jh@suse.cz>
1678
1679         * passes.c (init_optimization_passes): Remove two copies of ehcleanup
1680         pass.
1681
1682 2009-04-02  H.J. Lu  <hongjiu.lu@intel.com>
1683
1684         * config/i386/i386.c (ix86_abi): Move initialization to ...
1685         (override_options): Here.
1686
1687 2009-04-02  Christian Bruel  <christian.bruel@st.com>
1688
1689         * config/sh/sh.c (sh_dwarf_register_span): New function.
1690         (TARGET_DWARF_REGISTER_SPAN): Define.
1691         * config/sh/sh-protos.h (sh_dwarf_register_span): Declare.
1692
1693 2009-04-02  Ira Rosen  <irar@il.ibm.com>
1694
1695         PR tree-optimization/39595
1696         * tree-vect-slp.c (vect_build_slp_tree): Check that the size of
1697         interleaved loads group is not  greater than the SLP group size.
1698
1699 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
1700
1701         * builtins.c (is_builtin_name): New.
1702         (called_as_built_in): Use is_builtin_name.
1703         * tree.h (is_builtin_name): New.
1704         * varasm.c (incorporeal_function_p): Use is_builtin_name
1705
1706 2009-04-02  Andrew Stubbs  <ams@codesourcery.com>
1707
1708         * config/sh/linux-unwind.h: Disable when inhibit_libc is defined.
1709
1710 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
1711
1712         PR c++/26693
1713         * c-decl.c: (clone_underlying_type): Move this ...
1714         * c-common.c (set_underlying_type): ... here.
1715         Also, make sure the function properly sets TYPE_STUB_DECL() on
1716         the newly created typedef variant type.
1717         * c-common.h (is_typedef_decl, set_underlying_type): Declare ...
1718         * c-common.c (is_typedef_decl, set_underlying_type): ... new entry
1719         points.
1720
1721 2009-04-02  Richard Guenther  <rguenther@suse.de>
1722
1723         PR tree-optimization/37221
1724         * tree-flow.h (degenerate_phi_result): Declare.
1725         * tree-ssa-dom.c (degenerate_phi_result): Export.
1726         * tree-scalar-evolution.c (analyze_initial_condition): If
1727         the initial condition is defined by a degenerate PHI node
1728         use the degenerate value.
1729
1730 2009-04-01  Eric Botcazou  <ebotcazou@adacore.com>
1731
1732         PR rtl-optimization/39588
1733         * combine.c (merge_outer_ops): Do not set the constant when this
1734         is not necessary.
1735         (simplify_shift_const_1): Do not modify it either in this case.
1736
1737 2009-04-01  Steven Bosscher  <steven@gcc.gnu.org>
1738
1739         * config/ia64/ia64.c (ia64_handle_option): Inform user that Itanium1
1740         tuning is deprecated if -mtune value is set to an Itanium1 variant.
1741
1742 2009-04-01  Janis Johnson  <janis187@us.ibm.com>
1743
1744         PR c/29027
1745         * c-lex.c (interpret_float): Default (no suffix) is double.
1746
1747 2009-04-1  Xinliang David Li  <davidxl@google.com>
1748
1749         * config/i386/i386.c (legitimate_constant_p): Recognize
1750         all one vector constant.
1751
1752 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1753
1754         * gcc/config/vax/vax.c: Add #includes to silence warnings.
1755         Change #include order to silence two warnings.
1756
1757 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1758
1759         * gcc/config/vax/linux.h (TARGET_DEFAULT): Add the MASK_QMATH flag bit.
1760         (ASM_SPEC): Pass -k to the assembler for PIC code.
1761
1762 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1763
1764         * gcc/config.gcc: Add vax-*-linux* to the switch.
1765         * gcc/config/vax/linux.h: New file. (TARGET_VERSION,
1766         TARGET_OS_CPP_BUILTINS, TARGET_DEFAULT, CPP_SPEC, LINK_SPEC): Define.
1767
1768 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1769
1770         * gcc/config/vax/vax.c (vax_output_int_move, adjacent_operands_p):
1771         Use predicate macros instead of GET_CODE() == foo.
1772         * gcc/config/vax/vax.md (movsi_2, movstrictqi, and<mode>3, ashrsi3,
1773         ashlsi3, rotrsi3, <unnamed>): Likewise.
1774
1775 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1776
1777         * gcc/config/vax/builtins.md (jbbssiqi, jbbssihi, jbbssisi, jbbcciqi,
1778         jbbccihi, jbbccisi): Remova trailing whitespace.
1779         * gcc/config/vax/constraints.md: Likewise.
1780         * gcc/config/vax/elf.h: (ASM_PREFERRED_EH_DATA_FORMAT): Likewise.
1781         * gcc/config/vax/openbsd1.h (OBSD_OLD_GAS): Likewise.
1782         * gcc/config/vax/predicates.md: Likewise.
1783         * gcc/config/vax/vax.c (print_operand_address, vax_output_int_move,
1784         vax_expand_addsub_di_operands, adjacent_operands_p): Likewise.
1785         * gcc/config/vax/vax.h: Likewise.
1786         * gcc/config/vax/vax.md (nonlocal_goto): Likewise.
1787
1788 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1789
1790         * gcc/config/vax/vax.c (vax_float_literal, vax_output_int_move)
1791         (indirectable_address_p, adjacent_operands_p): Add spaces around
1792         braces.
1793         * gcc/config/vax/vax-protos.h (adjacent_operands_p): Likewise.
1794
1795 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1796
1797         * gcc/config/vax/vax.c (legitimate_constant_address_p,
1798         legitimate_constant_p, indirectable_address_p, nonindexed_address_p,
1799         index_term_p, reg_plus_index_p, legitimate_address_p,
1800         vax_mode_dependent_address_p): Update comments to match functions
1801         modified by the recent int->bool conversion.
1802
1803 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1804
1805         * gcc/config/vax/builtins.md: Update copyright message.
1806         * gcc/config/vax/constraints.md: Likewise.
1807         * gcc/config/vax/netbsd-elf.h: Likewise.
1808         * gcc/config/vax/predicates.md: Likewise.
1809         * gcc/config/vax/vax-protos.h: Likewise.
1810         * gcc/config/vax/vax.c: Likewise.
1811         * gcc/config/vax/vax.h: Likewise.
1812         * gcc/config/vax/vax.md: Likewise.
1813         * gcc/config/vax/vax.opt: Likewise.
1814
1815 2009-04-01  Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1816
1817         * gcc/config/vax/builtins.md (ffssi2, ffssi2_internal,
1818         sync_lock_test_and_set<mode>, sync_lock_release<mode>): Fix indention.
1819         * gcc/config/vax/constraints.md (B, R): Likewise.
1820         * gcc/config/vax/predicates.md (external_memory_operand,
1821         nonimmediate_addsub_di_operand): Likewise.
1822         * gcc/config/vax/vax.c (vax_output_int_add): Likewise.
1823         * gcc/config/vax/vax.md (movsi, movsi_2, mov<mode>, call_value,
1824         untyped_call): Likewise.
1825
1826 2009-04-01  Matt Thomas <matt@3am-software.com>
1827
1828         * config/vax/predicates.md: New file.
1829         (symbolic_operand, local_symbolic_operand, external_symbolic_operand,
1830         external_const_operand, nonsymbolic_operand, external_memory_operand,
1831         indirect_memory_operand, indexed_memory_operand,
1832         illegal_blk_memory_operand, illegal_addsub_di_memory_operand,
1833         nonimmediate_addsub_di_operand, general_addsub_di_operand): New
1834         predicate.
1835         * config/vax/constraints.md: New file.
1836         (Z0, U06,  U08, U16, CN6, S08, S16, I, J, K, L, M, N, O, G, Q, B, R, T):
1837         New constraint.
1838         * config/vax/builtins.md: New file.
1839         (ffssi2, ffssi2_internal, sync_lock_test_and_set<mode>, jbbssiqi,
1840         jbbssihi, jbbssisi, sync_lock_release<mode>, jbbcciqi, jbbccihi,
1841         jbbccisi): Define.
1842         * config/vax/vax.opt (mqmath): Add option.
1843         * config/vax/vax.md (isfx): Extend with DI.
1844         (VAXintQH, VAXintQHSD): Define.
1845         (tst<mode>, cmp<mode>, *bit<mode>, movmemhi1, truncsiqi2, truncsihi2,
1846         mulsidi3, add<mode>3, sub<mode>, mul<mode>3, div<mode>3, and<mode>,
1847         and<mode>_const_int, ior<mode>3, xor<mode>3, neg<mode>2,
1848         one_cmpl<mode>2, ashlsi3, lshrsi3, rotlsi3): Update constraints.
1849         (movdi): Update constraints and use vax_output_int_move().
1850         (movsi, movsi_2, pushlclsymreg, pushextsymreg, movlclsymreg,
1851         movextsymreg, adddi3, adcdi3, subdi3, sbcdi3, pushextsym, movextsym,
1852         pushlclsym, movlclsym, movaddr<mode>, pushaddr<mode>,
1853         nonlocal_goto): New.
1854         (mov<mode>): Extend accepted operand types.
1855         (subdi3_old): Rename from subdi3, change update constraints and use
1856         a new implementation.
1857         * gcc/config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Add space.
1858         (FRAME_POINTER_CFA_OFFSET, IRA_COVER_CLASSES, CLASS_MAX_NREGS,
1859         MOVE_RATIO, CLEAR_RATIO): Define.
1860         (REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P,
1861         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete.
1862         (PRINT_OPERAND): Redefine using a function instead of inlined code.
1863         * gcc/config/vax/vax.c (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Define.
1864         (split_quadword_operands): Make static and really allow variable
1865         splitting.
1866         (print_operand_address): Update for PIC generation.
1867         (print_operand, vax_builtin_setjmp_frame_value, vax_output_int_subtract,
1868         indexable_address_p, fixup_mathdi_operand,
1869         vax_expand_addsub_di_operands, adjacent_operands_p): New.
1870         (vax_float_literal, legitimate_constant_p,
1871         indirectable_constant_address_p, index_term_p,
1872         reg_plus_index_p): Return bool instead of int.
1873         (vax_rtx_costs): Fix cost for CONST_INT, indent and use HOST_WIDE_INT
1874         where needed.
1875         (vax_output_int_move, vax_output_int_add): Extend to allow PIC
1876         generation.
1877         (vax_output_conditional_branch): Indent.
1878         (legitimate_constant_address_p, indirectable_constant_address_p,
1879         indirectable_address_p, nonindexed_address_p, legitimate_address_p,
1880         vax_mode_dependent_address_p): Return bool instead of int, update for
1881         PIC generation.
1882         * config/vax/vax-protos.h (legitimate_constant_address_p,
1883         legitimate_constant_p, legitimate_address_p,
1884         vax_mode_dependent_address_p): Change declaration to bool.
1885         (legitimate_pic_operand_p, adjacent_operands_p, print_operand,
1886         vax_expand_addsub_di_operands, vax_output_int_subtract,
1887         vax_output_movmemsi): Declare.
1888         (split_quadword_operands, vax_float_literal): Delete declaration.
1889         * config/vax/netbsd-elf.h (CC1_SPEC, CC1PLUS_SPEC) Define.
1890         * config/vax/elf.h (NO_EXTERNAL_INDIRECT_ADDRESS,
1891         VAX_CC1_AND_CC1PLUS_SPEC, ASM_PREFERRED_EH_DATA_FORMAT,
1892         ASM_OUTPUT_DWARF_PCREL): Define.
1893         (ASM_SPEC): Change definition to allow PIC generation.
1894
1895 2009-04-01  Steve Ellcey  <sje@cup.hp.com>
1896
1897         * doc/sourcebuild.texi: Update front-end requirements.
1898
1899 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
1900
1901         PR target/39226
1902         * config/rs6000/rs6000.md (andsi3_internal5_nomc,
1903         anddi3_internal2_nomc, anddi3_internal3_nomc): Removed.
1904         (booldi3_internal3): Use boolean_or_operator instead of
1905         boolean_operator.
1906
1907 2009-04-01  Joseph Myers  <joseph@codesourcery.com>
1908
1909         PR c/39605
1910         * c-decl.c (grokdeclarator): Pedwarn for file-scope array
1911         declarator whose size is not an integer constant expression but
1912         folds to an integer constant, then treat it as a constant
1913         subsequently.
1914
1915 2009-04-01  Richard Guenther  <rguenther@suse.de>
1916
1917         * fold-const.c (fold_plusminus_mult_expr): Do not fold
1918         i * 4 + 2 to (i * 2 + 1) * 2.
1919
1920 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
1921
1922         PR c/37772
1923         * c-parser.c (c_parser_asm_statement): Skip until close paren and
1924         return if c_parser_asm_string_literal returned NULL.
1925
1926 2009-04-01  Nick Clifton  <nickc@redhat.com>
1927
1928         * config/m32c/m32c.h (LIBGCC2_UNITS_PER_WORD): Define if not
1929         already defined.
1930         * config/m32c/t-m32c (LIB2FUNCS_EXTRA): Add m32c-lib2-trapv.c.
1931         * config/m32c/m32c-lib2.c: Remove unused typedefs.  Rename the
1932         other typedefs to avoid conflicts with libgcc2.c.  Define labels
1933         to gain 16-bit bit-manipulation functions from libgcc2.c and then
1934         include it.
1935         * config/m32c/m32c-lib2-trapv.c: New file.  Define labels
1936         to gain 16-bit trapping arithmetic functions from libgcc2.c and
1937         then include it.
1938
1939 2009-04-01  Rafael Avila de Espindola  <espindola@google.com>
1940
1941         * varasm.c (default_function_rodata_section): Declare DOT as
1942         const char*.
1943
1944 2009-04-01  Kai Tietz  <kai.tietz@onevision.com>
1945             Andrey Galkin <agalkin@hypercom.com>
1946
1947         PR/39492
1948         * config/i386/host-mingw32.c (mingw32_gt_pch_use_address):
1949         Make object_name unique for each process.
1950
1951 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
1952
1953         PR other/39591
1954         * omp-low.c (remove_exit_barrier): Don't optimize if there are any
1955         addressable variables in the parallel that could go out of scope while
1956         running queued tasks.
1957
1958 2009-04-01  Anatoly Sokolov  <aesok@post.ru>
1959
1960         * config/avr/avr.h (avr_case_values_threshold): Remove declaration.
1961         (CASE_VALUES_THRESHOLD): Redefine.
1962         * config/avr/avr.c (avr_override_options): Remove initialization of
1963         avr_case_values_threshold variable.
1964         (avr_case_values_threshold): Remove variable. Add new function.
1965         * config/avr/avr-protos.h (avr_case_values_threshold): Declare.
1966         * config/avr/avr.opt (mno-tablejump): Remove option.
1967         * doc/invoke.texi (AVR Options): Remove -mno-tablejump.
1968
1969 2009-04-01  DJ Delorie  <dj@redhat.com>
1970
1971         * varasm.c (default_function_rodata_section): Don't assume
1972         anything about where the first '.' in the section name is.
1973
1974 2009-04-01  Alan Modra  <amodra@bigpond.net.au>
1975
1976         * config/rs6000/rs6000.c (rs6000_emit_stack_reset): Delete redundant
1977         rs6000_emit_stack_tie.
1978
1979 2009-03-31  Ian Lance Taylor  <iant@google.com>
1980
1981         * tree-eh.c (tree_remove_unreachable_handlers): Compare
1982         gimple_code with GIMPLE_RESX, not RESX.
1983
1984 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
1985
1986         * c-common.c (c_get_ident): New.
1987         (c_common_nodes_and_builtins): Call it for type names that may be NULL.
1988
1989 2009-04-01  Ben Elliston  <bje@au.ibm.com>
1990
1991         * config/rs6000/sysv4.opt (msdata): Improve option description.
1992
1993 2009-03-31  Steve Ellcey  <sje@cup.hp.com>
1994
1995         * config/ia64/ia64.md (divsf3_internal_lat): Remove.
1996         (divdf3_internal_lat): Remove.
1997         (divxf3_internal_lat): Remove.
1998         (divxf3_internal_thr): Remove.
1999         (divxf): Use divxf3_internal.
2000         * config/ia64/div.md (divsf3_internal_lat): New.
2001         (divdf3_internal_lat): New.
2002         (divxf3_internal): New.
2003
2004 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
2005
2006         PR c/448
2007         * Makefile.in (USE_GCC_STDINT): Define.
2008         (stmp-int-hdrs): Install stdint.h if applicable.
2009         * c-common.c (CHAR16_TYPE): Define in terms of UINT_LEAST16_TYPE
2010         if known.
2011         (CHAR32_TYPE): Define in terms of UINT_LEAST32_TYPE if known.
2012         (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, INT64_TYPE,
2013         UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
2014         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
2015         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
2016         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
2017         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
2018         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
2019         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
2020         (c_common_nodes_and_builtins): Initialize
2021         underlying_wchar_type_node.  Do not initialize
2022         signed_wchar_type_node or unsigned_wchar_type_node.  Initialize
2023         nodes for new types.
2024         (c_stddef_cpp_builtins): Define macros for new types.
2025         * c-common.h (CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE):
2026         Remove.
2027         (CTI_UNDERLYING_WCHAR_TYPE, CTI_SIG_ATOMIC_TYPE, CTI_INT8_TYPE,
2028         CTI_INT16_TYPE, CTI_INT32_TYPE, CTI_INT64_TYPE, CTI_UINT8_TYPE,
2029         CTI_UINT16_TYPE, CTI_UINT32_TYPE, CTI_UINT64_TYPE,
2030         CTI_INT_LEAST8_TYPE, CTI_INT_LEAST16_TYPE, CTI_INT_LEAST32_TYPE,
2031         CTI_INT_LEAST64_TYPE, CTI_UINT_LEAST8_TYPE, CTI_UINT_LEAST16_TYPE,
2032         CTI_UINT_LEAST32_TYPE, CTI_UINT_LEAST64_TYPE, CTI_INT_FAST8_TYPE,
2033         CTI_INT_FAST16_TYPE, CTI_INT_FAST32_TYPE, CTI_INT_FAST64_TYPE,
2034         CTI_UINT_FAST8_TYPE, CTI_UINT_FAST16_TYPE, CTI_UINT_FAST32_TYPE,
2035         CTI_UINT_FAST64_TYPE, CTI_INTPTR_TYPE, CTI_UINTPTR_TYPE): Define.
2036         (signed_wchar_type_node, unsigned_wchar_type_node): Remove.
2037         (underlying_wchar_type_node, sig_atomic_type_node, int8_type_node,
2038         int16_type_node, int32_type_node, int64_type_node,
2039         uint8_type_node, uint16_type_node, c_uint32_type_node,
2040         c_uint64_type_node, int_least8_type_node, int_least16_type_node,
2041         int_least32_type_node, int_least64_type_node,
2042         uint_least8_type_node, uint_least16_type_node,
2043         uint_least32_type_node, uint_least64_type_node,
2044         int_fast8_type_node, int_fast16_type_node, int_fast32_type_node,
2045         int_fast64_type_node, uint_fast8_type_node, uint_fast16_type_node,
2046         uint_fast32_type_node, uint_fast64_type_node, intptr_type_node,
2047         uintptr_type_node): Define.
2048         * c-cppbuiltin.c (builtin_define_constants,
2049         builtin_define_type_minmax): New.
2050         (builtin_define_stdint_macros): Define more macros.
2051         (c_cpp_builtins): Define more limit macros.
2052         (type_suffix): New.
2053         (builtin_define_type_max): Define in terms of
2054         builtin_define_type_minmax.  Remove is_long parameter.  All
2055         callers changed.
2056         * config.gcc (use_gcc_stdint): Define.
2057         (tm_file): Add glibc-stdint.h for targets using glibc or uClibc.
2058         Add newlib-stdint.h for generic targets.
2059         * config/glibc-stdint.h, config/newlib-stdint.h,
2060         ginclude/stdint-gcc.h, ginclude/stdint-wrap.h: New.
2061         * config/m32c/m32c.h (UINTPTR_TYPE): Define.
2062         * config/score/score.h (UINTPTR_TYPE): Define.
2063         * config/sol2.h (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE,
2064         INT32_TYPE, INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE,
2065         UINT64_TYPE, INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
2066         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
2067         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
2068         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
2069         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
2070         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
2071         * config/spu/spu.h (STDINT_LONG32): Define.
2072         * configure.ac (use_gcc_stdint): Substitute.
2073         * configure: Regenerate.
2074         * doc/cpp.texi (__SIG_ATOMIC_TYPE__, __INT8_TYPE__,
2075         __INT16_TYPE__, __INT32_TYPE__, __INT64_TYPE__, __UINT8_TYPE__,
2076         __UINT16_TYPE__, __UINT32_TYPE__, __UINT64_TYPE__,
2077         __INT_LEAST8_TYPE__, __INT_LEAST16_TYPE__, __INT_LEAST32_TYPE__,
2078         __INT_LEAST64_TYPE__, __UINT_LEAST8_TYPE__, __UINT_LEAST16_TYPE__,
2079         __UINT_LEAST32_TYPE_, __UINT_LEAST64_TYPE__, __INT_FAST8_TYPE__,
2080         __INT_FAST16_TYPE__, __INT_FAST32_TYPE__, __INT_FAST64_TYPE__,
2081         __UINT_FAST8_TYPE__, __UINT_FAST16_TYPE__, __UINT_FAST32_TYPE__,
2082         __UINT_FAST64_TYPE__, __INTPTR_TYPE__, __UINTPTR_TYPE__,
2083         __WINT_MAX__, __SIZE_MAX__, __PTRDIFF_MAX__, __UINTMAX_MAX__,
2084         __SIG_ATOMIC_MAX__, __INT8_MAX__, __INT16_MAX__, __INT32_MAX__,
2085         __INT64_MAX__, __UINT8_MAX__, __UINT16_MAX__, __UINT32_MAX__,
2086         __UINT64_MAX__, __INT_LEAST8_MAX__, __INT_LEAST16_MAX__,
2087         __INT_LEAST32_MAX__, __INT_LEAST64_MAX__, __UINT_LEAST8_MAX__,
2088         __UINT_LEAST16_MAX__, __UINT_LEAST32_MAX__, __UINT_LEAST64_MAX__,
2089         __INT_FAST8_MAX__, __INT_FAST16_MAX__, __INT_FAST32_MAX__,
2090         __INT_FAST64_MAX__, __UINT_FAST8_MAX__, __UINT_FAST16_MAX__,
2091         __UINT_FAST32_MAX__, __UINT_FAST64_MAX__, __INTPTR_MAX__,
2092         __UINTPTR_MAX__, __WCHAR_MIN__, __WINT_MIN__, __SIG_ATOMIC_MIN__,
2093         __INT8_C, __INT16_C, __INT32_C, __INT64_C, __UINT8_C, __UINT16_C,
2094         __UINT32_C, __UINT64_C, __INTMAX_C, __UINTMAX_C): Document.
2095         * doc/tm.texi (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE,
2096         INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
2097         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
2098         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
2099         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
2100         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
2101         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
2102         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Document.
2103
2104 2009-03-31  Bernd Schmidt  <bernd.schmidt@analog.com>
2105
2106         * loop-iv.c (suitable_set_for_replacement): Renamed from
2107         simplify_using_assignment; changed to return bool and to accept new
2108         args DEST and SRC.  Return true iff we find a source/destination pair
2109         that can be used to make a replacement, and fill SRC and DEST if so.
2110         Remove arg ALTERED.  Don't deal with altered regs here.  All callers
2111         changed.
2112         (simplify_using_initial_values): Deal with altered regs here and track
2113         more precisely the effect they have on the validity of our expression.
2114
2115         * loop-iv.c (simplify_using_condition): A condition of the form
2116         (EQ REG CONST) can be used to simply make a substitution.
2117         (simplify_using_initial_values): Keep track of conditions we have seen
2118         and keep using them to simplify new expressions, while applying the
2119         same substitutions to them as to the expression.
2120
2121         * simplify-rtx.c (simplify_relational_operation_1): Simplify
2122         (LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C); likewise with
2123         GEU/LTU reversed.
2124
2125         * loop-iv.c (determine_max_iter): New arg OLD_NITER.  All callers
2126         changed.  Use this when trying to improve the upper bound.
2127         Generate the comparison by using simplify_gen_relational.
2128
2129         * loop-iv.c (simple_rhs_p): Allow more kinds of expressions.
2130
2131         * loop-iv.c (replace_single_def_regs, replace_in_expr): New static
2132         functions.
2133         (simplify_using_assignment, simplify_using_initial_values): Call
2134         replace_in_expr to make replacements.  Call replace_single_def_regs
2135         once on the initial version of the expression.
2136
2137 2009-03-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2138
2139         PR target/27237
2140         * doc/invoke.texi (ARM Options): Update documentation for -mthumb.
2141
2142 2009-03-31  Richard Guenther  <rguenther@suse.de>
2143
2144         PR middle-end/31029
2145         * fold-const.c (fold_binary): Fold X +- Y CMP X to Y CMP 0 for
2146         equality comparisons.  Fold C - X CMP X if C % 2 == 1.
2147
2148 2009-03-31  Richard Guenther  <rguenther@suse.de>
2149
2150         * tree.h (div_if_zero_remainder): Declare.
2151         * fold-const.c (div_if_zero_remainder): Export.
2152         * tree-ssa-forwprop.c
2153         (forward_propagate_addr_into_variable_array_index): Handle
2154         constant array index addition outside of the variable index.
2155
2156 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
2157
2158         PR target/39592
2159         * config/i386/i386.md (*floatunssi<mode>2_1, two unnamed
2160         define_splits, floatunssi<mode>2): Require x87 conversions from
2161         DImode to be permitted.
2162
2163 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
2164
2165         PR preprocessor/15638
2166         * c-common.c (c_cpp_error): Handle CPP_DL_FATAL.
2167
2168 2009-03-31  Richard Guenther  <rguenther@suse.de>
2169
2170         PR middle-end/23401
2171         PR middle-end/27810
2172         * tree.h (DECL_GIMPLE_FORMAL_TEMP_P): Remove.
2173         (struct tree_decl_with_vis): Remove gimple_formal_temp member.
2174         * tree-eh.c (lower_eh_constructs_2): Move LHS assignment to
2175         a separate statement.
2176         * gimplify.c (pop_gimplify_context): Remove formal temp handling.
2177         (lookup_tmp_var): Likewise.
2178         (is_gimple_formal_tmp_or_call_rhs): Remove.
2179         (is_gimple_reg_or_call_rhs): Rename to ...
2180         (is_gimple_reg_rhs_or_call): ... this.
2181         (is_gimple_mem_or_call_rhs): Rename to ...
2182         (is_gimple_mem_rhs_or_call): ... this.
2183         (internal_get_tmp_var): Use is_gimple_reg_rhs_or_call.  Set
2184         DECL_GIMPLE_REG_P only if is_formal is true.
2185         (gimplify_compound_lval): Use is_gimple_reg.  Remove workaround
2186         for non-proper post-modify expression gimplification.
2187         (gimplify_self_mod_expr): For post-modify expressions gimplify
2188         the lvalue to a minimal lvalue.
2189         (rhs_predicate_for): Remove formal temp case.
2190         (gimplify_modify_expr_rhs): Likewise.
2191         (gimplify_addr_expr): Use is_gimple_reg.
2192         (gimplify_expr): Remove formal temp cases.
2193         (gimple_regimplify_operands): Likewise.
2194         * tree-ssa-pre.c (get_or_alloc_expr_for): Treat EXC_PTR_EXPR
2195         and FILTER_EXPR like constants.
2196         * gimple.c (walk_gimple_op): Fix val_only initialization, use
2197         is_gimple_reg.
2198         (is_gimple_formal_tmp_rhs): Remove.
2199         (is_gimple_reg_rhs): Remove special casing.
2200         (is_gimple_mem_rhs): Fix.
2201         (is_gimple_reg): Move DECL_GIMPLE_REG_P handling earlier.
2202         (is_gimple_formal_tmp_var): Remove.
2203         (is_gimple_formal_tmp_reg): Likewise.
2204         (is_gimple_min_lval): Allow invariant component ref parts.
2205         * gimple.h (is_gimple_formal_tmp_rhs, is_gimple_formal_tmp_var,
2206         is_gimple_formal_tmp_reg): Remove declarations.
2207         * tree-cfg.c (verify_expr): Verify that variables with address
2208         taken do not have DECL_GIMPLE_REG_P set.
2209         * tree-mudflap.c (mf_build_check_statement_for): Use
2210         force_gimple_operand instead of gimplify_expr.
2211
2212 2009-03-31  Ayal Zaks  <zaks@il.ibm.com>
2213
2214         * modulo-sched.c (sms_schedule_by_order): Pass the actual
2215         schedulable rows to compute_split_row.
2216
2217 2009-03-31  Ben Elliston  <bje@au.ibm.com>
2218
2219         PR target/31635
2220         * config/rs6000/rs6000.c (rs6000_handle_option): Handle
2221         OPT_mvrsave.
2222
2223 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
2224
2225         * doc/invoke.texi (RS/6000 and PowerPC Options):Document mtls-markers.
2226         * configure.ac (HAVE_AS_TLS_MARKERS): New gas feature check.
2227         * configure: Regenerate.
2228         * config.in: Regenerate.
2229         * config/rs6000/rs6000.opt (mtls-markers): Add.
2230         * config/rs6000/rs6000.h (TARGET_TLS_MARKERS): Define.
2231         * config/rs6000/rs6000.md (tls_gd_aix, tls_gd_sysv): Add splitter.
2232         (tls_ld_aix, tls_ld_sysv): Likewise.
2233         (tls_gd, tls_gd_call_aix, tls_gd_call_sysv): New insns.
2234         (tls_ld, tls_ld_call_aix, tls_ld_call_sysv): Likewise.
2235
2236 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
2237
2238         * config/spu/spu.c (spu_expand_prologue): Delete redundant code.
2239
2240 2009-03-30  Jan Hubicka  <jh@suse.cz>
2241
2242         * tree-eh.c (make_eh_edges): Set probability 100% to first edge
2243         out of RESX.
2244         (tree_remove_unreachable_handlers): Cleanup EH predecestor
2245         detection and label handling.
2246
2247 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
2248
2249         * ira-int.h (ira_allocno): Rename left_conflicts_num to
2250         left_conflicts_size.
2251         (ALLOCNO_LEFT_CONFLICTS_NUM): Rename to
2252         ALLOCNO_LEFT_CONFLICTS_SIZE.
2253
2254         * ira-color.c (allocno_spill_priority, push_allocno_to_stack,
2255         remove_allocno_from_bucket_and_push,
2256         allocno_spill_priority_compare, push_allocnos_to_stack,
2257         setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE
2258         instead of ALLOCNO_LEFT_CONFLICTS_NUM.
2259         (setup_allocno_left_conflicts_num): Ditto.  Rename to
2260         setup_allocno_left_conflicts_size.
2261         (put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE
2262         instead of ALLOCNO_LEFT_CONFLICTS_NUM and
2263         setup_allocno_left_conflicts_size instead of
2264         setup_allocno_left_conflicts_num.
2265
2266         * ira-build.c (ira_create_allocno): Use
2267         ALLOCNO_LEFT_CONFLICTS_SIZE instead of
2268         ALLOCNO_LEFT_CONFLICTS_NUM.
2269
2270 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
2271
2272         * reload.c (push_reload, find_dummy_reload): Use df_get_live_out
2273         instead of DF_LR_OUT.
2274
2275         * ira-lives.c (process_bb_node_lives): Ditto.
2276
2277         * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in}
2278         instead of DF_LR_{OUT,IN}.
2279
2280         * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto.
2281
2282         * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto.
2283
2284 2009-03-30  Jan Hubicka  <jh@suse.cz>
2285
2286         * except.c (label_to_region_map): Fix thinko.
2287
2288 2009-03-30  Steve Ellcey  <sje@cup.hp.com>
2289
2290         PR middle-end/38237
2291         * tree.h (tree_find_value): New declaration.
2292         * tree.c (tree_find_value): New function.
2293         * varasm.c (assemble_external): Avoid duplicate entries on lists.
2294
2295 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
2296
2297         PR debug/39563
2298         * c-decl.c (struct c_binding): Add locus field.
2299         (bind): Add locus argument, set locus field from it.
2300         (pop_scope): For b->nested VAR_DECL or FUNCTION_DECL,
2301         add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS.
2302         (push_file_scope, pushtag, pushdecl, pushdecl_top_level,
2303         implicitly_declare, undeclared_variable, lookup_label,
2304         declare_label, c_make_fname_decl, c_builtin_function,
2305         c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust
2306         bind callers.
2307
2308 2008-03-30  H.J. Lu  <hongjiu.lu@intel.com>
2309
2310         PR target/38781
2311         * config/i386/i386.c (classify_argument): Check total size of
2312         structure.
2313
2314 2009-03-30  Martin Jambor  <mjambor@suse.cz>
2315
2316         * ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST,
2317         IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN,
2318         IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH
2319         respectively.
2320
2321         * tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if
2322         seen_variable_array_ref while also traversing a union.
2323
2324         * tree-inline.c (optimize_inline_calls): Do not call
2325         cgraph_node_remove_callees.
2326         * cgraphbuild.c (remove_cgraph_callee_edges): New function.
2327         (pass_remove_cgraph_callee_edges): New variable.
2328         * passes.c (init_optimization_passes): Add
2329         pass_remove_cgraph_callee_edges after early inlining and before all
2330         late intraprocedural passes.
2331
2332         * omp-low.c (expand_omp_taskreg): Always set current_function_decl.
2333
2334 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
2335
2336         * config/sparc/sparc.md (*nand<V64mode>_vis, *nand<V32mode>_vis):
2337         Fix typos in names.
2338
2339 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
2340
2341         * combine.c (simplify_comparison): Use have_insn_for.
2342         * dojump.c (do_jump): Likewise.
2343
2344 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
2345
2346         * config/sparc/sparc.c (sparc_compare_emitted): Remove.
2347         (gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC
2348         sparc_compare_op0 like sparc_compare_emitted used to be handled.
2349         (sparc_expand_compare_and_swap_12): Set sparc_compare_op0
2350         instead of sparc_compare_emitted.
2351         * config/sparc/sparc.h (sparc_compare_emitted): Remove.
2352         * config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0
2353         instead of sparc_compare_emitted.
2354
2355 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
2356
2357         * bb-reorder.c (partition_hot_cold_basic_blocks): Do not
2358         enter/exit cfglayout mode.
2359         (pass_partition_block): Require it.
2360         * combine.c (find_single_use, reg_dead_at_p): Use CFG.
2361         (combine_instructions): Track basic blocks instead of labels.
2362         (update_cfg_for_uncondjump): New.
2363         (try_combine): Use it.  Update jumps after rescanning.
2364         (pass_combine): Require PROP_cfglayout.
2365         * passes.c (pass_outof_cfg_layout_mode): Move after regmove.
2366
2367 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
2368
2369         * cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode):
2370         Provide/destroy PROP_cfglayout respectively.
2371         * gcse.c (pass_jump_bypass, pass_gcse): Require it.
2372         * tree-pass.h (PROP_cfglayout): New.
2373
2374 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
2375
2376         * fold-const.c (const_binop, fold_convert_const_real_from_fixed,
2377         fold_convert_const_fixed_from_fixed,
2378         fold_convert_const_fixed_from_int,
2379         fold_convert_const_fixed_from_real, fold_negate_const): Do not
2380         set TREE_CONSTANT_OVERFLOW.
2381         * tree.def: Remove mention of TREE_CONSTANT_OVERFLOW.
2382         * tree.h (TREE_CONSTANT_OVERFLOW): Delete.
2383
2384 2009-03-30  Ira Rosen  <irar@il.ibm.com>
2385
2386         * tree-vect-loop-manip.c: New file.
2387         * tree-vectorizer.c: Update documentation and included files.
2388         (vect_loop_location): Make extern.
2389         (rename_use_op): Move to tree-vect-loop-manip.c
2390         (rename_variables_in_bb, rename_variables_in_loop,
2391         slpeel_update_phis_for_duplicate_loop,
2392         slpeel_update_phi_nodes_for_guard1,
2393         slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes,
2394         slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard,
2395         slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling,
2396         set_prologue_iterations, slpeel_tree_peel_loop_to_edge,
2397         find_loop_location): Likewise.
2398         (new_stmt_vec_info): Move to tree-vect-stmts.c.
2399         (init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info,
2400         get_vectype_for_scalar_type, vect_is_simple_use,
2401         supportable_widening_operation, supportable_narrowing_operation):
2402         Likewise.
2403         (bb_in_loop_p): Move to tree-vect-loop.c.
2404         (new_loop_vec_info, destroy_loop_vec_info,
2405         reduction_code_for_scalar_code, report_vect_op,
2406         vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise.
2407         (vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c.
2408         (vect_supportable_dr_alignment): Likewise.
2409         * tree-vectorizer.h (tree-data-ref.h): Include.
2410         (vect_loop_location): Declare.
2411         Reorganize function declarations according to the new file structure.
2412         * tree-vect-loop.c: New file.
2413         * tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c,
2414         tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c.
2415         * tree-vect-data-refs.c: New file.
2416         * tree-vect-patterns.c (timevar.h): Don't include.
2417         * tree-vect-stmts.c: New file.
2418         * tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c,
2419         tree-vect-slp.c, tree-vect-loop.c.
2420         * Makefile.in (OBJS-common): Remove tree-vect-analyze.o and
2421         tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o,
2422         tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o.
2423         (tree-vect-analyze.o): Remove.
2424         (tree-vect-transform.o): Likewise.
2425         (tree-vect-data-refs.o): Add rule.
2426         (tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o,
2427         tree-vect-slp.o): Likewise.
2428         (tree-vect-patterns.o): Remove redundant dependencies.
2429         (tree-vectorizer.o): Likewise.
2430         * tree-vect-slp.c: New file.
2431
2432 2009-03-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2433
2434         * optc-gen.awk: Warn if an option flag has multiple different
2435         help strings.
2436
2437 2009-03-30  Sebastian Pop  <sebastian.pop@amd.com>
2438
2439         * doc/invoke.texi (-floop-interchange, -floop-strip-mine,
2440         -floop-block): Document dependences on PPL, CLooG and Graphite.
2441
2442 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
2443
2444         PR rtl-optimization/323
2445         * c-common.c (c_fully_fold, convert_and_check,
2446         c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR.
2447         (c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR.
2448         * c-common.def (EXCESS_PRECISION_EXPR): New.
2449         * c-cppbuiltin.c (builtin_define_float_constants): Define
2450         constants with enough digits for long double.
2451         * c-lex.c (interpret_float): Interpret constant with excess
2452         precision where appropriate.
2453         * c-opts.c (c_common_post_options): Set
2454         flag_excess_precision_cmdline.  Give an error for
2455         -fexcess-precision=standard for C++ for processors where the
2456         option is significant.
2457         * c-parser.c (c_parser_conditional_expression): Handle excess
2458         precision in condition.
2459         * c-typeck.c (convert_arguments): Handle arguments with excess
2460         precision.
2461         (build_unary_op): Move excess precision outside operation.
2462         (build_conditional_expr): Likewise.
2463         (build_compound_expr): Likewise.
2464         (build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR.
2465         (build_modify_expr): Handle excess precision in RHS.
2466         (convert_for_assignment): Handle excess precision in converted
2467         value.
2468         (digest_init, output_init_element, process_init_element): Handle
2469         excess precision in initializer.
2470         (c_finish_return): Handle excess precision in return value.
2471         (build_binary_op): Handle excess precision in operands and add
2472         excess precision as needed for operation.
2473         * common.opt (-fexcess-precision=): New option.
2474         * config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New.
2475         * config/i386/i386.md (float<SSEMODEI24:mode><X87MODEF:mode>2):
2476         For standard excess precision, output explicit conversion to and
2477         truncation from XFmode.
2478         (*float<SSEMODEI24:mode><X87MODEF:mode>2_1,
2479         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387_with_temp,
2480         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387, two unnamed
2481         define_splits, floatdi<X87MODEF:mode>2_i387_with_xmm, two unnamed
2482         define_splits, *floatunssi<mode>2_1, two unnamed define_splits,
2483         floatunssi<mode>2, add<mode>3, sub<mode>3, mul<mode>3, divdf3,
2484         divsf3, *fop_<mode>_comm_i387, *fop_<mode>_1_i387,
2485         *fop_<MODEF:mode>_2_i387, *fop_<MODEF:mode>_3_i387,
2486         *fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed
2487         define_splits, sqrt<mode>2): Disable where appropriate for
2488         standard excess precision.
2489         * convert.c (convert_to_real): Do not shorten arithmetic to type
2490         for which excess precision would be used.
2491         * defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define.
2492         * doc/invoke.texi (-fexcess-precision=): Document option.
2493         (-mfpmath=): Correct index entry.
2494         * flags.h (enum excess_precision, flag_excess_precision_cmdline,
2495         flag_excess_precision): New.
2496         * langhooks.c (lhd_post_options): Set
2497         flag_excess_precision_cmdline.
2498         * opts.c (common_handle_option): Handle -fexcess-precision=.
2499         * toplev.c (flag_excess_precision_cmdline, flag_excess_precision,
2500         init_excess_precision): New.
2501         (lang_dependent_init_target): Call init_excess_precision.
2502         * tree.c (excess_precision_type): New.
2503         * tree.h (excess_precision_type): Declare.
2504
2505 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
2506
2507         PR c/35235
2508         * c-typeck.c (build_component_ref): Do not copy qualifiers from
2509         non-lvalue to component.
2510
2511 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
2512
2513         PR preprocessor/34695
2514         * Makefile.in (c-opts.o): Depend on c-tree.h.
2515         * c-common.c: Move down include of diagnostic.h.
2516         (done_lexing, c_cpp_error): New.
2517         * c-common.h (done_lexing): Declare.
2518         * c-decl.c (c_write_global_declarations): Don't check cpp_errors
2519         (parse_in).
2520         * c-opts.c: Include c-tree.h.
2521         (c_common_init_options): Set preprocessor error callback.
2522         (c_common_handle_option): Do not set preprocessor
2523         inhibit_warnings, warnings_are_errors, warn_system_headers,
2524         pedantic_errors or inhibit_warnings flags.
2525         (c_common_post_options): Do not check cpp_errors (parse_in).
2526         (c_common_finish): Do not output dependencies if there were
2527         errors.  Do not check return value of cpp_finish.
2528         * c-ppoutput.c (pp_file_change): Set input_location.
2529         * c-tree.h (c_cpp_error): Declare.
2530         * diagnostic.c (diagnostic_set_info_translated): Also initialize
2531         override_column.
2532         (diagnostic_build_prefix): Check override_column.
2533         * diagnostic.h (diagnostic_info): Add override_column field.
2534         (diagnostic_override_column): Define.
2535
2536 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
2537
2538         * c-common.c (c_expand_expr, c_staticp): Remove.
2539         * c-common.def (COMPOUND_LITERAL_EXPR): Delete.
2540         * c-common.h (emit_local_var, c_staticp, COMPOUND_LITERAL_EXPR_DECL,
2541         COMPOUND_LITERAL_EXPR_DECL_EXPR): Remove.
2542         * c-gimplify.c (gimplify_compound_literal_expr,
2543         optimize_compound_literals_in_ctor): Remove.
2544         (c_gimplify_expr): Remove COMPOUND_LITERAL_EXPR handling.
2545         * c-objc-common.h (LANG_HOOKS_STATICP): Remove.
2546         * c-semantics.c (emit_local_var): Remove.
2547
2548         * langhooks-def.h (lhd_expand_expr): Remove.
2549         * langhooks.c (lhd_expand_expr): Remove.
2550         * langhooks.h (LANG_HOOKS_DEF): Remove LANG_HOOKS_EXPAND_EXPR.
2551
2552         * expr.c (expand_expr_real_1): Move COMPOUND_LITERAL_EXPR
2553         handling from c-semantics.c; don't call into langhook.
2554         (expand_expr_addr_expr_1): Check that we don't get non-GENERIC trees.
2555         * gimplify.c (gimplify_compound_literal_expr,
2556         optimize_compound_literals_in_ctor): Move from c-gimplify.c.
2557         (gimplify_init_constructor): Call optimize_compound_literals_in_ctor.
2558         (gimplify_modify_expr_rhs, gimplify_expr): Handle COMPOUND_LITERAL_EXPR
2559         as was done in c-gimplify.c.
2560         * tree.c (staticp): Move COMPOUND_LITERAL_EXPR handling from c_staticp.
2561         * tree.h (COMPOUND_LITERAL_EXPR_DECL, COMPOUND_LITERAL_EXPR_DECL_EXPR):
2562         Move from c-common.h.
2563         * tree.def (COMPOUND_LITERAL_EXPR): Move from c-common.def.
2564
2565         * tree.c (staticp): Do not call langhook.
2566         * langhooks.c (lhd_staticp): Delete.
2567         * langhooks-def.h (lhd_staticp): Delete prototype.
2568         (LANG_HOOKS_STATICP): Delete.
2569         (LANG_HOOKS_INITIALIZER): Delete LANG_HOOKS_STATICP.
2570
2571         * doc/c-tree.texi (Expression nodes): Refer to DECL_EXPRs
2572         instead of DECL_STMTs.
2573
2574 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
2575
2576         PR c/456
2577         PR c/5675
2578         PR c/19976
2579         PR c/29116
2580         PR c/31871
2581         PR c/35198
2582         * builtins.c (fold_builtin_sincos): Build COMPOUND_EXPR in
2583         void_type_node.
2584         (fold_call_expr): Return a NOP_EXPR from folding rather than the
2585         contained expression.
2586         * c-common.c (c_fully_fold, c_fully_fold_internal, c_save_expr): New.
2587         (c_common_truthvalue_conversion): Use c_save_expr.  Do not fold
2588         conditional expressions for C.
2589         (decl_constant_value_for_optimization): Move from
2590         decl_constant_value_for_broken_optimization in c-typeck.c.  Check
2591         whether optimizing and that the expression is a VAR_DECL not of
2592         array type instead of doing such checks in the caller.  Do not
2593         check pedantic.  Call gcc_unreachable for C++.
2594         * c-common.def (C_MAYBE_CONST_EXPR): New.
2595         * c-common.h (c_fully_fold, c_save_expr,
2596         decl_constant_value_for_optimization): New prototypes.
2597         (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
2598         C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
2599         EXPR_INT_CONST_OPERANDS): Define.
2600         * c-convert.c (convert): Strip nops from expression.
2601         * c-decl.c (groktypename): Take extra parameters expr and
2602         expr_const_operands.  Update call to grokdeclarator.
2603         (start_decl): Update call to grokdeclarator.  Add statement for
2604         expressions used in type of decl.
2605         (grokparm): Update call to grokdeclarator.
2606         (push_parm_decl): Update call to grokdeclarator.
2607         (build_compound_literal): Add parameter non_const and build a
2608         C_MAYBE_COSNT_EXPR if applicable.
2609         (grokdeclarator): Take extra parameters expr and
2610         expr_const_operands.  Track expressions used in declaration
2611         specifiers and declarators.  Fold array sizes and track whether
2612         they are constant expressions and whether they are integer
2613         constant expressions.
2614         (parser_xref_tag): Set expr and expr_const_operands fields in
2615         return value.
2616         (grokfield): Update call to grokdeclarator.
2617         (start_function): Update call to grokdeclarator.
2618         (build_null_declspecs): Set expr and expr_const_operands fields in
2619         return value.
2620         (declspecs_add_type): Handle expressions in typeof specifiers.
2621         * c-parser.c (c_parser_declspecs): Set expr and
2622         expr_const_operands fields for declaration specifiers.
2623         (c_parser_enum_specifier): Likewise.
2624         (c_parser_struct_or_union_specifier): Likewise.
2625         (c_parser_typeof_specifier): Likewise.  Update call to
2626         groktypename.  Fold expression as needed.  Return expressions with
2627         type instead of adding statements.
2628         (c_parser_attributes): Update calls to c_parser_expr_list.
2629         (c_parser_statement_after_labels): Fold expression before passing
2630         to objc_build_throw_stmt.
2631         (c_parser_condition): Fold expression.
2632         (c_parser_asm_operands): Fold expression.
2633         (c_parser_conditional_expression): Use c_save_expr.  Update call
2634         to build_conditional_expr.
2635         (c_parser_alignof_expression): Update call to groktypename.
2636         (c_parser_postfix_expression): Preserve C_MAYBE_CONST_EXPR as
2637         original_code.  Fold expression argument of va_arg.  Create
2638         C_MAYBE_CONST_EXPR to preserve side effects of expressions in type
2639         argument to va_arg.  Update calls to groktypename.  Fold array
2640         index for offsetof.  Verify that first argument to
2641         __builtin_choose_expr has integer type.
2642         (c_parser_postfix_expression_after_paren_type): Update calls to
2643         groktypename and build_compound_literal.  Handle expressions with
2644         side effects in type name.
2645         (c_parser_postfix_expression_after_primary): Update call to
2646         c_parser_expr_list.  Set original_code for calls to
2647         __builtin_constant_p.
2648         (c_parser_expr_list): Take extra parameter fold_p.  Fold
2649         expressions if requested.
2650         (c_parser_objc_type_name): Update call to groktypename.
2651         (c_parser_objc_synchronized_statement): Fold expression.
2652         (c_parser_objc_receiver): Fold expression.
2653         (c_parser_objc_keywordexpr): Update call to c_parser_expr_list.
2654         (c_parser_omp_clause_num_threads, c_parser_omp_clause_schedule,
2655         c_parser_omp_atomic, c_parser_omp_for_loop): Fold expressions.
2656         * c-tree.h (CONSTRUCTOR_NON_CONST): Define.
2657         (struct c_typespec): Add elements expr and expr_const_operands.
2658         (struct c_declspecs): Add elements expr and expr_const_operands.
2659         (groktypename, build_conditional_expr, build_compound_literal):
2660         Update prototypes.
2661         (in_late_binary_op): Declare.
2662         * c-typeck.c (note_integer_operands): New function.
2663         (in_late_binary_op): New variable.
2664         (decl_constant_value_for_broken_optimization): Move to c-common.c
2665         and rename to decl_constant_value_for_optimization.
2666         (default_function_array_conversion): Do not strip nops.
2667         (default_conversion): Do not call
2668         decl_constant_value_for_broken_optimization.
2669         (build_array_ref): Do not fold result.
2670         (c_expr_sizeof_expr): Fold operand.  Use C_MAYBE_CONST_EXPR for
2671         result when operand is a VLA.
2672         (c_expr_sizeof_type): Update call to groktypename.  Handle
2673         expressions included in type name.  Use C_MAYBE_CONST_EXPR for
2674         result when operand names a VLA type.
2675         (build_function_call): Update call to build_compound_literal.
2676         Only fold result for calls to __builtin_* functions.  Strip
2677         NOP_EXPR from INTEGER_CST returned from such functions.  Fold
2678         the function designator.
2679         (convert_arguments): Fold arguments.  Update call to
2680         convert_for_assignment.
2681         (build_unary_op): Handle increment and decrement of
2682         C_MAYBE_CONST_EXPR.  Move lvalue checks for increment and
2683         decrement earlier.  Fold operand of increment and decrement.
2684         Handle address of C_MAYBE_CONST_EXPR.  Only fold expression being
2685         built for integer operand.  Wrap returns that are INTEGER_CSTs
2686         without being integer constant expressions or that have integer
2687         constant operands without being INTEGER_CSTs.
2688         (lvalue_p): Handle C_MAYBE_CONST_EXPR.
2689         (build_conditional_expr): Add operand ifexp_bcp.  Track whether
2690         result is an integer constant expression or can be used in
2691         unevaluated parts of one and avoid folding and wrap as
2692         appropriate.  Fold operands before possibly doing -Wsign-compare
2693         warnings.
2694         (build_compound_expr): Wrap result for C99 if operands can be used
2695         in integer constant expressions.
2696         (build_c_cast): Update call to digest_init.  Do not ignore
2697         overflow from casting floating-point constants to integers.  Wrap
2698         results that could be confused with integer constant expressions,
2699         null pointer constants or floating-point constants.
2700         (c_cast_expr): Update call to groktypename.  Handle expressions
2701         included in type name.
2702         (build_modify_expr): Handle modifying a C_MAYBE_CONST_EXPR.  Fold
2703         lhs inside possible SAVE_EXPR.  Fold RHS before assignment.
2704         Update calls to convert_for_assignment.
2705         (convert_for_assignment): Take new parameter
2706         null_pointer_constant.  Do not strip nops or call
2707         decl_constant_value_for_broken_optimization.  Set
2708         in_late_binary_op for conversions to boolean.
2709         (store_init_value): Update call to digest_init.
2710         (digest_init): Take new parameter null_pointer_constant.  Do not
2711         call decl_constant_value_for_broken_optimization.  pedwarn for
2712         initializers not constant expressions.  Update calls to
2713         convert_for_assignment.
2714         (constructor_nonconst): New.
2715         (struct constructor_stack): Add nonconst element.
2716         (really_start_incremental_init, push_init_level, pop_init_level):
2717         Handle constructor_nonconst and nonconst element.
2718         (set_init_index): Call constant_expression_warning for array
2719         designators.
2720         (output_init_element): Fold value.  Set constructor_nonconst as
2721         applicable.  pedwarn for initializers not constant expressions.
2722         Update call to digest_init.  Call constant_expression_warning
2723         where constant initializers are required.
2724         (process_init_element): Use c_save_expr.
2725         (c_finish_goto_ptr): Fold expression.
2726         (c_finish_return): Fold return value.  Update call to
2727         convert_for_assignment.
2728         (c_start_case): Fold switch expression.
2729         (c_process_expr_stmt): Fold expression.
2730         (c_finish_stmt_expr): Create C_MAYBE_CONST_EXPR as needed to
2731         ensure statement expression is not evaluated in constant expression.
2732         (build_binary_op): Track whether results are integer constant
2733         expressions or may occur in such, disable folding and wrap results
2734         as applicable.  Fold operands for -Wsign-compare warnings unless
2735         in_late_binary_op.
2736         (c_objc_common_truthvalue_conversion): Handle results folded to
2737         integer constants that are not integer constant expressions.
2738         * doc/extend.texi: Document when typeof operands are evaluated,
2739         that condition of __builtin_choose_expr is an integer constant
2740         expression, and more about use of __builtin_constant_p in
2741         initializers.
2742
2743 2009-03-29  Richard Guenther  <rguenther@suse.de>
2744
2745         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Properly
2746         propagate addresses of array references.
2747
2748 2009-03-29  Steven Bosscher  <steven@gcc.gnu.org>
2749
2750         * regmove.c (perhaps_ends_bb_p): Remove.
2751         (optimize_reg_copy_1): Don't call perhaps_ends_bb_p.  Get basic block
2752         from INSN and check that the main loop stays within that basic block.
2753         (optimize_reg_copy_1, optimize_reg_copy_3, fixup_match_2): Likewise.
2754         (regmove_forward_pass): Split out from regmove_optimize.  Use
2755         FOR_EACH_BB and FOR_BB_INSNS instead of traversing the insns stream.
2756         (regmove_backward_pass): Split out from regmove_optimize.  Use
2757         FOR_EACH_BB_REVERSE and FOR_BB_INSNS_REVERS_SAFE.
2758         (regmove_optimize): Simplify.
2759
2760 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
2761
2762         PR target/39545
2763         * config/i386/i386.c (classify_argument): Ignore flexible array
2764         member in struct and warn ABI change.
2765
2766 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
2767
2768         * config/i386/i386-protos.h (ix86_agi_dependent): New.
2769
2770         * config/i386/i386.c (ix86_agi_dependent): Rewrite.
2771         (ix86_adjust_cost): Updated.
2772
2773 2009-03-29  Jan Hubicka  <jh@suse.cz>
2774
2775         PR middle-end/28850
2776         * tree-pass.h (pass_cleanup_eh): New function.
2777         (remove_unreachable_regions): Break code handling RTL
2778         to rtl_remove_unreachable_regions; remove ERT_MUST_NOT_THROW
2779         that can not be reached by runtime.
2780         (can_be_reached_by_runtime): New function.
2781         (label_to_region_map): New function.
2782         (num_eh_regions): New function.
2783         (rtl_remove_unreachable_regions): New function.
2784         (convert_from_eh_region_ranges): Call rtl_remove_unreachable_regions.
2785         (remove_eh_region): New function.
2786         * except.h: Include sbitmap and vecprim.
2787         (remove_eh_region, remove_unreachable_regions, label_to_region_map,
2788         num_eh_regions): Declare.
2789         * passes.c (init_optimization_passes): Schedule cleanup_eh.
2790         * Makefile.in (EXCEPT_H): New; replace all uses of except.h by it.
2791         * tree-eh.c (tree_remove_unreachable_handlers): New function.
2792         (tree_empty_eh_handler_p): New function.
2793         (cleanup_empty_eh): New function.
2794         (cleanup_eh): New function.
2795         (pass_cleanup_eh): New function.
2796
2797 2009-03-29  Jan Hubicka  <jh@suse.cz>
2798
2799         * except.c (verify_eh_tree): Fix handling of fun!=cfun; be ready
2800         for removed regions.
2801
2802 2009-03-29  Jan Hubicka  <jh@suse.cz>
2803
2804         * except.c (dump_eh_tree): Dump all datastructures.
2805
2806 2009-03-29  Jan Hubicka  <jh@suse.cz>
2807
2808         * except.c (duplicate_eh_regions_0): Handle AKA bitmap.
2809         (duplicate_eh_regions_1): Likewise.
2810         (duplicate_eh_regions): Likewise; cleanup code gorwing the region
2811         vector; call EH verification.
2812         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
2813         Be ready for region being removed.
2814
2815 2009-03-29  Jan Hubicka  <jh@suse.cz>
2816
2817         * bitmap.c (bitmap_last_set_bit): New function.
2818         * bitmap.h (bitmap_last_set_bit): Declare.
2819
2820 2009-03-29  David Ayers  <ayers@fsfe.org>
2821
2822         PR objc/27377
2823         * c-typeck.c (build_conditional_expr): Emit ObjC warnings
2824         by calling objc_compare_types and surpress warnings about
2825         incompatible C pointers that are compatible ObjC pointers.
2826
2827 2009-03-29  Adam Nemet  <anemet@caviumnetworks.com>
2828
2829         * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Don't
2830         call initialize_inline_failed.
2831         (initialize_inline_failed): Move it from here ...
2832         * cgraph.c (initialize_inline_failed): ... to here.
2833         (cgraph_create_edge): Call initialize_inline_failed rather than
2834         setting inline_failed directly.
2835
2836 2009-03-29  Ben Elliston  <bje@au.ibm.com>
2837
2838         PR target/32542
2839         * sysv4.opt (msdata): Improve comment.
2840         * linux64.h (ASM_SPEC32): Do not pass -memb when -msdata is given.
2841         * sysv4.h (SVR4_ASM_SPEC): Likewise.
2842
2843 2009-03-29  Ben Elliston  <bje@au.ibm.com>
2844
2845         PR target/30451
2846         * config/rs6000/rs6000.md (*movti_ppc64): Correct the order of
2847         load and store attributes.
2848
2849 2009-03-29  Ben Elliston  <bje@au.ibm.com>
2850
2851         * config/i386/i386.c (enum ix86_builtins): Add IX86_BUILTIN_HUGE_VALQ.
2852         (ix86_init_builtins): Add built-in function __builtin_huge_valq.
2853         (ix86_expand_builtin): Handle IX86_BUILTIN_HUGE_VALQ.
2854         * doc/extend.texi (X86 Built-in Functions): Add index entries for
2855         __builtin_infq and __builtin_huge_valq.
2856
2857 2009-03-28  Anatoly Sokolov  <aesok@post.ru>
2858
2859         * config/avr/avr.c (avr_mcu_t): Add atmega8c1, atmega16c1 and
2860         atmega8m1 devices.
2861         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
2862         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.)
2863
2864 2009-03-28  Xinliang David Li  <davidxl@google.com>
2865
2866         * tree-ssa-ccp.c (ccp_finalize): Add dbg_count support.
2867         (do_dbg_cnt): New function.
2868
2869 2009-03-28  Jan Hubicka  <jh@suse.cz>
2870
2871         Merge from pretty-ipa:
2872
2873         2009-03-27  Jan Hubicka  <jh@suse.cz>
2874
2875         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
2876         * tree-pass.h (function_called_by_processed_nodes_p): Declare.
2877         * passes.c (function_called_by_processed_nodes_p): New.
2878         * ipa-pure-const.c (check_call): Fix handling of operands.
2879         (analyze_function): Dump debug output for skipped bodies.
2880         (local_pure_const): Use function_called_by_processed_nodes_p.
2881         * dwarf2out.c (reference_to_unused): Use output.
2882         * passes.c (do_per_function_toporder): Likewise.
2883
2884         2008-11-12  Jan Hubicka  <jh@suse.cz>
2885
2886         * tree-pass.h (pass_fixup_cfg, pass_local_pure_const): Declare.
2887         * ipa-pure-const.c (funct_state_d): Add can throw field; make
2888         state_set_in_source enum
2889         (check_decl): Ignore memory tags; do not set fake looping flags;
2890         dump diagnostics.
2891         (check_operand, check_tree, check_rhs_var, check_lhs_var,
2892         get_asm_expr_operands, scan_function_op, scan_function_stmt): Remove.
2893         (check_call, analyze_function): Rewrite.
2894         (check_stmt): New.
2895         (add_new_function): Update call of analyze_function.
2896         (generate_summary): Add call of analyze_function.
2897         (propagate): Propagate can_throw; handle state_set_in_source correctly.
2898         (local_pure_const): New function.
2899         (pass_local_pure_const): New pass.
2900         * ipa-inline.c (inline_transform): Set after_inlining.
2901         * tree-eh.c (stmt_can_throw_external): New.
2902         * tree-optimize.c (execute_fixup_cfg): Do not set after_inlining;
2903         work with aliasing built.
2904         * tree-flow.h (stmt_can_throw_external): New.
2905         * passes.c (init_optimization_passes): Schedule fixup_cfg pass early;
2906         and local pure/const pass in early and late optimization queue.
2907
2908 2009-03-28  Martin Jambor  <mjambor@suse.cz>
2909
2910         * fold-const.c (get_pointer_modulus_and_residue): New parameter
2911         allow_func_align.
2912         (fold_binary): Allow function decl aligment consideration is the
2913         second argument is integer constant one.
2914         * tree-ssa-forwprop.c (simplify_bitwise_and): New function.
2915         (tree_ssa_forward_propagate_single_use_vars): Handle assing statements
2916         with BIT_AND_EXPR on the RHS by calling simplify_bitwise_and.
2917
2918 2009-03-28  Jan Hubicka  <jh@suse.cz>
2919
2920         * dwarf2out.c (dwarf2out_begin_prologue): Use crtl->nothrow
2921         * tree-eh.c (stmt_could_throw_p): Remove check for WEAK decls.
2922         * function.h (rtl_data): Add nothrow flag.
2923         * except.c (set_nothrow_function_flags): Use crtl->nothrow;
2924         set DECL_NOTHROW for AVAILABLE functions.
2925
2926 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
2927
2928         * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): If macro
2929         following vector keyword has expansion starting with pixel or bool
2930         keyword, expand vector to __vector and pixel or bool to __pixel or
2931         __bool.
2932
2933         PR c++/39554
2934         * opts.c (warning_disallowed_functions, warn_disallowed_functions,
2935         warn_if_disallowed_function_p): Removed.
2936         (common_handle_option): Don't handle OPT_Wdisallowed_function_list_.
2937         * c-parser.c (c_parser_postfix_expression_after_primary): Don't call
2938         warning_if_disallowed_function_p.
2939         * flags.h (warn_if_disallowed_function_p,
2940         warn_disallowed_functions): Removed.
2941         * common.opt (Wdisallowed-function-list=): Removed.
2942         * doc/invoke.texi (-Wdisallowed-function-list=): Removed.
2943
2944 2009-03-28  Richard Guenther  <rguenther@suse.de>
2945
2946         PR tree-optimization/38723
2947         * tree-ssa-pre.c (compute_avail): Add all default definitions to
2948         the entry block.
2949
2950 2009-03-28  Jan Hubicka  <jh@suse.cz>
2951
2952         * tree-ssa-structalias.c (ipa_pta_execute): Fix bogus node->analyzed
2953         test introduced by my previous patch.
2954
2955 2009-03-28  Richard Guenther  <rguenther@suse.de>
2956
2957         * tree-ssa-copy.c (copy_prop_visit_phi_node): Do not leave
2958         the PHIs value undefined.
2959
2960 2009-03-28  Jan Hubicka  <jh@suse.cz>
2961
2962         * tree-pass.h (pass_fixup_cfg): New pass.
2963         * ipa-inline.c (inline_transform): Set
2964         always_inline_functions_inlined/after_inlining.
2965         * tree-optimize.c (execute_fixup_cfg): Do not set them here.
2966         (pass_fixup_cfg): New pass.
2967         * passes.c (init_optimization_passes): Add fixup_cfg.
2968
2969 2009-03-28  Richard Guenther  <rguenther@suse.de>
2970
2971         PR tree-optimization/38458
2972         * tree-ssa-copy.c (copy_prop_visit_phi_node): For the first
2973         argument use the arguments copy-of value.
2974
2975 2009-03-28  Richard Guenther  <rguenther@suse.de>
2976
2977         PR tree-optimization/38180
2978         * tree-ssa-ccp.c (get_default_value): Simplify.
2979         (likely_value): Likewise.
2980         (surely_varying_stmt_p): Properly handle VOP case.
2981         (ccp_initialize): Likewise.
2982         (ccp_fold): Handle propagating through *&.
2983         (fold_const_aggregate_ref): Also handle decls.
2984
2985 2009-03-28  Jan Hubicka  <jh@suse.cz>
2986
2987         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
2988         * cgraph.h (cgraph_node): Likewise.
2989         * cgraphunit.c (cgraph_process_new_functions): Set process flag.
2990         (cgraph_reset_node): Use process flag.
2991         (cgraph_mark_functions_to_output): Likewise.
2992         (cgraph_expand_function): Likewise.
2993         (cgraph_expand_all_functions): Likewise.
2994         (cgraph_output_in_order): Likewise.
2995         * dwarf2out.c (reference_to_unused): Likewise.
2996         * passes.c do_per_function_toporder): Likewise.
2997
2998 2009-03-28  Jan Hubicka  <jh@suse.cz>
2999
3000         Bring from lto-branch:
3001
3002         2008-09-03  Doug Kwan  <dougkwan@google.com>
3003
3004         * cgraphbuild.c (initialize_inline_failed): Use cgraph_inline_failed_t
3005         enums instead of reason strings.
3006         * cgraph.c (cgraph_create_edge): Same.
3007         (cgraph_inline_failed_string): New function.
3008         * cgraph.h (cgraph_inline_failed_t): New enum type.
3009         (cgraph_inline_failed_string): New prototype.
3010         (struct cgraph_edge): Change type of INLINED_FAILED from constant
3011         char pointer to cgraph_inline_failed_t.
3012         (cgraph_inline_p): Adjust prototype to use cgraph_inline_failed_t.
3013         (cgraph_default_inline_p): Ditto.
3014         * gcc/cgraphunit.c (cgraph_inline_p): Change type of parameter REASON
3015         to cgraph_inline_failed_t pointer.
3016         * cif-code.def: New file.
3017         * ipa-inline.c (cgraph_mark_inline_edge): Use an enum instead of a
3018         reason string.
3019         (cgraph_check_inline_limits): Change type of REASON to pointer to
3020         cgraph_inline_failed_t.  Replace reason strings with enums.
3021         (cgraph_default_inline_p): Ditto.
3022         (cgraph_recursive_inlining_p): Ditto.
3023         (update_caller_keys): Change type of FAILED_REASON to
3024         cgraph_inline_failed_t.
3025         (cgraph_set_inline_failed): Change type of REASON to pointer to
3026         cgraph_inline_failed_t.  Call cgraph_inline_failed_string to
3027         convert enums to strings for text output.
3028         (cgraph_decide_inlining_of_small_function): Change FAILED_REASON
3029         to be of type cgraph_inline_failed_t.  Replace reason strings with
3030         enums.  Call cgraph_inline_failed_string to covert enums
3031         to strings for text output.
3032         (cgraph_decide_inlining): Replace reason strings with enums.
3033         (cgraph_decide_inlining_incrementally): Change type of FAILED_REASON
3034         to cgraph_inline_failed_t type.  Call cgraph_inline_failed_string
3035         for text output.
3036         * tree-inline.c (expand_call_inline): Change type of REASON
3037         to cgraph_inline_failed_t.  Replace reason strings with enums.
3038         Call cgraph_inline_failed_string for text output.
3039         * Makefile.in (CGRAPH_H): Add cif-code.def to dependencies.
3040         (cgraph.o): Ditto.
3041
3042 2009-03-28  Jan Hubicka  <jh@suse.cz>
3043
3044         * cgraph.c (cgraph_node, cgraph_remove_node, dump_cgraph_node,
3045         cgraph_clone_node): Remove master clone handling.
3046         (cgraph_is_master_clone, cgraph_master_clone): Remove.
3047         * cgraph.h (master_clone): Remove.
3048         (cgraph_is_master_clone, cgraph_master_clone): Remove.
3049         * ipa-type-escape.c (type_escape_execute): Remove use of master clone.
3050         (tree-ssa-structalias.c (ipa_pta_execute): Likewise.
3051
3052 2009-03-28  Jan Hubicka  <jh@suse.cz>
3053
3054         * cgraph.c (cgraph_function_body_availability): Functions declared
3055         inline are always safe to assume that it is not going to be replaced.
3056
3057 2009-03-28  Richard Guenther  <rguenther@suse.de>
3058
3059         PR tree-optimization/38513
3060         * tree-ssa-pre.c (eliminate): Remove redundant stores.
3061         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle
3062         EXC_PTR_EXPR and FILTER_EXPR.
3063         (get_ref_from_reference_ops): Likewise.
3064
3065 2009-03-28  Richard Guenther  <rguenther@suse.de>
3066
3067         PR tree-optimization/38968
3068         * tree-vect-analyze.c (vect_compute_data_ref_alignment):
3069         Use FLOOR_MOD_EXPR to compute misalignment.
3070
3071 2009-03-28  Richard Guenther  <rguenther@suse.de>
3072
3073         PR tree-optimization/37795
3074         * tree.h (combine_comparisons): Declare.
3075         * fold-const.c (combine_comparisons): Export.
3076         * tree-ssa-ifcombine.c (ifcombine_ifandif): Optimize two successive
3077         comparisons.
3078         (ifcombine_iforif): Use combine_comparisons.
3079
3080 2009-03-28  Jan Hubicka  <jh@suse.cz>
3081
3082         * tree-eh.c (inlinable_call_p): New function.
3083         (make_eh_edges): Use it.
3084         (verify_eh_edges): Use it.
3085         (stmt_can_throw_external, stmt_can_throw_internal): Use it.
3086         * except.c (reachable_next_level): Add inlinable_function argument
3087         (sjlj_find_directly_reachable_regions): Update.
3088         (add_reachable_handler): Do not set saw_any_handlers.
3089         (reachable_next_level): Handle MUST_NOT_THROW more curefully.
3090         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
3091         Add new inlinable call parameter.
3092         (can_throw_internal, can_throw_external): Update.
3093         * except.h (can_throw_internal_1, can_throw_external_1,
3094         foreach_reachable_handler): Update declaration.
3095
3096 2009-03-28  Joseph Myers  <joseph@codesourcery.com>
3097
3098         * config/arm/t-arm-coff, config/h8300/coff.h,
3099         config/i386/i386-aout.h, config/i386/i386-coff.h,
3100         config/libgloss.h, config/m68k/coff.h, config/m68k/m68k-aout.h,
3101         config/pdp11/2bsd.h, config/rs6000/aix41.h,
3102         config/rs6000/aix41.opt, config/rs6000/t-newas, config/sh/coff.h,
3103         fix-header.c, fixproto, gen-protos.c, protoize.c, scan-decls.c,
3104         scan-types.sh, scan.c, scan.h, sort-protos, sys-protos.h,
3105         sys-types.h: Remove.
3106         * Makefile.in: Remove protoize and fixproto support and references
3107         in comments.
3108         (SYSCALLS.c.X-warn, TARGET_GETGROUPS_T, STMP_FIXPROTO,
3109         PROTOIZE_INSTALL_NAME, UNPROTOIZE_INSTALL_NAME, FIXPROTO_DEFINES):
3110         Remove.
3111         (ALL_HOST_OBJS): Remove $(PROTO_OBJS).
3112         (MOSTLYCLEANFILES): Remove protoize$(exeext) and
3113         unprotoize$(exeext).
3114         (rest.encap): Don't depend on $(STMP_FIXPROTO)
3115         (.PHONY): Don't depend on proto.
3116         (libgcc-support): Don't depend on $(STMP_FIXPROTO).
3117         (proto, PROTO_OBJS, protoize$(exeext), unprotoize$(exeext),
3118         protoize.o, unprotoize.o, SYSCALLS.c.X, test-protoize-simple,
3119         deduced.h, GEN_PROTOS_OBJS, build/gen-protos$(build_exeext),
3120         build/gen-protos.o, build/scan.o, xsys-protos.h,
3121         build/fix-header$(build_exeext), build/fix-header.o,
3122         build/scan-decls.o, fixhdr.ready, stmp-fixproto,
3123         stmp-install-fixproto): Remove.
3124         (mostlyclean): Don't remove xsys-protos.hT, SYSCALLS.c.X,
3125         SYSCALLS.c or fixproto files.
3126         (install-common): Don't install protoize.
3127         (install-headers-tar, install-headers-cpio, install-headers-cp):
3128         Don't depend on $(STMP_FIXPROTO).
3129         (install-mkheaders): Don't depend on $(STMP_FIXPROTO).  Don't
3130         install fixproto files or write out fixproto settings.
3131         (uninstall): Don't uninstall protoize.
3132         * config.gcc (use_fixproto): Remove.
3133         (arm-*-coff*, armel-*-coff*, h8300-*-*, i[34567]86-*-aout*,
3134         i[34567]86-*-coff*, m68k-*-aout*, m68k-*-coff*, pdp11-*-bsd,
3135         rs6000-ibm-aix4.[12]*, powerpc-ibm-aix4.[12]*, sh-*-*): Remove.
3136         * config/m32r/t-linux (STMP_FIXPROTO): Remove.
3137         * config/m68k/m68k.c: Remove M68K_TARGET_COFF-conditional code.
3138         * config/mips/t-iris (FIXPROTO_DEFINES): Remove.
3139         * config/pa/t-pa-hpux (FIXPROTO_DEFINES): Remove.
3140         * config/pdp11/pdp11.c: Remove TWO_BSD-conditional code.
3141         * config/t-svr4 (FIXPROTO_DEFINES): Remove.
3142         * config/t-vxworks (STMP_FIXPROTO): Remove.
3143         * configure.ac (AC_TYPE_GETGROUPS, TARGET_GETGROUPS_T,
3144         STMP_FIXPROTO): Remove.
3145         * config.in, configure: Regenerate.
3146         * crtstuff.c (gid_t, uid_t): Don't undefine.
3147         * doc/install.texi: Change m68k-coff to m68k-elf in example.
3148         (arm-*-coff, arm-*-aout: Remove target entries.
3149         (*-ibm-aix*): Mention removal of support for AIX 4.2 and older.
3150         Remove mention of AIX 4.1.
3151         (m68k-*-*): Remove mention of m68k-*-aout and m68k-*-coff*.
3152         * doc/invoke.texi (Running Protoize): Remove.
3153         * doc/trouble.texi (Actual Bugs): Remove mention of fixproto.
3154         (Protoize Caveats): Remove.
3155         * tsystem.h: Update comments on headers assumed to exist.
3156
3157 2009-03-27  Vladimir Makarov  <vmakarov@redhat.com>
3158
3159         * genautomata.c: Add a new year to the copyright.  Add a new
3160         reference.
3161         (struct insn_reserv_decl): Add comments for member bypass_list.
3162         (find_bypass): Remove.
3163         (insert_bypass): New.
3164         (process_decls): Use insert_bypass.
3165         (output_internal_insn_latency_func): Output all bypasses with the
3166         same input insn in one switch case.
3167
3168         * rtl.def (define_bypass): Describe bypass choice.
3169         * doc/md.texi (define_bypass): Ditto.
3170
3171 2009-03-27  Richard Guenther  <rguenther@suse.de>
3172
3173         * gimplify.c (mark_addressable): Export.
3174         * tree-flow.h (mark_addressable): Declare.
3175         * tree-ssa-loop-manip.c (create_iv): Mark the base addressable.
3176         * tree-ssa.c (verify_phi_args): Verify that address taken
3177         variables have TREE_ADDRESSABLE set.
3178
3179 2009-03-27  Richard Guenther  <rguenther@suse.de>
3180
3181         * fold-const.c (build_fold_addr_expr_with_type_1): Rename back to ...
3182         (build_fold_addr_expr_with_type): ... this.  Remove in_fold handling.
3183         Do not mark decls TREE_ADDRESSABLE.
3184         (build_fold_addr_expr): Adjust.
3185         (fold_addr_expr): Remove.
3186         (fold_unary): Use build_fold_addr_expr.
3187         (fold_comparison): Likewise.
3188         (split_address_to_core_and_offset): Likewise.
3189         * coverage.c (tree_coverage_counter_addr): Mark the array decl
3190         TREE_ADDRESSABLE.
3191         * gimplify.c (mark_addressable): Do not exclude RESULT_DECLs.
3192         (gimplify_modify_expr_to_memcpy): Mark source and destination
3193         addressable.
3194         * omp-low.c (create_omp_child_function): Mark the object decl
3195         TREE_ADDRESSABLE.
3196         (lower_rec_input_clauses): Mark the var we take the address of
3197         TREE_ADDRESSABLE.
3198         (lower_omp_taskreg): Mark the sender decl TREE_ADDRESSABLE.
3199
3200 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
3201
3202         PR middle-end/39315
3203         * cfgexpand.c (expand_one_stack_var_at): Change alignment
3204         limit to MAX_SUPPORTED_STACK_ALIGNMENT.
3205
3206 2009-03-27  Richard Guenther  <rguenther@suse.de>
3207
3208         PR tree-optimization/39120
3209         * tree-ssa-structalias.c (handle_rhs_call): Fill out return
3210         constraints.
3211         (handle_lhs_call): Process return constraints.  Add escape
3212         constraints if necessary.
3213         (handle_const_call): Fill out return constraints.  Make nested
3214         case more precise.  Avoid consttmp if possible.
3215         (handle_pure_call): Fill out return constraints.  Avoid
3216         callused if possible.
3217         (find_func_aliases): Simplify call handling.
3218
3219 2009-03-27  Richard Guenther  <rguenther@suse.de>
3220
3221         PR tree-optimization/39120
3222         * tree-ssa-structalias.c (do_sd_constraint): Do not use CALLUSED
3223         as a representative.
3224         (solve_graph): Do propagate CALLUSED.
3225         (handle_pure_call): Use a scalar constraint from CALLUSED for
3226         the return value.
3227         (find_what_p_points_to): CALLUSED shall not appear in poins-to
3228         solutions.
3229
3230 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
3231
3232         PR c/39323
3233         * c-common.c (handle_aligned_attribute): Properly check alignment
3234         overflow.  Use (1U << i) instead of (1 << i).
3235
3236         * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for align.
3237
3238         * expr.h (get_mem_align_offset): Updated.
3239
3240         * tree.h (tree_decl_common): Change align to "unsigned int" and
3241         move it before pointer_alias_set.
3242
3243 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
3244             Jakub Jelinek  <jakub@redhat.com>
3245
3246         PR target/38034
3247         * config/ia64/sync.md (cmpxchg_rel_<mode>): Replace input
3248         gr_register_operand with gr_reg_or_0_operand.
3249         (cmpxchg_rel_di): Likewise.
3250         (sync_lock_test_and_set<mode>): Likewise.
3251
3252 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
3253
3254         * jump.c (rtx_renumbered_equal_p): Use subreg_get_info.
3255         (true_regnum): Likewise.
3256
3257         * rtlanal.c (subreg_info): Moved to ...
3258         * rtl.h (subreg_info): Here.  New.
3259         (subreg_get_info): New.
3260
3261         * rtlanal.c (subreg_get_info): Make it extern.
3262
3263 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
3264
3265         PR target/39472
3266         * config/i386/i386.c (ix86_abi): New.
3267         (override_options): Handle -mabi=.
3268         (ix86_function_arg_regno_p): Replace DEFAULT_ABI with ix86_abi.
3269         (ix86_call_abi_override): Likewise.
3270         (init_cumulative_args): Likewise.
3271         (function_arg_advance): Likewise.
3272         (function_arg_64): Likewise.
3273         (function_arg): Likewise.
3274         (ix86_pass_by_reference): Likewise.
3275         (ix86_function_value_regno_p): Likewise.
3276         (ix86_build_builtin_va_list_abi): Likewise.
3277         (setup_incoming_varargs_64): Likewise.
3278         (is_va_list_char_pointer): Likewise.
3279         (ix86_init_machine_status): Likewise.
3280         (ix86_reg_parm_stack_space): Use enum calling_abi on call_abi.
3281         (ix86_function_type_abi): Return enum calling_abi.  Rewrite
3282         for 64bit.  Replace DEFAULT_ABI with ix86_abi.
3283         (ix86_function_abi): Make it static and return enum calling_abi.
3284         (ix86_cfun_abi): Return enum calling_abi.  Replace DEFAULT_ABI
3285         with ix86_abi.
3286         (ix86_fn_abi_va_list): Updated.
3287
3288         * config/i386/i386.h (ix86_abi): New.
3289         (STACK_BOUNDARY): Replace DEFAULT_ABI with ix86_abi.
3290         (CONDITIONAL_REGISTER_USAGE): Likewise.
3291         (CUMULATIVE_ARGS): Change call_abi type to enum calling_abi.
3292         (machine_function): Likewise.
3293
3294         * config/i386/i386.md (untyped_call): Replace DEFAULT_ABI
3295         with ix86_abi.
3296         * config/i386/cygming.h (TARGET_64BIT_MS_ABI): Likewise.
3297         (STACK_BOUNDARY): Likewise.
3298         * config/i386/mingw32.h (EXTRA_OS_CPP_BUILTINS): Likewise.
3299
3300         * config/i386/i386.opt (mabi=): New.
3301
3302         * config/i386/i386-protos.h (ix86_cfun_abi): Changed to
3303         return enum calling_abi.
3304         (ix86_function_type_abi): Likewise.
3305         (ix86_function_abi): Removed.
3306
3307         * doc/invoke.texi: Document -mabi= option for x86.
3308
3309 2009-03-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3310
3311         * builtins.c (real_dconstp): Delete.
3312         (fold_builtin_logarithm): Remove inaccurate log(e) special case.
3313
3314 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
3315             Jakub Jelinek  <jakub@redhat.com>
3316
3317         PR debug/37959
3318         * dwarf2out.c (dwarf_attr_name): Handle DW_AT_explicit attribute.
3319         (gen_subprogram_die): When a function is explicit, generate the
3320         DW_AT_explicit attribute.
3321         * langhooks.h (struct lang_hooks_for_decls): Add
3322         function_decl_explicit_p langhook.
3323         * langhooks-def.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
3324         (LANG_HOOKS_DECLS): Add LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P.
3325
3326 2009-03-27  Jakub Jelinek  <jakub@redhat.com>
3327
3328         * builtins.c (fold_builtin_memory_op): Optimize memmove
3329         into memcpy if we can prove source and destination don't overlap.
3330
3331         * tree-inline.c: Include gt-tree-inline.h.
3332         (clone_fn_id_num): New variable.
3333         (clone_function_name): New function.
3334         (tree_function_versioning): Use it.
3335         * Makefile.in (GTFILES): Add tree-inline.c.
3336
3337 2009-03-27  Mark Mitchell  <mark@codesourcery.com>
3338
3339         * BASE-VER: Change to 4.5.0.
3340
3341 2009-03-27  Xinliang David Li  <davidxl@google.com>
3342
3343         PR tree-optimization/39557
3344         * tree-ssa.c (warn_uninitialized_vars): free postdom info.
3345
3346 2009-03-27  Xinliang David Li  <davidxl@google.com>
3347
3348         PR tree-optimization/39548
3349         * tree-ssa-copy.c (copy_prop_visit_phi_node): Add copy
3350         candidate check.
3351
3352 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
3353
3354         * c-common.c (pointer_int_sum): Use %wd on return from
3355         tree_low_cst.
3356
3357 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
3358
3359         * c-common.c (pointer_int_sum): Use HOST_WIDE_INT_PRINT_DEC
3360         on return from tree_low_cst.
3361
3362 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3363
3364         PR c++/36799
3365         * ginclude/stdarg.h (va_copy): Define also for
3366         __GXX_EXPERIMENTAL_CXX0X__.
3367
3368 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3369
3370         PR c++/35652
3371         * builtins.h (c_strlen): Do not warn here.
3372         * c-typeck.c (build_binary_op): Adjust calls to pointer_int_sum.
3373         * c-common.c (pointer_int_sum): Take an explicit location.