gcc/d/ChangeLog

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