Veikka Tuominen
37afab2add
Sema: preserve alignment of const decl pointers
...
Closes #12769
2022-09-08 00:37:11 +03:00
Veikka Tuominen
0fa80e66b7
Sema: correct types in @memset and @memcpy
...
Closes #12750
2022-09-08 00:37:11 +03:00
Jakub Konka
0e152b76ac
tests: force LLD off for stage2 backends until auto-select deems worthy
2022-09-07 23:16:42 +02:00
Jakub Konka
c4d297b1af
test-cases: add missing incremental x86_64-windows test cases
2022-09-07 22:42:59 +02:00
Jakub Konka
945111ae92
enable testing of x86_64-windows-gnu using self-hosted backend and linker
2022-09-07 22:42:58 +02:00
Jakub Konka
56a131d27a
test-cases: fix compiler error locations for hello world with updates
2022-09-07 22:42:57 +02:00
Jakub Konka
a35f156cf6
coff: re-enable default entrypoint for Windows
2022-09-07 22:42:55 +02:00
Evan Haas
e283a40d17
translate-c: convert tabs to \t in object-like macro string literals
...
Closes #12549
2022-09-07 14:46:58 +03:00
Andrew Kelley
b7900de168
Merge remote-tracking branch 'origin/master' into llvm15
2022-09-06 19:45:02 -07:00
Veikka Tuominen
9ce841a0f0
stage2 llvm: implement aarch64 C ABI
...
... at least enough to pass all the current tests.
2022-09-04 18:46:56 +03:00
riChar
349cf54b32
llvm: fix the type parameter of GlobalAlias
...
Closes 12680
2022-09-04 18:44:45 +03:00
Veikka Tuominen
c7884af063
translate-c: do not translate packed C structs as packed Zig structs in stage2
...
Zig's integer backed packed structs are not compatible with C's packed structs.
2022-09-03 03:42:42 +03:00
Veikka Tuominen
b83c037f9f
Sema: only ABI sized packed structs are extern compatible
2022-09-03 01:04:46 +03:00
Veikka Tuominen
f281f3d10e
Sema: improve behavior of comptime_int backed enums
2022-09-02 17:57:11 +03:00
Veikka Tuominen
a9cdacff95
Sema: add error for enum tag value overflow
...
Closes #12291
2022-09-02 17:57:11 +03:00
Veikka Tuominen
7a51e0befe
Sema: fix noalias coercion error message
...
Closes #11769
2022-09-02 17:57:11 +03:00
Veikka Tuominen
1c4c68e6ba
AstGen: use reachableExpr for try operand
...
Closes #12248
2022-09-02 17:57:10 +03:00
Veikka Tuominen
db54cd247d
Sema: do not emit dbg_inline_end after NoReturn
...
Closes #12698
2022-09-02 17:57:10 +03:00
Veikka Tuominen
8b58dab78b
Sema: resolve lazy value before intToFloat
...
Closes #12698
2022-09-02 17:57:10 +03:00
Veikka Tuominen
7a8d9af4a9
stage2 llvm: correct handling of zero-bit types in unionFieldPtr
...
Pointers to zero-bit types are not zero-bit types so the function should
return something.
Closes #12716
2022-09-02 17:57:10 +03:00
Veikka Tuominen
4462d08224
stage2 llvm: fix passing packed structs to callconv(.C) functions
...
Closes #12704
2022-09-02 17:57:10 +03:00
Veikka Tuominen
2cd3989cb3
Sema: add more validation to coerceVarArgParam
...
Closes #12706
2022-09-01 13:16:33 +03:00
Veikka Tuominen
26e9839132
disable test for non-llvm backends
...
Follow up to fdb88708527742e450e4c566024d9d50ce61dd8d
2022-08-31 16:46:51 +03:00
Evan Haas
fdb8870852
translate-c: promote large integer macros to unsigned long long if necessary
...
Closes #10793
Co-authored-by: Veikka Tuominen <git@vexu.eu>
2022-08-31 15:52:53 +03:00
Luuk de Gram
4ba0ad295f
Merge pull request #12687 from Luukdegram/wasm-extern-globals
...
wasm-linker: implement non-function extern variables
2022-08-31 13:44:06 +02:00
Andrew Kelley
ea4ef832e3
fix llvm 15 translate-c regressions
...
by inserting explicit casts.
closes #12682
2022-08-30 19:11:31 -07:00
Andrew Kelley
fb81ba8762
LLVM: fix extern functions missing attributes
...
Extern functions were missing attributes such as "readonly" on
non-optional pointers, and "byval" which is required to match C ABI.
Follow-up from bf28765a975355c27558eaa86cf00ccb29b663a7.
closes #12683
2022-08-30 14:45:03 -07:00
Andrew Kelley
1e21876de2
Merge remote-tracking branch 'origin/master' into llvm15
2022-08-30 13:02:43 -07:00
Andrew Kelley
7377dce368
avoid exposing supportsTailCall in the standard library
...
This is problematic because in practice it depends on whether the
compiler backend supports it too, as evidenced by the TODO comment about
LLVM not supporting some architectures that in fact do support tail
calls.
Instead this logic is organized strategically in src/target.zig, part of
the internal compiler source code, and the behavior tests in question
duplicate some logic for deciding whether to proceed with the test.
The proper place to expose this flag is in `@import("builtin")` - the
generated source file - so that third party compilers can advertise
whether they support tail calls.
2022-08-30 12:50:15 -07:00
Veikka Tuominen
65d3723968
Sema: check that target supports tail calls
2022-08-30 12:22:07 -07:00
Veikka Tuominen
c558de6655
stage2 llvm: use tag value instead of field index in airUnionInit
...
Closes #12656
2022-08-30 12:22:07 -07:00
Veikka Tuominen
d3b4b2edf1
Sema: shift of comptime int with runtime value
...
Closes #12290
2022-08-30 12:22:07 -07:00
Veikka Tuominen
01d19a8d3c
Sema: do not emit generic poison for non generic parameters
...
Closes #12679
2022-08-30 12:22:07 -07:00
Veikka Tuominen
67a44211f7
Sema: improve handling of always_tail call modifier
...
Closes #4301
Closes #5692
Closes #6281
Closes #10786
Closes #11149
Closes #11776
2022-08-30 12:22:07 -07:00
Luuk de Gram
8627858bbc
test/link: add test for extern resolution
...
Adds a linker tests to verify extern/undefined symbols
representing non-functions are being resolved correctly.
2022-08-30 18:32:08 +02:00
Jakub Konka
e57fbe8069
test-cases: fix compiler error locations for hello world with updates
2022-08-30 11:01:08 +02:00
Andrew Kelley
1cb8065a52
skip new behavior tests that do not pass for stage1
2022-08-29 22:58:24 -07:00
Andrew Kelley
3c506c8aaa
disable tests failing due to LLVM 15 regressions
2022-08-29 22:58:24 -07:00
Andrew Kelley
d2d42cf7ba
Merge pull request #12641 from Luukdegram/wasm-c-types
...
stage2: fix size of c_longdouble for Wasm target
2022-08-29 18:21:38 -04:00
Veikka Tuominen
a4b52ccd9f
Sema: fix access of inactive union field when enum and union fields are in different order
...
Closes #12667
2022-08-29 13:45:37 -07:00
Luuk de Gram
1eb22e7ad6
wasm: skip unimplemented behavior test
...
Since now the size of a c_longdouble is correctly 16 bytes,
the test is no longer passing. It was previously accidentally passing
due to incorrect sizing and it not being larger than the size
of a f64.
disable long_double test for windows
2022-08-28 17:50:07 +02:00
Veikka Tuominen
15cc4514e0
Sema: add missing calls to resolveStructLayout
...
Closes #12645
2022-08-28 15:41:21 +03:00
Veikka Tuominen
e2dc77ab62
Sema: correct one possible value for tuples
...
Closes #12376
2022-08-28 15:41:21 +03:00
Veikka Tuominen
776caaf999
Sema: fix handling of non-standard int types in empty non-exhaustive enums
...
Closes #12649
2022-08-28 15:41:21 +03:00
Veikka Tuominen
6aead18ab3
add error tests for now correctly behaving cases
...
Closes #6377
2022-08-28 15:41:21 +03:00
Veikka Tuominen
1401890ed5
Sema: add error for switch on slice
...
Closes #12651
2022-08-28 15:41:21 +03:00
Veikka Tuominen
fc213e2d61
AstGen: add error for named function type
...
Closes #12660
2022-08-28 15:41:21 +03:00
antlilja
ae8d26a6a0
Sema: add error for non-comptime param in comptime func
...
Adds error for taking a non comptime parameter in a function returning a
comptime-only type but not when that type is dependent on a parameter.
Co-authored-by: Veikka Tuominen <git@vexu.eu>
2022-08-27 11:17:48 +03:00
David Gonzalez Martin
da95da438e
Add behavior test coverage for nested packed struct field access
...
Closes #3091
2022-08-26 21:43:38 -04:00
Luuk de Gram
91dba79c48
wasm: fix abi size of c_longdouble
...
According to https://github.com/WebAssembly/tool-conventions/blob/main/BasicCABI.md
the size of c's long double is 16 bytes for Wasm, rather than 8 bytes
which was the value previously in the compiler. This ensures
we not only pass the correct value, but also creates the correct
function signature needed to pass the Wasm validator.
This also adds an additional test case in c_abi tests.
2022-08-26 21:01:05 +02:00