mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,121 Commits 2 Branches 0 Tags 1.4 GiB
fcf495821e
Commit Graph

135 Commits

Author SHA1 Message Date
Scott Olson
a82924b3e2 Merge pull request #152 from oli-obk/intrinsics 
Intrinsics and overflow
 2017-03-14 13:35:51 -07:00
Scott Olson
0ca0676abd Merge pull request #146 from oli-obk/peephole1 
[Peephole Optimization 1/n] Don't allocate for structs with a single primval field
 2017-03-14 09:57:02 -07:00
Scott Olson
6ee8595375 Merge pull request #147 from oli-obk/rustup 
rustup to rustc 1.17.0-nightly (60a0edc6c 2017-02-26)
 2017-03-14 09:49:40 -07:00
Oliver Schneider
bb33830c60 Implement more atomic intrinsics 2017-03-14 13:05:51 +01:00
Oliver Schneider
adddde7cba Implement more float intrinsics 2017-03-14 12:35:38 +01:00
Oliver Schneider
adb3fbb285 Add a method that hides the lifetime erasing boilerplate 2017-03-14 11:12:59 +01:00
Oliver Schneider
da6f136997 I say we take off and nuke the lifetimes from orbit 2017-03-14 10:49:22 +01:00
David Renshaw
f0e2247f4d fix argument order on check_align 2017-03-13 21:07:25 -04:00
David Renshaw
41c2aa677a simplify write_bytes() by using memory.write_repeat() 2017-03-13 20:47:08 -04:00
David Renshaw
e79ee140ee write_bytes(): fix handling of types that are larger than u128 2017-03-13 20:32:43 -04:00
David Renshaw
2f3440d213 implement write_bytes intrinsic 2017-03-13 19:46:44 -04:00
Oliver Schneider
41d59b117a Rustup to rustc 1.17.0-nightly (b1e31766d 2017-03-03) 2017-03-07 12:49:56 +01:00
Oliver Schneider
8405770b51 Rustup to rustc 1.17.0-nightly (be760566c 2017-02-28) 2017-03-02 13:11:33 +01:00
Oliver Schneider
8878a4030a rustup to rustc 1.17.0-nightly (60a0edc6c 2017-02-26) 2017-02-28 12:35:00 +01:00
Oliver Schneider
de42764b52
drop zst fields of null pointer optimized structs and enums 
fixes #25
 2017-02-24 11:04:13 +01:00
Oliver Schneider
2282e6b582
represent single field structs as their single field 2017-02-24 11:04:13 +01:00
Oliver Schneider
1a697f9bba
move all code accessing vtable internals into the trait module 
fixes #124
 2017-02-24 11:04:13 +01:00
Oliver Schneider
35502fd47d rustup 2017-02-24 10:39:55 +01:00
Scott Olson
1af2c397bf Merge pull request #141 from oli-obk/bug1 
fix a bug in drop code of structs with unsized fields
 2017-02-23 18:06:12 -08:00
Oliver Schneider
4730cdf825
fix a bug in drop code of structs with unsized fields 2017-02-14 14:26:47 +01:00
Oliver Schneider
ac71d6f345
don't duplicate field access logic, always go through lvalue_field 2017-02-14 10:19:19 +01:00
Oliver Schneider
a727ceb7e9
fast path for zsts 2017-02-14 10:19:18 +01:00
Scott Olson
b755a91c21 Do drop glue for closures. 2017-02-10 14:54:14 -08:00
Scott Olson
f73f001ce5 Fix fabsf{32,64} intrinsics. 2017-02-10 14:53:56 -08:00
Scott Olson
98d28b688c Merge pull request #139 from oli-obk/master 
lvalue references into fields of ValPair locals
 2017-02-10 22:29:54 +01:00
Scott Olson
55bfbf58a2 Resolve Drop impls to get the right substs. 
Fixes #133.
 2017-02-10 07:55:05 -08:00
Oliver Schneider
0b86d30594 enable Lvalue::Local to refer to a ValPair field 2017-02-10 16:14:59 +01:00
Scott Olson
7f0b9460cb Merge pull request #138 from oli-obk/master 
refactor lvalue field projection handling to prepare for fewer `force_allocation`s
 2017-02-10 15:27:36 +01:00
Scott Olson
5a2cdc2689 Implement the fast float math intrinsics. 2017-02-10 05:58:34 -08:00
Oliver Schneider
2e185485b3
use the lvalue_field function more often to save needless force_allocations 2017-02-10 14:34:10 +01:00
Scott Olson
68daab974d Move relevant code into "traits" module. 2017-02-10 03:23:04 -08:00
Oliver Schneider
e58f750a49 refactor drop glue 2017-02-09 19:27:07 +01:00
Oliver Schneider
023ec3e395 add some comments for clarification 2017-02-09 19:15:40 +01:00
Oliver Schneider
d92085fd0e properly extract the inner type in a drop impl 2017-02-09 19:08:08 +01:00
Oliver Schneider
06a02187ba move drop code into its own file 2017-02-09 18:12:59 +01:00
Scott Olson
6e9e7af8e7 Fix comment. 2017-02-09 06:58:20 -08:00
Scott Olson
3b95bf93b1 Merge pull request #132 from oli-obk/master 
we cannot panic, thus `panicking` always returns false
 2017-02-09 15:37:23 +01:00
Scott Olson
14d7501ca4 Merge pull request #128 from oli-obk/align_thyself 
fix size of dst in size_of_val intrinsic
 2017-02-09 15:35:15 +01:00
Oliver Schneider
0f183dc866 we cannot panic, thus panicking always returns false 2017-02-09 15:07:50 +01:00
Oliver Schneider
e6006c35fb don't unnecessarily convert Align -> u64 -> Align 2017-02-09 13:00:30 +01:00
Oliver Schneider
0d3cee2db3 fix size of dst in size_of_val intrinsic 2017-02-09 11:15:56 +01:00
Scott Olson
bc5d9b6f8d Merge pull request #127 from oli-obk/print_panic 
ignore `print!`, turn `panic!` into a EvalError
 2017-02-09 11:14:47 +01:00
Oliver Schneider
250f66562c ignore print!, turn panic! into a EvalError 2017-02-09 10:34:23 +01:00
Oliver Schneider
1844381ad0 compute the offset of dst fields by checking the vtable 2017-02-09 08:38:01 +01:00
Scott Olson
14f094f5a9 Merge pull request #116 from oli-obk/master 
fix drop impls for clike enums
 2017-02-07 17:43:41 +01:00
Oliver Schneider
18f4ca3c6b fix drop impls for clike enums 2017-02-07 17:41:30 +01:00
Scott Olson
9a7f76889a Update for changes in rustc. 2017-02-07 06:01:03 -08:00
Oliver Schneider
74d8c8a7f4 check the arg_count member of MIR instead of counting iterator length 2017-02-07 14:31:29 +01:00
Oliver Schneider
45df853da7 cleanup buggy closure dispatch code 2017-02-07 14:22:20 +01:00
Oliver Schneider
0377990dc6
fix turning function items into closure trait objects 2017-02-07 11:04:46 +01:00
Scott Olson
23c47f1e77 Dump instrinsic and C ABI return values. 2017-02-07 01:03:40 -08:00
Scott Olson
7acbf7ef74 Cleanup: EvalResult<'a, ()> becomes EvalResult<'a>. 2017-02-04 13:09:10 -08:00
Scott Olson
3fe45572c1 Merge pull request #110 from oli-obk/rename_map_hir 
rustup
 2017-02-03 15:22:02 -08:00
Oliver Schneider
0e77dd9473 rustup 2017-02-03 15:47:23 +01:00
Oliver Schneider
ce95ae5927 correctly implement pointers to enum variant constructors 2017-01-28 15:46:46 +01:00
Oliver Schneider
e22cceaceb
allow using tuple variant names as function handles in presence of NonZero optimizations 2017-01-23 12:56:40 +01:00
Oliver Schneider
04eadedb28
allow using tuple variant names as function handles 2017-01-23 12:56:40 +01:00
Scott Olson
684f757139 Make clippy-suggested fixes. 2017-01-22 00:19:35 -08:00
Scott Olson
ac2bf50f9d Use the new field init shorthand. 2017-01-16 18:45:30 -08:00
Oliver Schneider
1838ef6bda
rustup to 2017-01-12 2017-01-13 17:16:19 +01:00
Oliver Schneider
e7ef118138
fix copy pasted code 2017-01-12 12:43:37 +01:00
Oliver Schneider
374232c832
add memrchr libc function 2017-01-12 12:43:37 +01:00
Oliver Schneider
24870428a7
more intrinsics 2017-01-12 12:43:37 +01:00
Oliver Schneider
0595f95460
remove old comment 2017-01-12 11:27:04 +01:00
Oliver Schneider
a58170a4c6
prevent intrinsics from creating uninhabited types 2017-01-12 10:37:14 +01:00
Oliver Schneider
b5f824fd9c
fix ICE when transmuting inhabited types to uninhabited 2017-01-12 09:59:00 +01:00
Oliver Schneider
753dbcf158
add a test for dereferencing a pointer to a ! 2017-01-12 09:41:36 +01:00
Oliver Schneider
7c486416cb
allow the use of tuple struct constructors as functions 2017-01-12 08:52:22 +01:00
Oliver Schneider
3a658e09e8
rustup (i128) 2017-01-12 08:28:42 +01:00
Scott Olson
b233ada529 Change Option<Value> to Value, using ByVal(Undef). 
This job isn't quite finished because it caused me to discover bugs
related to reading `ByVal(Undef)` when a `ByValPair` is expected, e.g.
for a fat pointer. This wasn't a problem with the `None` of
`Option<Value>`, but I realized an equivalent bug existed even then,
since you could transmute a `u64` like `ByVal(Bytes(42))` to a fat
pointer type on 32-bit targets.

Likewise, you could transmute a fat pointer to `u64` and get panics
related to expecting `ByVal` but finding `ByValPair`, so the problem
goes both ways.
 2016-12-18 20:59:01 -08:00
Scott Olson
459a27d6bd Reading undef local/globals gets PrimVal::Undef. 
This fixes #95.
 2016-12-17 03:36:22 -08:00
Scott Olson
4fe41ad8d5 Refactor PrimVal::bits() out of existence. 2016-12-17 03:09:57 -08:00
Scott Olson
3bad50e114 Rename PrimVal::from_{u,}int to from_{u,i}64. 2016-12-16 22:11:44 -08:00
Scott Olson
f83c45e367 Turn invalid panics into Results and rename fns. 2016-12-16 22:08:40 -08:00
Scott Olson
e615f671ce Remove potentially wrong PartialEq from PrimVal. 2016-12-16 22:03:34 -08:00
Scott Olson
67e1627a55 Rename PrimVal::Pointer to PrimVal::Ptr. 
Also fill out the PrimVal doc comments.
 2016-12-16 22:03:34 -08:00
Scott Olson
b36a83171b Turn PrimVal into an enum including Undefined. 
This is step 1 of a refactoring to fix #95. The `Undefined` variant is
so far unused and the old `bits` and `relocation` fields are emulated
with two new temporary methods. There should be no functional change due
to this commit.
 2016-12-16 22:03:34 -08:00
Scott Olson
6ec3d65068 Revert "Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)"" 2016-12-16 17:10:16 -08:00
Scott Olson
0deabf9c00 Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)" 2016-12-15 01:16:06 -08:00
Oliver Schneider
0a79304fcb
improve variable name 2016-12-15 09:58:57 +01:00
Oliver Schneider
69fa3ebff6
rustup to rustc 1.15.0-dev (ace092f56 2016-12-13) (always_encode_mir) 2016-12-14 17:06:23 +01:00
Scott Olson
636b476eda Rename intrinsics to intrinsic for consistency. 2016-12-10 16:27:45 -08:00
Scott Olson
1af63171f8 Split primval into operator and value. 2016-12-10 16:23:07 -08:00
Scott Olson
fe19a014ff Move lvalue data structures out of eval_context. 2016-12-07 20:58:48 -08:00
Scott Olson
4702d97093 Flatten 'interpreter' mod tree into the root. 2016-12-07 20:30:37 -08:00