about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2023-09-30Auto merge of #115933 - oli-obk:simd_shuffle_const, r=workingjubileebors-1/+20
2023-09-29Auto merge of #3093 - eduardosm:llvm.x86.sse2.pmadd.wd, r=RalfJungbors-0/+18
2023-09-29Implement the `llvm.x86.sse2.pmadd.wd` intrinsicEduardo Sánchez Muñoz-0/+18
2023-09-29add FMA test that would fail with apfloatRalf Jung-9/+18
2023-09-29add tests for '%' sign on floatsRalf Jung-0/+10
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-2/+32
2023-09-25Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJungbors-2/+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-23Auto merge of #3072 - eduardosm:llvm.ctpop, r=saethlinbors-0/+257
2023-09-22Bump ui_test crateOli Scherer-2/+2
2023-09-21Implement `llvm.ctpop.v*` intrinsicsEduardo Sánchez Muñoz-0/+257
2023-09-21deprecate -Zmiri-disable-abi-checkRalf Jung-0/+2
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-09interpret: change ABI-compat test to be type-based, so the test is consistent...Ralf Jung-18/+21
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-2/+28
2023-08-31Merge from rustcThe Miri Conjob Bot-0/+24
2023-08-30miri function ABI check: specifically look for repr(transparent)Ralf Jung-0/+4
2023-08-30interpret: make sure we accept transparent newtypes as ABI-compatibleRalf Jung-1/+23
2023-08-30interpret: fix projecting into an unsized field of a localRalf Jung-0/+24
2023-08-29fmtThe Miri Conjob Bot-4/+6
2023-08-29Merge from rustcThe Miri Conjob Bot-0/+27
2023-08-28add tests for track_caller in closures and generatorsRalf Jung-5/+148
2023-08-28move basic track_caller test into their own fnRalf Jung-36/+39
2023-08-28tests/catch_panic: make output easier to interpretRalf Jung-17/+19
2023-08-24miri ABI compatibility check: accept u32 and i32Ralf Jung-0/+27
2023-08-22fix some bad regex capture group references in test normalizationRalf Jung-2/+2
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-1/+1
2023-08-11Auto merge of #2989 - eduardosm:x86-intrinsics, r=RalfJungbors-0/+1075
2023-08-11miri: implement some `llvm.x86.sse.*` intrinsics and add testsEduardo Sánchez Muñoz-0/+1075
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 06:40:41 +0000