Commit Graph

1405 Commits

Author SHA1 Message Date
Ralf Jung
fb4738571f Miri function identity hack: account for possible inlining 2024-08-12 15:15:14 +02:00
Michael Goulet
007fa3b94e Fix spans 2024-08-12 15:15:14 +02:00
Michael Goulet
3eb28444b5 Give Instance::expect_resolve a span 2024-08-12 15:15:14 +02:00
antoyo
2cc32badb4
Merge pull request #554 from sapir/remove-void-func-debug-var
Remove dummy value locals for function ptr calls
2024-08-07 08:20:27 -04:00
sapir
4fe1647d21 Remove dummy value locals for function ptr calls 2024-08-07 13:45:19 +03:00
antoyo
fb95096593
Merge pull request #549 from sapir/value-counter
Replace stack_var_count and RETURN_VALUE_COUNT with a single counter
2024-08-05 13:38:30 -04:00
antoyo
0475182ddc
Merge pull request #548 from sapir/code-model
Code model
2024-08-05 13:36:46 -04:00
sapir
014a84029c Replace stack_var_count and RETURN_VALUE_COUNT with a single counter 2024-08-05 01:23:47 +03:00
sapir
f579dee206 Implement CodeModel 2024-08-05 00:37:59 +03:00
sapir
f7f9a3fb28 Update Cargo.lock 2024-08-05 00:37:51 +03:00
antoyo
98ed962c7d
Merge pull request #535 from rust-lang/sync_from_rust_2024_07_02
Sync from rust 2024/07/02
2024-07-05 16:09:54 -04:00
Antoni Boucher
5681c3cf68 Cleanup 2024-07-05 15:35:57 -04:00
Antoni Boucher
0b5be441cf Fix for gcc-13 without int128 2024-07-05 14:58:07 -04:00
Antoni Boucher
14d327a265 Disable run-make tests 2024-07-05 13:44:25 -04:00
Antoni Boucher
fe054be06e Second attempt at fixing LTO tests
FIXME: we now have fat LTO objects even when only bitcode is requested.
2024-07-05 11:55:08 -04:00
Antoni Boucher
bc8520d98e Revert "Fix LTO tests"
This reverts commit 2d123d08c9.
2024-07-05 11:35:16 -04:00
Antoni Boucher
2d123d08c9 Fix LTO tests
FIXME: we now have fat LTO objects even when only bitcode is requested.
2024-07-05 10:42:03 -04:00
Antoni Boucher
fc2eee58d2 Ignore more tests 2024-07-02 13:37:34 -04:00
Antoni Boucher
3e91e162f9 Ignore a stdarch test that will fail until the stdarch version in rustc is updated 2024-07-02 13:33:26 -04:00
Antoni Boucher
59de4fa991 Fix type of intrinsics 2024-07-02 12:55:30 -04:00
Antoni Boucher
63d308bd76 Fix broken libgccjit 12 CI 2024-07-02 12:43:41 -04:00
Antoni Boucher
6099d97bcb Fix rebase 2024-07-02 12:40:45 -04:00
Antoni Boucher
05a41b88a9 Merge branch 'master' into sync_from_rust_2024_07_02 2024-07-02 12:40:16 -04:00
Antoni Boucher
ee41c1904a Update to nightly-2024-07-02 2024-07-02 12:33:09 -04:00
Antoni Boucher
4d3d0d492f Fix intrinsic/generic-arithmetic-pass.rs test 2024-07-02 12:28:44 -04:00
Antoni Boucher
cd014cda8c Replace the type of global variables instead of replacing them 2024-07-02 12:28:25 -04:00
Antoni Boucher
606196b0cf Comment libgccjit 12 CI 2024-07-02 12:28:19 -04:00
Guillaume Gomez
2ecab996f8 Fix build failure in cfg-if 2024-07-02 12:27:34 -04:00
Antoni Boucher
bbc765b49b Fix clippy warnings 2024-07-02 12:27:31 -04:00
Antoni Boucher
21b1b11981 WIP: Implement dummy ThinLTO
FIXME: This seems very slow.
==> Not sure anymore: compare with the master branch.
2024-07-02 12:27:25 -04:00
Antoni Boucher
9ca7658817 Fix tests 2024-07-02 12:27:18 -04:00
Antoni Boucher
e8e6663167 Fix provenance intrinsics 2024-07-02 12:25:29 -04:00
Antoni Boucher
0ffcbb0f6e Remove the hack in zext
TODO: make sure this doesn't break something else.
2024-07-02 12:24:47 -04:00
Guillaume Gomez
dd4a546de0 Add explanations for ptr func call argument cast 2024-07-02 12:24:11 -04:00
Guillaume Gomez
527c049584 Fix warnings 2024-07-02 12:24:07 -04:00
Guillaume Gomez
ca654047fb Add missing cast for function_ptr arguments 2024-07-02 12:24:03 -04:00
Guillaume Gomez
30ee7ba862 Add shl and shr missing casts 2024-07-02 12:23:55 -04:00
Guillaume Gomez
684a69b4e6 Update gcc version to 272d0ccced960394fe6ff2b40b01610208cb4940 2024-07-02 12:23:39 -04:00
Guillaume Gomez
068fe5d10a If the type of a global is not the same, we remove the global and replace it with a new one 2024-07-02 12:23:33 -04:00
Guillaume Gomez
a89f17869c Fix stdarch crate add patch 2024-07-02 12:21:28 -04:00
Guillaume Gomez
621e948721 Fix clippy lint 2024-07-02 12:21:25 -04:00
Guillaume Gomez
fd7979d46d Remove usage of -Zno-parallel-llvm 2024-07-02 12:21:16 -04:00
Guillaume Gomez
7615e04f82 Fix usage of get_size for gcc 12 2024-07-02 12:20:47 -04:00
Guillaume Gomez
9b1211db58 Fix casts 2024-07-02 12:20:42 -04:00
Guillaume Gomez
263166894a Update libgccjit version 2024-07-02 12:20:38 -04:00
Guillaume Gomez
580e5ba456 Format code 2024-07-02 12:20:34 -04:00
Guillaume Gomez
f848dbbda5 Fix non-master build 2024-07-02 12:20:30 -04:00
Guillaume Gomez
8e819fbb5c Fix libcore patch 2024-07-02 12:20:25 -04:00
antoyo
173773e4b4
Merge pull request #534 from antoyo/master
Sync from fork
2024-06-25 09:36:10 -04:00
antoyo
70d36558ee
Merge pull request #17 from zedar/add_support_for_float16_float128
Add support for Float16, Float32, Float64 and Float128
2024-06-25 09:33:02 -04:00