Camille GILLOT
add5124dce
Extract handle_set_discriminant.
2023-05-09 17:27:58 +00:00
Camille GILLOT
71138e9933
Make HasTop and HasBottom consts.
2023-05-09 17:27:58 +00:00
Yuki Okushi
4d3ab3da4e
Rollup merge of #110685 - cjgillot:clean-dcp, r=oli-obk
...
Some cleanups to DataflowConstProp
Mostly moving code around and short-circuiting useless cases.
2023-04-25 02:33:30 +09:00
Camille GILLOT
4fe51365d7
Use param_env_reveal_all_normalized in MIR opts.
2023-04-23 10:04:41 +00:00
Camille GILLOT
dd78b997b5
Reduce rightward drift.
2023-04-22 12:30:37 +00:00
Camille GILLOT
dd452ae70e
Simplify logic.
2023-04-22 12:30:36 +00:00
Camille GILLOT
629cdb42d3
Move eval_discriminant.
2023-04-22 12:30:36 +00:00
Camille GILLOT
0e68cbd45d
Remove useless special case.
2023-04-22 12:30:36 +00:00
Josh Soref
e09d0d2a29
Spelling - compiler
...
* account
* achieved
* advising
* always
* ambiguous
* analysis
* annotations
* appropriate
* build
* candidates
* cascading
* category
* character
* clarification
* compound
* conceptually
* constituent
* consts
* convenience
* corresponds
* debruijn
* debug
* debugable
* debuggable
* deterministic
* discriminant
* display
* documentation
* doesn't
* ellipsis
* erroneous
* evaluability
* evaluate
* evaluation
* explicitly
* fallible
* fulfill
* getting
* has
* highlighting
* illustrative
* imported
* incompatible
* infringing
* initialized
* into
* intrinsic
* introduced
* javascript
* liveness
* metadata
* monomorphization
* nonexistent
* nontrivial
* obligation
* obligations
* offset
* opaque
* opportunities
* opt-in
* outlive
* overlapping
* paragraph
* parentheses
* poisson
* precisely
* predecessors
* predicates
* preexisting
* propagated
* really
* reentrant
* referent
* responsibility
* rustonomicon
* shortcircuit
* simplifiable
* simplifications
* specify
* stabilized
* structurally
* suggestibility
* translatable
* transmuting
* two
* unclosed
* uninhabited
* visibility
* volatile
* workaround
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
2023-04-17 16:09:18 -04:00
Gary Guo
bf6b84b10a
Fix new usage of old api
2023-04-06 09:34:16 +01:00
Scott McMurray
5bbaeadc01
Move mir::Field → abi::FieldIdx
...
The first PR for https://github.com/rust-lang/compiler-team/issues/606
This is just the move-and-rename, because it's plenty big-and-bitrotty already. Future PRs will start using `FieldIdx` more broadly, and concomitantly removing `FieldIdx::new`s.
2023-03-28 22:22:37 -07:00
Oli Scherer
83dec62b26
Add a layout argument to enforce_validity.
...
This is in preparation of checking the validity only of certain types.
2023-03-21 08:52:31 +00: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
09797a463c
Typo.
2023-02-13 17:01:03 +00:00
Camille GILLOT
df889c9821
Rename assign_idx methods.
2023-02-06 22:05:05 +00:00
Camille GILLOT
c48756cdbf
Limit creation of tracked place directly.
2023-02-06 21:55:05 +00:00
Camille GILLOT
9a6c04f5d0
Handle discriminants in dataflow-const-prop.
2023-02-06 21:51:47 +00:00
Camille GILLOT
b62a9da0c8
Handle aggregates in DataflowConstProp.
2023-02-02 23:09:51 +00:00
Oli Scherer
d9d92ed7da
Move alignment failure error reporting to machine
2022-12-15 16:07:35 +00:00
Oli Scherer
d66824dbc4
Make alignment checks a future incompat lint
2022-12-15 16:07:28 +00:00
Jannis Christopher Köhl
ea23585c91
Disable limits if mir-opt-level >= 4
2022-11-12 20:14:34 +01:00
Jannis Christopher Köhl
d66a00a7b1
Expand upon comment regarding self-assignment
2022-11-12 20:05:52 +01:00
Jannis Christopher Köhl
74d53ab912
Require -Zmir-opt-level >= 3 for now
2022-11-12 15:24:23 +01:00
Jannis Christopher Köhl
b3f648958d
Add comment for guessed constants
2022-11-12 14:07:54 +01:00
Jannis Christopher Köhl
8ecb276735
Simplify creation of map
2022-11-10 19:12:10 +01:00
Jannis Christopher Köhl
9766ee0b20
Fix struct field tracking and add tests for it
2022-11-09 18:21:42 +01:00
Jannis Christopher Köhl
bfbca6c75c
Completely remove tracking of references for now
2022-11-09 18:03:30 +01:00
Jannis Christopher Köhl
72196ee666
Limit number of basic blocks and tracked places to 100 for now
2022-11-07 10:35:26 +01:00
Jannis Christopher Köhl
b478fcf270
Use new cast methods
2022-11-07 10:35:26 +01:00
Jannis Christopher Köhl
630e17d3e4
Limit number of tracked places, and some other perf improvements
2022-11-07 10:35:26 +01:00
Jannis Christopher Köhl
1f82a9f89e
Move HasTop and HasBottom into lattice.rs
2022-11-07 10:35:25 +01:00
Jannis Christopher Köhl
f29533b4e0
Small documentation changes
2022-11-07 10:35:25 +01:00
Jannis Christopher Köhl
efc7ca8c7d
Use ParamEnv consistently
2022-11-07 10:35:25 +01:00
Jannis Christopher Köhl
d86acdd72a
Prevent propagation of overflow if overflow occured
2022-11-07 10:35:24 +01:00
Jannis Christopher Köhl
062053ba79
Fix unimplemented binary_ptr_op
2022-11-07 10:35:24 +01:00
Jannis Christopher Köhl
274a49132b
Improve documentation, plus some small changes
2022-11-07 10:35:23 +01:00
Jannis Christopher Köhl
931d99f61f
Make overflow handling more precise
2022-11-07 10:35:23 +01:00
Jannis Christopher Köhl
be9013f02b
Make overflow flag propagation conditional
2022-11-07 10:35:23 +01:00
Jannis Christopher Köhl
890fae9c60
Fix rebased CastKind
2022-11-07 10:35:22 +01:00
Jannis Christopher Köhl
5696d06e22
Use the same is_enabled as the current const prop
2022-11-07 10:35:21 +01:00
Jannis Christopher Köhl
111324e17c
Prevent registration inside references if target is !Freeze
2022-11-07 10:35:20 +01:00
Jannis Christopher Köhl
7ab1ba95de
Remove Unknown state in favor of Value(Top)
2022-11-07 10:35:20 +01:00
Jannis Christopher Köhl
bc82c13e97
Track Scalar instead of ScalarInt for const prop
2022-11-07 10:35:16 +01:00
Jannis Christopher Köhl
fe84bbf844
Add tracking of unreachability
2022-11-07 10:35:13 +01:00
Jannis Christopher Köhl
16dedba1c8
Ignore terminators explicitly
2022-11-07 10:35:13 +01:00
Jannis Christopher Köhl
47a00d5337
Flood with bottom instead of top for unreachable branches
2022-11-07 10:35:12 +01:00
Jannis Christopher Köhl
ad99d2e15d
Move handling of references and simplify flooding
2022-11-07 10:35:11 +01:00
