about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2023-11-12Auto merge of #3159 - eduardosm:sse41-round, r=RalfJungbors-80/+308
2023-11-12Improve SSE4.1 rounding tests coverageEduardo Sánchez Muñoz-137/+305
2023-11-12more consistent naming for TLS testsRalf Jung-1/+4
2023-11-12allow allocations referenced by main thread TLS to leakmax-heller-0/+21
2023-11-12Implement roundps and roundpd SSE4.1 intrinsicsEduardo Sánchez Muñoz-0/+60
2023-11-02Merge from rustcThe Miri Conjob Bot-9/+8
2023-10-30make sure we catch UB with _ pattern in various syntactic positionsRalf Jung-12/+6
2023-10-29Auto merge of #116270 - cjgillot:gvn-aggregate, r=oli-obk,RalfJungbors-3/+2
2023-10-28Auto merge of #116609 - eduardosm:bump-stdarch, r=workingjubileebors-6/+6
2023-10-28Auto merge of #3149 - RalfJung:atomic-readonly-loads, r=RalfJungbors-0/+12
2023-10-28accept some atomic loads from read-only memoryRalf Jung-0/+12
2023-10-28consolidate and extend testing for _ patterns discarding the placeRalf Jung-31/+76
2023-10-27Auto merge of #103208 - cjgillot:match-fake-read, r=oli-obk,RalfJungbors-0/+32
2023-10-25Stabilize `[const_]pointer_byte_offsets`Maybe Waffle-1/+0
2023-10-25Typo.Camille GILLOT-1/+1
2023-10-25Do not merge fn pointer casts.Camille GILLOT-3/+2
2023-10-25add some more gamma function testsRalf Jung-3/+2
2023-10-24Test match underscore on void from union.Camille GILLOT-0/+18
2023-10-24Add miri tests.Camille GILLOT-0/+14
2023-10-24fix error read-read reporting when there's also an unsynchronized non-atomic ...Ralf Jung-0/+18
2023-10-23detect mixed-size atomic accessesRalf Jung-40/+0
2023-10-21Merge from rustcThe Miri Conjob Bot-41/+41
2023-10-20Rename lots of files that had `generator` in their nameOli Scherer-0/+0
2023-10-20s/generator/coroutine/Oli Scherer-25/+25
2023-10-20s/Generator/Coroutine/Oli Scherer-17/+17
2023-10-17Auto merge of #3124 - eduardosm:fix-sse41-round, r=RalfJungbors-0/+50
2023-10-17Fix rounding mode check in SSE4.1 round functionsEduardo Sánchez Muñoz-0/+50
2023-10-17fmtThe Miri Conjob Bot-1/+1
2023-10-17Merge from rustcThe Miri Conjob Bot-0/+45
2023-10-15Auto merge of #3118 - eduardosm:intrinsics-x86-sse41, r=RalfJungbors-0/+265
2023-10-15Implement `llvm.x86.sse41.*` intrinsicsEduardo Sánchez Muñoz-0/+265
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-0/+34
2023-10-14Rollup merge of #116576 - eduardosm:const-eval-wasm-target-features, r=RalfJungGuillaume Gomez-0/+11
2023-10-14const-eval: allow calling functions with targat features disabled at compile ...Eduardo Sánchez Muñoz-0/+11
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-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-133/+405
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