about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-10-12Fix identation of a `rustfmt::skip`ed statementEduardo Sánchez Muñoz-6/+6
2023-10-12fmtRalf Jung-5/+2
2023-10-12Merge from rustcRalf Jung-0/+414
2023-10-10avoid confusing loop in catch_panic testRalf Jung-5/+6
2023-10-09Auto merge of #3101 - eduardosm:x86-aes-intrinsics, r=RalfJungbors-0/+291
2023-10-09Implement `llvm.x86.aesni.*` intrinsicsEduardo Sánchez Muñoz-0/+291
2023-10-09return_pointer_aliasing2 should also run with SBRalf Jung-2/+45
2023-10-09add test to ensure RET assignments do not get propagated on unwindingRalf Jung-0/+74
2023-10-09add test for self-assignment on call through referenceRalf Jung-0/+16
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-0/+90
2023-10-09ensure unary minus propagates NaN payloads exactlyRalf Jung-0/+8
2023-10-08miri: make NaN generation non-deterministicRalf Jung-0/+316
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-216/+625
2023-10-06add a direct dlsym testRalf Jung-0/+14
2023-10-05Auto merge of #3106 - RalfJung:tree-borrows-initial, r=RalfJungbors-4/+28
2023-10-05Tree Borrows: do not create new tags as 'Active'Ralf Jung-4/+28
2023-10-04auto-detect no_std where possibleRalf Jung-3/+1
2023-10-02add test for a function ABI mismatch due to target featuresRalf Jung-0/+50
2023-09-30fmtRalf Jung-10/+4
2023-09-30Merge from rustcRalf Jung-1/+20
2023-09-30Auto merge of #3086 - eduardosm:x86-sse3-intrinsics, r=RalfJungbors-0/+395
2023-09-30Implement `llvm.x86.ssse3.*` intrinsicsEduardo Sánchez Muñoz-114/+395
2023-09-30Implement `llvm.x86.sse3.*` intrinsicsEduardo Sánchez Muñoz-0/+114
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-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