| ; RUN: llc -verify-machineinstrs -mcpu=pwr8 -mtriple=powerpc64le-unknown-linux-gnu -O3 < %s | FileCheck %s |
| |
| ; This test verifies that VSX swap optimization works when an implicit |
| ; subregister is present (in this case, in the XXPERMDI associated with |
| ; the store). |
| |
| define void @bar() { |
| entry: |
| %x = alloca <2 x i64>, align 16 |
| %0 = bitcast <2 x i64>* %x to i8* |
| call void @llvm.lifetime.start.p0i8(i64 16, i8* %0) |
| %arrayidx = getelementptr inbounds <2 x i64>, <2 x i64>* %x, i64 0, i64 0 |
| store <2 x i64> <i64 0, i64 1>, <2 x i64>* %x, align 16 |
| call void @foo(i64* %arrayidx) |
| call void @llvm.lifetime.end.p0i8(i64 16, i8* %0) |
| ret void |
| } |
| |
| ; CHECK-LABEL: @bar |
| ; CHECK: lxvd2x |
| ; CHECK: stxvd2x |
| ; CHECK-NOT: xxswapd |
| |
| declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) |
| declare void @foo(i64*) |
| declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) |
| |
