about summary refs log tree commit diff
path: root/tests/mir-opt/dataflow-const-prop
AgeCommit message (Expand)AuthorLines
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
2023-09-11Duplicate output for test.Camille GILLOT-0/+491
2023-09-11Support CopyForDeref.Camille GILLOT-4/+8
2023-09-11Handle reading statics.Camille GILLOT-2/+190
2023-09-11Support non-scalar constants.Camille GILLOT-12/+122
2023-09-07Add test where slice is a const.Camille GILLOT-17/+136
2023-09-06Propagate PlaceElem::Index.Camille GILLOT-16/+32
2023-09-06Support array length.Camille GILLOT-0/+690
2023-09-06Implement algebraic simplifications.Camille GILLOT-0/+71
2023-09-06Support a few more rvalues.Camille GILLOT-0/+780
2023-08-30lower ExprKind::Use, LogicalOp::Or and UnOp::NotDing Xiang Fei-4/+6
2023-06-23Bless testsGary Guo-11/+11
2023-06-15Remove comments from mir-opt MIR dumpsBen Kimock-721/+697
2023-06-12bless mir-optPietro Albini-0/+268
2023-06-12properly mark tests that require panic=abortPietro Albini-5/+5
2023-04-06Ignore many tests on wasm32Gary Guo-5/+10
2023-02-23Rollup merge of #108208 - cjgillot:flood-enum, r=oli-obkMatthias Krüger-2/+102
2023-02-18Remove overflow checks from ConstProp.Camille GILLOT-13/+22
2023-02-18Use the correct place for enum variants.Camille GILLOT-2/+4
2023-02-18Flood aggregate assignments with `Top`.Camille GILLOT-2/+1
2023-02-18Add mir-opt test.Camille GILLOT-0/+99
2023-02-16Auto merge of #107449 - saethlin:enable-copyprop, r=oli-obkbors-5/+7
2023-02-15Rollup merge of #107411 - cjgillot:dataflow-discriminant, r=oli-obkDylan DPC-10/+77