summary refs log tree commit diff
path: root/tests/mir-opt/dataflow-const-prop
AgeCommit message (Expand)AuthorLines
2024-03-10MIR printing: print the path of uneval'd const; refer to promoteds in a consi...Ralf Jung-20/+20
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-32/+64
2024-02-22[AUTO_GENERATED] Migrate compiletest to use `ui_test`-style `//@` directives许杰友 Jieyou Xu (Joe)-30/+30
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-64/+80
2024-02-19Always evaluate free constants and statics, even if previous errors occurredOli Scherer-1/+1
2024-02-13Rollup merge of #120978 - Nadrieril:sane-blocks, r=matthewjasperMatthias Krüger-49/+49
2024-02-12Start blocks eagerlyNadrieril-49/+49
2024-02-09Const-prop pointers.Camille GILLOT-68/+185
2024-02-08Bless/fix testsBen Kimock-284/+240
2024-02-04Rollup merge of #119759 - sfzhu93:master, r=cjgillotMatthias Krüger-87/+394
2024-01-28update terminator.rssfzhu93-1/+1
2024-01-22update enum.rssfzhu93-2/+0
2024-01-20finish a pattern in `enum.rs`sfzhu93-1/+1
2024-01-20update misuse of check-labelsfzhu93-8/+8
2024-01-19Remove feature(offset_of) from testsGeorge Bateman-1/+1
2024-01-14add FIXME for default_boxed_slice.rssfzhu93-3/+6
2024-01-12update enum.rs for code reviewsfzhu93-1/+10
2024-01-11resolve code reviewssfzhu93-3/+8
2024-01-11resolve code reviewssfzhu93-96/+118
2024-01-11Sandwich MIR optimizations between DSE.Camille GILLOT-48/+72
2024-01-08Add FileCheck for enum.rssfzhu93-2/+2
2024-01-08Add FileCheck to terminator.rs and tuple.rssfzhu93-2/+18
2024-01-08Add FileCheck to struct.rssfzhu93-31/+72
2024-01-08Add FileCheck to slice_len.rssfzhu93-1/+11
2024-01-08Add FileCheck to 3 tests: self_assign_add, self_assign, and sibling_ptrsfzhu93-3/+27
2024-01-08Add FileCheck to 3 tests: ref_without_sb, repeat, repr_transparentsfzhu93-3/+27
2024-01-08Add FileCheck to 3 tests: large_array_index, mult_by_zero, and offset_ofsfzhu93-3/+39
2024-01-08Add FileCheck for if.rs, inherit_overflow.rs, issue_81605.rssfzhu93-3/+25
2024-01-07Add FileCheck for enum.rssfzhu93-34/+86
2024-01-07Add FileCheck for checked.rs and default_boxed_slice.rs.sfzhu93-2/+28
2024-01-07Add FileCheck for array_index.rs, boolean_identities.rs and cast.rssfzhu93-3/+22
2023-12-24Replace legacy ConstProp by GVN.Camille GILLOT-174/+58
2023-12-07also print 'immutable' flagRalf Jung-10/+10
2023-12-02Auto merge of #118077 - calebzulawski:sync-portable-simd-2023-11-19, r=workin...bors-34/+34
2023-11-26Update std::simd usage and test outputsCaleb Zulawski-34/+34
2023-11-24add track_caller for arith opsbohan-2/+2
2023-10-31Update MIR tests for offset_ofGeorge Bateman-16/+16
2023-10-27Auto merge of #103208 - cjgillot:match-fake-read, r=oli-obk,RalfJungbors-0/+4
2023-10-24Use `PlaceMention` for match scrutinees.Camille GILLOT-0/+4
2023-10-24Tweak test to avoid platform dependency.Camille GILLOT-15/+15
2023-10-21Use a ConstValue instead.Camille GILLOT-179/+555
2023-10-21Generate ValTrees in DataflowConstProp.Camille GILLOT-44/+136
2023-10-19FileCheck transmute.Camille GILLOT-1/+22
2023-10-19Allow to run filecheck in mir-opt tests.Camille GILLOT-0/+23
2023-10-16Stop trying to preserve pretty-printing.Camille GILLOT-20/+20
2023-10-16Rebless.Camille GILLOT-4/+4
2023-10-16Normalize alloc-id in tests.Camille GILLOT-68/+68
2023-10-04Remove mir::LocalDecl::internal.Camille GILLOT-0/+4
2023-09-20Ignore debug-assertions in test.Camille GILLOT-0/+1
2023-09-20Do not create a DerefLen place for `Box<[T]>`.Camille GILLOT-0/+952