780054d3ff
It is used to mark a value that we are sure that it is not some fcType. The examples include: * An arguments of a function is marked with nofpclass * Output value of an intrinsic can be sure to not be some type So that the following operation can make some assumptions.
225 lines
8.0 KiB
LLVM
225 lines
8.0 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
|
|
; RUN: llc --mtriple=mipsisa32r6-linux-gnu < %s | FileCheck %s --check-prefix=MIPS32R6
|
|
; RUN: llc --mtriple=mipsisa64r6-linux-gnu < %s | FileCheck %s --check-prefix=MIPS64R6
|
|
|
|
define float @f(float nofpclass(nan) %a, float nofpclass(nan) %b) {
|
|
; MIPS32R6-LABEL: f:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f0, $f12, $f14
|
|
;
|
|
; MIPS64R6-LABEL: f:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f0, $f12, $f13
|
|
entry:
|
|
%cond = tail call float @llvm.maximumnum.f32(float %a, float %b)
|
|
ret float %cond
|
|
}
|
|
|
|
define {float, float} @m({float, float} nofpclass(nan) %a0, {float, float} nofpclass(nan) %a1) {
|
|
; MIPS32R6-LABEL: m:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: mtc1 $6, $f0
|
|
; MIPS32R6-NEXT: max.s $f0, $f12, $f0
|
|
; MIPS32R6-NEXT: mtc1 $7, $f1
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f2, $f14, $f1
|
|
;
|
|
; MIPS64R6-LABEL: m:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: max.s $f0, $f12, $f14
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f2, $f13, $f15
|
|
entry:
|
|
%a0f0 = extractvalue {float, float} %a0, 0
|
|
%a0f1 = extractvalue {float, float} %a0, 1
|
|
%a1f0 = extractvalue {float, float} %a1, 0
|
|
%a1f1 = extractvalue {float, float} %a1, 1
|
|
%max0 = tail call float @llvm.maximumnum.f32(float %a0f0, float %a1f0)
|
|
%max1 = tail call float @llvm.maximumnum.f32(float %a0f1, float %a1f1)
|
|
%ret0 = insertvalue {float, float} poison, float %max0, 0
|
|
%ret1 = insertvalue {float, float} %ret0, float %max1, 1
|
|
ret {float, float} %ret1
|
|
}
|
|
|
|
define [2 x float] @mA([2 x float] nofpclass(nan) %a0, [2 x float] nofpclass(nan) %a1) {
|
|
; MIPS32R6-LABEL: mA:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: mtc1 $6, $f0
|
|
; MIPS32R6-NEXT: max.s $f0, $f12, $f0
|
|
; MIPS32R6-NEXT: mtc1 $7, $f1
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f2, $f14, $f1
|
|
;
|
|
; MIPS64R6-LABEL: mA:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: max.s $f0, $f12, $f14
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f2, $f13, $f15
|
|
entry:
|
|
%a0f0 = extractvalue [2 x float] %a0, 0
|
|
%a0f1 = extractvalue [2 x float] %a0, 1
|
|
%a1f0 = extractvalue [2 x float] %a1, 0
|
|
%a1f1 = extractvalue [2 x float] %a1, 1
|
|
%max0 = tail call float @llvm.maximumnum.f32(float %a0f0, float %a1f0)
|
|
%max1 = tail call float @llvm.maximumnum.f32(float %a0f1, float %a1f1)
|
|
%ret0 = insertvalue [2 x float] poison, float %max0, 0
|
|
%ret1 = insertvalue [2 x float] %ret0, float %max1, 1
|
|
ret [2 x float] %ret1
|
|
}
|
|
|
|
define float @fS(float nofpclass(snan) %a, float nofpclass(snan) %b) {
|
|
; MIPS32R6-LABEL: fS:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f0, $f12, $f14
|
|
;
|
|
; MIPS64R6-LABEL: fS:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f0, $f12, $f13
|
|
entry:
|
|
%cond = tail call float @llvm.maximumnum.f32(float %a, float %b)
|
|
ret float %cond
|
|
}
|
|
|
|
define {float, float} @mS({float, float} nofpclass(snan) %a0, {float, float} nofpclass(snan) %a1) {
|
|
; MIPS32R6-LABEL: mS:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: mtc1 $6, $f0
|
|
; MIPS32R6-NEXT: max.s $f0, $f12, $f0
|
|
; MIPS32R6-NEXT: mtc1 $7, $f1
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f2, $f14, $f1
|
|
;
|
|
; MIPS64R6-LABEL: mS:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: max.s $f0, $f12, $f14
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f2, $f13, $f15
|
|
entry:
|
|
%a0f0 = extractvalue {float, float} %a0, 0
|
|
%a0f1 = extractvalue {float, float} %a0, 1
|
|
%a1f0 = extractvalue {float, float} %a1, 0
|
|
%a1f1 = extractvalue {float, float} %a1, 1
|
|
%max0 = tail call float @llvm.maximumnum.f32(float %a0f0, float %a1f0)
|
|
%max1 = tail call float @llvm.maximumnum.f32(float %a0f1, float %a1f1)
|
|
%ret0 = insertvalue {float, float} poison, float %max0, 0
|
|
%ret1 = insertvalue {float, float} %ret0, float %max1, 1
|
|
ret {float, float} %ret1
|
|
}
|
|
|
|
define [2 x float] @mAS([2 x float] nofpclass(snan) %a0, [2 x float] nofpclass(snan) %a1) {
|
|
; MIPS32R6-LABEL: mAS:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: mtc1 $6, $f0
|
|
; MIPS32R6-NEXT: max.s $f0, $f12, $f0
|
|
; MIPS32R6-NEXT: mtc1 $7, $f1
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f2, $f14, $f1
|
|
;
|
|
; MIPS64R6-LABEL: mAS:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: max.s $f0, $f12, $f14
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f2, $f13, $f15
|
|
entry:
|
|
%a0f0 = extractvalue [2 x float] %a0, 0
|
|
%a0f1 = extractvalue [2 x float] %a0, 1
|
|
%a1f0 = extractvalue [2 x float] %a1, 0
|
|
%a1f1 = extractvalue [2 x float] %a1, 1
|
|
%max0 = tail call float @llvm.maximumnum.f32(float %a0f0, float %a1f0)
|
|
%max1 = tail call float @llvm.maximumnum.f32(float %a0f1, float %a1f1)
|
|
%ret0 = insertvalue [2 x float] poison, float %max0, 0
|
|
%ret1 = insertvalue [2 x float] %ret0, float %max1, 1
|
|
ret [2 x float] %ret1
|
|
}
|
|
|
|
define float @fQ(float nofpclass(qnan) %a, float nofpclass(qnan) %b) {
|
|
; MIPS32R6-LABEL: fQ:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: min.s $f0, $f14, $f14
|
|
; MIPS32R6-NEXT: min.s $f1, $f12, $f12
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f0, $f1, $f0
|
|
;
|
|
; MIPS64R6-LABEL: fQ:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: min.s $f0, $f13, $f13
|
|
; MIPS64R6-NEXT: min.s $f1, $f12, $f12
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f0, $f1, $f0
|
|
entry:
|
|
%cond = tail call float @llvm.maximumnum.f32(float %a, float %b)
|
|
ret float %cond
|
|
}
|
|
|
|
define {float, float} @mQ({float, float} nofpclass(qnan) %a0, {float, float} nofpclass(qnan) %a1) {
|
|
; MIPS32R6-LABEL: mQ:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: min.s $f0, $f12, $f12
|
|
; MIPS32R6-NEXT: mtc1 $6, $f1
|
|
; MIPS32R6-NEXT: min.s $f1, $f1, $f1
|
|
; MIPS32R6-NEXT: max.s $f0, $f0, $f1
|
|
; MIPS32R6-NEXT: min.s $f1, $f14, $f14
|
|
; MIPS32R6-NEXT: mtc1 $7, $f2
|
|
; MIPS32R6-NEXT: min.s $f2, $f2, $f2
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f2, $f1, $f2
|
|
;
|
|
; MIPS64R6-LABEL: mQ:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: min.s $f0, $f14, $f14
|
|
; MIPS64R6-NEXT: min.s $f1, $f12, $f12
|
|
; MIPS64R6-NEXT: max.s $f0, $f1, $f0
|
|
; MIPS64R6-NEXT: min.s $f1, $f15, $f15
|
|
; MIPS64R6-NEXT: min.s $f2, $f13, $f13
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f2, $f2, $f1
|
|
entry:
|
|
%a0f0 = extractvalue {float, float} %a0, 0
|
|
%a0f1 = extractvalue {float, float} %a0, 1
|
|
%a1f0 = extractvalue {float, float} %a1, 0
|
|
%a1f1 = extractvalue {float, float} %a1, 1
|
|
%max0 = tail call float @llvm.maximumnum.f32(float %a0f0, float %a1f0)
|
|
%max1 = tail call float @llvm.maximumnum.f32(float %a0f1, float %a1f1)
|
|
%ret0 = insertvalue {float, float} poison, float %max0, 0
|
|
%ret1 = insertvalue {float, float} %ret0, float %max1, 1
|
|
ret {float, float} %ret1
|
|
}
|
|
|
|
define [2 x float] @mAQ([2 x float] nofpclass(qnan) %a0, [2 x float] nofpclass(qnan) %a1) {
|
|
; MIPS32R6-LABEL: mAQ:
|
|
; MIPS32R6: # %bb.0: # %entry
|
|
; MIPS32R6-NEXT: min.s $f0, $f12, $f12
|
|
; MIPS32R6-NEXT: mtc1 $6, $f1
|
|
; MIPS32R6-NEXT: min.s $f1, $f1, $f1
|
|
; MIPS32R6-NEXT: max.s $f0, $f0, $f1
|
|
; MIPS32R6-NEXT: min.s $f1, $f14, $f14
|
|
; MIPS32R6-NEXT: mtc1 $7, $f2
|
|
; MIPS32R6-NEXT: min.s $f2, $f2, $f2
|
|
; MIPS32R6-NEXT: jr $ra
|
|
; MIPS32R6-NEXT: max.s $f2, $f1, $f2
|
|
;
|
|
; MIPS64R6-LABEL: mAQ:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: min.s $f0, $f14, $f14
|
|
; MIPS64R6-NEXT: min.s $f1, $f12, $f12
|
|
; MIPS64R6-NEXT: max.s $f0, $f1, $f0
|
|
; MIPS64R6-NEXT: min.s $f1, $f15, $f15
|
|
; MIPS64R6-NEXT: min.s $f2, $f13, $f13
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: max.s $f2, $f2, $f1
|
|
entry:
|
|
%a0f0 = extractvalue [2 x float] %a0, 0
|
|
%a0f1 = extractvalue [2 x float] %a0, 1
|
|
%a1f0 = extractvalue [2 x float] %a1, 0
|
|
%a1f1 = extractvalue [2 x float] %a1, 1
|
|
%max0 = tail call float @llvm.maximumnum.f32(float %a0f0, float %a1f0)
|
|
%max1 = tail call float @llvm.maximumnum.f32(float %a0f1, float %a1f1)
|
|
%ret0 = insertvalue [2 x float] poison, float %max0, 0
|
|
%ret1 = insertvalue [2 x float] %ret0, float %max1, 1
|
|
ret [2 x float] %ret1
|
|
}
|