31 lines
833 B
Rust
31 lines
833 B
Rust
|
//@ compile-flags: -O
|
||
|
|
//@ only-x86_64
|
||
|
|
|
||
|
|
#![crate_type = "lib"]
|
||
|
|
|
||
|
|
use std::alloc::Layout;
|
||
|
|
|
||
|
|
type RGB48 = [u16; 3];
|
||
|
|
|
||
|
|
// CHECK-LABEL: @layout_array_rgb48
|
||
|
|
#[no_mangle]
|
||
|
|
pub fn layout_array_rgb48(n: usize) -> Layout {
|
||
|
|
// CHECK-NOT: llvm.umul.with.overflow.i64
|
||
|
|
// CHECK: icmp ugt i64 %n, 1537228672809129301
|
||
|
|
// CHECK-NOT: llvm.umul.with.overflow.i64
|
||
|
|
// CHECK: mul nuw nsw i64 %n, 6
|
||
|
|
// CHECK-NOT: llvm.umul.with.overflow.i64
|
||
|
|
Layout::array::<RGB48>(n).unwrap()
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: @layout_array_i32
|
||
|
|
#[no_mangle]
|
||
|
|
pub fn layout_array_i32(n: usize) -> Layout {
|
||
|
|
// CHECK-NOT: llvm.umul.with.overflow.i64
|
||
|
|
// CHECK: icmp ugt i64 %n, 2305843009213693951
|
||
|
|
// CHECK-NOT: llvm.umul.with.overflow.i64
|
||
|
|
// CHECK: shl nuw nsw i64 %n, 2
|
||
|
|
// CHECK-NOT: llvm.umul.with.overflow.i64
|
||
|
|
Layout::array::<i32>(n).unwrap()
|
||
|
|
}
|