summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-09-30Auto merge of #115933 - oli-obk:simd_shuffle_const, r=workingjubileebors-1/+20
2023-09-28Merge from rustcThe Miri Conjob Bot-4/+16
2023-09-27Auto merge of #109597 - cjgillot:gvn, r=oli-obkbors-4/+16
2023-09-26Add tests for simd_shuffle{_generic}Oli Scherer-1/+20
2023-09-25fix normalization in backtrace-api testsRalf Jung-5/+33
2023-09-25Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJungbors-57/+48
2023-09-25Explain single element vectorOli Scherer-0/+2
2023-09-25remove some dead codeRalf Jung-0/+1
2023-09-25Auto merge of #3075 - eduardosm:x86-addcarry-subborrow, r=RalfJungbors-1753/+1840
2023-09-25Use `cfg` gates in x86 SSE and SSE2 testsEduardo Sánchez Muñoz-1752/+1762
2023-09-25Implement `llvm.x86.subborrow.32` and `llvm.x86.subborrow.64`Eduardo Sánchez Muñoz-0/+42
2023-09-25Fix the carry semantics of `_addcarry_u32` and `_addcarry_u64`Eduardo Sánchez Muñoz-2/+14
2023-09-25Implement `llvm.x86.addcarry.32` by refactoring `llvm.x86.addcarry.64` to mak...Eduardo Sánchez Muñoz-0/+23
2023-09-24Put AVX512 tests togetherEduardo Sánchez Muñoz-126/+85
2023-09-24Complete miri test.Camille GILLOT-3/+16
2023-09-24Do not assume anything about repeated reification of generic functions.Camille GILLOT-1/+0
2023-09-23Merge from rustcThe Miri Conjob Bot-25/+25
2023-09-23Auto merge of #3072 - eduardosm:llvm.ctpop, r=saethlinbors-0/+257
2023-09-22Bump ui_test crateOli Scherer-29/+31
2023-09-22Allow limiting the number of threads running in parallelOli Scherer-1/+5
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ...Oli Scherer-0/+6
2023-09-22Bump ui test crateOli Scherer-43/+20
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-25/+25
2023-09-21Implement `llvm.ctpop.v*` intrinsicsEduardo Sánchez Muñoz-0/+257
2023-09-21deprecate -Zmiri-disable-abi-checkRalf Jung-0/+8
2023-09-19Auto merge of #3054 - Vanille-N:spurious-fail, r=RalfJungbors-2/+2
2023-09-19Issue of the current model: spurious reads are not possibleNeven Villani-2/+2
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-4/+4
2023-09-12Auto merge of #3055 - eduardosm:x86-sse2-intrinsics, r=RalfJungbors-2/+849
2023-09-12Implement some `llvm.x86.sse2.*` intrinsics and add testsEduardo Sánchez Muñoz-0/+828
2023-09-12Ignore all archs except x86 and x86_64 in SSE testsEduardo Sánchez Muñoz-2/+21
2023-09-12extra ABI tests, in particular for DispatchFromDynRalf Jung-6/+16
2023-09-12fmtThe Miri Conjob Bot-1/+3
2023-09-09implement and test ABI compatibility for transparent wrappers around NPO typesRalf Jung-5/+8
2023-09-09implement and test fn ptr ABI compatibility rulesRalf Jung-0/+5
2023-09-09give extra context to ABI mismatch errorsRalf Jung-0/+12
2023-09-09interpret: change ABI-compat test to be type-based, so the test is consistent...Ralf Jung-18/+21
2023-09-06miri: catch function calls where the argument is caller-invalid / the return ...Ralf Jung-4/+101
2023-09-02Rollup merge of #115443 - epage:os_str, r=cuviperMatthias Krüger-1/+1
2023-09-01fix(std): Rename os_str_bytes to encoded_bytesEd Page-1/+1
2023-08-31miri ABI check: fix handling of 1-ZST; don't accept sign differencesRalf Jung-11/+15
2023-08-31update abi_compat.rsRalf Jung-12/+3
2023-08-31more ABI compat testsRalf Jung-12/+48
2023-08-31fmtRalf Jung-1/+1
2023-08-31Merge from rustcRalf Jung-12/+117
2023-08-31Merge from rustcThe Miri Conjob Bot-2/+26
2023-08-30miri function ABI check: specifically look for repr(transparent)Ralf Jung-0/+35
2023-08-30organize failing ABI compat tests and add some moreRalf Jung-10/+58
2023-08-30interpret: make sure we accept transparent newtypes as ABI-compatibleRalf Jung-1/+23
2023-08-30storage_live: avoid computing the layout unless necessaryRalf Jung-4/+4