Commit 5f0a68e

committed

regression test for #117763

1 parent 6710835 commit 5f0a68eCopy full SHA for 5f0a68e

File tree

+17

-0

lines changed

+17

-0

lines changed

Lines changed: 17 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,17 @@`
	`1`	`+//@ compile-flags: -Copt-level=3`
	`2`	`+//@ needs-deterministic-layouts`
	`3`	`+`
	`4`	`+// Currently Vec<T> and &[T] have layouts that start with (pointer, len)`
	`5`	`+// which makes the conversion branchless.`
	`6`	`+// A nice-to-have property, not guaranteed.`
	`7`	`+#![crate_type = "cdylib"]`
	`8`	`+`
	`9`	`+// CHECK-LABEL: @branchless_cow_slices`
	`10`	`+#[no_mangle]`
	`11`	`+pub fn branchless_cow_slices<'a>(cow: &'a std::borrow::Cow<'a, [u8]>) -> &'a [u8] {`
	`12`	`+ // CHECK-NOT: br`
	`13`	`+ // CHECK-NOT: select`
	`14`	`+ // CHECK-NOT: icmp`
	`15`	`+ // CHECK: ret { ptr, {{i32\|i64}} }`
	`16`	`+ &*cow`
	`17`	`+}`

Comments

(0)