Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add FileCheck annotations to const_prop tests #118550

Merged
merged 33 commits into from
Dec 10, 2023
Merged

Add FileCheck annotations to const_prop tests #118550

Changes from 1 commit
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
378abbc
FileCheck address_of_pair.
cjgillot Dec 2, 2023
6564bac
FileCheck aggregate.
cjgillot Dec 2, 2023
9f01d9d
FileCheck array_index.
cjgillot Dec 2, 2023
0d5bc87
FileCheck bad_op_div_by_zero.
cjgillot Dec 2, 2023
97f03cb
FileCheck bad_op_mod_by_zero.
cjgillot Dec 2, 2023
e8e35c8
FileCheck bad_op_unsafe_oob_for_slices.
cjgillot Dec 2, 2023
3fc0394
FileCheck boolean_identities.
cjgillot Dec 2, 2023
b8f2f63
FileCheck boxes.
cjgillot Dec 2, 2023
e6a1b77
FileCheck cast.
cjgillot Dec 2, 2023
7f328d2
FileCheck checked_add.
cjgillot Dec 2, 2023
043d29b
FileCheck and rename const_prop_fails_gracefully.
cjgillot Dec 2, 2023
bf5d114
FileCheck discriminant.
cjgillot Dec 2, 2023
6086dd6
FileCheck indirect.
cjgillot Dec 2, 2023
218d8cc
FileCheck inherit_overflow.
cjgillot Dec 2, 2023
ce9b1e2
FileCheck issue_66971.
cjgillot Dec 2, 2023
8e9b912
FileCheck issue_67019.
cjgillot Dec 2, 2023
902a3e2
FileCheck mult_by_zero.
cjgillot Dec 2, 2023
ea9f968
FileCheck mutable_variable.
cjgillot Dec 2, 2023
03c5ad1
FileCheck mutable_variable_aggregate.
cjgillot Dec 2, 2023
3e169ab
FileCheck mutable_variable_aggregate_mut_ref.
cjgillot Dec 2, 2023
d91bb50
FileCheck mutable_variable_no_prop.
cjgillot Dec 2, 2023
6a8eea8
FileCheck mutable_variable_aggregate_partial_read.
cjgillot Dec 2, 2023
45dd5d6
FileCheck mutable_variable_unprop_assign.
cjgillot Dec 2, 2023
c8c9207
FileCheck read_immutable_static.
cjgillot Dec 2, 2023
6baec3c
FileCheck ref_deref.
cjgillot Dec 2, 2023
343ef6a
FileCheck reify_fn_ptr.
cjgillot Dec 2, 2023
f3743ae
FileCheck repeat.
cjgillot Dec 2, 2023
3e90c1b
FileCheck scalar_literal_propagation.
cjgillot Dec 2, 2023
19767eb
FileCheck slice_len.
cjgillot Dec 2, 2023
a12027e
FileCheck switch_int.
cjgillot Dec 2, 2023
87522d0
FileCheck return_place.
cjgillot Dec 2, 2023
c00068e
FileCheck tuple_literal_propagation.
cjgillot Dec 2, 2023
30a95b7
FileCheck while_let_loops.
cjgillot Dec 2, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
FileCheck cast.
  • Loading branch information
@cjgillot
cjgillot committed Dec 2, 2023
commit e6a1b77cd106a5a2a1571e74039fc466559ff8db
7 changes: 5 additions & 2 deletions tests/mir-opt/const_prop/cast.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,12 @@
// skip-filecheck
// unit-test: ConstProp
// EMIT_MIR cast.main.ConstProp.diff

fn main() {
// CHECK-LABEL: fn main(
// CHECK: debug x => [[x:_.*]];
// CHECK: debug y => [[y:_.*]];
// CHECK: [[x]] = const 42_u32;
// CHECK: [[y]] = const 42_u8;
let x = 42u8 as u32;

let y = 42u32 as u8;
}