173 commits

Author	SHA1	Message	Date
Andrew Kelley	881e931ee1	x86_64 backend: implement @memset for element ABI size > 1 ... * make memset and memset_safe guarantee that if the length is comptime-known then it will be nonzero.	2023-04-25 11:23:41 -07:00
Andrew Kelley	7c56145a76	add behavior test for @memset on slices ... and avoid new language feature in std.ArrayList for now, until x86_64 self-hosted backend can implement it.	2023-04-25 11:23:41 -07:00
Andrew Kelley	482a0f648c	Sema: implement comptime @memcpy	2023-04-25 11:23:41 -07:00
Andrew Kelley	83a7303bbf	Sema: implement comptime @memset	2023-04-25 11:23:41 -07:00
Andrew Kelley	057c950093	LLVM backend: support non-byte-sized memset ... Also introduce memset_safe AIR tag and support it in C backend and LLVM backend.	2023-04-25 11:23:41 -07:00
Andrew Kelley	a5c910adb6	change semantics of @memcpy and @memset ... Now they use slices or array pointers with any element type instead of requiring byte pointers. This is a breaking enhancement to the language. The safety check for overlapping pointers will be implemented in a future commit. closes #14040	2023-04-25 11:23:40 -07:00
Jacob Young	a1fcb51692	cbe: fix mutability issues with builtin test_functions	2023-04-25 13:42:10 -04:00
Jacob Young	83a208c355	x86_64: implement large cmp	2023-04-02 04:49:53 -04:00
Jakub Konka	dc1f50e505	Merge pull request #14685 from ziglang/bitcast-fixes ... Bitcast fixes for self-hosted native backends	2023-02-20 23:01:21 +01:00
Jakub Konka	a7de8dc2dd	x86: alloc new mcv in bitcast if cannot reuse operand ... Implement missing pointees when ptr is in register.	2023-02-20 10:52:26 +01:00
Andrew Kelley	ec4cd87ed7	add test coverage for fixed bug. closes #5518	2023-02-19 21:18:27 -07:00
Veikka Tuominen	629c3108aa	AstGen: fix orelse type coercion in call arguments ... Closes #14506	2023-02-02 00:31:35 +02:00
Isaac Freund	23b7d28896	std: restrict mem.span() and mem.len() to sentinel terminated pointers ... These functions are currently footgunny when working with pointers to arrays and slices. They just return the stated length of the array/slice without iterating and looking for the first sentinel, even if the array/slice is a sentinel terminated type. From looking at the quite small list of places in the standard library/compiler that this change breaks existing code, the new code looks to be more readable in all cases. The usage of std.mem.span/len was totally unneeded in most of the cases affected by this breaking change. We could remove these functions entirely in favor of other existing functions in std.mem such as std.mem.sliceTo(), but that would be a somewhat nasty breaking change as std.mem.span() is very widely used for converting sentinel terminated pointers to slices. It is however not at all widely used for anything else. Therefore I think it is better to break these few non-standard and potentially incorrect usages of these functions now and at some later time, if deemed worthwhile, finally remove these functions. If we wait for at least a full release cycle so that everyone adapts to this change first, updating for the removal could be a simple find and replace without needing to worry about the semantics.	2023-01-29 15:07:06 -05:00
joachimschmidt557	09122650ba	stage2 AArch64: bump up alignment of stack items fitting in regs ... This enables us to use more efficient loading and storing for these small stack items	2023-01-03 19:56:09 +01:00
kcbanner	fc84b233ee	skip "truncate to non-power-of-two integers from 128-bit" on non-llvm	2023-01-02 13:56:32 -07:00
kcbanner	676e4f3824	cbe: changes to get zig2.c compiling under msvc ... - Add cpuid / getXCR0 functions for the cbe to use instead of asm blocks - Don't cast between 128 bit types during truncation - Fixup truncation to use functions for shifts / adds - Fixup float casts for undefined values - Add test for 128 bit integer truncation	2023-01-01 16:44:29 -05:00
joachimschmidt557	d6e6162081	stage2 AArch64: unify callee-preserved regs on all targets ... also enables many passing behavior tests	2022-12-27 21:17:52 +08:00
Veikka Tuominen	08b2d491bc	update usages of @call	2022-12-13 13:14:20 +02:00
Koakuma	f9e9ba784f	stage2: sparc64: Skip unimplemented tests	2022-12-10 21:51:46 +07:00
Andrew Kelley	1310ef7577	disable failing behavior tests with -ofmt=c -target x86_64-windows ... and enable CI checks for the C backend on Windows.	2022-12-07 04:01:04 -05:00
Andrew Kelley	c8aba15c22	remove references to stage1 in behavior tests ... Good riddance.	2022-12-06 19:06:48 -07:00
Jacob Young	81c271cc62	cbe: don't emit extern decls that are already exported	2022-12-03 08:21:03 -05:00
Jacob Young	fdedd62365	cbe: use memcpy for underaligned loads and stores	2022-12-02 22:21:24 -05:00
Veikka Tuominen	6ded2d2adb	cbe: disable failing behavior test on aarch64	2022-12-01 12:18:10 +02:00
Veikka Tuominen	63ae7899ae	cbe: ensure test and tagName function names are unique	2022-11-30 15:14:33 +02:00
Veikka Tuominen	6f5a438946	AstGen: unstack block scope when creating opaque type ... Closes #13697	2022-11-29 21:44:08 +02:00
Veikka Tuominen	98b3734b67	Sema: prioritize Value.variable over OPV when resolving const value ... Closes #12275	2022-11-20 20:25:12 +02:00
Jacob Young	91fe0b80a2	cbe: fix threadlocal	2022-11-01 20:38:51 -04:00
Jacob Young	a77d89afe3	behavior: enable fixed cbe tests	2022-10-30 15:38:50 -04:00
Jacob Young	a12535f501	cbe: fix global access	2022-10-25 05:11:28 -04:00
Jacob Young	6a4266d62a	cbe: fix infinite recursion on recursive types	2022-10-25 05:11:28 -04:00
Jacob Young	525dcaecba	behavior: enable stage2_c tests that are currently passing ... Also fix C warnings triggered by these tests.	2022-10-25 05:11:28 -04:00
r00ster91	51d9db8569	fix(text): hyphenate "comptime" adjectives	2022-10-05 21:19:30 +02:00
Andrew Kelley	ab3ac291ac	Merge remote-tracking branch 'origin/master' into llvm15	2022-09-11 20:26:53 -07:00
joachimschmidt557	b976997e16	stage2 ARM: implement ptr_elem_val	2022-09-09 19:17:18 +02:00
joachimschmidt557	3794f2c493	stage2 ARM: implement struct_field_val for registers	2022-09-09 19:17:18 +02:00
joachimschmidt557	261fec8036	stage2 ARM: amend implementation of various AIR instructions ... - unwrap_errunion_err for registers - unwrap_errunion_payload for registers - ptr_slice_len_ptr for all MCValues - ptr_slice_ptr_ptr for all MCValues	2022-09-09 19:17:17 +02:00
Andrew Kelley	3c506c8aaa	disable tests failing due to LLVM 15 regressions	2022-08-29 22:58:24 -07:00
Veikka Tuominen	c17793b487	Sema: ignore current declaration in ambiguous reference error ... Closes #12429	2022-08-16 16:37:27 +03:00
Andrew Kelley	9964324856	disable flaky behavior test ... see #12208	2022-07-23 20:03:50 -07:00
Andrew Kelley	e8ce1728e9	disable regressed wasm32 behavior tests from LLVM 14	2022-07-05 15:46:12 -07:00
Andrew Kelley	c3ae909e93	Revert "AstGen: preserve inferred ptr result loc for breaks" ... This reverts commit 8bf3e1f8d0, which introduced miscompilations for peer expressions any time they needed coercions to runtime types. I opened #11957 as a proposal to accomplish the goal of the reverted commit. Closes #11898	2022-06-28 18:38:25 -07:00
joachimschmidt557	960c142060	stage2 ARM: implement basic intCast and error union wrapping	2022-06-25 21:16:51 +02:00
Koakuma	672d6df429	stage2: sparc64: Skip Sema-failing tests for now	2022-06-24 21:19:33 +07:00
Veikka Tuominen	eaa6b04c3c	Sema: skip decl causing namespace lookup when doing lookup	2022-06-11 11:02:56 +03:00
Veikka Tuominen	84000aa820	Sema: fix inline call of func using ret_ptr with comptime only type	2022-06-06 13:11:50 -07:00
Veikka Tuominen	8fa88c88c2	AstGen: fix coercion scope type when stores are eliminated	2022-06-06 13:11:50 -07:00
Veikka Tuominen	a040ccb42f	Sema: fix coerce result ptr outside of functions	2022-06-06 13:11:50 -07:00
Veikka Tuominen	9431100736	Sema: apply previous changes to validateUnionInit	2022-06-01 13:01:39 +03:00
Veikka Tuominen	36df79cd37	stage2: ignore generic return type when hashing function type ... Generic parameter types are already ignored.	2022-05-31 16:43:58 +03:00