gcc/d/ChangeLog

   1 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
   2
   3         * dmd/MERGE: Merge upstream dmd e49192807
   4
   5 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
   6
   7         PR d/96156
   8         * d-frontend.cc (retStyle): Only return RETstack for struct and static
   9         array types.
  10         * decl.cc (DeclVisitor::visit (FuncDeclaration *)): Use NRVO return
  11         for all TREE_ADDRESSABLE types.  Set shidden to the RESULT_DECL.
  12         * expr.cc (ExprVisitor::visit (CallExp *)): Force TARGET_EXPR if the
  13         'this' pointer reference is a CONSTRUCTOR.
  14         (ExprVisitor::visit (StructLiteralExp *)): Generate assignment to the
  15         symbol to initialize with literal.
  16         * toir.cc (IRVisitor::visit (ReturnStatement *)): Detect returning
  17         struct literals and write directly into the RESULT_DECL.
  18         * dmd/MERGE: Merge upstream dmd fe5f388d8.
  19
  20 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
  21
  22         * dmd/MERGE: Merge upstream dmd cb4a96fae
  23
  24 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
  25
  26         * d-lang.cc (d_parse_file): Use read() to load contents from stdin,
  27         allow the front-end to free the memory after parsing.
  28         * dmd/MERGE: Merge upstream dmd 2cc25c219.
  29
  30 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
  31
  32         PR d/96153
  33         * d-codegen.cc (build_address): Create a temporary for CALL_EXPRs
  34         returning trivial aggregates, pre-filling it with zeroes.
  35         (build_memset_call): Use build_zero_cst if setting the entire object.
  36
  37 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
  38
  39         PR d/96157
  40         * d-codegen.cc (d_build_call): Handle TREE_ADDRESSABLE static arrays.
  41         * types.cc (make_array_type): Propagate TREE_ADDRESSABLE from base
  42         type to static array.
  43
  44 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
  45
  46         * d-gimplify.cc (d_gimplify_expr): Move lowering of each tree node to
  47         separate functions.
  48         (d_gimplify_modify_expr): New function.
  49         (d_gimplify_addr_expr): New function.
  50         (d_gimplify_call_expr): New function.
  51         (d_gimplify_unsigned_rshift_expr): New function.
  52
  53 2020-08-26  Iain Buclaw  <ibuclaw@gdcproject.org>
  54
  55         * Make-lang.in (D_OBJS): Add d-gimplify.o.
  56         * d-lang.cc (empty_modify_p): Move to d-gimplify.cc.
  57         (d_gimplify_expr): Likewise.
  58         * d-tree.h (d_gimplify_expr): Declare.
  59         * d-gimplify.cc: New file.
  60
  61 2020-08-20  Iain Buclaw  <ibuclaw@gdcproject.org>
  62
  63         * dmd/MERGE: Merge upstream dmd 1b5a53d01.
  64
  65 2020-08-18  Iain Buclaw  <ibuclaw@gdcproject.org>
  66
  67         PR d/96301
  68         * decl.cc (DeclVisitor::visit (FuncDeclaration *)): Only return
  69         non-trivial structs by invisible reference.
  70
  71 2020-08-04  Iain Buclaw  <ibuclaw@gdcproject.org>
  72
  73         PR d/96153
  74         * d-tree.h (build_expr): Add literalp argument.
  75         * expr.cc (ExprVisitor): Add literalp_ field.
  76         (ExprVisitor::ExprVisitor): Initialize literalp_.
  77         (ExprVisitor::visit (AssignExp *)): Call memset() on blits where RHS
  78         is a struct literal.  Elide assignment if initializer is all zeroes.
  79         (ExprVisitor::visit (CastExp *)): Forward literalp_ to generation of
  80         subexpression.
  81         (ExprVisitor::visit (AddrExp *)): Likewise.
  82         (ExprVisitor::visit (ArrayLiteralExp *)): Use memset() to pre-fill
  83         object with zeroes.  Set literalp in subexpressions.
  84         (ExprVisitor::visit (StructLiteralExp *)): Likewise.
  85         (ExprVisitor::visit (TupleExp *)): Set literalp in subexpressions.
  86         (ExprVisitor::visit (VectorExp *)): Likewise.
  87         (ExprVisitor::visit (VectorArrayExp *)): Likewise.
  88         (build_expr): Forward literal_p to ExprVisitor.
  89
  90 2020-08-04  Iain Buclaw  <ibuclaw@gdcproject.org>
  91
  92         PR d/96429
  93         * expr.cc (ExprVisitor::visit (BinExp*)): Use EXACT_DIV_EXPR for
  94         pointer diff expressions.
  95
  96 2020-08-03  Iain Buclaw  <ibuclaw@gdcproject.org>
  97
  98         PR d/96254
  99         * d-codegen.cc (error_no_frame_access): New.
 100         (get_frame_for_symbol): Use fdparent name in error message.
 101         (get_framedecl): Replace call to assert with error.
 102         * d-tree.h (error_no_frame_access): Declare.
 103         * decl.cc (get_decl_tree): Detect recursion and error.
 104
 105 2020-08-03  Iain Buclaw  <ibuclaw@gdcproject.org>
 106
 107         PR d/96250
 108         * dmd/MERGE: Merge upstream dmd c2274e56a.
 109
 110 2020-07-31  Iain Buclaw  <ibuclaw@gdcproject.org>
 111
 112         PR d/96393
 113         * intrinsics.cc (expand_intrinsic_bt): Don't generate BIT_NOT_EXPR for
 114         btr32 intrinsic.
 115
 116 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 117
 118         PR d/96152
 119         * d-codegen.cc (build_array_from_exprs): New function.
 120         * d-tree.h (build_array_from_exprs): Declare.
 121         * expr.cc (ExprVisitor::visit (AssocArrayLiteralExp *)): Use
 122         build_array_from_exprs to generate key and value arrays.
 123
 124 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 125
 126         PR d/96154
 127         * gdc.texi (Warnings): Document -Wvarargs.
 128         * lang.opt: Add -Wvarargs
 129
 130 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 131
 132         PR d/96140
 133         * intrinsics.cc (expand_intrinsic_vaarg): Handle ref parameters as
 134         arguments to va_arg().
 135         (expand_intrinsic_vastart): Handle ref parameters as arguments to
 136         va_start().
 137
 138 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 139
 140         * expr.cc (ExprVisitor::visit (AssignExp *)): Inline bounds checking
 141         for simple array assignments.
 142
 143 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 144
 145         * d-codegen.cc (build_memcmp_call): New function.
 146         (build_memcpy_call): New function.
 147         (build_memset_call): New function.
 148         (build_float_identity): Call build_memcmp_call.
 149         (lower_struct_comparison): Likewise.
 150         (build_struct_comparison): Likewise.
 151         * d-tree.h (build_memcmp_call): Declare.
 152         (build_memcpy_call): Declare.
 153         (build_memset_call): Declare.
 154         * expr.cc (ExprVisitor::visit (EqualExp *)): Call build_memcmp_call.
 155         (ExprVisitor::visit (AssignExp *)): Call build_memset_call.
 156         (ExprVisitor::visit (ArrayLiteralExp *)): Call build_memcpy_call.
 157         (ExprVisitor::visit (StructLiteralExp *)): Call build_memset_call.
 158
 159 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 160
 161         * expr.cc (needs_postblit): Move out of ExprVisitor as a static
 162         function.  Update all callers.
 163         (needs_dtor): Likewise.
 164         (lvalue_p): Likewise.
 165         (binary_op): Likewise.
 166         (binop_assignment): Likewise.
 167
 168 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 169
 170         * intrinsics.cc (expand_intrinsic_rotate): Add function.
 171         (maybe_expand_intrinsic): Handle rol and ror intrinsics.
 172         * intrinsics.def (ROL): Add intrinsic.
 173         (ROL_TIARG): Add intrinsic.
 174         (ROR): Add intrinsic.
 175         (ROR_TIARG): Add intrinsic.
 176
 177 2020-07-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 178
 179         * d-tree.h (DEF_D_INTRINSIC): Rename second argument from A to B.
 180         * intrinsics.cc (intrinsic_decl): Add built_in field.
 181         (DEF_D_INTRINSIC): Rename second argument from ALIAS to BUILTIN.
 182         (maybe_set_intrinsic): Handle new intrinsic codes.
 183         (expand_intrinsic_bt): Likewise.
 184         (expand_intrinsic_checkedint): Likewise.
 185         (expand_intrinsic_bswap): Remove.
 186         (expand_intrinsic_sqrt): Remove.
 187         (maybe_expand_intrinsic): Group together intrinsic cases that map
 188         directly to gcc built-ins.
 189         * intrinsics.def (DEF_D_BUILTIN): Rename second argument from A to B.
 190         Update all callers to pass equivalent DECL_FUNCTION_CODE.
 191         (DEF_CTFE_BUILTIN): Likewise.
 192         (STD_COS): Remove intrinsic.
 193         (STD_FABS): Remove intrinsic.
 194         (STD_LDEXP): Remove intrinsic.
 195         (STD_RINT): Remove intrinsic.
 196         (STD_RNDTOL): Remove intrinsic.
 197         (STD_SIN): Remove intrinsic.
 198         (STD_SQRTF): Remove intrinsic.
 199         (STD_SQRT): Remove intrinsic.
 200         (STD_SQRTL): Remove intrinsic.
 201
 202 2020-06-28  Iain Buclaw  <ibuclaw@gdcproject.org>
 203
 204         * dmd/MERGE: Merge upstream dmd 8508c4e68.
 205
 206 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 207
 208         * decl.cc (get_symbol_decl): Do not implicitly set
 209         DECL_DECLARED_INLINE_P on member functions.
 210
 211 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 212
 213         * d-lang.cc (d_gimplify_expr_p): Make static.
 214         (d_parse_file): Likewise.
 215         (d_signed_or_unsigned_type): Move to types.cc.
 216         (d_unsigned_type): Likewise.
 217         (d_signed_type): Likewise.
 218         * d-tree.h (d_unsigned_type): Change the location in file.
 219         (d_signed_type): Likewise.
 220         * types.cc (d_signed_or_unsigned_type): Moved from d-lang.cc.
 221         (d_unsigned_type): Likewise.
 222         (d_signed_type): Likewise.
 223
 224 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 225
 226         PR d/95075
 227         * dmd/MERGE: Merge upstream dmd 4be011355.
 228
 229 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 230
 231         PR d/95250
 232         * dmd/MERGE: Merge upstream dmd 90450f3ef.
 233
 234 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 235
 236         * d-lang.cc (d_parse_file): Replace OutBuffer with obstack.
 237
 238 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 239
 240         * dmd/MERGE: Merge upstream dmd 5fc1806cd.
 241         * d-lang.cc (d_parse_file): Use peekChars to get string representation
 242         of OutBuffer data.
 243
 244 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 245
 246         PR d/95173
 247         * d-attribs.cc (uda_attribute_p): Don't search target attribute table
 248         if NULL.
 249
 250 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 251
 252         * decl.cc (DeclVisitor::visit (VarDeclaration *)): Don't set
 253         DECL_INITIAL if initializer is 'void'.
 254
 255 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 256
 257         * d-lang.cc (d_init_options): Turn on deprecation warnings by default.
 258
 259 2020-06-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 260
 261         * dmd/MERGE: Merge upstream dmd 4f1046222.
 262         * toir.cc (IRVisitor::visit (OnScopeGuardStatement *)): Rename to ...
 263         (IRVisitor::visit (ScopeGuardStatement *)): ... this.
 264
 265 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 266
 267         * d-attribs.cc (handle_noreturn_attribute): Remove names of unused
 268         function parameters.
 269         (handle_leaf_attribute): Likewise.
 270         (handle_const_attribute): Likewise.
 271         (handle_malloc_attribute): Likewise.
 272         (handle_pure_attribute): Likewise.
 273         (handle_novops_attribute): Likewise.
 274         (handle_nonnull_attribute): Likewise.
 275         (handle_nothrow_attribute): Likewise.
 276         (handle_type_generic_attribute): Likewise.
 277         (handle_transaction_pure_attribute): Likewise.
 278         (handle_returns_twice_attribute): Likewise.
 279         (handle_fnspec_attribute): Likewise.
 280         (handle_always_inline_attribute): Likewise.
 281         (d_handle_noinline_attribute): Likewise.
 282         (d_handle_forceinline_attribute): Likewise.
 283         (d_handle_flatten_attribute): Likewise.
 284         (d_handle_noclone_attribute): Likewise.
 285         (d_handle_section_attribute): Likewise.
 286         (d_handle_alias_attribute): Likewise.
 287         (d_handle_weak_attribute): Likewise.
 288
 289 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 290
 291         * d-attribs.cc: Update code formatting in a consistant style.
 292         * d-builtins.cc: Likewise.
 293         * d-codegen.cc: Likewise.
 294         * d-compiler.cc: Likewise.
 295         * d-convert.cc: Likewise.
 296         * d-diagnostic.cc: Likewise.
 297         * d-frontend.cc: Likewise.
 298         * d-lang.cc: Likewise.
 299         * d-longdouble.cc: Likewise.
 300         * d-port.cc: Likewise.
 301         * d-spec.cc: Likewise.
 302         * d-tree.h: Likewise.
 303         * decl.cc: Likewise.
 304         * expr.cc: Likewise.
 305         * longdouble.h: Likewise.
 306         * modules.cc: Likewise.
 307         * toir.cc: Likewise.
 308         * typeinfo.cc: Likewise.
 309
 310 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 311
 312         * d-builtins.cc: Update quotation formatting of comments.
 313         * d-codegen.cc: Likewise.
 314         * d-lang.cc: Likewise.
 315         * decl.cc: Likewise.
 316         * expr.cc: Likewise.
 317         * imports.cc: Likewise.
 318         * runtime.cc: Likewise.
 319         * toir.cc: Likewise.
 320         * typeinfo.cc: Likewise.
 321         * types.cc: Likewise.
 322
 323 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 324
 325         * d-diagnostic.cc (expand_d_format): Replace OutBuffer with obstack.
 326         (d_diagnostic_report_diagnostic): Don't free xformat.
 327         * d-lang.cc (struct d_option_data): Change deps_target type from
 328         OutBuffer to vec <const char *>.
 329         (deps_add_target): Update to push each target to deps_target.
 330         (deps_write_string): New function.
 331         (deps_write): Change buffer type to obstack* and remove colmax.
 332         (d_init_options): Update initialization of deps_target.
 333         (d_parse_file): Replace OutBuffer with obstack.
 334
 335 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 336
 337         * d-lang.cc (d_parse_file): Replace uses of File with FILE.
 338
 339 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 340
 341         * d-codegen.cc (build_array_bounds_call): New function.
 342         (build_bounds_condition): Use build_array_bounds_call.
 343         * d-lang.cc (d_init_options): Explicitly set default check action to
 344         CHECKACTION_D.
 345         (d_post_options): Set check action to CHECKACTION_C if the flag
 346         -fno-druntime was seen.
 347         * d-tree.h (build_array_bounds_call): Declare.
 348         * expr.cc (ExprVisitor::visit (AssertExp *)): Use
 349         build_array_bounds_call.
 350
 351 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 352
 353         * d-attribs.cc (build_attributes): Use toStringExp instead of cast.
 354         * toir.cc (IRVisitor::visit): Likewise.
 355
 356 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 357
 358         * d-attribs.cc (build_attributes): Use isXxxxExp helpers instead of
 359         explicit casts.
 360         * d-codegen.cc (d_build_call): Likewise.
 361         * d-compiler.cc (Compiler::paintAsType): Likewise.
 362         * decl.cc (ExprVisitor::visit): Likewise.
 363         (layout_class_initializer): Likewise.
 364         * expr.cc (ExprVisitor::lvalue_p): Likewise
 365         (ExprVisitor::visit): Likewise.
 366         * types.cc (layout_aggregate_members): Likewise.
 367
 368 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 369
 370         * d-frontend.cc (eval_builtin): Use toTypeFunction instead of cast.
 371         * decl.cc (DeclVisitor::visit): Likewise.
 372         * toir.cc (IRVisitor::visit): Likewise.
 373         * typeinfo.cc (TypeInfoVisitor::visit): Likewise.
 374
 375 2020-06-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 376
 377         * d-builtins.cc (d_eval_constant_expression): Use isTypeXxxx helpers
 378         instead of explicit casts.
 379         (d_build_builtins_module): Likewise.
 380         * d-codegen.cc (get_array_length): Likewise.
 381         (identity_compare_p): Likewise.
 382         (lower_struct_comparison): Likewise.
 383         (build_array_from_val): Likewise.
 384         (array_bounds_check): Likewise.
 385         (get_function_type): Likewise.
 386         (d_build_call): Likewise.
 387         * d-compiler.cc (Compiler::paintAsType): Likewise.
 388         * d-convert.cc (convert_expr): Likewise.
 389         (convert_for_assignment): Likewise.
 390         * d-lang.cc (d_classify_record): Likewise.
 391         (d_build_eh_runtime_type): Likewise.
 392         * decl.cc (DeclVisitor::visit): Likewise.
 393         * expr.cc (ExprVisitor::needs_postblit): Likewise.
 394         (ExprVisitor::needs_dtor): Likewise.
 395         (ExprVisitor::visit): Likewise.
 396         * imports.cc (ImportVisitor::visit): Likewise.
 397         * typeinfo.cc (get_typeinfo_kind): Likewise.
 398         (TypeInfoVisitor::visit): Likewise.
 399         (TypeDeclInfoVisitor::visit): Likewise.
 400         * types.cc (merge_aggregate_types): Likewise.
 401         (TypeVisitor::visit): Likewise.
 402
 403 2020-06-14  Iain Buclaw  <ibuclaw@gdcproject.org>
 404
 405         * expr.cc (ExprVisitor::visit (AssocArrayLiteralExp *)): Fix line
 406         lengths, no functional change.
 407         * typeinfo.cc (TypeInfoVisitor::layout_interfaces): Likewise.
 408         (layout_classinfo_interfaces): Likewise.
 409
 410 2020-06-09  Iain Buclaw  <ibuclaw@gdcproject.org>
 411
 412         * dmd/MERGE: Merge upstream dmd 13d67c575.
 413         * d-builtins.cc (build_frontend_type): Update call to
 414         TypeVector::create.
 415         * d-frontend.cc (Global::_init): Move setting of errorLimit to ...
 416         * d-lang.cc (d_init_options): ... here.  Update for new field
 417         location of errorLimit.
 418         (d_post_options): Likewise.
 419         * d-port.cc (Port::readwordLE): Update signature.
 420         (Port::readwordBE): Likewise.
 421         (Port::readlongLE): Likewise.
 422         (Port::readlongBE): Likewise.
 423         * decl.cc (get_symbol_decl): Update for new field types.
 424
 425 2020-06-08  Iain Buclaw  <ibuclaw@gdcproject.org>
 426
 427         PR d/95573
 428         * dmd/MERGE: Merge upstream dmd 5041e56f1.
 429
 430 2020-06-08  Iain Buclaw  <ibuclaw@gdcproject.org>
 431
 432         * dmd/MERGE: Merge upstream dmd 955b8b36f.
 433         * expr.cc (ExprVisitor::visit (AndAndExp *)): Rename type to ...
 434         (ExprVisitor::visit (LogicalExp *)): ... this.  Handle both 'and if'
 435         and 'or if' expression nodes.
 436         (ExprVisitor::visit (OrOrExp *)): Remove.
 437
 438 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
 439
 440         * dmd/MERGE: Merge upstream dmd 73d8e2fec.
 441         * decl.cc (get_symbol_decl): Use new Prot::Kind enum.
 442         * modules.cc (get_internal_fn): Likewise.
 443
 444 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
 445
 446         * dmd/MERGE: Merge upstream dmd 108ca1bcd.
 447         * d-diagnostic.cc (expand_d_format): Adjust to use extractChars().
 448         * d-frontend.cc (Loc::toChars): Likewise.
 449         * d-lang.cc (deps_write): Likewise.
 450         (d_parse_file): Likewise.
 451         * decl.cc (d_mangle_decl): Likewise.
 452         * intrinsics.cc (maybe_set_intrinsic): Likewise.
 453
 454 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
 455
 456         * dmd/MERGE: Merge upstream dmd b0df0e982.
 457         * d-builtins.cc (build_frontend_type): Use VarArg for varargs_p.
 458         * d-codegen.cc (declaration_type): Call TypeFunction::create with
 459         argument VARARGnone.
 460         (parameter_type): Likewise.
 461         (d_build_call): Use new field names and member functions.
 462         * d-target.cc (Target::cppParameterType): Call TypeFunction::create
 463         with argument VARARGnone.
 464         * types.cc (TypeVisitor::visit (TypeFunction *): Use new field names
 465         and member functions.
 466
 467 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
 468
 469         * dmd/MERGE: Merge upstream dmd 1831b24ff.
 470         * d-lang.cc (d_init_options): Remove initialization of updated fields.
 471         (d_handle_option): Adjust for new field types.
 472
 473 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
 474
 475         * dmd/MERGE: Merge upstream dmd cef1e7991.
 476         * d-lang.cc (d_parse_file): Adjust for new field types.
 477
 478 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
 479
 480         * dmd/MERGE: Merge upstream dmd 740f3d1ea.
 481         * d-lang.cc (d_handle_option): Use new fields to save debug and
 482         version levels passed over command-line.
 483         (d_post_options): Add them to front-end here.
 484
 485 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
 486
 487         * dmd/MERGE: Merge upstream dmd f5638c7b8.
 488         * d-builtins.cc (d_init_versions): Use new CHECKENABLE enum.
 489         * d-codegen.cc (array_bounds_check): Likewise.
 490         (build_frame_type): Likewise.
 491         (get_frameinfo): Likewise.
 492         * d-lang.cc (d_init_options): Likewise.
 493         (d_init_options_struct): Don't initialize x_flag_bounds_check.
 494         (d_handle_option): Use new CHECKENABLE enum.
 495         (d_post_options): Likewise.  Set flag_bounds_check here.
 496         * expr.cc (ExprVisitor::visit(AssertExp *)): Use new CHECKENABLE enum.
 497
 498 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
 499
 500         * dmd/MERGE: Merge upstream dmd 56f0a65c4.
 501         * d-builtins.cc (build_frontend_type): Remove static.
 502         (d_build_builtins_module): Use target.va_listType() to get front-end
 503         type for va_list.
 504         (d_init_builtins): Move creation of va_list to Target::va_listType.
 505         * d-codegen.cc (build_interface_binfo): Use new target global.
 506         (build_vindex_ref): Likewise.
 507         (identity_compare_p): Likewise.
 508         * d-ctfloat.cc (CTFloat::parse): Likewise.
 509         * d-lang.cc (d_init): Likewise.
 510         * d-port.cc (Port::isFloat32LiteralOutOfRange): Likewise.
 511         (Port::isFloat64LiteralOutOfRange): Likewise.
 512         * d-target.cc (define_float_constants): Initialize constants through a
 513         reference, instead of setting globals.
 514         (Target::_init): Initialize new fields instead of setting globals.
 515         (Target::va_listType): Build front-end type from va_list_type_node.
 516         (Target::toCppMangle): Renamed to ...
 517         (TargetCPP::toMangle): ... this.
 518         (Target::cppTypeInfoMangle): Renamed to ...
 519         (TargetCPP::typeInfoMangle): ... this.
 520         (Target::cppTypeMangle): Renamed to ...
 521         (TargetCPP::typeMangle): this.
 522         (Target::cppParameterType): Renamed to ...
 523         (TargetCPP::parameterType): ... this.  Use target.va_listType() to get
 524         front-end type for va_list.
 525         (Target::cppFundamentalType): Renamed to ...
 526         (TargetCPP::fundamentalType): ... this.
 527         * d-tree.h (build_frontend_type): Declare.
 528         * decl.cc (base_vtable_offset): Use new target global.
 529         * typeinfo.cc (layout_classinfo_interfaces): Likewise.
 530         (layout_cpp_typeinfo): Likewise.
 531         * types.cc (valist_array_p): Use target.va_listType() to get front-end
 532         type for va_list.
 533         (layout_aggregate_type): Use new target global.
 534
 535 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
 536
 537         * dmd/MERGE: Merge upstream dmd 6d5bffa54.
 538         * d-builtins.cc (maybe_set_builtin_1): Update call to
 539         Condition::include().
 540         * decl.cc (DeclVisitor::visit(AttribDeclaration *)): Likewise.
 541         * types.cc (layout_aggregate_members): Likewise.
 542
 543 2020-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
 544
 545         * dmd/MERGE: Merge upstream dmd 48d704f08.
 546         * d-attribs.cc (build_attributes): Use new field name.
 547         * d-builtins.cc (build_frontend_type): Likewise.
 548         (maybe_set_builtin_1): Likewise.
 549         (d_maybe_set_builtin): Likewise.
 550         * d-codegen.cc (build_interface_binfo): Likewise.
 551         (identity_compare_p): Likewise.
 552         (lower_struct_comparison): Likewise.
 553         (build_struct_comparison): Likewise.
 554         (d_build_call): Likewise.
 555         (build_frame_type): Likewise.
 556         (build_closure): Likewise.
 557         * d-compiler.cc (Compiler::paintAsType): Likewise.
 558         (Compiler::loadModule): Likewise.
 559         * d-incpath.cc (add_globalpaths): Likewise.
 560         (add_filepaths): Likewise.
 561         (add_import_paths): Likewise.
 562         * d-lang.cc (deps_write): Likewise.
 563         (d_parse_file): Likewise.
 564         * decl.cc (gcc_attribute_p): Likewise.
 565         (base_vtable_offset): Likewise.
 566         (get_vtable_decl): Likewise.
 567         (build_class_instance): Likewise.
 568         * expr.cc (class ExprVisitor): Likewise.
 569         * modules.cc (layout_moduleinfo_fields): Likewise.
 570         (layout_moduleinfo): Likewise.
 571         (build_module_tree): Likewise.
 572         * toir.cc (class IRVisitor): Likewise.
 573         * typeinfo.cc (class TypeInfoVisitor): Likewise.
 574         (layout_classinfo_interfaces): Likewise.
 575         * types.cc (layout_aggregate_members): Likewise.
 576         (layout_aggregate_type): Likewise.
 577
 578 2020-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
 579
 580         * dmd/MERGE: Merge upstream dmd 47ed0330f.
 581
 582 2020-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
 583
 584         * Make-lang.in (D_OBJS): Add d-compiler.o, d-ctfloat.o, d-port.o.
 585         * d-frontend.cc (Port::memicmp): Move to d-port.cc.
 586         (Port::strupr): Likewise.
 587         (Port::isFloat32LiteralOutOfRange): Likewise.
 588         (Port::isFloat64LiteralOutOfRange): Likewise.
 589         (Port::readwordLE): Likewise.
 590         (Port::readwordBE): Likewise.
 591         (Port::readlongLE): Likewise.
 592         (Port::readlongBE): Likewise.
 593         (Port::valcpy): Likewise.
 594         (CTFloat::fabs): Move to d-ctfloat.cc.
 595         (CTFloat::ldexp): Likewise.
 596         (CTFloat::isIdentical): Likewise.
 597         (CTFloat::isNaN): Likewise.
 598         (CTFloat::isSNaN): Likewise.
 599         (CTFloat::isInfinity): Likewise.
 600         (CTFloat::parse): Likewise.
 601         (CTFloat::sprint): Likewise.
 602         (CTFloat::hash): Likewise.
 603         (Compiler::genCmain): Move to d-compiler.cc.
 604         (Compiler::paintAsType): Likewise.
 605         (Compiler::loadModule): Likewise.
 606         * d-compiler.cc: New file.
 607         * d-ctfloat.cc: New file.
 608         * d-port.cc: New file.
 609
 610 2020-06-02  Iain Buclaw  <ibuclaw@gdcproject.org>
 611
 612         * decl.cc (DeclVisitor::build_dsymbol): New function.
 613         (DeclVisitor::visit (TupleDeclaration *)): Use build_dsymbol to
 614         traverse AST instead of accept.
 615         (DeclVisitor::visit (AttribDeclaration *)): Likewise.
 616         (DeclVisitor::visit (Nspace *)): Likewise.
 617         (DeclVisitor::visit (TemplateDeclaration *)): Likewise.
 618         (DeclVisitor::visit (TemplateInstance *)): Likewise.
 619         (DeclVisitor::visit (TemplateMixin *)): Likewise.
 620         (DeclVisitor::visit (StructDeclaration *)): Likewise.
 621         (DeclVisitor::visit (ClassDeclaration *)): Likewise.
 622         (DeclVisitor::visit (InterfaceDeclaration *)): Likewise.
 623         (DeclVisitor::visit (VarDeclaration *)): Likewise.
 624         (build_decl_tree): Likewise.
 625
 626 2020-06-02  Iain Buclaw  <ibuclaw@gdcproject.org>
 627
 628         * d-builtins.cc (build_frontend_type): Handle struct fields with NULL
 629         DECL_NAME.  Use byte_position to get the real field offset.
 630
 631 2020-05-06  Iain Buclaw  <ibuclaw@gdcproject.org>
 632
 633         PR d/94970
 634         * d-codegen.cc (force_target_expr): Move create_temporary_var
 635         implementation inline here.
 636         (create_temporary_var): Remove.
 637         (maybe_temporary_var): Remove.
 638         (bind_expr): Remove.
 639         * d-convert.cc (d_array_convert): Use build_local_temp to generate
 640         temporaries, and generate its assignment.
 641         * d-tree.h (create_temporary_var): Remove.
 642         (maybe_temporary_var): Remove.
 643         (d_array_convert): Remove vars argument.
 644         * expr.cc (ExprVisitor::visit (CatExp *)): Use build_local_temp to
 645         generate temporaries, don't wrap them in a BIND_EXPR.
 646         (ExprVisitor::visit (NewExp *)): Likewise.
 647
 648 2020-04-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 649
 650         * gdc.texi (Options for Linking): Clarify usage of -defaultlib= and
 651         -debuglib= options.
 652
 653 2020-04-29  Iain Buclaw  <ibuclaw@gdcproject.org>
 654
 655         * d-codegen.cc (d_decl_context): Don't include module in the name of
 656         class and struct types that aren't extern(D).
 657
 658 2020-04-27  Iain Buclaw  <ibuclaw@gdcproject.org>
 659
 660         PR d/94777
 661         * d-builtins.cc (build_frontend_type): Set parent for generated
 662         fields of built-in types.
 663         * d-codegen.cc (argument_reference_p): Rename to ...
 664         (parameter_reference_p): ... this.
 665         (type_passed_as): Rename to ...
 666         (parameter_type): ... this.  Make TREE_ADDRESSABLE types restrict.
 667         (d_build_call): Move handling of non-POD types here from ...
 668         * d-convert.cc (convert_for_argument): ... here.
 669         * d-tree.h (argument_reference_p): Rename declaration to ...
 670         (parameter_reference_p): ... this.
 671         (type_passed_as): Rename declaration to ...
 672         (parameter_type): ... this.
 673         * types.cc (TypeVisitor::visit (TypeFunction *)): Update caller.
 674
 675 2020-04-26  Iain Buclaw  <ibuclaw@gdcproject.org>
 676
 677         * decl.cc (get_symbol_decl): Set DECL_DECLARED_INLINE_P or
 678         DECL_UNINLINABLE for declarations with pragma(inline).
 679         * toir.cc (IRVisitor::visit (GccAsmStatement *)): Set ASM_INLINE_P if
 680         in function decorated with pragma(inline).
 681
 682 2020-04-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 683
 684         * intrinsics.cc (expand_intrinsic_toprec): New function.
 685         (maybe_expand_intrinsic): Handle toPrec intrinsics.
 686         * intrinsics.def (TOPRECF, TOPREC, TOPRECL): Add toPrec intrinsics.
 687
 688 2020-04-24  Iain Buclaw  <ibuclaw@gdcproject.org>
 689
 690         * d-spec.cc (need_phobos): Remove.
 691         (lang_specific_driver): Replace need_phobos with phobos_library.
 692         Reorder -debuglib and -defaultlib to have precedence over libphobos.
 693         (lang_specific_pre_link): Remove test for need_phobos.
 694
 695 2020-04-19  Iain Buclaw  <ibuclaw@gdcproject.org>
 696
 697         PR d/94609
 698         * d-codegen.cc (argument_reference_p): Don't check TREE_ADDRESSABLE.
 699         (type_passed_as): Build reference type if TREE_ADDRESSABLE.
 700         * d-convert.cc (convert_for_argument): Build explicit TARGET_EXPR if
 701         needed for arguments passed by invisible reference.
 702         * types.cc (TypeVisitor::visit (TypeStruct *)): Mark all structs that
 703         are not POD as TREE_ADDRESSABLE.
 704
 705 2020-04-13  Iain Buclaw  <ibuclaw@gdcproject.org>
 706
 707         * Make-lang.in (D_FRONTEND_OBJS): Remove d/argtypes.o.
 708         * d-target.cc (Target::toArgTypes): New function.
 709
 710 2020-04-10  Iain Buclaw  <ibuclaw@gdcproject.org>
 711
 712         * d-spec.cc (LIBDRUNTIME): Remove.
 713         (LIBDRUNTIME_PROFILE): Remove.
 714         (lang_specific_driver): Don't link in libgdruntime.
 715
 716 2020-04-07  Iain Buclaw  <ibuclaw@gdcproject.org>
 717
 718         PR d/94425
 719         * toir.cc (IRVisitor::visit (GccAsmStatement *)): Set ASM_VOLATILE_P
 720         on all asm statements.
 721
 722 2020-04-01  Iain Buclaw  <ibuclaw@gdcproject.org>
 723
 724         PR d/90136
 725         * d-attribs.cc: Include dmd/attrib.h.
 726         (build_attributes): Redeclare as static.
 727         (apply_user_attributes): New function.
 728         * d-tree.h (class UserAttributeDeclaration): Remove.
 729         (build_attributes): Remove.
 730         (apply_user_attributes): Declare.
 731         (finish_aggregate_type): Remove attrs argument.
 732         * decl.cc (get_symbol_decl): Merge declaration prototypes with
 733         definitions.  Use apply_user_attributes.
 734         * modules.cc (layout_moduleinfo_fields): Remove last argument to
 735         finish_aggregate_type.
 736         * typeinfo.cc (layout_classinfo_interfaces): Likewise.
 737         * types.cc (layout_aggregate_members): Likewise.
 738         (finish_aggregate_type): Remove attrs argument.
 739         (TypeVisitor::visit (TypeEnum *)): Use apply_user_attributes.
 740         (TypeVisitor::visit (TypeStruct *)): Remove last argument to
 741         finish_aggregate_type.  Use apply_user_attributes.
 742         (TypeVisitor::visit (TypeClass *)): Likewise.
 743
 744 2020-03-31  Iain Buclaw  <ibuclaw@gdcproject.org>
 745
 746         * d-attribs.cc (d_langhook_common_attribute_table): Add always_inline.
 747         (handle_always_inline_attribute): New function.
 748
 749 2020-03-31  Iain Buclaw  <ibuclaw@gdcproject.org>
 750
 751         PR d/94424
 752         * d-codegen.cc (build_alignment_field): Remove.
 753         (build_struct_literal): Don't insert alignment padding.
 754         * expr.cc (ExprVisitor::visit (AssignExp *)): Call memset before
 755         assigning struct literals.
 756
 757 2020-03-31  Iain Buclaw  <ibuclaw@gdcproject.org>
 758
 759         * typeinfo.cc (TypeInfoVisitor::internal_reference): Call
 760         d_comdat_linkage on generated decl.
 761
 762 2020-03-22  Iain Buclaw  <ibuclaw@gdcproject.org>
 763
 764         PR d/93038
 765         * d-lang.cc (deps_write): Generate phony targets for content imported
 766         files.
 767
 768 2020-03-22  Iain Buclaw  <ibuclaw@gdcproject.org>
 769
 770         PR d/93038
 771         * d-lang.cc (deps_write): Add content imported files to the make
 772         dependency list.
 773
 774 2020-03-21  Iain Buclaw  <ibuclaw@gdcproject.org>
 775
 776         PR d/94240
 777         * typeinfo.cc (class TypeInfoVisitor): Replace type_ field with decl_.
 778         (TypeInfoVisitor::TypeInfoVisitor): Set decl_.
 779         (TypeInfoVisitor::result): Update.
 780         (TypeInfoVisitor::internal_reference): New function.
 781         (TypeInfoVisitor::layout_string): Use internal_reference.
 782         (TypeInfoVisitor::visit (TypeInfoTupleDeclaration *)): Likewise.
 783         (layout_typeinfo): Construct TypeInfoVisitor with typeinfo decl.
 784         (layout_classinfo): Likewise.
 785
 786 2020-03-20  Iain Buclaw  <ibuclaw@gdcproject.org>
 787
 788         PR lto/91027
 789         * d-tree.h (struct GTY): Add daggregate field.
 790         (IDENTIFIER_DAGGREGATE): Define.
 791         (d_mangle_decl): Add declaration.
 792         * decl.cc (mangle_decl): Remove static linkage, rename to...
 793         (d_mangle_decl): ...this, update all callers.
 794         * types.cc (merge_aggregate_types): New function.
 795         (TypeVisitor::visit (TypeStruct *)): Call merge_aggregate_types, set
 796         IDENTIFIER_DAGGREGATE and TYPE_CXX_ODR_P.
 797         (TypeVisitor::visit (TypeClass *)): Likewise.
 798
 799 2020-03-18  Jakub Jelinek  <jakub@redhat.com>
 800
 801         * expr.cc (ExprVisitor::visit (CatAssignExp *)): Fix up duplicated
 802         word issue in a comment.
 803         * d-target.cc (Target::FPTypeProperties<T>::max): Likewise.
 804
 805 2020-03-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 806
 807         PR d/92309
 808         * types.cc (fixup_anonymous_offset): Don't set DECL_FIELD_OFFSET on
 809         anonymous fields.
 810
 811 2020-03-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 812
 813         PR d/92216
 814         * decl.cc (make_thunk): Don't set TREE_PUBLIC on thunks if the target
 815         function is external to the current compilation.
 816
 817 2020-01-01  Jakub Jelinek  <jakub@redhat.com>
 818
 819         Update copyright years.
 820
 821         * gdc.texi: Bump @copyrights-d year.
 822 \f
 823 Copyright (C) 2020 Free Software Foundation, Inc.
 824
 825 Copying and distribution of this file, with or without modification,
 826 are permitted in any medium without royalty provided the copyright
 827 notice and this notice are preserved.