gcc/d/ChangeLog

   1 2020-06-09  Iain Buclaw  <ibuclaw@gdcproject.org>
   2
   3         * dmd/MERGE: Merge upstream dmd 13d67c575.
   4         * d-builtins.cc (build_frontend_type): Update call to
   5         TypeVector::create.
   6         * d-frontend.cc (Global::_init): Move setting of errorLimit to ...
   7         * d-lang.cc (d_init_options): ... here.  Update for new field
   8         location of errorLimit.
   9         (d_post_options): Likewise.
  10         * d-port.cc (Port::readwordLE): Update signature.
  11         (Port::readwordBE): Likewise.
  12         (Port::readlongLE): Likewise.
  13         (Port::readlongBE): Likewise.
  14         * decl.cc (get_symbol_decl): Update for new field types.
  15
  16 2020-06-08  Iain Buclaw  <ibuclaw@gdcproject.org>
  17
  18         PR d/95573
  19         * dmd/MERGE: Merge upstream dmd 5041e56f1.
  20
  21 2020-06-08  Iain Buclaw  <ibuclaw@gdcproject.org>
  22
  23         * dmd/MERGE: Merge upstream dmd 955b8b36f.
  24         * expr.cc (ExprVisitor::visit (AndAndExp *)): Rename type to ...
  25         (ExprVisitor::visit (LogicalExp *)): ... this.  Handle both 'and if'
  26         and 'or if' expression nodes.
  27         (ExprVisitor::visit (OrOrExp *)): Remove.
  28
  29 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
  30
  31         * dmd/MERGE: Merge upstream dmd 73d8e2fec.
  32         * decl.cc (get_symbol_decl): Use new Prot::Kind enum.
  33         * modules.cc (get_internal_fn): Likewise.
  34
  35 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
  36
  37         * dmd/MERGE: Merge upstream dmd 108ca1bcd.
  38         * d-diagnostic.cc (expand_d_format): Adjust to use extractChars().
  39         * d-frontend.cc (Loc::toChars): Likewise.
  40         * d-lang.cc (deps_write): Likewise.
  41         (d_parse_file): Likewise.
  42         * decl.cc (d_mangle_decl): Likewise.
  43         * intrinsics.cc (maybe_set_intrinsic): Likewise.
  44
  45 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
  46
  47         * dmd/MERGE: Merge upstream dmd b0df0e982.
  48         * d-builtins.cc (build_frontend_type): Use VarArg for varargs_p.
  49         * d-codegen.cc (declaration_type): Call TypeFunction::create with
  50         argument VARARGnone.
  51         (parameter_type): Likewise.
  52         (d_build_call): Use new field names and member functions.
  53         * d-target.cc (Target::cppParameterType): Call TypeFunction::create
  54         with argument VARARGnone.
  55         * types.cc (TypeVisitor::visit (TypeFunction *): Use new field names
  56         and member functions.
  57
  58 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
  59
  60         * dmd/MERGE: Merge upstream dmd 1831b24ff.
  61         * d-lang.cc (d_init_options): Remove initialization of updated fields.
  62         (d_handle_option): Adjust for new field types.
  63
  64 2020-06-07  Iain Buclaw  <ibuclaw@gdcproject.org>
  65
  66         * dmd/MERGE: Merge upstream dmd cef1e7991.
  67         * d-lang.cc (d_parse_file): Adjust for new field types.
  68
  69 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
  70
  71         * dmd/MERGE: Merge upstream dmd 740f3d1ea.
  72         * d-lang.cc (d_handle_option): Use new fields to save debug and
  73         version levels passed over command-line.
  74         (d_post_options): Add them to front-end here.
  75
  76 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
  77
  78         * dmd/MERGE: Merge upstream dmd f5638c7b8.
  79         * d-builtins.cc (d_init_versions): Use new CHECKENABLE enum.
  80         * d-codegen.cc (array_bounds_check): Likewise.
  81         (build_frame_type): Likewise.
  82         (get_frameinfo): Likewise.
  83         * d-lang.cc (d_init_options): Likewise.
  84         (d_init_options_struct): Don't initialize x_flag_bounds_check.
  85         (d_handle_option): Use new CHECKENABLE enum.
  86         (d_post_options): Likewise.  Set flag_bounds_check here.
  87         * expr.cc (ExprVisitor::visit(AssertExp *)): Use new CHECKENABLE enum.
  88
  89 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
  90
  91         * dmd/MERGE: Merge upstream dmd 56f0a65c4.
  92         * d-builtins.cc (build_frontend_type): Remove static.
  93         (d_build_builtins_module): Use target.va_listType() to get front-end
  94         type for va_list.
  95         (d_init_builtins): Move creation of va_list to Target::va_listType.
  96         * d-codegen.cc (build_interface_binfo): Use new target global.
  97         (build_vindex_ref): Likewise.
  98         (identity_compare_p): Likewise.
  99         * d-ctfloat.cc (CTFloat::parse): Likewise.
 100         * d-lang.cc (d_init): Likewise.
 101         * d-port.cc (Port::isFloat32LiteralOutOfRange): Likewise.
 102         (Port::isFloat64LiteralOutOfRange): Likewise.
 103         * d-target.cc (define_float_constants): Initialize constants through a
 104         reference, instead of setting globals.
 105         (Target::_init): Initialize new fields instead of setting globals.
 106         (Target::va_listType): Build front-end type from va_list_type_node.
 107         (Target::toCppMangle): Renamed to ...
 108         (TargetCPP::toMangle): ... this.
 109         (Target::cppTypeInfoMangle): Renamed to ...
 110         (TargetCPP::typeInfoMangle): ... this.
 111         (Target::cppTypeMangle): Renamed to ...
 112         (TargetCPP::typeMangle): this.
 113         (Target::cppParameterType): Renamed to ...
 114         (TargetCPP::parameterType): ... this.  Use target.va_listType() to get
 115         front-end type for va_list.
 116         (Target::cppFundamentalType): Renamed to ...
 117         (TargetCPP::fundamentalType): ... this.
 118         * d-tree.h (build_frontend_type): Declare.
 119         * decl.cc (base_vtable_offset): Use new target global.
 120         * typeinfo.cc (layout_classinfo_interfaces): Likewise.
 121         (layout_cpp_typeinfo): Likewise.
 122         * types.cc (valist_array_p): Use target.va_listType() to get front-end
 123         type for va_list.
 124         (layout_aggregate_type): Use new target global.
 125
 126 2020-06-05  Iain Buclaw  <ibuclaw@gdcproject.org>
 127
 128         * dmd/MERGE: Merge upstream dmd 6d5bffa54.
 129         * d-builtins.cc (maybe_set_builtin_1): Update call to
 130         Condition::include().
 131         * decl.cc (DeclVisitor::visit(AttribDeclaration *)): Likewise.
 132         * types.cc (layout_aggregate_members): Likewise.
 133
 134 2020-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
 135
 136         * dmd/MERGE: Merge upstream dmd 48d704f08.
 137         * d-attribs.cc (build_attributes): Use new field name.
 138         * d-builtins.cc (build_frontend_type): Likewise.
 139         (maybe_set_builtin_1): Likewise.
 140         (d_maybe_set_builtin): Likewise.
 141         * d-codegen.cc (build_interface_binfo): Likewise.
 142         (identity_compare_p): Likewise.
 143         (lower_struct_comparison): Likewise.
 144         (build_struct_comparison): Likewise.
 145         (d_build_call): Likewise.
 146         (build_frame_type): Likewise.
 147         (build_closure): Likewise.
 148         * d-compiler.cc (Compiler::paintAsType): Likewise.
 149         (Compiler::loadModule): Likewise.
 150         * d-incpath.cc (add_globalpaths): Likewise.
 151         (add_filepaths): Likewise.
 152         (add_import_paths): Likewise.
 153         * d-lang.cc (deps_write): Likewise.
 154         (d_parse_file): Likewise.
 155         * decl.cc (gcc_attribute_p): Likewise.
 156         (base_vtable_offset): Likewise.
 157         (get_vtable_decl): Likewise.
 158         (build_class_instance): Likewise.
 159         * expr.cc (class ExprVisitor): Likewise.
 160         * modules.cc (layout_moduleinfo_fields): Likewise.
 161         (layout_moduleinfo): Likewise.
 162         (build_module_tree): Likewise.
 163         * toir.cc (class IRVisitor): Likewise.
 164         * typeinfo.cc (class TypeInfoVisitor): Likewise.
 165         (layout_classinfo_interfaces): Likewise.
 166         * types.cc (layout_aggregate_members): Likewise.
 167         (layout_aggregate_type): Likewise.
 168
 169 2020-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
 170
 171         * dmd/MERGE: Merge upstream dmd 47ed0330f.
 172
 173 2020-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
 174
 175         * Make-lang.in (D_OBJS): Add d-compiler.o, d-ctfloat.o, d-port.o.
 176         * d-frontend.cc (Port::memicmp): Move to d-port.cc.
 177         (Port::strupr): Likewise.
 178         (Port::isFloat32LiteralOutOfRange): Likewise.
 179         (Port::isFloat64LiteralOutOfRange): Likewise.
 180         (Port::readwordLE): Likewise.
 181         (Port::readwordBE): Likewise.
 182         (Port::readlongLE): Likewise.
 183         (Port::readlongBE): Likewise.
 184         (Port::valcpy): Likewise.
 185         (CTFloat::fabs): Move to d-ctfloat.cc.
 186         (CTFloat::ldexp): Likewise.
 187         (CTFloat::isIdentical): Likewise.
 188         (CTFloat::isNaN): Likewise.
 189         (CTFloat::isSNaN): Likewise.
 190         (CTFloat::isInfinity): Likewise.
 191         (CTFloat::parse): Likewise.
 192         (CTFloat::sprint): Likewise.
 193         (CTFloat::hash): Likewise.
 194         (Compiler::genCmain): Move to d-compiler.cc.
 195         (Compiler::paintAsType): Likewise.
 196         (Compiler::loadModule): Likewise.
 197         * d-compiler.cc: New file.
 198         * d-ctfloat.cc: New file.
 199         * d-port.cc: New file.
 200
 201 2020-06-02  Iain Buclaw  <ibuclaw@gdcproject.org>
 202
 203         * decl.cc (DeclVisitor::build_dsymbol): New function.
 204         (DeclVisitor::visit (TupleDeclaration *)): Use build_dsymbol to
 205         traverse AST instead of accept.
 206         (DeclVisitor::visit (AttribDeclaration *)): Likewise.
 207         (DeclVisitor::visit (Nspace *)): Likewise.
 208         (DeclVisitor::visit (TemplateDeclaration *)): Likewise.
 209         (DeclVisitor::visit (TemplateInstance *)): Likewise.
 210         (DeclVisitor::visit (TemplateMixin *)): Likewise.
 211         (DeclVisitor::visit (StructDeclaration *)): Likewise.
 212         (DeclVisitor::visit (ClassDeclaration *)): Likewise.
 213         (DeclVisitor::visit (InterfaceDeclaration *)): Likewise.
 214         (DeclVisitor::visit (VarDeclaration *)): Likewise.
 215         (build_decl_tree): Likewise.
 216
 217 2020-06-02  Iain Buclaw  <ibuclaw@gdcproject.org>
 218
 219         * d-builtins.cc (build_frontend_type): Handle struct fields with NULL
 220         DECL_NAME.  Use byte_position to get the real field offset.
 221
 222 2020-05-06  Iain Buclaw  <ibuclaw@gdcproject.org>
 223
 224         PR d/94970
 225         * d-codegen.cc (force_target_expr): Move create_temporary_var
 226         implementation inline here.
 227         (create_temporary_var): Remove.
 228         (maybe_temporary_var): Remove.
 229         (bind_expr): Remove.
 230         * d-convert.cc (d_array_convert): Use build_local_temp to generate
 231         temporaries, and generate its assignment.
 232         * d-tree.h (create_temporary_var): Remove.
 233         (maybe_temporary_var): Remove.
 234         (d_array_convert): Remove vars argument.
 235         * expr.cc (ExprVisitor::visit (CatExp *)): Use build_local_temp to
 236         generate temporaries, don't wrap them in a BIND_EXPR.
 237         (ExprVisitor::visit (NewExp *)): Likewise.
 238
 239 2020-04-30  Iain Buclaw  <ibuclaw@gdcproject.org>
 240
 241         * gdc.texi (Options for Linking): Clarify usage of -defaultlib= and
 242         -debuglib= options.
 243
 244 2020-04-29  Iain Buclaw  <ibuclaw@gdcproject.org>
 245
 246         * d-codegen.cc (d_decl_context): Don't include module in the name of
 247         class and struct types that aren't extern(D).
 248
 249 2020-04-27  Iain Buclaw  <ibuclaw@gdcproject.org>
 250
 251         PR d/94777
 252         * d-builtins.cc (build_frontend_type): Set parent for generated
 253         fields of built-in types.
 254         * d-codegen.cc (argument_reference_p): Rename to ...
 255         (parameter_reference_p): ... this.
 256         (type_passed_as): Rename to ...
 257         (parameter_type): ... this.  Make TREE_ADDRESSABLE types restrict.
 258         (d_build_call): Move handling of non-POD types here from ...
 259         * d-convert.cc (convert_for_argument): ... here.
 260         * d-tree.h (argument_reference_p): Rename declaration to ...
 261         (parameter_reference_p): ... this.
 262         (type_passed_as): Rename declaration to ...
 263         (parameter_type): ... this.
 264         * types.cc (TypeVisitor::visit (TypeFunction *)): Update caller.
 265
 266 2020-04-26  Iain Buclaw  <ibuclaw@gdcproject.org>
 267
 268         * decl.cc (get_symbol_decl): Set DECL_DECLARED_INLINE_P or
 269         DECL_UNINLINABLE for declarations with pragma(inline).
 270         * toir.cc (IRVisitor::visit (GccAsmStatement *)): Set ASM_INLINE_P if
 271         in function decorated with pragma(inline).
 272
 273 2020-04-25  Iain Buclaw  <ibuclaw@gdcproject.org>
 274
 275         * intrinsics.cc (expand_intrinsic_toprec): New function.
 276         (maybe_expand_intrinsic): Handle toPrec intrinsics.
 277         * intrinsics.def (TOPRECF, TOPREC, TOPRECL): Add toPrec intrinsics.
 278
 279 2020-04-24  Iain Buclaw  <ibuclaw@gdcproject.org>
 280
 281         * d-spec.cc (need_phobos): Remove.
 282         (lang_specific_driver): Replace need_phobos with phobos_library.
 283         Reorder -debuglib and -defaultlib to have precedence over libphobos.
 284         (lang_specific_pre_link): Remove test for need_phobos.
 285
 286 2020-04-19  Iain Buclaw  <ibuclaw@gdcproject.org>
 287
 288         PR d/94609
 289         * d-codegen.cc (argument_reference_p): Don't check TREE_ADDRESSABLE.
 290         (type_passed_as): Build reference type if TREE_ADDRESSABLE.
 291         * d-convert.cc (convert_for_argument): Build explicit TARGET_EXPR if
 292         needed for arguments passed by invisible reference.
 293         * types.cc (TypeVisitor::visit (TypeStruct *)): Mark all structs that
 294         are not POD as TREE_ADDRESSABLE.
 295
 296 2020-04-13  Iain Buclaw  <ibuclaw@gdcproject.org>
 297
 298         * Make-lang.in (D_FRONTEND_OBJS): Remove d/argtypes.o.
 299         * d-target.cc (Target::toArgTypes): New function.
 300
 301 2020-04-10  Iain Buclaw  <ibuclaw@gdcproject.org>
 302
 303         * d-spec.cc (LIBDRUNTIME): Remove.
 304         (LIBDRUNTIME_PROFILE): Remove.
 305         (lang_specific_driver): Don't link in libgdruntime.
 306
 307 2020-04-07  Iain Buclaw  <ibuclaw@gdcproject.org>
 308
 309         PR d/94425
 310         * toir.cc (IRVisitor::visit (GccAsmStatement *)): Set ASM_VOLATILE_P
 311         on all asm statements.
 312
 313 2020-04-01  Iain Buclaw  <ibuclaw@gdcproject.org>
 314
 315         PR d/90136
 316         * d-attribs.cc: Include dmd/attrib.h.
 317         (build_attributes): Redeclare as static.
 318         (apply_user_attributes): New function.
 319         * d-tree.h (class UserAttributeDeclaration): Remove.
 320         (build_attributes): Remove.
 321         (apply_user_attributes): Declare.
 322         (finish_aggregate_type): Remove attrs argument.
 323         * decl.cc (get_symbol_decl): Merge declaration prototypes with
 324         definitions.  Use apply_user_attributes.
 325         * modules.cc (layout_moduleinfo_fields): Remove last argument to
 326         finish_aggregate_type.
 327         * typeinfo.cc (layout_classinfo_interfaces): Likewise.
 328         * types.cc (layout_aggregate_members): Likewise.
 329         (finish_aggregate_type): Remove attrs argument.
 330         (TypeVisitor::visit (TypeEnum *)): Use apply_user_attributes.
 331         (TypeVisitor::visit (TypeStruct *)): Remove last argument to
 332         finish_aggregate_type.  Use apply_user_attributes.
 333         (TypeVisitor::visit (TypeClass *)): Likewise.
 334
 335 2020-03-31  Iain Buclaw  <ibuclaw@gdcproject.org>
 336
 337         * d-attribs.cc (d_langhook_common_attribute_table): Add always_inline.
 338         (handle_always_inline_attribute): New function.
 339
 340 2020-03-31  Iain Buclaw  <ibuclaw@gdcproject.org>
 341
 342         PR d/94424
 343         * d-codegen.cc (build_alignment_field): Remove.
 344         (build_struct_literal): Don't insert alignment padding.
 345         * expr.cc (ExprVisitor::visit (AssignExp *)): Call memset before
 346         assigning struct literals.
 347
 348 2020-03-31  Iain Buclaw  <ibuclaw@gdcproject.org>
 349
 350         * typeinfo.cc (TypeInfoVisitor::internal_reference): Call
 351         d_comdat_linkage on generated decl.
 352
 353 2020-03-22  Iain Buclaw  <ibuclaw@gdcproject.org>
 354
 355         PR d/93038
 356         * d-lang.cc (deps_write): Generate phony targets for content imported
 357         files.
 358
 359 2020-03-22  Iain Buclaw  <ibuclaw@gdcproject.org>
 360
 361         PR d/93038
 362         * d-lang.cc (deps_write): Add content imported files to the make
 363         dependency list.
 364
 365 2020-03-21  Iain Buclaw  <ibuclaw@gdcproject.org>
 366
 367         PR d/94240
 368         * typeinfo.cc (class TypeInfoVisitor): Replace type_ field with decl_.
 369         (TypeInfoVisitor::TypeInfoVisitor): Set decl_.
 370         (TypeInfoVisitor::result): Update.
 371         (TypeInfoVisitor::internal_reference): New function.
 372         (TypeInfoVisitor::layout_string): Use internal_reference.
 373         (TypeInfoVisitor::visit (TypeInfoTupleDeclaration *)): Likewise.
 374         (layout_typeinfo): Construct TypeInfoVisitor with typeinfo decl.
 375         (layout_classinfo): Likewise.
 376
 377 2020-03-20  Iain Buclaw  <ibuclaw@gdcproject.org>
 378
 379         PR lto/91027
 380         * d-tree.h (struct GTY): Add daggregate field.
 381         (IDENTIFIER_DAGGREGATE): Define.
 382         (d_mangle_decl): Add declaration.
 383         * decl.cc (mangle_decl): Remove static linkage, rename to...
 384         (d_mangle_decl): ...this, update all callers.
 385         * types.cc (merge_aggregate_types): New function.
 386         (TypeVisitor::visit (TypeStruct *)): Call merge_aggregate_types, set
 387         IDENTIFIER_DAGGREGATE and TYPE_CXX_ODR_P.
 388         (TypeVisitor::visit (TypeClass *)): Likewise.
 389
 390 2020-03-18  Jakub Jelinek  <jakub@redhat.com>
 391
 392         * expr.cc (ExprVisitor::visit (CatAssignExp *)): Fix up duplicated
 393         word issue in a comment.
 394         * d-target.cc (Target::FPTypeProperties<T>::max): Likewise.
 395
 396 2020-03-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 397
 398         PR d/92309
 399         * types.cc (fixup_anonymous_offset): Don't set DECL_FIELD_OFFSET on
 400         anonymous fields.
 401
 402 2020-03-16  Iain Buclaw  <ibuclaw@gdcproject.org>
 403
 404         PR d/92216
 405         * decl.cc (make_thunk): Don't set TREE_PUBLIC on thunks if the target
 406         function is external to the current compilation.
 407
 408 2020-01-01  Jakub Jelinek  <jakub@redhat.com>
 409
 410         Update copyright years.
 411
 412         * gdc.texi: Bump @copyrights-d year.
 413 \f
 414 Copyright (C) 2020 Free Software Foundation, Inc.
 415
 416 Copying and distribution of this file, with or without modification,
 417 are permitted in any medium without royalty provided the copyright
 418 notice and this notice are preserved.