summary refs log tree commit diff
path: root/tests/codegen-llvm/lib-optimizations/slice_rotate.rs
blob: aa4bb3b528c96042c7597f3b2c3835f1992fdea6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
//@ compile-flags: -Copt-level=3

#![crate_type = "lib"]

// Ensure that the simple case of rotating by a constant 1 optimizes to the obvious thing

// CHECK-LABEL: @rotate_left_by_one
#[no_mangle]
pub fn rotate_left_by_one(slice: &mut [i32]) {
    // CHECK-NOT: phi
    // CHECK-NOT: call
    // CHECK-NOT: load
    // CHECK-NOT: store
    // CHECK-NOT: getelementptr
    // CHECK: %[[END:.+]] = getelementptr
    // CHECK-NEXT: %[[DIM:.+]] = getelementptr
    // CHECK-NEXT: %[[LAST:.+]] = load
    // CHECK-NEXT: %[[FIRST:.+]] = shl
    // CHECK-NEXT: call void @llvm.memmove
    // CHECK-NEXT: store i32 %[[LAST]], ptr %[[DIM:.+]]
    // CHECK-NOT: phi
    // CHECK-NOT: call
    // CHECK-NOT: load
    // CHECK-NOT: store
    // CHECK-NOT: getelementptr
    // CHECK: ret void
    if !slice.is_empty() {
        slice.rotate_left(1);
    }
}