dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
241,761 Commits 7 Branches 138 Tags 1.8 GiB
Commit Graph

49 Commits

Author SHA1 Message Date
Ralf Jung 29c95e98e3 also print 'immutable' flag 2023-12-07 17:46:36 +01:00
bors 3f1e30a0a5 Auto merge of #118077 - calebzulawski:sync-portable-simd-2023-11-19, r=workingjubilee 
Portable SIMD subtree update

Syncs nightly to the latest changes from rust-lang/portable-simd

r? `@rust-lang/libs`
 2023-12-02 18:04:01 +00:00
Caleb Zulawski 4d9607869a Update std::simd usage and test outputs 2023-11-26 09:02:25 -05:00
bohan fc87d6e23d add track_caller for arith ops 2023-11-24 00:54:06 +08:00
George Bateman 9d6ce61376
Update MIR tests for offset_of 2023-10-31 23:26:02 +00:00
bors 59bb9505bc Auto merge of #103208 - cjgillot:match-fake-read, r=oli-obk,RalfJung 
Allow partially moved values in match

This PR attempts to unify the behaviour between `let _ = PLACE`, `let _: TY = PLACE;` and `match PLACE { _ => {} }`.
The logical conclusion is that the `match` version should not check for uninitialised places nor check that borrows are still live.

The `match PLACE {}` case is handled by keeping a `FakeRead` in the unreachable fallback case to verify that `PLACE` has a legal value.

Schematically, `match PLACE { arms }` in surface rust becomes in MIR:
```rust
PlaceMention(PLACE)
match PLACE {
  // Decision tree for the explicit arms
  arms,
  // An extra fallback arm
  _ => {
    FakeRead(ForMatchedPlace, PLACE);
    unreachable
  }
}
```

`match *borrow { _ => {} }` continues to check that `*borrow` is live, but does not read the value.
`match *borrow {}` both checks that `*borrow` is live, and fake-reads the value.

Continuation of ~https://github.com/rust-lang/rust/pull/102256~ ~https://github.com/rust-lang/rust/pull/104844~

Fixes https://github.com/rust-lang/rust/issues/99180 https://github.com/rust-lang/rust/issues/53114
 2023-10-27 18:51:43 +00:00
Camille GILLOT ec28dc7aa7 Use `PlaceMention` for match scrutinees. 2023-10-24 15:30:17 +00:00
Camille GILLOT 9c85dfa1d7 Tweak test to avoid platform dependency. 2023-10-24 15:16:57 +00:00
Camille GILLOT 8c1b039d48 Use a ConstValue instead. 2023-10-21 16:26:05 +00:00
Camille GILLOT 31d101093c Generate ValTrees in DataflowConstProp. 2023-10-21 16:20:46 +00:00
Camille GILLOT 328192bff4 FileCheck transmute. 2023-10-19 15:51:54 +00:00
Camille GILLOT 4ff03cd1a4 Allow to run filecheck in mir-opt tests. 2023-10-19 15:51:52 +00:00
Camille GILLOT 1f90d857d7 Stop trying to preserve pretty-printing. 2023-10-16 19:15:28 +00:00
Camille GILLOT 0eb958a89b Rebless. 2023-10-16 18:36:47 +00:00
Camille GILLOT 02424e4bc5 Normalize alloc-id in tests. 2023-10-16 16:29:35 +00:00
Camille GILLOT e63d19c4dd Remove mir::LocalDecl::internal. 2023-10-04 17:55:15 +00:00
Camille GILLOT b8c8520725 Ignore debug-assertions in test. 2023-09-20 18:18:44 +00:00
Camille GILLOT e76b7f226a Do not create a DerefLen place for `Box<[T]>`. 2023-09-20 16:07:03 +00:00
Camille GILLOT 7493ad0abe Duplicate output for test. 2023-09-11 16:29:42 +00:00
Camille GILLOT b851e554dd Support CopyForDeref. 2023-09-11 16:29:41 +00:00
Camille GILLOT 82f0468009 Handle reading statics. 2023-09-11 16:29:41 +00:00
Camille GILLOT 6ad6b4381c Support non-scalar constants. 2023-09-11 16:29:41 +00:00
Camille GILLOT b7a925a7ce Add test where slice is a const. 2023-09-07 15:59:05 +00:00
Camille GILLOT f96c6e04cb Propagate PlaceElem::Index. 2023-09-06 16:09:31 +00:00
Camille GILLOT fc63543792 Support array length. 2023-09-06 16:05:04 +00:00
Camille GILLOT 22986b72e5 Implement algebraic simplifications. 2023-09-06 15:57:50 +00:00
Camille GILLOT 74a967bcec Support a few more rvalues. 2023-09-06 15:52:06 +00:00
Ding Xiang Fei e5453b4806
lower ExprKind::Use, LogicalOp::Or and UnOp::Not 
Co-authored-by: Abdulaziz Ghuloum <aghuloum@gmail.com>
 2023-08-30 17:24:10 +08:00
Gary Guo 19ce326a08 Bless tests 2023-06-23 18:36:25 +01:00
Ben Kimock 0a1fa411ed Remove comments from mir-opt MIR dumps 2023-06-15 15:19:11 -04:00
Pietro Albini 4668123945
bless mir-opt 
To reproduce the changes in this commit locally:

- Run `./x test tidy` and remove all the output files not associated
  with a test file anymore, as reported by tidy.
- Run `./x test tests/mir-opt --bless` to generate the new outputs.
 2023-06-12 09:34:17 +02:00
Pietro Albini 070cc836e9
properly mark tests that require panic=abort 2023-06-12 09:34:15 +02:00
Gary Guo 04126398c2 Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
Matthias Krüger a423fa7b46
Rollup merge of #108208 - cjgillot:flood-enum, r=oli-obk 
Correctly handle aggregates in DataflowConstProp

The previous implementation from https://github.com/rust-lang/rust/pull/107411 flooded target of an aggregate assignment with `Bottom`, corresponding to the `deinit` that the interpreter does.

As a consequence, when assigning `target = Enum::Variant#i(...)` all the `(target as Variant#j)` were at `Bottom` while they should have been `Top`.

This PR replaces that flooding with `Top`.

Aside, it corrects a second bug where the wrong place would be used to assign to enum variant fields, resulting to nothing happening.

Fixes https://github.com/rust-lang/rust/issues/108166
 2023-02-23 06:18:06 +01:00
Camille GILLOT e34caaf42d Remove overflow checks from ConstProp. 2023-02-18 21:35:02 +00:00
Camille GILLOT efb468866e Use the correct place for enum variants. 2023-02-18 10:11:53 +00:00
Camille GILLOT 7213eaa1c0 Flood aggregate assignments with `Top`. 2023-02-18 09:57:13 +00:00
Camille GILLOT 650683756f Add mir-opt test. 2023-02-18 09:37:31 +00:00
bors 639377ed73 Auto merge of #107449 - saethlin:enable-copyprop, r=oli-obk 
Enable CopyProp

r? `@tmiasko`

`@rustbot` label +A-mir-opt
 2023-02-16 03:44:37 +00:00
Dylan DPC c78e3c735a
Rollup merge of #107411 - cjgillot:dataflow-discriminant, r=oli-obk 
Handle discriminant in DataflowConstProp

cc ``@jachris``
r? ``@JakobDegen``

This PR attempts to extend the DataflowConstProp pass to handle propagation of discriminants. We handle this by adding 2 new variants to `TrackElem`: `TrackElem::Variant` for enum variants and `TrackElem::Discriminant` for the enum discriminant pseudo-place.

The difficulty is that the enum discriminant and enum variants may alias each another. This is the issue of the `Option<NonZeroUsize>` test, which is the equivalent of https://github.com/rust-lang/unsafe-code-guidelines/issues/84 with a direct write.

To handle that, we generalize the flood process to flood all the potentially aliasing places. In particular:
- any write to `(PLACE as Variant)`, either direct or through a projection, floods `(PLACE as OtherVariant)` for all other variants and `discriminant(PLACE)`;
- `SetDiscriminant(PLACE)` floods `(PLACE as Variant)` for each variant.

This implies that flooding is not hierarchical any more, and that an assignment to a non-tracked place may need to flood a tracked place. This is handled by `for_each_aliasing_place` which generalizes `preorder_invoke`.

As we deaggregate enums by putting `SetDiscriminant` last, this allows to propagate the value of the discriminant.

This refactor will allow to make https://github.com/rust-lang/rust/pull/107009 able to handle discriminants too.
 2023-02-15 12:24:55 +05:30
Ben Kimock 614df3fd5e Clearly document intentional UB in mir-opt tests 
Co-authored-by: Jakob Degen <jakob.e.degen@gmail.com>
 2023-02-13 13:50:50 -05:00
Ben Kimock 640ede7b0a Enable CopyProp by default, tune the impl a bit 2023-02-12 13:23:53 -05:00
Camille GILLOT 9a6c04f5d0 Handle discriminants in dataflow-const-prop. 2023-02-06 21:51:47 +00:00
Camille GILLOT 10ec94930b Bless tests. 2023-02-02 23:26:26 +00:00
Camille GILLOT 6a0b218161 Stop deaggregating enums in MIR. 2023-02-02 23:20:27 +00:00
Camille GILLOT 3c10cf088a Remove both StorageLive and StorageDead in CopyProp. 2023-01-31 17:50:04 +00:00
Camille GILLOT d29dc057ba Do not merge locals that have their address taken. 2023-01-27 18:22:45 +00:00
Camille GILLOT 6ed9f8f62e Implement SSA CopyProp pass. 2023-01-27 18:22:45 +00:00
Albert Larsan cf2dff2b1e
Move /src/test to /tests 2023-01-11 09:32:08 +00:00