1 2021-12-10 Iain Buclaw <ibuclaw@gdcproject.org>
4 * dmd/MERGE: Merge upstream dmd 3982604c5.
5 * Make-lang.in (D_FRONTEND_OBJS): Add d/root-optional.o.
6 * d-attribs.cc (build_attributes): Update for new front-end interface.
7 * d-codegen.cc (d_build_call): Likewise.
8 * d-compiler.cc (Compiler::paintAsType): Likewise.
9 * d-lang.cc (d_handle_option): Remove OPT_fpreview_intpromote, add
10 handling of OPT_frevert_intpromote.
11 * d-port.cc (Port::valcpy): Assert buffer is aligned.
12 * d-target.cc (Target::isVectorOpSupported): Update for new front-end
14 * decl.cc (layout_class_initializer): Likewise.
15 * expr.cc (lvalue_p): Likewise.
16 (binop_assignment): Likewise.
17 (ExprVisitor::visit): Likewise.
18 (ExprVisitor::visit (AssignExp *)): Remove generation of _d_arrayctor
19 and _d_arraysetctor library helpers.
20 (ExprVisitor::visit (VarExp *)): Support __traits(initSymbol).
21 * intrinsics.cc (expand_intrinsic_rotate): Update for new front-end
23 * lang.opt (fpreview=intpromote): Remove.
24 (frevert=intpromote): New.
25 * runtime.def (ARRAYCTOR): Remove.
26 (ARRAYSETCTOR): Remove.
27 * toir.cc (IRVisitor::visit): Update for new front-end interface.
28 * types.cc (layout_aggregate_members): Likewise.
29 * dmd/root/optional.d: New file.
30 * dmd/root/optional.h: New file.
32 2021-12-10 Iain Buclaw <ibuclaw@gdcproject.org>
34 * decl.cc (get_symbol_decl): Align methods to MINIMUM_METHOD_BOUNDARY.
36 2021-12-09 Martin Liska <mliska@suse.cz>
38 * expr.cc: Call memcpy only when length != 0.
40 2021-12-08 Iain Buclaw <ibuclaw@gdcproject.org>
42 * dmd/MERGE: Merge upstream dmd 568496d5b.
43 * Make-lang.in (D_FRONTEND_OBJS): Add d/common-file.o,
44 d/common-outbuffer.o, d/common-string.o, d/file_manager.o,
45 d/importc.o. Remove d/root-outbuffer.o.
46 (d/common-%.o): New recipe.
47 * d-builtins.cc (build_frontend_type): Update for new front-end
49 (d_build_d_type_nodes): Set noreturn_type_node.
50 * d-codegen.cc (d_build_call): Don't call function if one of the
51 arguments is type 'noreturn'.
52 (build_vthis_function): Propagate TYPE_QUAL_VOLATILE from original
54 * d-frontend.cc (eval_builtin): Update signature.
55 (getTypeInfoType): Likewise.
56 (toObjFile): New function.
57 * d-gimplify.cc (d_gimplify_call_expr): Always evaluate arguments from
59 * d-lang.cc (d_handle_option): Handle OPT_ftransition_in.
60 (d_parse_file): Don't generate D main if it is declared in user code.
61 * d-tree.h (CALL_EXPR_ARGS_ORDERED): Remove.
62 (enum d_tree_index): Add DTI_BOTTOM_TYPE.
63 (noreturn_type_node): New.
64 * decl.cc (apply_pragma_crt): Remove.
65 (DeclVisitor::visit): Update for new front-end interface.
66 (DeclVisitor::visit (PragmaDeclaration *)): Don't handle
67 crt_constructor and crt_destructor pragmas.
68 (DeclVisitor::visit (VarDeclaration *)): Don't generate declarations
70 (DeclVisitor::visit (FuncDeclaration *)): Stop adding parameters when
71 'noreturn' type has been encountered.
72 (get_symbol_decl): Set DECL_STATIC_CONSTRUCTOR and
73 DECL_STATIC_DESTRUCTOR on decl node if requested.
74 (aggregate_initializer_decl): Update for new front-end interface.
75 * expr.cc (ExprVisitor::visit (CallExp *)): Always use the 'this'
76 object as the result of calling any constructor function.
77 (ExprVisitor::visit): Update for new front-end interface.
78 * gdc.texi (Runtime Options): Document -fmain and -ftransition=in.
79 * lang.opt (ftransition=in): New option.
80 * modules.cc (get_internal_fn): Update for new front-end interface.
81 * types.cc (TypeVisitor::visit): Likewise.
82 (TypeVisitor::visit (TypeNoreturn *)): Return noreturn_type_node.
83 (TypeVisitor::visit (TypeFunction *)): Stop adding parameters when
84 'notreturn' type has been encountered. Qualify function types that
85 return 'noreturn' as TYPE_QUAL_VOLATILE.
87 2021-12-02 Iain Buclaw <ibuclaw@gdcproject.org>
90 * d-frontend.h (gc_disable): Declare.
91 * d-lang.cc (d_init_options): Disable the D runtime garbage collector
94 2021-12-02 Iain Buclaw <ibuclaw@gdcproject.org>
96 * Make-lang.in (D_FRONTEND_OBJS): Prefix object files from the root
98 (d/root-%.o): New recipe.
100 2021-12-01 Iain Buclaw <ibuclaw@gdcproject.org>
102 * d-spec.cc (lang_specific_driver): Set SKIPOPT on -static-libstdc++
103 and -static-libphobos only when target supports LD_STATIC_DYNAMIC.
104 Remove generate_option to re-add -static-libstdc++.
106 2021-12-01 Iain Buclaw <ibuclaw@gdcproject.org>
108 * gdc.texi (Runtime Options): Document -fcheckaction=, -fextern-std=,
109 -fpreview=, -frevert=.
110 (Code Generation): Document -fdump-c++-spec=, -fdump-c++-spec-verbose,
112 (Warnings): Update list of supported -ftransitions=.
114 2021-11-30 Iain Buclaw <ibuclaw@gdcproject.org>
116 * dmd/MERGE: Merge upstream dmd b8384668f.
117 * Make-lang.in (d-warn): Use strict warnings.
118 (DMD_WARN_CXXFLAGS): Remove.
119 (DMD_COMPILE): Remove.
120 (CHECKING_DFLAGS): Define.
121 (WARN_DFLAGS): Define.
122 (ALL_DFLAGS): Define.
123 (DCOMPILE.base): Define.
125 (DPOSTCOMPILE): Define.
128 (D_FRONTEND_OBJS): Add new dmd front-end objects.
129 (D_GENERATED_SRCS): Remove.
130 (D_GENERATED_OBJS): Remove.
131 (D_ALL_OBJS): Remove D_GENERATED_OBJS.
132 (d21$(exeext)): Build using DLLINKER and -static-libphobos.
133 (d.tags): Remove dmd/*.c and dmd/root/*.c.
134 (d.mostlyclean): Remove D_GENERATED_SRCS, d/idgen$(build_exeext),
135 d/impcnvgen$(build_exeext).
136 (D_INCLUDES): Include $(srcdir)/d/dmd/res.
137 (CFLAGS-d/id.o): Remove.
138 (CFLAGS-d/impcnvtab.o): Remove.
139 (d/%.o): Build using DCOMPILE and DPOSTCOMPILE. Update dependencies
140 from d/dmd/%.c to d/dmd/%.d.
141 (d/idgen$(build_exeext)): Remove.
142 (d/impcnvgen$(build_exeext)): Remove.
145 (d/impcnvtab.c): Remove.
146 (d/%.dmdgen.o): Remove.
147 (D_SYSTEM_H): Remove.
148 (d/idgen.dmdgen.o): Remove.
149 (d/impcnvgen.dmdgen.o): Remove.
150 * config-lang.in (boot_language): New variable.
151 * d-attribs.cc: Include dmd/expression.h.
152 * d-builtins.cc: Include d-frontend.h.
153 (build_frontend_type): Update for new front-end interface.
154 (d_eval_constant_expression): Likewise.
155 (d_build_builtins_module): Likewise.
156 (maybe_set_builtin_1): Likewise.
157 (d_build_d_type_nodes): Likewise.
158 * d-codegen.cc (d_decl_context): Likewise.
159 (declaration_reference_p): Likewise.
160 (declaration_type): Likewise.
161 (parameter_reference_p): Likewise.
162 (parameter_type): Likewise.
163 (get_array_length): Likewise.
164 (build_delegate_cst): Likewise.
165 (build_typeof_null_value): Likewise.
166 (identity_compare_p): Likewise.
167 (lower_struct_comparison): Likewise.
168 (build_filename_from_loc): Likewise.
169 (build_assert_call): Remove LIBCALL_SWITCH_ERROR.
170 (build_bounds_index_condition): Call LIBCALL_ARRAYBOUNDS_INDEXP on
172 (build_bounds_slice_condition): Call LIBCALL_ARRAYBOUNDS_SLICEP on
174 (array_bounds_check): Update for new front-end interface.
175 (checkaction_trap_p): Handle CHECKACTION_context.
176 (get_function_type): Update for new front-end interface.
177 (d_build_call): Likewise.
178 * d-compiler.cc: Remove include of dmd/scope.h.
179 (Compiler::genCmain): Remove.
180 (Compiler::paintAsType): Update for new front-end interface.
181 (Compiler::onParseModule): Likewise.
182 * d-convert.cc (convert_expr): Remove call to LIBCALL_ARRAYCAST.
183 (convert_for_rvalue): Update for new front-end interface.
184 (convert_for_assignment): Likewise.
185 (convert_for_condition): Likewise.
186 (d_array_convert): Likewise.
187 * d-diagnostic.cc (error): Remove.
188 (errorSupplemental): Remove.
190 (warningSupplemental): Remove.
191 (deprecation): Remove.
192 (deprecationSupplemental): Remove.
195 * d-frontend.cc (global): Remove.
196 (Global::_init): Remove.
197 (Global::startGagging): Remove.
198 (Global::endGagging): Remove.
199 (Global::increaseErrorCount): Remove.
201 (Loc::toChars): Remove.
202 (Loc::equals): Remove.
203 (isBuiltin): Update for new front-end interface.
204 (eval_builtin): Likewise.
205 (getTypeInfoType): Likewise.
206 (inlineCopy): Remove.
207 * d-incpath.cc: Include d-frontend.h.
208 (add_globalpaths): Call d_gc_malloc to allocate Strings.
209 (add_filepaths): Likewise.
210 * d-lang.cc: Include dmd/id.h, dmd/root/file.h, d-frontend.h. Remove
211 include of dmd/mars.h, id.h.
212 (entrypoint_module): Remove.
213 (entrypoint_root_module): Remove.
214 (deps_write_string): Update for new front-end interface.
215 (deps_write): Likewise.
216 (d_init_options): Call rt_init. Remove setting global params that are
217 default initialized by the front-end.
218 (d_handle_option): Handle OPT_fcheckaction_, OPT_fdump_c___spec_,
219 OPT_fdump_c___spec_verbose, OPT_fextern_std_, OPT_fpreview,
220 OPT_revert, OPT_fsave_mixins_, and OPT_ftransition.
221 (d_post_options): Propagate dip1021 and dip1000 preview flags to
222 dip25, and flag_diagnostics_show_caret to printErrorContext.
223 (d_add_entrypoint_module): Remove.
224 (d_parse_file): Update for new front-end interface.
225 (d_type_promotes_to): Likewise.
226 (d_types_compatible_p): Likewise.
227 * d-longdouble.cc (CTFloat::zero): Remove.
228 (CTFloat::one): Remove.
229 (CTFloat::minusone): Remove.
230 (CTFloat::half): Remove.
231 * d-system.h (POSIX): Remove.
246 (UINT32_MAX): Remove.
247 (UINT64_MAX): Remove.
248 * d-target.cc: Include calls.h.
250 (define_float_constants): Remove initialization of snan.
251 (Target::_init): Update for new front-end interface.
252 (Target::isVectorTypeSupported): Likewise.
253 (Target::isVectorOpSupported): Remove cases for unordered operators.
254 (TargetCPP::typeMangle): Update for new front-end interface.
255 (TargetCPP::parameterType): Likewise.
256 (Target::systemLinkage): Likewise.
257 (Target::isReturnOnStack): Likewise.
258 (Target::isCalleeDestroyingArgs): Define.
259 (Target::preferPassByRef): Define.
260 * d-tree.h (d_add_entrypoint_module): Remove.
261 * decl.cc (gcc_attribute_p): Update for new front-end interface.
262 (apply_pragma_crt): Define.
263 (DeclVisitor::visit(PragmaDeclaration *)): Handle pragmas
264 crt_constructor and crt_destructor.
265 (DeclVisitor::visit(TemplateDeclaration *)): Update for new front-end
267 (DeclVisitor::visit): Likewise.
268 (DeclVisitor::finish_vtable): Likewise.
269 (get_symbol_decl): Error if template has more than one nesting
270 context. Update for new front-end interface.
271 (make_thunk): Update for new front-end interface.
272 (get_vtable_decl): Likewise.
273 * expr.cc (ExprVisitor::visit): Likewise.
274 (build_return_dtor): Likewise.
275 * imports.cc (ImportVisitor::visit): Likewise.
276 * intrinsics.cc: Include dmd/expression.h. Remove include of
278 (maybe_set_intrinsic): Update for new front-end interface.
279 * intrinsics.def (INTRINSIC_ROL): Update intrinsic signature.
280 (INTRINSIC_ROR): Likewise.
281 (INTRINSIC_ROR_TIARG): Likewise.
282 (INTRINSIC_TOPREC): Likewise.
283 (INTRINSIC_TOPRECL): Likewise.
284 (INTRINSIC_TAN): Update intrinsic module and signature.
285 (INTRINSIC_ISNAN): Likewise.
286 (INTRINSIC_ISFINITE): Likewise.
287 (INTRINSIC_COPYSIGN): Define intrinsic.
288 (INTRINSIC_COPYSIGNI): Define intrinsic.
289 (INTRINSIC_EXP): Update intrinsic module.
290 (INTRINSIC_EXPM1): Likewise.
291 (INTRINSIC_EXP2): Likewise.
292 (INTRINSIC_LOG): Likewise.
293 (INTRINSIC_LOG2): Likewise.
294 (INTRINSIC_LOG10): Likewise.
295 (INTRINSIC_POW): Likewise.
296 (INTRINSIC_ROUND): Likewise.
297 (INTRINSIC_FLOORF): Likewise.
298 (INTRINSIC_FLOOR): Likewise.
299 (INTRINSIC_FLOORL): Likewise.
300 (INTRINSIC_CEILF): Likewise.
301 (INTRINSIC_CEIL): Likewise.
302 (INTRINSIC_CEILL): Likewise.
303 (INTRINSIC_TRUNC): Likewise.
304 (INTRINSIC_FMIN): Likewise.
305 (INTRINSIC_FMAX): Likewise.
306 (INTRINSIC_FMA): Likewise.
307 (INTRINSIC_VA_ARG): Update intrinsic signature.
308 (INTRINSIC_VASTART): Likewise.
309 * lang.opt (fcheck=): Add alternate aliases for contract switches.
310 (fcheckaction=): New option.
311 (check_action): New Enum and EnumValue entries.
312 (fdump-c++-spec-verbose): New option.
313 (fdump-c++-spec=): New option.
314 (fextern-std=): New option.
315 (extern_stdcpp): New Enum and EnumValue entries
316 (fpreview=): New options.
317 (frevert=): New options.
318 (fsave-mixins): New option.
319 (ftransition=): Update options.
320 * modules.cc (get_internal_fn): Replace Prot with Visibility.
321 (build_internal_fn): Likewise.
322 (build_dso_cdtor_fn): Likewise.
323 (build_module_tree): Remove check for __entrypoint module.
324 * runtime.def (P5): Define.
325 (ARRAYBOUNDS_SLICEP): Define.
326 (ARRAYBOUNDS_INDEXP): Define.
330 (SWITCH_STRING): Remove.
331 (SWITCH_USTRING): Remove.
332 (SWITCH_DSTRING): Remove.
333 (SWITCH_ERROR): Remove.
334 * toir.cc (IRVisitor::visit): Update for new front-end interface.
335 (IRVisitor::check_previous_goto): Remove checks for case and default
337 (IRVisitor::visit(SwitchStatement *)): Remove handling of string
339 * typeinfo.cc: Include d-frontend.h.
340 (get_typeinfo_kind): Update for new front-end interface.
341 (make_frontend_typeinfo): Likewise.
342 (TypeInfoVisitor::visit): Likewise.
343 (builtin_typeinfo_p): Likewise.
344 (get_typeinfo_decl): Likewise.
345 (build_typeinfo): Likewise.
346 * types.cc (valist_array_p): Likewise.
347 (make_array_type): Likewise.
348 (merge_aggregate_types): Likewise.
349 (TypeVisitor::visit(TypeBasic *)): Likewise.
350 (TypeVisitor::visit(TypeFunction *)): Likewise.
351 (TypeVisitor::visit(TypeStruct *)): Update comment.
353 * d-frontend.h: New file.
355 2021-11-29 Eric Gallager <egallager@gcc.gnu.org>
358 * Make-lang.in: Use ETAGS variable in TAGS target.
360 2021-11-28 Martin Liska <mliska@suse.cz>
362 * d-attribs.cc (parse_optimize_options): Fix thinko.
364 2021-11-26 Martin Liska <mliska@suse.cz>
366 * d-attribs.cc (parse_optimize_options): Check index before
367 accessing cl_options.
369 2021-11-18 Iain Buclaw <ibuclaw@gdcproject.org>
371 * decl.cc (d_finish_decl): Use HOST_WIDE_INT for type size
374 2021-10-22 Eric Gallager <egallager@gcc.gnu.org>
377 * Make-lang.in: Allow dvi-formatted documentation
380 2021-10-08 Martin Liska <mliska@suse.cz>
382 * d-lang.cc (d_post_options): Use new macro
385 2021-10-05 Iain Sandoe <iain@sandoe.co.uk>
387 * d-spec.cc (lang_specific_driver): Push the -static-libstdc++
388 option back onto the command line for targets without support
389 for -Bstatic/dynamic.
391 2021-10-04 Iain Buclaw <ibuclaw@gdcproject.org>
394 * d-spec.cc (lang_specific_driver): Link libstdc++ statically if
395 -static-libstdc++ was given on command-line.
397 2021-10-04 Iain Buclaw <ibuclaw@gdcproject.org>
399 * d-attribs.cc (d_handle_optimize_attribute): Save target node before
400 calling parse_optimize_options in case it changes.
402 2021-09-12 Iain Buclaw <ibuclaw@gdcproject.org>
405 * d-builtins.cc (d_eval_constant_expression): Don't include
406 terminating null pointer in string expression conversion.
408 2021-08-29 Iain Buclaw <ibuclaw@gdcproject.org>
410 * d-codegen.cc: Include dmd/module.h.
411 (build_filename_from_loc): New function.
412 (d_assert_call): Rename to...
413 (build_assert_call): ...this.
414 (build_array_bounds_call): Call arrayboundsp variant of the array
415 bounds failure callback.
416 (build_bounds_condition): Rename to...
417 (build_bounds_index_condition): ...this. Update signature.
418 (build_bounds_slice_condition): New function.
419 (checkaction_trap_p): New function.
420 (d_assert_call): Call assertp variant of assert failure callback.
421 * d-tree.h (class IndexExp): Declare.
422 (class SliceExp): Declare.
423 (build_bounds_condition): Remove.
424 (build_assert_call): Declare.
425 (build_bounds_index_condition): Declare.
426 (build_bounds_slice_condition): Declare.
427 (checkaction_trap_p): Declare.
428 (d_assert_call): Remove.
429 * expr.cc (ExprVisitor::visit(IndexExp *)): Call
430 build_bounds_index_condition.
431 (ExprVisitor::visit(SliceExp *)): Call build_bounds_slice_condition.
432 (ExprVisitor::visit(AssertExp *)): Update setting of libcall.
433 * runtime.cc (enum d_libcall_type): Add LCT_IMMUTABLE_CHARPTR.
434 (get_libcall_type): Handle LCT_IMMUTABLE_CHARPTR.
435 * runtime.def (ASSERT): Rename to...
436 (ASSERTP): ...this. Update signature.
437 (UNITTEST): Rename to...
438 (UNITTESTP): ...this. Update signature.
439 (ARRAY_BOUNDS): Rename to...
440 (ARRAYBOUNDSP): ...this. Updates signature.
441 * toir.cc (IRVisitor::visit(SwitchErrorStatement *)): Update call.
443 2021-08-29 Iain Buclaw <ibuclaw@gdcproject.org>
445 * typeinfo.cc (class TypeInfoVisitor::layout_base): Update comment.
447 2021-08-29 Iain Buclaw <ibuclaw@gdcproject.org>
449 * typeinfo.cc (TypeInfoVisitor::visit(TypeInfoClassDeclaration *)):
450 Use int to store type flags.
451 (TypeInfoVisitor::visit(TypeInfoStructDeclaration *)): Likewise.
453 2021-08-29 Iain Buclaw <ibuclaw@gdcproject.org>
455 * types.cc (TypeVisitor::visit(TypeEnum*)): Get wchar_t type from
458 2021-08-29 Iain Buclaw <ibuclaw@gdcproject.org>
460 * d-convert.cc (convert_for_rvalue): Convert switch statement into if
463 2021-08-29 Iain Buclaw <ibuclaw@gdcproject.org>
465 * d-builtins.cc (d_init_versions): Use POINTER_SIZE for testing
466 whether to predefine D_LP64.
468 2021-08-29 Iain Buclaw <ibuclaw@gdcproject.org>
471 * d-codegen.cc (build_frame_type): Set TYPE_CXX_ODR_P.
473 2021-08-25 Lewis Hyatt <lhyatt@gmail.com>
476 * d-lang.cc (d_input_charset_callback): New function.
477 (d_init): Call new function
478 diagnostic_initialize_input_context().
480 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
482 * expr.cc (binary_op): Remove dead code.
484 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
486 * typeinfo.cc (TypeInfoVisitor::visit (TypeInfoClassDeclaration *)):
487 Always layout initializer for the m_RTInfo field.
489 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
491 * expr.cc (ExprVisitor::visit (AssertExp *)): Don't generate
494 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
496 * expr.cc (ExprVisitor::visit (AssignExp *)): Clarify comment
497 for generating static array assignment with literal.
499 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
501 * decl.cc (enum_initializer_decl): Only handle named enums.
503 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
505 * decl.cc (make_thunk): Set COMDAT and visibility of thunks only if
508 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
510 * decl.cc (DeclVisitor::visit (StructDeclaration *)): Don't use sinit
511 for declaration directly.
512 (DeclVisitor::visit (ClassDeclaration *)): Likewise.
513 (aggregate_initializer_decl): Likewise. Set sinit after creating.
515 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
517 * d-builtins.cc (build_frontend_type): Use Identifier::idPool to
518 generate anonymous field name.
520 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
522 * types.cc (layout_aggregate_type): Call hasMonitor.
523 * typeinfo.cc (TypeInfoVisitor::layout_base): Likewise.
524 (layout_cpp_typeinfo): Likewise. Don't emit vtable unless
527 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
529 * d-lang.cc (deps_add_target): Insert null terminator in buffer.
530 (deps_write): Likewise.
531 (d_parse_file): Likewise.
533 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
535 * d-builtins.cc (build_frontend_type): Restore builtin_converted_decls
536 length on conversion failure.
538 2021-07-30 Iain Buclaw <ibuclaw@gdcproject.org>
540 * d-codegen.cc (d_nested_class): Rename to ...
541 (get_outer_function): ... this. Handle all aggregate declarations.
542 (d_nested_struct): Remove.
543 (find_this_tree): Use get_outer_function.
544 (get_framedecl): Likewise.
546 2021-07-29 Iain Buclaw <ibuclaw@gdcproject.org>
549 * typeinfo.cc (make_frontend_typeinfo): Generate Object class if it
551 (check_typeinfo_type): Don't warn if there's no location.
553 2021-07-29 Iain Buclaw <ibuclaw@gdcproject.org>
556 * expr.cc (ExprVisitor::visit (CallExp *)): Use object expression as
557 result for C++ constructor calls.
559 2021-07-29 Iain Buclaw <ibuclaw@gdcproject.org>
562 * d-convert.cc (convert_for_rvalue): New function.
563 * d-tree.h (convert_for_rvalue): Declare.
564 * expr.cc (ExprVisitor::visit (CastExp *)): Use convert_for_rvalue.
565 (build_return_dtor): Likewise.
567 2021-07-29 Iain Buclaw <ibuclaw@gdcproject.org>
570 * d-lang.cc (d_parse_file): Remove generated D header files on error.
572 2021-07-29 Iain Buclaw <ibuclaw@gdcproject.org>
575 * d-diagnostic.cc (escape_d_format): Don't escape quoted format
578 2021-07-28 Iain Buclaw <ibuclaw@gdcproject.org>
581 * expr.cc (binary_op): Use build2 instead of fold_build2.
583 2021-07-28 Iain Buclaw <ibuclaw@gdcproject.org>
586 * dmd/MERGE: Merge upstream dmd 27e388b4c.
587 * d-codegen.cc (build_array_index): Handle void arrays same as byte.
588 * d-convert.cc (convert_expr): Handle converting to zero-sized arrays.
590 2021-07-28 Iain Buclaw <ibuclaw@gdcproject.org>
593 * dmd/MERGE: Merge upstream dmd f8c1ca928.
595 2021-07-28 Iain Buclaw <ibuclaw@gdcproject.org>
598 * d-builtins.cc (d_builtin_function_ext_scope): New function.
599 * d-lang.cc (LANG_HOOKS_BUILTIN_FUNCTION_EXT_SCOPE): Define.
600 * d-tree.h (d_builtin_function_ext_scope): Declare.
602 2021-07-28 Iain Buclaw <ibuclaw@gdcproject.org>
605 * dmd/MERGE: Merge upstream dmd 1d8386a63.
607 2021-07-03 Iain Buclaw <ibuclaw@gdcproject.org>
610 * toir.cc (IRVisitor::visit (ReturnStatement *)): Detect returns that
611 use a temporary, and replace with return value.
613 2021-07-02 Iain Buclaw <ibuclaw@gdcproject.org>
616 * d-codegen.cc (build_assign): Force target_expr on RHS for non-POD
617 assignment expressions.
619 2021-06-11 Iain Buclaw <ibuclaw@gdcproject.org>
622 * dmd/MERGE: Merge upstream dmd 7a3808254.
624 2021-06-10 Iain Buclaw <ibuclaw@gdcproject.org>
627 * d-frontend.cc (getTypeInfoType): Move TypeInfo checks to
628 check_typeinfo_type and call new function.
629 * d-tree.h (check_typeinfo_type): Declare.
630 * typeinfo.cc: Include dmd/scope.h.
631 (create_frontend_tinfo_types): Generate front-end types even if Object
633 (build_typeinfo): Move TypeInfo checks to check_typeinfo_type and call
635 (check_typeinfo_type): New function.
637 2021-06-09 Iain Buclaw <ibuclaw@gdcproject.org>
640 * dmd/MERGE: Merge upstream dmd 4a4e46a6f.
642 2021-06-09 Iain Buclaw <ibuclaw@gdcproject.org>
645 * dmd/MERGE: Merge upstream dmd f3fdeb578.
647 2021-06-04 Iain Buclaw <ibuclaw@gdcproject.org>
650 * d-codegen.cc (build_assign): Construct initializations inside
652 (compound_expr): Remove intermediate expressions that have no
654 (return_expr): Construct returns inside TARGET_EXPR_INITIAL.
655 * expr.cc (ExprVisitor::visit (CallExp *)): Remove useless assignment
658 2021-05-18 Iain Buclaw <ibuclaw@gdcproject.org>
660 * d-incpath.cc (prefixed_path): Use filename_ncmp instead of strncmp.
662 2021-05-18 Iain Buclaw <ibuclaw@gdcproject.org>
664 * types.cc (TypeVisitor::visit (TypeEnum *)): Use startswith function
667 2021-05-18 Iain Buclaw <ibuclaw@gdcproject.org>
669 * dmd/dinterpret.c (evaluateIfBuiltin): Revert last change.
670 * dmd/dmangle.c: Likewise.
671 * dmd/hdrgen.c: Likewise.
672 * dmd/identifier.c (Identifier::toHChars2): Likewise.
674 2021-05-10 Iain Buclaw <ibuclaw@gdcproject.org>
676 * dmd/MERGE: Merge upstream dmd b7d146c4c.
678 2021-05-10 Martin Liska <mliska@suse.cz>
680 * d-builtins.cc (do_build_builtin_fn): Use startswith
681 function instead of strncmp.
682 * dmd/dinterpret.c (evaluateIfBuiltin): Likewise.
683 * dmd/dmangle.c: Likewise.
684 * dmd/hdrgen.c: Likewise.
685 * dmd/identifier.c (Identifier::toHChars2): Likewise.
687 2021-04-19 Iain Buclaw <ibuclaw@gdcproject.org>
690 * d-diagnostic.cc (expand_d_format): Handle escaped backticks.
691 (escape_d_format): New funtion.
692 (verror): Call escape_d_format on prefixing strings.
693 (vdeprecation): Likewise.
695 2021-04-17 Iain Buclaw <ibuclaw@gdcproject.org>
698 * d-target.def (d_templates_always_comdat): New hook.
699 * d-tree.h (mark_needed): Remove prototype.
700 * decl.cc: Include d-target.h.
701 (mark_needed): Rename to...
702 (d_mark_needed): ...this. Make static.
703 (set_linkage_for_decl): Put variables in comdat if
704 d_templates_always_comdat.
706 2021-04-17 Iain Buclaw <ibuclaw@gdcproject.org>
708 * d-target.cc (d_handle_target_object_format): New function.
709 (d_language_target_info): Add d_handle_target_object_format as handler
710 for objectFormat key.
711 (Target::getTargetInfo): Continue if handler returned NULL_TREE.
713 2021-04-14 Iain Buclaw <ibuclaw@gdcproject.org>
715 * d-target.cc (Target::_init): Call new targetdm hook to register OS
716 specific target info keys.
717 * d-target.def (d_register_os_target_info): New hook.
719 2021-04-14 Iain Buclaw <ibuclaw@gdcproject.org>
721 * d-builtins.cc (d_add_builtin_version): Remove all setting of
722 target-specific global.params.
723 * typeinfo.cc (create_typeinfo): Don't add argType fields to
726 2021-04-14 Iain Buclaw <ibuclaw@gdcproject.org>
729 * decl.cc (DeclVisitor::visit (StructDeclaration *)): Don't set
730 DECL_INSTANTIATED on static initializer declarations.
731 (DeclVisitor::visit (ClassDeclaration *)): Likewise.
732 (DeclVisitor::visit (EnumDeclaration *)): Likewise.
733 (d_finish_decl): Move call to set_linkage_for_decl to...
734 (declare_extern_var): ...here.
736 2021-04-14 Iain Buclaw <ibuclaw@gdcproject.org>
738 * d-target.cc (Target::_init): Call new targetdm hook to register CPU
739 specific target info keys.
740 * d-target.def (d_register_cpu_target_info): New hook.
742 2021-04-14 Iain Buclaw <ibuclaw@gdcproject.org>
744 * d-target.cc (Target::systemLinkage): Return LINKwindows if
745 d_has_stdcall_convention applies to LINKsystem.
746 * d-target.def (d_has_stdcall_convention): New hook.
747 * types.cc (TypeVisitor::visit (TypeFunction *)): Insert "stdcall"
748 function attribute if d_has_stdcall_convention applies to LINKwindows.
750 2021-04-10 Iain Buclaw <ibuclaw@gdcproject.org>
752 * dmd/MERGE: Merge upstream dmd 0450061c8.
754 2021-04-08 Iain Buclaw <ibuclaw@gdcproject.org>
756 * d-attribs.cc: Include fold-const.h and opts.h.
757 (attr_noreturn_exclusions): Add alloc_size.
758 (attr_const_pure_exclusions): Likewise.
759 (attr_inline_exclusions): Add target_clones.
760 (attr_noinline_exclusions): Rename forceinline to always_inline.
761 (attr_target_exclusions): New array.
762 (attr_target_clones_exclusions): New array.
763 (attr_alloc_exclusions): New array.
764 (attr_cold_hot_exclusions): New array.
765 (d_langhook_common_attribute_table): Add new D attribute handlers.
766 (build_attributes): Update to look for gcc.attributes. Issue warning
767 if not given a struct literal. Handle void initialized arguments.
768 (handle_always_inline_attribute): Remove function.
769 (d_handle_noinline_attribute): Don't extract TYPE_LANG_FRONTEND.
770 (d_handle_forceinline_attribute): Rename to...
771 (d_handle_always_inline_attribute): ...this. Remove special handling.
772 (d_handle_flatten_attribute): Don't extract TYPE_LANG_FRONTEND.
773 (d_handle_target_attribute): Likewise. Warn about empty arguments.
774 (d_handle_target_clones_attribute): New function.
775 (optimize_args): New static variable.
776 (parse_optimize_options): New function.
777 (d_handle_optimize_attribute): New function.
778 (d_handle_noclone_attribute): Don't extract TYPE_LANG_FRONTEND.
779 (d_handle_alias_attribute): Remove function.
780 (d_handle_noicf_attribute): New function.
781 (d_handle_noipa_attribute): New function.
782 (d_handle_section_attribute): Call the handle_generic_attribute target
783 hook after performing target independent processing.
784 (d_handle_symver_attribute): New function.
785 (d_handle_noplt_attribute): New function.
786 (positional_argument): New function.
787 (d_handle_alloc_size_attribute): New function.
788 (d_handle_cold_attribute): New function.
789 (d_handle_restrict_attribute): New function.
790 (d_handle_used_attribute): New function.
791 * decl.cc (gcc_attribute_p): Update to look for gcc.attributes.
792 (get_symbol_decl): Update decl source location of old prototypes to
793 the new declaration being merged.
794 * types.cc (layout_aggregate_members): Apply user defined attributes
797 2021-04-06 Iain Buclaw <ibuclaw@gdcproject.org>
800 * dmd/MERGE: Merge upstream dmd d16195406.
802 2021-04-06 Iain Buclaw <ibuclaw@gdcproject.org>
804 * d-codegen.cc (build_frame_type): Use Array::find to get index of
807 2021-04-06 Iain Buclaw <ibuclaw@gdcproject.org>
809 * d-diagnostic.cc (vwarning): Increment gaggedWarnings if warning
810 message was suppressed.
811 (vdeprecation): Likewise for deprecation messages.
813 2021-04-06 Iain Buclaw <ibuclaw@gdcproject.org>
815 * dmd/MERGE: Merge upstream dmd 5cc71ff83.
817 2021-04-05 Iain Buclaw <ibuclaw@gdcproject.org>
820 * d-lang.cc (d_init): Disable flag_weak_templates if no support for
821 weak or one-only symbols.
822 * d-tree.h (VAR_OR_FUNCTION_DECL_CHECK): New macro.
823 (DECL_INSTANTIATED): New macro.
824 (d_comdat_linkage): Remove declaration.
825 (d_linkonce_linkage): Remove declaration.
826 (set_linkage_for_decl): New declaration.
827 * decl.cc (DeclVisitor::visit (StructDeclaration *)): Replace call to
828 d_linkonce_linkage with setting DECL_INSTANTIATED.
829 (DeclVisitor::visit (ClassDeclaration *)): Likewise.
830 (DeclVisitor::visit (EnumDeclaration *)): Likewise.
831 (DeclVisitor::visit (InterfaceDeclaration *)): Remove call to
833 (get_symbol_decl): Call set_linkage_for_decl instead of
835 (d_finish_decl): Call set_linkage_for_decl.
836 (d_comdat_linkage): Made function static. Only set DECL_COMDAT for
837 DECL_INSTANTIATED decls.
838 (d_linkonce_linkage): Remove function.
839 (d_weak_linkage): New function.
840 (set_linkage_for_decl): New function.
841 * gdc.texi (Runtime Options): Rename -fno-weak to -fno-weak-templates,
842 update documentation of option.
843 * lang.opt (fweak): Rename option to ...
844 (fweak-templates): ... this. Update help string.
845 * modules.cc (get_internal_fn): Add Prot parameter. Set generated
847 (build_internal_fn): Update call to get_internal_fn.
848 (build_dso_cdtor_fn): Likewise.
849 (register_moduleinfo): Call d_finish_decl on dso_slot_node and
850 dso_initialized_node.
851 * typeinfo.cc (TypeInfoVisitor::internal_reference): Call
852 set_linkage_for_decl instead of d_comdat_linkage.
853 (TypeInfoDeclVisitor::visit (TypeInfoDeclaration *)): Remove calls to
854 d_linkonce_linkage and d_comdat_linkage.
855 (get_cpp_typeinfo_decl): Likewise.
857 2021-04-03 Iain Buclaw <ibuclaw@gdcproject.org>
859 * dmd/MERGE: Merge upstream dmd 3b808e838.
860 * Make-lang.in (D_FRONTEND_OBJS): Add d/chkformat.o.
861 * d-codegen.cc (build_struct_literal): Handle special enums.
862 * d-convert.cc (convert_expr): Handle noreturn type.
863 (convert_for_condition): Likewise.
864 * d-target.cc (Target::_init): Set type for wchar_t.
865 (TargetCPP::derivedClassOffset): New method.
866 (Target::libraryObjectMonitors): New method.
867 * decl.cc (get_symbol_decl): Set TREE_THIS_VOLATILE for functions of
869 * toir.cc (IRVisitor::visit (ReturnStatement *)): Handle returning
871 * types.cc (TypeVisitor::visit (TypeNoreturn *)): New method.
872 (TypeVisitor::visit (TypeEnum *)): Handle special enums.
874 2021-03-28 Iain Buclaw <ibuclaw@gdcproject.org>
876 * d-builtins.cc (d_init_versions): Predefine D_PIE if flag_pie is set.
878 2021-03-28 Iain Buclaw <ibuclaw@gdcproject.org>
880 * d-lang.cc (d_enum_underlying_base_type): New function.
881 (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Set as
882 d_enum_underlying_base_type.
884 2021-03-28 Iain Buclaw <ibuclaw@gdcproject.org>
886 * Make-lang.in (DMDGEN_COMPILE): Remove.
887 (d/%.dmdgen.o): Use COMPILER_FOR_BUILD and BUILD_COMPILERFLAGS to
888 build all D generator programs.
889 (D_SYSTEM_H): New macro.
890 (d/idgen.dmdgen.o): Add dependencies to build.
891 (d/impcnvgen.dmdgen.o): Likewise.
892 * d-system.h: Include bconfig.h if GENERATOR_FILE is defined.
894 2021-03-28 Iain Buclaw <ibuclaw@gdcproject.org>
896 * config-lang.in (gtfiles): Remove modules.cc.
897 * modules.cc (struct module_info): Remove GTY marker.
898 (static_ctor_list): Remove variable.
899 (static_dtor_list): Remove variable.
900 (register_moduleinfo): Directly set DECL_STATIC_CONSTRUCTOR on
901 dso_ctor, and DECL_STATIC_DESTRUCTOR on dso_dtor.
902 (d_finish_compilation): Remove static ctor/dtor handling.
904 2021-03-06 Iain Buclaw <ibuclaw@gdcproject.org>
906 * d-lang.cc (d_init_options_struct): Don't set default
909 2021-03-03 Iain Buclaw <ibuclaw@gdcproject.org>
912 * dmd/MERGE: Merge upstream dmd a3c9bf422.
914 2021-02-13 Iain Buclaw <ibuclaw@gdcproject.org>
916 * dmd/MERGE: Merge upstream dmd 7132b3537.
917 * Make-lang.in (D_FRONTEND_OBJS): Add d/dsymbolsem.o, d/semantic2.o,
918 d/semantic3.o, and d/templateparamsem.o.
919 * d-compiler.cc (Compiler::genCmain): Update calls to semantic
920 entrypoint functions.
921 * d-lang.cc (d_parse_file): Likewise.
922 * typeinfo.cc (make_frontend_typeinfo): Likewise.
924 2021-02-05 Iain Buclaw <ibuclaw@gdcproject.org>
926 * d-tree.h (DEF_D_INTRINSIC): Don't insert INTRINSIC_ into the
928 * intrinsics.cc (DEF_D_INTRINSIC): Don't insert INTRISIC_ and
929 BUILT_IN_ into the intrinsic and built-in code names.
930 * intrinsics.def: Explicitly use full intrinsic and built-in
931 codes in all definitions.
933 2021-02-04 Iain Buclaw <ibuclaw@gdcproject.org>
935 * dmd/MERGE: Merge upstream dmd 46133f761.
936 * d-builtins.cc (d_build_builtins_module): Set builtins as BUILTINgcc.
937 (maybe_set_builtin_1): Likewise.
938 * d-frontend.cc (eval_builtin): Adjust condition for early return.
939 * intrinsics.cc (maybe_set_intrinsic): Set intrinsics as BUILTINgcc.
940 (maybe_expand_intrinsic): Add case for INTRINSIC_BSWAP16.
941 * intrinsics.def (INTRINSIC_BT): Update signature.
942 (INTRINSIC_BT64): Likewise.
943 (INTRINSIC_BSWAP16): New intrinsic.
944 (INTRINSIC_VLOAD8): Update module.
945 (INTRINSIC_VLOAD16): Likewise.
946 (INTRINSIC_VLOAD32): Likewise.
947 (INTRINSIC_VLOAD64): Likewise.
948 (INTRINSIC_VSTORE8): Likewise.
949 (INTRINSIC_VSTORE16): Likewise.
950 (INTRINSIC_VSTORE32): Likewise.
951 (INTRINSIC_VSTORE64): Likewise.
952 (INTRINSIC_ADDS): Update signature.
953 (INTRINSIC_ADDSL): Likewise.
954 (INTRINSIC_ADDU): Likewise.
955 (INTRINSIC_ADDUL): Likewise.
956 (INTRINSIC_SUBS): Likewise.
957 (INTRINSIC_SUBSL): Likewise.
958 (INTRINSIC_SUBU): Likewise.
959 (INTRINSIC_SUBUL): Likewise.
960 (INTRINSIC_MULS): Likewise.
961 (INTRINSIC_MULSL): Likewise.
962 (INTRINSIC_MULU): Likewise.
963 (INTRINSIC_MULUI): Likewise.
964 (INTRINSIC_MULUL): Likewise.
965 (INTRINSIC_NEGS): Likewise.
966 (INTRINSIC_NEGSL): Likewise.
968 2021-02-02 Iain Buclaw <ibuclaw@gdcproject.org>
971 * dmd/MERGE: Merge upstream dmd 5e2a81d9c.
973 2021-01-30 Iain Buclaw <ibuclaw@gdcproject.org>
975 * typeinfo.cc (TypeInfoVisitor::visit (TypeInfoDeclaration *)): Don't
976 layout m_arg1 and m_arg2 fields.
978 2021-01-26 Iain Buclaw <ibuclaw@gdcproject.org>
980 * dmd/MERGE: Merge upstream dmd 609c3ce2d.
981 * d-compiler.cc (Compiler::loadModule): Rename to ...
982 (Compiler::onParseModule): ... this.
983 (Compiler::onImport): New function.
984 * d-lang.cc (d_parse_file): Remove call to Compiler::loadModule.
986 2021-01-21 Iain Buclaw <ibuclaw@gdcproject.org>
988 * dmd/MERGE: Merge upstream dmd 3a7ebef73.
990 2021-01-11 Iain Buclaw <ibuclaw@gdcproject.org>
992 * dmd/MERGE: Merge upstream dmd 2d3d13748.
993 * d-lang.cc (d_handle_option): Remove OPT_ftransition_checkimports and
994 OPT_ftransition_import.
995 * gdc.texi (Warnings): Remove documentation for -ftransition=import
996 and -ftransition=checkimports.
997 * lang.opt (ftransition=checkimports): Remove.
998 (ftransition=import): Remove.
1000 2021-01-09 Iain Buclaw <ibuclaw@gdcproject.org>
1002 * dmd/MERGE: Merge upstream dmd cb1106ad5.
1004 2021-01-09 Iain Buclaw <ibuclaw@gdcproject.org>
1006 * dmd/MERGE: Merge upstream dmd 9bba772fa.
1008 2021-01-09 Iain Buclaw <ibuclaw@gdcproject.org>
1010 * dmd/MERGE: Merge upstream dmd e598f69c0.
1012 2021-01-07 Iain Buclaw <ibuclaw@gdcproject.org>
1014 * dmd/MERGE: Merge upstream dmd 9038e64c5.
1015 * d-builtins.cc (build_frontend_type): Update call to
1018 2021-01-05 Iain Buclaw <ibuclaw@gdcproject.org>
1020 * dmd/MERGE: Merge upstream dmd a5c86f5b9.
1021 * d-builtins.cc (d_eval_constant_expression): Handle ADDR_EXPR trees
1022 created by build_string_literal.
1023 * d-frontend.cc (retStyle): Remove function.
1024 * d-target.cc (d_language_target_info): New variable.
1025 (d_target_info_table): Likewise.
1026 (Target::_init): Initialize d_target_info_table.
1027 (Target::isReturnOnStack): New function.
1028 (d_add_target_info_handlers): Likewise.
1029 (d_handle_target_cpp_std): Likewise.
1030 (d_handle_target_cpp_runtime_library): Likewise.
1031 (Target::getTargetInfo): Likewise.
1032 * d-target.h (struct d_target_info_spec): New type.
1033 (d_add_target_info_handlers): Declare.
1035 2021-01-01 Jakub Jelinek <jakub@redhat.com>
1037 * gdc.texi: Bump @copyrights-d year.
1039 2021-01-01 Jakub Jelinek <jakub@redhat.com>
1041 * ChangeLog-2020: Rotate ChangeLog. New file.
1044 Copyright (C) 2021 Free Software Foundation, Inc.
1046 Copying and distribution of this file, with or without modification,
1047 are permitted in any medium without royalty provided the copyright
1048 notice and this notice are preserved.