xref: /llvm-project/llvm/test/CodeGen/PowerPC/vec-promote.ll (revision b922a3621116b404d868af8b74cab25ab78555be)

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc -mtriple=powerpc64-unknown-unknown -verify-machineinstrs -mcpu=pwr8 \
; RUN:   < %s | FileCheck %s --check-prefix=CHECK-BE
; RUN: llc -mtriple=powerpc64le-unknown-unknown -verify-machineinstrs -mcpu=pwr8 \
; RUN:   < %s | FileCheck %s --check-prefix=CHECK-LE

define noundef <2 x double> @vec_promote_double_zeroed(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_double_zeroed:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lfd 0, 0(3)
; CHECK-BE-NEXT:    xxlxor 1, 1, 1
; CHECK-BE-NEXT:    xxmrghd 34, 0, 1
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_double_zeroed:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lfd 0, 0(3)
; CHECK-LE-NEXT:    xxlxor 1, 1, 1
; CHECK-LE-NEXT:    xxmrghd 34, 1, 0
; CHECK-LE-NEXT:    blr
entry:
  %0 = load double, ptr %p, align 8
  %vecins.i = insertelement <2 x double> <double poison, double 0.0>, double %0, i64 0
  ret <2 x double> %vecins.i
}

define noundef <2 x double> @vec_promote_double(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_double:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lxvdsx 34, 0, 3
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_double:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lxvdsx 34, 0, 3
; CHECK-LE-NEXT:    blr
entry:
  %0 = load double, ptr %p, align 8
  %vecins.i = insertelement <2 x double> poison, double %0, i64 0
  ret <2 x double> %vecins.i
}

define noundef <4 x float> @vec_promote_float_zeroed(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_float_zeroed:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lfs 0, 0(3)
; CHECK-BE-NEXT:    xxlxor 1, 1, 1
; CHECK-BE-NEXT:    xxmrghd 0, 0, 1
; CHECK-BE-NEXT:    xxspltd 1, 1, 0
; CHECK-BE-NEXT:    xvcvdpsp 34, 0
; CHECK-BE-NEXT:    xvcvdpsp 35, 1
; CHECK-BE-NEXT:    vmrgew 2, 2, 3
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_float_zeroed:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lfs 0, 0(3)
; CHECK-LE-NEXT:    xxlxor 1, 1, 1
; CHECK-LE-NEXT:    xxmrghd 0, 1, 0
; CHECK-LE-NEXT:    xxspltd 1, 1, 0
; CHECK-LE-NEXT:    xvcvdpsp 34, 0
; CHECK-LE-NEXT:    xvcvdpsp 35, 1
; CHECK-LE-NEXT:    vmrgew 2, 3, 2
; CHECK-LE-NEXT:    blr
entry:
  %0 = load float, ptr %p, align 8
  %vecins.i = insertelement <4 x float> <float poison, float 0.0, float 0.0, float 0.0>, float %0, i64 0
  ret <4 x float> %vecins.i
}

define noundef <4 x float> @vec_promote_float(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_float:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lfiwzx 0, 0, 3
; CHECK-BE-NEXT:    xxspltw 34, 0, 1
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_float:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lfiwzx 0, 0, 3
; CHECK-LE-NEXT:    xxspltw 34, 0, 1
; CHECK-LE-NEXT:    blr
entry:
  %0 = load float, ptr %p, align 8
  %vecins.i = insertelement <4 x float> poison, float %0, i64 0
  ret <4 x float> %vecins.i
}

define noundef <2 x i64> @vec_promote_long_long_zeroed(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_long_long_zeroed:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    ld 3, 0(3)
; CHECK-BE-NEXT:    li 4, 0
; CHECK-BE-NEXT:    mtfprd 0, 4
; CHECK-BE-NEXT:    mtfprd 1, 3
; CHECK-BE-NEXT:    xxmrghd 34, 1, 0
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_long_long_zeroed:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    ld 3, 0(3)
; CHECK-LE-NEXT:    li 4, 0
; CHECK-LE-NEXT:    mtfprd 0, 4
; CHECK-LE-NEXT:    mtfprd 1, 3
; CHECK-LE-NEXT:    xxmrghd 34, 0, 1
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i64, ptr %p, align 8
  %vecins.i = insertelement <2 x i64> <i64 poison, i64 0>, i64 %0, i64 0
  ret <2 x i64> %vecins.i
}

define noundef <2 x i64> @vec_promote_long_long(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_long_long:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lxvdsx 34, 0, 3
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_long_long:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lxvdsx 34, 0, 3
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i64, ptr %p, align 8
  %vecins.i = insertelement <2 x i64> poison, i64 %0, i64 0
  ret <2 x i64> %vecins.i
}

define noundef <4 x i32> @vec_promote_int_zeroed(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_int_zeroed:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lwz 3, 0(3)
; CHECK-BE-NEXT:    li 4, 0
; CHECK-BE-NEXT:    li 5, 0
; CHECK-BE-NEXT:    rldimi 4, 4, 32, 0
; CHECK-BE-NEXT:    rldimi 5, 3, 32, 0
; CHECK-BE-NEXT:    mtfprd 1, 4
; CHECK-BE-NEXT:    mtfprd 0, 5
; CHECK-BE-NEXT:    xxmrghd 34, 0, 1
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_int_zeroed:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lwz 3, 0(3)
; CHECK-LE-NEXT:    li 4, 0
; CHECK-LE-NEXT:    rldimi 3, 4, 32, 0
; CHECK-LE-NEXT:    rldimi 4, 4, 32, 0
; CHECK-LE-NEXT:    mtfprd 0, 3
; CHECK-LE-NEXT:    mtfprd 1, 4
; CHECK-LE-NEXT:    xxmrghd 34, 1, 0
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i32, ptr %p, align 4
  %vecins.i = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %0, i64 0
  ret <4 x i32> %vecins.i
}

define noundef <4 x i32> @vec_promote_int(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_int:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lfiwzx 0, 0, 3
; CHECK-BE-NEXT:    xxspltw 34, 0, 1
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_int:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lfiwzx 0, 0, 3
; CHECK-LE-NEXT:    xxspltw 34, 0, 1
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i32, ptr %p, align 4
  %vecins.i = insertelement <4 x i32> poison, i32 %0, i64 0
  ret <4 x i32> %vecins.i
}

define noundef <8 x i16> @vec_promote_short_zeroed(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_short_zeroed:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    addis 4, 2, .LCPI8_0@toc@ha
; CHECK-BE-NEXT:    lhz 3, 0(3)
; CHECK-BE-NEXT:    addi 4, 4, .LCPI8_0@toc@l
; CHECK-BE-NEXT:    mtvsrwz 36, 3
; CHECK-BE-NEXT:    lxvw4x 34, 0, 4
; CHECK-BE-NEXT:    li 4, 0
; CHECK-BE-NEXT:    mtvsrwz 35, 4
; CHECK-BE-NEXT:    vperm 2, 4, 3, 2
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_short_zeroed:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    addis 4, 2, .LCPI8_0@toc@ha
; CHECK-LE-NEXT:    lhz 3, 0(3)
; CHECK-LE-NEXT:    addi 4, 4, .LCPI8_0@toc@l
; CHECK-LE-NEXT:    mtvsrd 36, 3
; CHECK-LE-NEXT:    lxvd2x 0, 0, 4
; CHECK-LE-NEXT:    li 4, 0
; CHECK-LE-NEXT:    mtvsrd 35, 4
; CHECK-LE-NEXT:    xxswapd 34, 0
; CHECK-LE-NEXT:    vperm 2, 3, 4, 2
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i16, ptr %p, align 2
  %vecins.i = insertelement <8 x i16> <i16 poison, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0>, i16 %0, i64 0
  ret <8 x i16> %vecins.i
}

define noundef <8 x i16> @vec_promote_short(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_short:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lhzx 3, 0, 3
; CHECK-BE-NEXT:    mtvsrwz 34, 3
; CHECK-BE-NEXT:    vsplth 2, 2, 3
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_short:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lhzx 3, 0, 3
; CHECK-LE-NEXT:    mtvsrwz 34, 3
; CHECK-LE-NEXT:    vsplth 2, 2, 3
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i16, ptr %p, align 2
  %vecins.i = insertelement <8 x i16> poison, i16 %0, i64 0
  ret <8 x i16> %vecins.i
}

define noundef <16 x i8> @vec_promote_char_zeroed(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_char_zeroed:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    addis 4, 2, .LCPI10_0@toc@ha
; CHECK-BE-NEXT:    lbz 3, 0(3)
; CHECK-BE-NEXT:    addi 4, 4, .LCPI10_0@toc@l
; CHECK-BE-NEXT:    mtvsrwz 36, 3
; CHECK-BE-NEXT:    lxvw4x 34, 0, 4
; CHECK-BE-NEXT:    li 4, 0
; CHECK-BE-NEXT:    mtvsrwz 35, 4
; CHECK-BE-NEXT:    vperm 2, 4, 3, 2
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_char_zeroed:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    addis 4, 2, .LCPI10_0@toc@ha
; CHECK-LE-NEXT:    lbz 3, 0(3)
; CHECK-LE-NEXT:    addi 4, 4, .LCPI10_0@toc@l
; CHECK-LE-NEXT:    mtvsrd 36, 3
; CHECK-LE-NEXT:    lxvd2x 0, 0, 4
; CHECK-LE-NEXT:    li 4, 0
; CHECK-LE-NEXT:    mtvsrd 35, 4
; CHECK-LE-NEXT:    xxswapd 34, 0
; CHECK-LE-NEXT:    vperm 2, 3, 4, 2
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i8, ptr %p, align 1
  %vecins.i = insertelement <16 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %0, i64 0
  ret <16 x i8> %vecins.i
}

define noundef <16 x i8> @vec_promote_char(ptr nocapture noundef readonly %p) {
; CHECK-BE-LABEL: vec_promote_char:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    lbzx 3, 0, 3
; CHECK-BE-NEXT:    mtvsrwz 34, 3
; CHECK-BE-NEXT:    vspltb 2, 2, 7
; CHECK-BE-NEXT:    blr
;
; CHECK-LE-LABEL: vec_promote_char:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    lbzx 3, 0, 3
; CHECK-LE-NEXT:    mtvsrwz 34, 3
; CHECK-LE-NEXT:    vspltb 2, 2, 7
; CHECK-LE-NEXT:    blr
entry:
  %0 = load i8, ptr %p, align 1
  %vecins.i = insertelement <16 x i8> poison, i8 %0, i64 0
  ret <16 x i8> %vecins.i
}