about summary refs log tree commit diff
path: root/tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.GVN.32bit.panic-abort.diff
AgeCommit message (Collapse)AuthorLines
2025-01-18Update tests for std::simd subtree syncCaleb Zulawski-1/+1
2025-01-15Less unsafe in `dangling`/`without_provenance`Scott McMurray-50/+22
2025-01-08[mir-opt] GVN some more transmute casesScott McMurray-3/+3
We already did `Transmute`-then-`PtrToPtr`; this adds the nearly-identical `PtrToPtr`-then-`Transmute`. It also adds `transmute(Foo(x))` → `transmute(x)`, when `Foo` is a single-field transparent type. That's useful for things like `NonNull { pointer: p }.as_ptr()`. Found these as I was looking at MCP807-related changes.
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+1
2024-08-18Bless *all* the mir-opt testsScott McMurray-5/+5
2024-06-26Bless mir-opt for excluded alloc bytesJosh Stone-10/+4
2024-06-19Ban `ArrayToPointer` and `MutToConstPointer` from runtime MIRScott McMurray-1/+1
Apparently MIR borrowck cares about at least one of these for checking variance. In runtime MIR, though, there's no need for them as `PtrToPtr` does the same thing. (Banning them simplifies passes like GVN that no longer need to handle multiple cast possibilities.)
2024-04-18At debuginfo=0, don't inline debuginfo when inliningScott McMurray-4/+0
2024-04-03Remove MIR unsafe checkMatthew Jasper-22/+16
This also remove safety information from MIR.
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into ↵Ralf Jung-1/+5
library
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-4/+8
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-8/+10
also introduce ptr::dangling matching NonNull::dangling
2024-02-09Const-prop pointers.Camille GILLOT-8/+26
2024-02-08Bless/fix testsBen Kimock-34/+29
2024-01-11Sandwich MIR optimizations between DSE.Camille GILLOT-6/+9
2023-12-24Replace legacy ConstProp by GVN.Camille GILLOT-0/+102