about summary refs log tree commit diff
path: root/src/librustc_mir/interpret/operator.rs
AgeCommit message (Expand)AuthorLines
2019-09-25Rename `sty` to `kind`varkor-2/+2
2019-08-17make both unary_op and binary_op fully typed, including a return typeRalf Jung-49/+74
2019-08-03Auto merge of #63234 - Centril:rollup-h9t731z, r=Centrilbors-12/+8
2019-08-02dedup free-form Unsupported errors; add macros for free-form UB and Unsupport...Ralf Jung-12/+8
2019-08-02trailing full stopsRalf Jung-1/+1
2019-08-02add is_any_ptr type test; this also helps pacify tidyRalf Jung-1/+1
2019-08-02operator: implement binary_op strictly by first checking the type, then dispa...Ralf Jung-20/+19
2019-07-30renaming throw_err_* to throw_*Saleem Jaffer-6/+6
2019-07-30renaming err to err_unsupSaleem Jaffer-2/+2
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-6/+6
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-8/+8
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-3/+3
2019-07-23renames EvalErrorPanic to PanicMessageSaleem Jaffer-5/+5
2019-07-23moving some variants from InterpError to EvalErrorPanicSaleem Jaffer-5/+5
2019-06-27rename InterpretCx -> InterpCxRalf Jung-3/+3
2019-06-16Replace to_bits by force_bits and move size as parameterChristian Poveda-1/+1
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-2/+2
2019-06-09make floating point casts nicer with genericsRalf Jung-4/+8
2019-06-09make unary float negation slightly nicerRalf Jung-5/+3
2019-06-09trait-ize binary_float_opRalf Jung-44/+35
2019-06-08Scalar: only convert to/from soft-float types, not to/from hard-floatsRalf Jung-11/+9
2019-06-08rename EvalResult -> InterpResult and EvalError -> InterpErrorInfoRalf Jung-9/+9
2019-03-30Remove redundant importsFabian Drinck-2/+0
2019-03-26renames EvalContext to InterpretCx.kenta7777-3/+3
2019-03-15rustc: remove fmt::{Debug,Display} from ty::TyKind.Eduard-Mihai Burtescu-1/+1
2019-02-13make bin_op and unary_op APIs consistently work on ImmTyRalf Jung-43/+30
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-05miri: binary_op_val -> binary_op_immRalf Jung-4/+4
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-9/+9
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-18/+18
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-2/+2
2018-08-29make ptr_op finally reponsible for all ops involving pointers; make ValTy con...Ralf Jung-13/+26
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-27/+15
2018-08-28restructure unary_op to also dispatch on type first; fix promotion with unary...Ralf Jung-42/+54
2018-08-28address nitsRalf Jung-102/+149
2018-08-27dedicated handling for binops on bool and char (UB if they are not valid)Ralf Jung-54/+94
2018-08-23Fixup long code linesBernardo Meurer-1/+2
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-4/+4
2018-08-22miri/CTFE refactorRalf Jung-45/+26
2018-08-03Remove some more unnecessary `mut`Oliver Schneider-1/+1
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-36/+35
2018-06-27Detect overflows of non u32 shiftsOliver Schneider-1/+2
2018-05-24Remove `ty_to_primitive`Oliver Schneider-6/+12
2018-05-24Replace `ScalarKind` with `Primitive`Oliver Schneider-2/+2
2018-05-24Get rid of `scalar_size`Oliver Schneider-5/+5
2018-05-24primval -> scalar renameOliver Schneider-5/+5
2018-05-24change `Value::Bytes` to `Value::Bits`Oliver Schneider-22/+42
2018-05-24Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider-1/+1
2018-05-24Rename PrimVal to ScalarOliver Schneider-34/+34