33 lines
1.2 KiB
Rust
33 lines
1.2 KiB
Rust
//@ compile-flags: -O -Zmir-opt-level=2 -Cdebuginfo=0
|
|
|
|
#![crate_type = "lib"]
|
|
|
|
#[derive(PartialOrd, PartialEq)]
|
|
pub struct MultiField(char, i16);
|
|
|
|
// Because this isn't derived by the impl, it's not on the `{impl#0}-partial_cmp`,
|
|
// and thus we need to call it to see what the inlined generic one produces.
|
|
pub fn demo_le(a: &MultiField, b: &MultiField) -> bool {
|
|
// CHECK-LABEL: fn demo_le
|
|
// CHECK: inlined <MultiField as PartialOrd>::le
|
|
// CHECK: inlined{{.+}}is_some_and
|
|
// CHECK: inlined <MultiField as PartialOrd>::partial_cmp
|
|
|
|
// CHECK: [[A0:_[0-9]+]] = copy ((*_1).0: char);
|
|
// CHECK: [[B0:_[0-9]+]] = copy ((*_2).0: char);
|
|
// CHECK: Cmp(move [[A0]], move [[B0]]);
|
|
|
|
// CHECK: [[D0:_[0-9]+]] = discriminant({{.+}});
|
|
// CHECK: switchInt(move [[D0]]) -> [0: bb{{[0-9]+}}, otherwise: bb{{[0-9]+}}];
|
|
|
|
// CHECK: [[A1:_[0-9]+]] = copy ((*_1).1: i16);
|
|
// CHECK: [[B1:_[0-9]+]] = copy ((*_2).1: i16);
|
|
// CHECK: Cmp(move [[A1]], move [[B1]]);
|
|
|
|
// CHECK: [[D1:_[0-9]+]] = discriminant({{.+}});
|
|
// CHECK: _0 = Le(move [[D1]], const 0_i8);
|
|
*a <= *b
|
|
}
|
|
|
|
// EMIT_MIR derived_ord.{impl#0}-partial_cmp.PreCodegen.after.mir
|
|
// EMIT_MIR derived_ord.demo_le.PreCodegen.after.mir
|