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 |
|