mirrors/zig
1
0
Fork 0
mirror of https://codeberg.org/ziglang/zig.git synced 2025-12-07 14:24:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1
33513 commits 45 branches 24 tags 586 MiB
Commit graph

379 commits

Author SHA1 Message Date
Veikka Tuominen
901c3e9636
Merge pull request #13552 from hryx/comparus-tautologicus 
Sema: elide integer comparisons with guaranteed outcomes
 2022-12-18 01:57:49 +02:00
Evin Yulo
8c8f6bfa64 Add test for #13366 
Closes #13366
 2022-12-16 18:21:56 +02:00
Evin Yulo
b5d1df091b Add test for #12571 
Closes #12571
 2022-12-16 18:19:32 +02:00
Travis Staloch
1ebb761244 codegen - lower str_lit to vector 2022-12-16 06:08:10 -05:00
Stevie Hryciw
e57e835904 Sema: elide integer comparisons with guaranteed outcomes 2022-12-15 00:56:27 -08:00
IntegratedQuantum
0b4461d97b
Fix tautological big_int tests. 2022-12-14 00:29:25 +00:00
r00ster91
654e30069d behavior and cases: more test coverage for old issues 
Closes #2622
Closes #2727
Closes #6047
Closes #6947
Closes #6656
 2022-12-10 12:34:42 +01:00
r00ster91
bf863878ac behavior: add test coverage for slice and array-related issues 
Closes #10684
Closes #6905
Closes #8646
 2022-12-10 12:34:42 +01:00
r00ster91
7a8f7dcb8c behavior: add test coverage for corrupted slice in release 
Closes #7325
 2022-12-10 12:34:42 +01:00
r00ster91
75f8c04d6d behavior: add test coverage for slicing zero length array field of struct 
Closes #11787
 2022-12-10 12:33:17 +01:00
Veikka Tuominen
ee9fc54cd0 TypedValue: fix handling of tuples represented as empty_struct_value 2022-12-08 22:21:49 +02: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
Veikka Tuominen
0e38cc16d5 Sema: fix comparisons between lazy and runtime values 
Closes #12498
 2022-12-03 00:09:23 +02:00
Veikka Tuominen
f4afeb3ffd AstGen: fix incorrect handling of source cursor with shift builtins 
Closes #13714
 2022-11-30 17:11:06 +02:00
Veikka Tuominen
6f9c7e33b9 llvm: implement union_init for packed unions 
Closes #13664
 2022-11-29 15:47:02 +02:00
Veikka Tuominen
8eea73fb92 add tests for tuple declarations 2022-11-23 22:16:31 +02:00
Cody Tapscott
b1357091ae Add test case for #12043 
This bug is already resolved, just want to make sure we don't lose
the test case. Closes #12043
 2022-11-10 12:23:59 -07:00
Cody Tapscott
8f3880074f stage2: Be more strict about eliding loads 
This change makes any of the `*_val` instructions check whether it's
safe to elide copies for by-ref types rather than performing this
elision blindly.

AIR instructions fixed:
 - .array_elem_val
 - .struct_field_val
 - .unwrap_errunion_payload
 - .try
 - .optional_payload

These now all respect value semantics, as expected.

P.S. Thanks to Andrew for the new way to approach this. Many of the
lines here are from his recommended change, which comes with the
significant advantage that loads are now as small as the intervening
memory access allows.

Co-authored by: Andrew Kelley <andrew@ziglang.org>
 2022-11-10 12:22:40 -07:00
Cody Tapscott
ff699722da stage2: Fix comptime array initialization 
This is a follow-up to 9dc98fba, which made comptime initialization
patterns for union/struct more robust, especially when storing to
comptime-known pointers (and globals).

Resolves #13063.
 2022-11-10 12:22:37 -07:00
Micah Switzer
ea54c9a375 Sema: resolve lazy align in zirReify for union fields 
Closes #13435
 2022-11-04 15:48:08 +02:00
Jacob Young
48a2783969 cbe: implement optional slice representation change 2022-10-29 05:58:41 -04:00
Veikka Tuominen
4ac8ec4c5c AstGen: fix refing inferred allocs 
Closes  #13285
 2022-10-27 01:31:18 +03:00
Veikka Tuominen
78a7bb108a llvm: handle namespace like packed structs 
Closes #13159
Closes #13188
 2022-10-27 01:31:18 +03:00
Jacob Young
45c667eb21 behavior: fix redefined exports 2022-10-25 05:11:28 -04:00
Veikka Tuominen
9a52abf3b4 Sema: add missing calls to wip_captures.finalize 
Closes #13171
 2022-10-20 20:11:12 +03:00
Veikka Tuominen
4aaff75c81 Sema: resolve tuple default values before hashing 
Closes #12488
 2022-10-19 01:38:19 +03:00
Veikka Tuominen
6582896ee0 Sema: remove unresolved inferred allocs 
Closes #2557
 2022-10-19 01:38:19 +03:00
Veikka Tuominen
4e134f6dcb Sema: respect inline call semantics 
If an argument is comptime-known but shouldn't be create an alloc
to store it in to get a runtime-known value.
 2022-10-19 01:38:18 +03:00
Veikka Tuominen
be9a4a1f97 Sema: handle noreturn in boolBr 
Closes #13112
 2022-10-17 18:53:15 +03:00
Jacob Young
cb0e22db4e llvm: fix lowering of runtime refs to comptime-only decls 
When we want a runtime pointer to a zero-bit value we use an undef
pointer, but what if we want a runtime pointer to a comptime-only value?
Normally, if `T` is a comptime-only type such as `*const comptime_int`,
then `*const T` would also be a comptime-only type, so anything
referencing a comptime-only value is usually also comptime-only, and
therefore not emitted to the executable.

However, what if instead we have a `*const anyopaque` pointing to a
comptime-only value?  Certainly, `*const anyopaque` is a runtime type,
and so we need some runtime value to store, even when it happens to be
pointing to a comptime-only value.  In this case we want to do the same
thing as we do when pointing to a zero-bit value, so we use
`hasRuntimeBits` to handle both cases instead of ignoring comptime.

Closes #12025
 2022-10-15 14:17:25 -04:00
Jacob Young
400319872b llvm: fix bug lowering aggregate_init with a byref sentinel 
Closes #12972
 2022-10-15 11:12:04 -04:00
Cody Tapscott
83e2d3fb37 stage1: Skip new tests that never passed in stage1 
This gets the behavior tests passing for stage1 again.
 2022-10-13 12:53:20 -07:00
kkHAIKE
d987bf859e Sema: add float128IntPartToBigInt to fix compare comptime float with int 2022-10-13 13:11:13 +02:00
jacobly0
562ac8be48
codegen: add support for lowering .field_ptr on a slice 
Closes #13068
 2022-10-12 12:40:59 +03:00
Cody Tapscott
e6ebdcb82e stage2 LLVM: Use a packed aggregate for union payload init 
Without the packed qualifier, the type layout that we use to
initialize doesn't match the correct layout of the underlying
storage, causing corrupted data and past-the-end writes.
 2022-10-11 15:42:01 -04:00
Veikka Tuominen
40578656e8 Zir: handle ranges in getMultiProng 
Closes #12890
 2022-10-05 17:26:29 +03:00
Andrew Kelley
ff534d2267
Merge pull request #12979 from Vexu/inline-switch 
Implement inline switch cases
 2022-10-03 23:43:09 -04:00
Veikka Tuominen
2a4e89e0c9 Type: correctly handle ABI align strat for optionals and error unions 
Closes #12984
 2022-09-30 00:46:45 +03:00
kkHAIKE
317cb629fb Sema: fix resolveInferredErrorSet panic when generic inline function 2022-09-29 14:44:37 +03:00
Veikka Tuominen
5baaf90e3c Sema: implement non-special inline switch prongs 2022-09-27 18:33:23 +03:00
Veikka Tuominen
8e4d0ae4f5 Sema: avoid generic parameter error in nested function type 
Related to cd1833044a
Closes #12945
 2022-09-24 15:15:36 +03:00
Veikka Tuominen
3a5148112d Sema: avoid using pointerDecl when dealing with slices 
Closes #12885
 2022-09-24 14:43:03 +03:00
Veikka Tuominen
ede3798485 Sema: resolve struct layout in zirStructInit 
Closes #12911
 2022-09-23 17:39:21 +03:00
Veikka Tuominen
8d1fdfc8ed Sema: preserve volatileness when constructing field pointers 
Closes #12928
 2022-09-23 17:39:06 +03:00
kkHAIKE
183127733c AstGen: make loop body's ResultLoc .none 
Fixes #12555
Fixes #12551
Fixes #12455
 2022-09-21 20:20:05 +03:00
Veikka Tuominen
5e4483fff8 Sema: handle comptime fields in field call bind 
Closes #12801
 2022-09-15 00:50:18 +03:00
Veikka Tuominen
930f904aaa Sema: resolve lazy align in reifyStruct 
Closes #12786
 2022-09-15 00:48:47 +03:00
Veikka Tuominen
de24cea2cf Sema: handle empty_struct_value in beginComptimePtrMutation 
Closes #12794
 2022-09-15 00:48:47 +03:00
Veikka Tuominen
c7e45aebaf llvm: handle pointers in packed structs in more places 
Closes #12776
 2022-09-08 12:51:40 +03:00