| //@ 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: bb0: { | |
| // 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: bb1, otherwise: bb2]; | |
| // CHECK: bb1: { | |
| // CHECK: [[A1:_[0-9]+]] = copy ((*_1).1: i16); | |
| // CHECK: [[B1:_[0-9]+]] = copy ((*_2).1: i16); | |
| // CHECK: Cmp(move [[A1]], move [[B1]]); | |
| // CHECK: goto -> bb2; | |
| // CHECK: bb2: { | |
| // CHECK: [[D2:_[0-9]+]] = discriminant({{.+}}); | |
| // CHECK: _0 = Le(move [[D2]], const 0_i8); | |
| // CHECK: return; | |
| *a <= *b | |
| } | |
| // EMIT_MIR derived_ord.{impl#0}-partial_cmp.runtime-optimized.after.mir | |
| // EMIT_MIR derived_ord.demo_le.runtime-optimized.after.mir |