; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
; RUN:     -ppc-asm-full-reg-names -mcpu=pwr10 < %s | FileCheck %s --check-prefixes=CHECK-LE
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
; RUN:     -ppc-asm-full-reg-names -mcpu=pwr10 < %s | FileCheck %s \
; RUN:     --check-prefixes=CHECK-NOPCREL-BE
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
; RUN:     -mattr=-pcrelative-memops -ppc-asm-full-reg-names -mcpu=pwr10 < %s | \
; RUN:     FileCheck %s --check-prefixes=CHECK-NOPCREL-LE
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
; RUN:     -mattr=-prefix-instrs -ppc-asm-full-reg-names -mcpu=pwr10 < %s | \
; RUN:     FileCheck %s --check-prefixes=CHECK-NOPREFIX
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
; RUN:     -ppc-asm-full-reg-names -target-abi=elfv2 -mcpu=pwr10 < %s | \
; RUN:     FileCheck %s --check-prefixes=CHECK-BE

define dso_local <2 x double> @testDoubleToDoubleFail() local_unnamed_addr {
; CHECK-LE-LABEL: testDoubleToDoubleFail:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    xxsplti32dx vs34, 0, 1081435463
; CHECK-LE-NEXT:    xxsplti32dx vs34, 1, -1374389535
; CHECK-LE-NEXT:    blr
;
; CHECK-NOPCREL-BE-LABEL: testDoubleToDoubleFail:
; CHECK-NOPCREL-BE:       # %bb.0: # %entry
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs34, 0, 1081435463
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs34, 1, -1374389535
; CHECK-NOPCREL-BE-NEXT:    blr
;
; CHECK-NOPCREL-LE-LABEL: testDoubleToDoubleFail:
; CHECK-NOPCREL-LE:       # %bb.0: # %entry
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs34, 0, 1081435463
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs34, 1, -1374389535
; CHECK-NOPCREL-LE-NEXT:    blr
;
; CHECK-NOPREFIX-LABEL: testDoubleToDoubleFail:
; CHECK-NOPREFIX:       # %bb.0: # %entry
; CHECK-NOPREFIX-NEXT:    addis r3, r2, .LCPI0_0@toc@ha
; CHECK-NOPREFIX-NEXT:    addi r3, r3, .LCPI0_0@toc@l
; CHECK-NOPREFIX-NEXT:    lxv vs34, 0(r3)
; CHECK-NOPREFIX-NEXT:    blr
;
; CHECK-BE-LABEL: testDoubleToDoubleFail:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    xxsplti32dx vs34, 0, 1081435463
; CHECK-BE-NEXT:    xxsplti32dx vs34, 1, -1374389535
; CHECK-BE-NEXT:    blr
entry:
  ret <2 x double> <double 3.423300e+02, double 3.423300e+02>
}

define dso_local <2 x double> @testFloatDenormToDouble() local_unnamed_addr {
; CHECK-LE-LABEL: testFloatDenormToDouble:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    xxsplti32dx vs34, 0, 940259579
; CHECK-LE-NEXT:    xxsplti32dx vs34, 1, -2147483648
; CHECK-LE-NEXT:    blr
;
; CHECK-NOPCREL-BE-LABEL: testFloatDenormToDouble:
; CHECK-NOPCREL-BE:       # %bb.0: # %entry
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs34, 0, 940259579
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs34, 1, -2147483648
; CHECK-NOPCREL-BE-NEXT:    blr
;
; CHECK-NOPCREL-LE-LABEL: testFloatDenormToDouble:
; CHECK-NOPCREL-LE:       # %bb.0: # %entry
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs34, 0, 940259579
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs34, 1, -2147483648
; CHECK-NOPCREL-LE-NEXT:    blr
;
; CHECK-NOPREFIX-LABEL: testFloatDenormToDouble:
; CHECK-NOPREFIX:       # %bb.0: # %entry
; CHECK-NOPREFIX-NEXT:    addis r3, r2, .LCPI1_0@toc@ha
; CHECK-NOPREFIX-NEXT:    addi r3, r3, .LCPI1_0@toc@l
; CHECK-NOPREFIX-NEXT:    lxv vs34, 0(r3)
; CHECK-NOPREFIX-NEXT:    blr
;
; CHECK-BE-LABEL: testFloatDenormToDouble:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    xxsplti32dx vs34, 0, 940259579
; CHECK-BE-NEXT:    xxsplti32dx vs34, 1, -2147483648
; CHECK-BE-NEXT:    blr
entry:
  ret <2 x double> <double 0x380B38FB80000000, double 0x380B38FB80000000>
}

define dso_local <2 x double> @testDoubleToDoubleNaNFail() local_unnamed_addr {
; CHECK-LE-LABEL: testDoubleToDoubleNaNFail:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    xxsplti32dx vs34, 0, -1
; CHECK-LE-NEXT:    xxsplti32dx vs34, 1, -16
; CHECK-LE-NEXT:    blr
;
; CHECK-NOPCREL-BE-LABEL: testDoubleToDoubleNaNFail:
; CHECK-NOPCREL-BE:       # %bb.0: # %entry
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs34, 0, -1
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs34, 1, -16
; CHECK-NOPCREL-BE-NEXT:    blr
;
; CHECK-NOPCREL-LE-LABEL: testDoubleToDoubleNaNFail:
; CHECK-NOPCREL-LE:       # %bb.0: # %entry
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs34, 0, -1
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs34, 1, -16
; CHECK-NOPCREL-LE-NEXT:    blr
;
; CHECK-NOPREFIX-LABEL: testDoubleToDoubleNaNFail:
; CHECK-NOPREFIX:       # %bb.0: # %entry
; CHECK-NOPREFIX-NEXT:    addis r3, r2, .LCPI2_0@toc@ha
; CHECK-NOPREFIX-NEXT:    addi r3, r3, .LCPI2_0@toc@l
; CHECK-NOPREFIX-NEXT:    lxv vs34, 0(r3)
; CHECK-NOPREFIX-NEXT:    blr
;
; CHECK-BE-LABEL: testDoubleToDoubleNaNFail:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    xxsplti32dx vs34, 0, -1
; CHECK-BE-NEXT:    xxsplti32dx vs34, 1, -16
; CHECK-BE-NEXT:    blr
entry:
  ret <2 x double> <double 0xFFFFFFFFFFFFFFF0, double 0xFFFFFFFFFFFFFFF0>
}

define dso_local double @testDoubleNonRepresentableScalar() local_unnamed_addr {
; CHECK-LE-LABEL: testDoubleNonRepresentableScalar:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    xxsplti32dx vs1, 0, 1081435463
; CHECK-LE-NEXT:    xxsplti32dx vs1, 1, -1374389535
; CHECK-LE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-LE-NEXT:    blr
;
; CHECK-NOPCREL-BE-LABEL: testDoubleNonRepresentableScalar:
; CHECK-NOPCREL-BE:       # %bb.0: # %entry
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs1, 0, 1081435463
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs1, 1, -1374389535
; CHECK-NOPCREL-BE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-NOPCREL-BE-NEXT:    blr
;
; CHECK-NOPCREL-LE-LABEL: testDoubleNonRepresentableScalar:
; CHECK-NOPCREL-LE:       # %bb.0: # %entry
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs1, 0, 1081435463
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs1, 1, -1374389535
; CHECK-NOPCREL-LE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-NOPCREL-LE-NEXT:    blr
;
; CHECK-NOPREFIX-LABEL: testDoubleNonRepresentableScalar:
; CHECK-NOPREFIX:       # %bb.0: # %entry
; CHECK-NOPREFIX-NEXT:    addis r3, r2, .LCPI3_0@toc@ha
; CHECK-NOPREFIX-NEXT:    lfd f1, .LCPI3_0@toc@l(r3)
; CHECK-NOPREFIX-NEXT:    blr
;
; CHECK-BE-LABEL: testDoubleNonRepresentableScalar:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    xxsplti32dx vs1, 0, 1081435463
; CHECK-BE-NEXT:    xxsplti32dx vs1, 1, -1374389535
; CHECK-BE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-BE-NEXT:    blr
entry:
  ret double 3.423300e+02
}

define dso_local float @testFloatDenormScalar() local_unnamed_addr {
; CHECK-LE-LABEL: testFloatDenormScalar:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-LE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-LE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-LE-NEXT:    blr
;
; CHECK-NOPCREL-BE-LABEL: testFloatDenormScalar:
; CHECK-NOPCREL-BE:       # %bb.0: # %entry
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-NOPCREL-BE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-NOPCREL-BE-NEXT:    blr
;
; CHECK-NOPCREL-LE-LABEL: testFloatDenormScalar:
; CHECK-NOPCREL-LE:       # %bb.0: # %entry
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-NOPCREL-LE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-NOPCREL-LE-NEXT:    blr
;
; CHECK-NOPREFIX-LABEL: testFloatDenormScalar:
; CHECK-NOPREFIX:       # %bb.0: # %entry
; CHECK-NOPREFIX-NEXT:    addis r3, r2, .LCPI4_0@toc@ha
; CHECK-NOPREFIX-NEXT:    lfs f1, .LCPI4_0@toc@l(r3)
; CHECK-NOPREFIX-NEXT:    blr
;
; CHECK-BE-LABEL: testFloatDenormScalar:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-BE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-BE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-BE-NEXT:    blr
entry:
  ret float 0x380B38FB80000000
}

define dso_local double @testFloatDenormToDoubleScalar() local_unnamed_addr {
; CHECK-LE-LABEL: testFloatDenormToDoubleScalar:
; CHECK-LE:       # %bb.0: # %entry
; CHECK-LE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-LE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-LE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-LE-NEXT:    blr
;
; CHECK-NOPCREL-BE-LABEL: testFloatDenormToDoubleScalar:
; CHECK-NOPCREL-BE:       # %bb.0: # %entry
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-NOPCREL-BE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-NOPCREL-BE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-NOPCREL-BE-NEXT:    blr
;
; CHECK-NOPCREL-LE-LABEL: testFloatDenormToDoubleScalar:
; CHECK-NOPCREL-LE:       # %bb.0: # %entry
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-NOPCREL-LE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-NOPCREL-LE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-NOPCREL-LE-NEXT:    blr
;
; CHECK-NOPREFIX-LABEL: testFloatDenormToDoubleScalar:
; CHECK-NOPREFIX:       # %bb.0: # %entry
; CHECK-NOPREFIX-NEXT:    addis r3, r2, .LCPI5_0@toc@ha
; CHECK-NOPREFIX-NEXT:    lfs f1, .LCPI5_0@toc@l(r3)
; CHECK-NOPREFIX-NEXT:    blr
;
; CHECK-BE-LABEL: testFloatDenormToDoubleScalar:
; CHECK-BE:       # %bb.0: # %entry
; CHECK-BE-NEXT:    xxsplti32dx vs1, 0, 940259579
; CHECK-BE-NEXT:    xxsplti32dx vs1, 1, -2147483648
; CHECK-BE-NEXT:    # kill: def $f1 killed $f1 killed $vsl1
; CHECK-BE-NEXT:    blr
entry:
  ret double 0x380B38FB80000000
}