| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=-vsx | FileCheck %s | |
| ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=+vsx | FileCheck -check-prefix=CHECK-VSX %s | |
| target datalayout = "E-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f128:64:128-n32" | |
| define void @foo1(ptr %p, ptr %r) nounwind { | |
| ; CHECK-LABEL: foo1: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: lhz 3, 0(3) | |
| ; CHECK-NEXT: sth 3, 0(4) | |
| ; CHECK-NEXT: blr | |
| ; | |
| ; CHECK-VSX-LABEL: foo1: | |
| ; CHECK-VSX: # %bb.0: # %entry | |
| ; CHECK-VSX-NEXT: lhz 3, 0(3) | |
| ; CHECK-VSX-NEXT: sth 3, 0(4) | |
| ; CHECK-VSX-NEXT: blr | |
| entry: | |
| %v = load i16, ptr %p, align 1 | |
| store i16 %v, ptr %r, align 1 | |
| ret void | |
| } | |
| define void @foo2(ptr %p, ptr %r) nounwind { | |
| ; CHECK-LABEL: foo2: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: lwz 3, 0(3) | |
| ; CHECK-NEXT: stw 3, 0(4) | |
| ; CHECK-NEXT: blr | |
| ; | |
| ; CHECK-VSX-LABEL: foo2: | |
| ; CHECK-VSX: # %bb.0: # %entry | |
| ; CHECK-VSX-NEXT: lwz 3, 0(3) | |
| ; CHECK-VSX-NEXT: stw 3, 0(4) | |
| ; CHECK-VSX-NEXT: blr | |
| entry: | |
| %v = load i32, ptr %p, align 1 | |
| store i32 %v, ptr %r, align 1 | |
| ret void | |
| } | |
| define void @foo3(ptr %p, ptr %r) nounwind { | |
| ; CHECK-LABEL: foo3: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: ld 3, 0(3) | |
| ; CHECK-NEXT: std 3, 0(4) | |
| ; CHECK-NEXT: blr | |
| ; | |
| ; CHECK-VSX-LABEL: foo3: | |
| ; CHECK-VSX: # %bb.0: # %entry | |
| ; CHECK-VSX-NEXT: ld 3, 0(3) | |
| ; CHECK-VSX-NEXT: std 3, 0(4) | |
| ; CHECK-VSX-NEXT: blr | |
| entry: | |
| %v = load i64, ptr %p, align 1 | |
| store i64 %v, ptr %r, align 1 | |
| ret void | |
| } | |
| define void @foo4(ptr %p, ptr %r) nounwind { | |
| ; CHECK-LABEL: foo4: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: lwz 3, 0(3) | |
| ; CHECK-NEXT: stw 3, 0(4) | |
| ; CHECK-NEXT: blr | |
| ; | |
| ; CHECK-VSX-LABEL: foo4: | |
| ; CHECK-VSX: # %bb.0: # %entry | |
| ; CHECK-VSX-NEXT: lwz 3, 0(3) | |
| ; CHECK-VSX-NEXT: stw 3, 0(4) | |
| ; CHECK-VSX-NEXT: blr | |
| entry: | |
| %v = load float, ptr %p, align 1 | |
| store float %v, ptr %r, align 1 | |
| ret void | |
| } | |
| define void @foo5(ptr %p, ptr %r) nounwind { | |
| ; CHECK-LABEL: foo5: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: ld 3, 0(3) | |
| ; CHECK-NEXT: std 3, 0(4) | |
| ; CHECK-NEXT: blr | |
| ; | |
| ; CHECK-VSX-LABEL: foo5: | |
| ; CHECK-VSX: # %bb.0: # %entry | |
| ; CHECK-VSX-NEXT: ld 3, 0(3) | |
| ; CHECK-VSX-NEXT: std 3, 0(4) | |
| ; CHECK-VSX-NEXT: blr | |
| entry: | |
| %v = load double, ptr %p, align 1 | |
| store double %v, ptr %r, align 1 | |
| ret void | |
| } | |
| define void @foo6(ptr %p, ptr %r) nounwind { | |
| ; These loads and stores are legalized into aligned loads and stores | |
| ; using aligned stack slots. | |
| ; CHECK-LABEL: foo6: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: li 5, 15 | |
| ; CHECK-NEXT: lvsl 3, 0, 3 | |
| ; CHECK-NEXT: lvx 2, 3, 5 | |
| ; CHECK-NEXT: lvx 4, 0, 3 | |
| ; CHECK-NEXT: addi 3, 1, -16 | |
| ; CHECK-NEXT: vperm 2, 4, 2, 3 | |
| ; CHECK-NEXT: stvx 2, 0, 3 | |
| ; CHECK-NEXT: ld 3, -8(1) | |
| ; CHECK-NEXT: std 3, 8(4) | |
| ; CHECK-NEXT: ld 3, -16(1) | |
| ; CHECK-NEXT: std 3, 0(4) | |
| ; CHECK-NEXT: blr | |
| ; | |
| ; CHECK-VSX-LABEL: foo6: | |
| ; CHECK-VSX: # %bb.0: # %entry | |
| ; CHECK-VSX-NEXT: li 5, 15 | |
| ; CHECK-VSX-NEXT: lvsl 3, 0, 3 | |
| ; CHECK-VSX-NEXT: lvx 2, 3, 5 | |
| ; CHECK-VSX-NEXT: lvx 4, 0, 3 | |
| ; CHECK-VSX-NEXT: vperm 2, 4, 2, 3 | |
| ; CHECK-VSX-NEXT: stxvw4x 34, 0, 4 | |
| ; CHECK-VSX-NEXT: blr | |
| ; For VSX on P7, unaligned loads and stores are preferable to aligned | |
| ; stack slots, but lvsl/vperm is better still. (On P8 lxvw4x is preferable.) | |
| ; Using unaligned stxvw4x is preferable on both machines. | |
| entry: | |
| %v = load <4 x float>, ptr %p, align 1 | |
| store <4 x float> %v, ptr %r, align 1 | |
| ret void | |
| } | |