Commit Graph

1466 Commits

Author SHA1 Message Date
Oliver Scherer 4db0eea010 Fix indentation 2019-06-14 10:44:08 +02:00
Kenny Goodin 46b6a3fb7f Add more missing math functions
Add missing functions for atan2, cosh, sinh, and tan.
Also add f32 calls and tests for cbrt and hypot.
2019-06-13 22:28:22 -04:00
Ralf Jung ad0c941547 rustup for lifetime refactorings 2019-06-13 09:18:03 +02:00
Kenny Goodin 535914e3dc Implement cbrt and hypot function calls
Test cases are added to `tests/run-pass/intrinsics-math.rs`
2019-06-12 15:44:30 -04:00
Ralf Jung a37953752d use apfloat's FMA primitive 2019-06-11 19:41:43 +02:00
Ralf Jung 5e07ac335f implement min and max floating point intrinsics 2019-06-11 19:41:43 +02:00
Ralf Jung 6eab94a459 fix from to/from f32/f64 changes 2019-06-11 19:41:43 +02:00
Ralf Jung 81debbd652 Merge branch 'master' into sysroot 2019-06-11 09:48:05 +02:00
Ralf Jung 446478cce2 fix for rustc rename mir -> body 2019-06-10 13:01:55 +02:00
Ralf Jung 0a9f9e0a0b factor out common code to determine miri binary 2019-06-09 19:47:09 +02:00
Ralf Jung 5b91ecc066 fix comments 2019-06-09 17:12:41 +02:00
Ralf Jung b0b082d4d8 do not handle MIRI_SYSROOT in the driver at all, rely fully on the --sysroot flag 2019-06-09 17:10:04 +02:00
Ralf Jung 244011a47f don't have both MIRI_SYSROOT and --sysroot 2019-06-09 15:43:22 +02:00
Ralf Jung 619f296463 explain why we always set a sysroot; make sure we error if both MIRI_SYSROOT and --sysroot are set 2019-06-09 14:31:05 +02:00
Ralf Jung 05b7e61977 remove outdated sysroot management 2019-06-09 14:10:42 +02:00
Ralf Jung 09f30cabf0 cargo miri: make sure we see the same sysroot for rustc and miri 2019-06-09 13:53:04 +02:00
Ralf Jung d6bcfc58e3 rustup for EvalResult rename 2019-06-08 22:14:47 +02:00
Dylan MacKenzie 1ceb81b345 Use in-core implementation of type_name.
We bump `rust-version` to pick up the new impl from
https://github.com/rust-lang/rust/pull/61498 and add a test.
2019-06-05 22:36:53 -07:00
Ralf Jung 03b74c12c8 Merge branch 'master' into debug 2019-06-03 11:02:17 +02:00
Ralf Jung 0c704151f7 use new rustc infrastructure to tag the base pointer of static allocations 2019-06-02 22:16:02 +02:00
Ralf Jung 96444c11ee remove too expensive debug assertion 2019-05-31 16:34:22 +02:00
Ralf Jung e4cee77121 fix for rustc changes 2019-05-29 09:30:36 +02:00
Ralf Jung 7a7b853120 adjust for rustc changes 2019-05-28 22:46:56 +02:00
Ralf Jung 543e57990c Merge branch 'master' into miri-build 2019-05-27 23:26:22 +02:00
Ralf Jung 8b219a1329 fix for latest rustc 2019-05-27 18:50:32 +02:00
Ralf Jung cf96396fcc make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET 2019-05-27 14:41:44 +02:00
Ralf Jung 21fb14dba1 avoid printing the tag twice 2019-05-24 13:09:29 +02:00
Ralf Jung 5569fffe7d avoid having both Debug and Display for a type and using the wrong one 2019-05-24 10:09:23 +02:00
Ralf Jung 1d92791965 use prettier printing 2019-05-23 15:54:50 +02:00
Ralf Jung 3e33e54b5b hopefully improve error message a bit 2019-05-23 11:03:08 +02:00
Ralf Jung 5c54a58c06 typo 2019-05-19 14:04:59 +02:00
Oliver Scherer 3fde45233b Prefer drain over manual implementation of drain 2019-05-19 12:40:59 +02:00
Ralf Jung 6b4164e0df nits 2019-05-17 19:42:35 +02:00
Ralf Jung 9c161b80d0 reading does not remove Unique, it just invalidates them 2019-05-17 15:29:02 +02:00
Ralf Jung 4b9e1544c2 give up on two-phase borrows 2019-05-17 15:02:31 +02:00
Ralf Jung 1447242bf9 refactor to simplify 2019-05-15 18:12:58 +02:00
Ralf Jung f676f2265b make writes act stack-like 2019-05-15 18:12:58 +02:00
Ralf Jung 9b3f07b161 make printing return place less verbose 2019-05-15 17:23:33 +02:00
Ralf Jung bc0c76d861 fix for latest rustc 2019-05-13 22:07:24 +02:00
Ralf Jung ada5edbf96 RUST_LOG got renamed to RUSTC_LOG 2019-05-13 14:10:52 +02:00
Ralf Jung be47fae173 build with latest version 2019-05-13 11:37:54 +02:00
Ralf Jung a9e66928d6 Update src/stacked_borrows.rs
Co-Authored-By: bjorn3 <bjorn3@users.noreply.github.com>
2019-05-11 12:07:25 +02:00
Ralf Jung 8530080d03 rename per-location part of reborowing to 'granting' 2019-05-11 12:06:59 +02:00
Ralf Jung 0f96676f43 switch back to upstream xargo 2019-05-10 08:28:02 +02:00
Ralf Jung d05159f3a9 switch to my xargo fork, because that one works with current libstd 2019-05-01 20:37:08 +02:00
bjorn3 17643af868 Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
2019-04-30 15:31:53 +02:00
Ralf Jung 59985157d3 SharedReadOnly reborrows are never weak 2019-04-30 13:55:04 +02:00
Bastien Orivel 69a252c1b3 Update cargo_metadata to 0.7 2019-04-27 23:31:48 +02:00
Ralf Jung 53f59431a5 fix HeapFree return value 2019-04-27 18:21:10 +02:00
Ralf Jung aaa8ee743b unify code paths 2019-04-22 13:20:51 +02:00