Oliver Schneider
|
5c0d1355f2
|
Refactor the const eval diagnostic API
|
2018-06-05 20:49:46 +02:00 |
|
Fabian Zaiser
|
589f9a87a8
|
Propagate uses of constants correctly so that array index checks work
|
2018-06-05 10:35:44 +02:00 |
|
Oliver Schneider
|
f7eedfab8e
|
Simplify value field access
|
2018-06-04 14:50:29 +02:00 |
|
Oliver Schneider
|
47f37d67f1
|
Correctly access ScalarPair fields during const eval
|
2018-06-02 23:34:25 +02:00 |
|
Eduard-Mihai Burtescu
|
ca1ac6b6fb
|
rustc: rename mir::SourceScopeInfo to mir::SourceScopeLocalData.
|
2018-05-30 20:30:09 +03:00 |
|
Eduard-Mihai Burtescu
|
85d44c4276
|
rustc: rename mir::VisibilityScope to mir::SourceScope.
|
2018-05-30 20:30:09 +03:00 |
|
Oliver Schneider
|
cc60a22b10
|
Get rid of scalar_size
|
2018-05-24 20:49:37 +02:00 |
|
Oliver Schneider
|
f82256e473
|
primval -> scalar rename
|
2018-05-24 20:49:37 +02:00 |
|
Oliver Schneider
|
64a75ecc80
|
change Value::Bytes to Value::Bits
|
2018-05-24 20:49:37 +02:00 |
|
Oliver Schneider
|
ef2177cffc
|
Rename ByVal(Pair) to Scalar(Pair)
|
2018-05-24 20:47:35 +02:00 |
|
Oliver Schneider
|
1606e137e7
|
Rename PrimVal to Scalar
|
2018-05-24 20:47:35 +02:00 |
|
varkor
|
15d2759d90
|
Rename has_type_parameters to requires_monomorphization
|
2018-05-15 14:20:19 +01:00 |
|
varkor
|
a9622dc5c6
|
Fix generics type parameter handling in miri
|
2018-05-15 14:20:19 +01:00 |
|
John Kåre Alsaker
|
fdd9787777
|
Introduce ConstValue and use it instead of miri's Value for constant values
|
2018-05-11 13:01:44 +02:00 |
|
Oliver Schneider
|
01158eaec6
|
Unify MIR assert messages and const eval errors
|
2018-04-30 18:29:15 +02:00 |
|
Oliver Schneider
|
cefcf0548e
|
Merge ConstMathError into EvalErrorKind
|
2018-04-30 18:18:33 +02:00 |
|
Irina Popa
|
7a5147616b
|
rustc_target: move LayoutOf's type parameter to an associated type.
|
2018-04-26 16:50:28 +03:00 |
|
Oliver Schneider
|
a406af885d
|
Only warn on erroneous promoted constants
|
2018-04-15 15:08:37 +02:00 |
|
Oliver Schneider
|
c0fc6a8b6b
|
simplify constant value pair field access
|
2018-03-08 08:35:39 +01:00 |
|
Oliver Schneider
|
b5ace9a906
|
Unify the const folding errors
before they differed depending on whether optimizations were on or not
|
2018-03-08 08:35:39 +01:00 |
|
Oliver Schneider
|
3dc7e93db6
|
Generator assertions are unconditionally triggered
|
2018-03-08 08:35:38 +01:00 |
|
Oliver Schneider
|
df283df887
|
Don't use the undefined bytes of PrimVal::Bytes
|
2018-03-08 08:34:18 +01:00 |
|
Oliver Schneider
|
5b698a1040
|
Unregress error spans in constant errors
|
2018-03-08 08:34:17 +01:00 |
|
Oliver Schneider
|
3c663d0607
|
Tidy fix
|
2018-03-08 08:34:16 +01:00 |
|
Oliver Schneider
|
8c53d54b98
|
Update tests
|
2018-03-08 08:34:16 +01:00 |
|
Oliver Schneider
|
d2f363ba89
|
Report all errors other than those about insufficient type information
|
2018-03-08 08:34:15 +01:00 |
|
Oliver Schneider
|
64fbf5d5ad
|
Compute the ParamEnv only once and use it to call tcx.const_eval
|
2018-03-08 08:34:15 +01:00 |
|
Oliver Schneider
|
dde68dcfe5
|
Can only const prop temporaries
Variables might error in branches that are not reachable due to the variable value.
|
2018-03-08 08:34:15 +01:00 |
|
Oliver Schneider
|
1561b4ad50
|
Simplify const propagator by removing unused code paths
|
2018-03-08 08:34:15 +01:00 |
|
Oliver Schneider
|
411fcf58fd
|
Rename OptimizationFinder and don't propagate any borrows
|
2018-03-08 08:34:15 +01:00 |
|
Oliver Schneider
|
57ae890265
|
Simplify const prop checks through PlaceContext
|
2018-03-08 08:34:15 +01:00 |
|
Oliver Schneider
|
0462d092d2
|
Figure out const propgatable locals in a single pass
|
2018-03-08 08:34:14 +01:00 |
|
Oliver Schneider
|
ceb634a732
|
Update tests
|
2018-03-08 08:34:14 +01:00 |
|
Oliver Schneider
|
13c0dc56df
|
Only report bitshift lints on bitshift ops
|
2018-03-08 08:34:14 +01:00 |
|
Oliver Schneider
|
929a4cece5
|
Use IndexVec instead of FxHashMap
|
2018-03-08 08:34:14 +01:00 |
|
Oliver Schneider
|
8c8a433532
|
Merge const linting pass into const prop
|
2018-03-08 08:34:14 +01:00 |
|
Oliver Schneider
|
c568807989
|
Remove single field struct by just using the field
|
2018-03-08 08:34:13 +01:00 |
|
Oliver Schneider
|
4667346042
|
Remove the fragile const propagator and just do linting
|
2018-03-08 08:34:13 +01:00 |
|
Oliver Schneider
|
21554b96af
|
Fix ICE in const prop
|
2018-03-08 08:34:13 +01:00 |
|
Oliver Schneider
|
00c95b29bc
|
Revert all changes to the instcombine pass
|
2018-03-08 08:34:13 +01:00 |
|
Oliver Schneider
|
54615ec989
|
Split const prop into its own pass
|
2018-03-08 08:34:12 +01:00 |
|