217 lines
8.3 KiB
LLVM
217 lines
8.3 KiB
LLVM
|
; 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: lxvx 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: lxvx 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: lxvx 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: plfd f1, .LCPI3_0@PCREL(0), 1
|
||
|
|
; CHECK-LE-NEXT: blr
|
||
|
|
;
|
||
|
|
; CHECK-NOPCREL-BE-LABEL: testDoubleNonRepresentableScalar:
|
||
|
|
; CHECK-NOPCREL-BE: # %bb.0: # %entry
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: addis r3, r2, .LCPI3_0@toc@ha
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: lfd f1, .LCPI3_0@toc@l(r3)
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: blr
|
||
|
|
;
|
||
|
|
; CHECK-NOPCREL-LE-LABEL: testDoubleNonRepresentableScalar:
|
||
|
|
; CHECK-NOPCREL-LE: # %bb.0: # %entry
|
||
|
|
; CHECK-NOPCREL-LE-NEXT: addis r3, r2, .LCPI3_0@toc@ha
|
||
|
|
; CHECK-NOPCREL-LE-NEXT: lfd f1, .LCPI3_0@toc@l(r3)
|
||
|
|
; 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: plfd f1, .LCPI3_0@PCREL(0), 1
|
||
|
|
; 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: plfs f1, .LCPI4_0@PCREL(0), 1
|
||
|
|
; CHECK-LE-NEXT: blr
|
||
|
|
;
|
||
|
|
; CHECK-NOPCREL-BE-LABEL: testFloatDenormScalar:
|
||
|
|
; CHECK-NOPCREL-BE: # %bb.0: # %entry
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: addis r3, r2, .LCPI4_0@toc@ha
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: lfs f1, .LCPI4_0@toc@l(r3)
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: blr
|
||
|
|
;
|
||
|
|
; CHECK-NOPCREL-LE-LABEL: testFloatDenormScalar:
|
||
|
|
; CHECK-NOPCREL-LE: # %bb.0: # %entry
|
||
|
|
; CHECK-NOPCREL-LE-NEXT: addis r3, r2, .LCPI4_0@toc@ha
|
||
|
|
; CHECK-NOPCREL-LE-NEXT: lfs f1, .LCPI4_0@toc@l(r3)
|
||
|
|
; 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: plfs f1, .LCPI4_0@PCREL(0), 1
|
||
|
|
; 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: plfs f1, .LCPI5_0@PCREL(0), 1
|
||
|
|
; CHECK-LE-NEXT: blr
|
||
|
|
;
|
||
|
|
; CHECK-NOPCREL-BE-LABEL: testFloatDenormToDoubleScalar:
|
||
|
|
; CHECK-NOPCREL-BE: # %bb.0: # %entry
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: addis r3, r2, .LCPI5_0@toc@ha
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: lfs f1, .LCPI5_0@toc@l(r3)
|
||
|
|
; CHECK-NOPCREL-BE-NEXT: blr
|
||
|
|
;
|
||
|
|
; CHECK-NOPCREL-LE-LABEL: testFloatDenormToDoubleScalar:
|
||
|
|
; CHECK-NOPCREL-LE: # %bb.0: # %entry
|
||
|
|
; CHECK-NOPCREL-LE-NEXT: addis r3, r2, .LCPI5_0@toc@ha
|
||
|
|
; CHECK-NOPCREL-LE-NEXT: lfs f1, .LCPI5_0@toc@l(r3)
|
||
|
|
; 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: plfs f1, .LCPI5_0@PCREL(0), 1
|
||
|
|
; CHECK-BE-NEXT: blr
|
||
|
|
entry:
|
||
|
|
ret double 0x380B38FB80000000
|
||
|
|
}
|