mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-24 21:42:54 +02:00
1b73eef3b4
Split from D17490. This patch improves support for determining the demanded vector elements through SSE scalar intrinsics: 1 - demanded vector element support for unary and some extra binary scalar intrinsics (RCP/RSQRT/SQRT/FRCZ and ADD/CMP/DIV/ROUND). 2 - addss/addsd get simplified to a fadd call if we aren't interested in the pass through elements 3 - if we don't need the lowest element of a scalar operation then just use the first argument (the pass through elements) directly We can add support for propagating demanded elements through any equivalent packed SSE intrinsics in a future patch (these wouldn't use the pass through patterns). Differential Revision: http://reviews.llvm.org/D19318 llvm-svn: 267357
284 lines
13 KiB
LLVM
284 lines
13 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt < %s -instcombine -S | FileCheck %s
|
|
|
|
define double @test_vfrcz_sd_0(double %a) {
|
|
; CHECK-LABEL: @test_vfrcz_sd_0(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x double> undef, double %a, i32 0
|
|
; CHECK-NEXT: [[TMP2:%.*]] = tail call <2 x double> @llvm.x86.xop.vfrcz.sd(<2 x double> [[TMP1]])
|
|
; CHECK-NEXT: [[TMP3:%.*]] = extractelement <2 x double> [[TMP2]], i32 0
|
|
; CHECK-NEXT: ret double [[TMP3]]
|
|
;
|
|
%1 = insertelement <2 x double> undef, double %a, i32 0
|
|
%2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
|
|
%3 = tail call <2 x double> @llvm.x86.xop.vfrcz.sd(<2 x double> %2)
|
|
%4 = extractelement <2 x double> %3, i32 0
|
|
ret double %4
|
|
}
|
|
|
|
define double @test_vfrcz_sd_1(double %a) {
|
|
; CHECK-LABEL: @test_vfrcz_sd_1(
|
|
; CHECK-NEXT: ret double 1.000000e+00
|
|
;
|
|
%1 = insertelement <2 x double> undef, double %a, i32 0
|
|
%2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
|
|
%3 = tail call <2 x double> @llvm.x86.xop.vfrcz.sd(<2 x double> %2)
|
|
%4 = extractelement <2 x double> %3, i32 1
|
|
ret double %4
|
|
}
|
|
|
|
define float @test_vfrcz_ss_0(float %a) {
|
|
; CHECK-LABEL: @test_vfrcz_ss_0(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x float> undef, float %a, i32 0
|
|
; CHECK-NEXT: [[TMP2:%.*]] = tail call <4 x float> @llvm.x86.xop.vfrcz.ss(<4 x float> [[TMP1]])
|
|
; CHECK-NEXT: [[TMP3:%.*]] = extractelement <4 x float> [[TMP2]], i32 0
|
|
; CHECK-NEXT: ret float [[TMP3]]
|
|
;
|
|
%1 = insertelement <4 x float> undef, float %a, i32 0
|
|
%2 = insertelement <4 x float> %1, float 1.000000e+00, i32 1
|
|
%3 = insertelement <4 x float> %2, float 2.000000e+00, i32 2
|
|
%4 = insertelement <4 x float> %3, float 3.000000e+00, i32 3
|
|
%5 = tail call <4 x float> @llvm.x86.xop.vfrcz.ss(<4 x float> %4)
|
|
%6 = extractelement <4 x float> %5, i32 0
|
|
ret float %6
|
|
}
|
|
|
|
define float @test_vfrcz_ss_3(float %a) {
|
|
; CHECK-LABEL: @test_vfrcz_ss_3(
|
|
; CHECK-NEXT: ret float 3.000000e+00
|
|
;
|
|
%1 = insertelement <4 x float> undef, float %a, i32 0
|
|
%2 = insertelement <4 x float> %1, float 1.000000e+00, i32 1
|
|
%3 = insertelement <4 x float> %2, float 2.000000e+00, i32 2
|
|
%4 = insertelement <4 x float> %3, float 3.000000e+00, i32 3
|
|
%5 = tail call <4 x float> @llvm.x86.xop.vfrcz.ss(<4 x float> %4)
|
|
%6 = extractelement <4 x float> %5, i32 3
|
|
ret float %6
|
|
}
|
|
|
|
define <2 x i64> @cmp_slt_v2i64(<2 x i64> %a, <2 x i64> %b) {
|
|
; CHECK-LABEL: @cmp_slt_v2i64(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt <2 x i64> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <2 x i1> [[TMP1]] to <2 x i64>
|
|
; CHECK-NEXT: ret <2 x i64> [[TMP2]]
|
|
;
|
|
%1 = tail call <2 x i64> @llvm.x86.xop.vpcomltq(<2 x i64> %a, <2 x i64> %b)
|
|
ret <2 x i64> %1
|
|
}
|
|
|
|
define <2 x i64> @cmp_ult_v2i64(<2 x i64> %a, <2 x i64> %b) {
|
|
; CHECK-LABEL: @cmp_ult_v2i64(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult <2 x i64> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <2 x i1> [[TMP1]] to <2 x i64>
|
|
; CHECK-NEXT: ret <2 x i64> [[TMP2]]
|
|
;
|
|
%1 = tail call <2 x i64> @llvm.x86.xop.vpcomltuq(<2 x i64> %a, <2 x i64> %b)
|
|
ret <2 x i64> %1
|
|
}
|
|
|
|
define <2 x i64> @cmp_sle_v2i64(<2 x i64> %a, <2 x i64> %b) {
|
|
; CHECK-LABEL: @cmp_sle_v2i64(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp sle <2 x i64> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <2 x i1> [[TMP1]] to <2 x i64>
|
|
; CHECK-NEXT: ret <2 x i64> [[TMP2]]
|
|
;
|
|
%1 = tail call <2 x i64> @llvm.x86.xop.vpcomleq(<2 x i64> %a, <2 x i64> %b)
|
|
ret <2 x i64> %1
|
|
}
|
|
|
|
define <2 x i64> @cmp_ule_v2i64(<2 x i64> %a, <2 x i64> %b) {
|
|
; CHECK-LABEL: @cmp_ule_v2i64(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp ule <2 x i64> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <2 x i1> [[TMP1]] to <2 x i64>
|
|
; CHECK-NEXT: ret <2 x i64> [[TMP2]]
|
|
;
|
|
%1 = tail call <2 x i64> @llvm.x86.xop.vpcomleuq(<2 x i64> %a, <2 x i64> %b)
|
|
ret <2 x i64> %1
|
|
}
|
|
|
|
define <4 x i32> @cmp_sgt_v4i32(<4 x i32> %a, <4 x i32> %b) {
|
|
; CHECK-LABEL: @cmp_sgt_v4i32(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt <4 x i32> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <4 x i1> [[TMP1]] to <4 x i32>
|
|
; CHECK-NEXT: ret <4 x i32> [[TMP2]]
|
|
;
|
|
%1 = tail call <4 x i32> @llvm.x86.xop.vpcomgtd(<4 x i32> %a, <4 x i32> %b)
|
|
ret <4 x i32> %1
|
|
}
|
|
|
|
define <4 x i32> @cmp_ugt_v4i32(<4 x i32> %a, <4 x i32> %b) {
|
|
; CHECK-LABEL: @cmp_ugt_v4i32(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt <4 x i32> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <4 x i1> [[TMP1]] to <4 x i32>
|
|
; CHECK-NEXT: ret <4 x i32> [[TMP2]]
|
|
;
|
|
%1 = tail call <4 x i32> @llvm.x86.xop.vpcomgtud(<4 x i32> %a, <4 x i32> %b)
|
|
ret <4 x i32> %1
|
|
}
|
|
|
|
define <4 x i32> @cmp_sge_v4i32(<4 x i32> %a, <4 x i32> %b) {
|
|
; CHECK-LABEL: @cmp_sge_v4i32(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp sge <4 x i32> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <4 x i1> [[TMP1]] to <4 x i32>
|
|
; CHECK-NEXT: ret <4 x i32> [[TMP2]]
|
|
;
|
|
%1 = tail call <4 x i32> @llvm.x86.xop.vpcomged(<4 x i32> %a, <4 x i32> %b)
|
|
ret <4 x i32> %1
|
|
}
|
|
|
|
define <4 x i32> @cmp_uge_v4i32(<4 x i32> %a, <4 x i32> %b) {
|
|
; CHECK-LABEL: @cmp_uge_v4i32(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp uge <4 x i32> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <4 x i1> [[TMP1]] to <4 x i32>
|
|
; CHECK-NEXT: ret <4 x i32> [[TMP2]]
|
|
;
|
|
%1 = tail call <4 x i32> @llvm.x86.xop.vpcomgeud(<4 x i32> %a, <4 x i32> %b)
|
|
ret <4 x i32> %1
|
|
}
|
|
|
|
define <8 x i16> @cmp_seq_v8i16(<8 x i16> %a, <8 x i16> %b) {
|
|
; CHECK-LABEL: @cmp_seq_v8i16(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <8 x i16> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <8 x i1> [[TMP1]] to <8 x i16>
|
|
; CHECK-NEXT: ret <8 x i16> [[TMP2]]
|
|
;
|
|
%1 = tail call <8 x i16> @llvm.x86.xop.vpcomeqw(<8 x i16> %a, <8 x i16> %b)
|
|
ret <8 x i16> %1
|
|
}
|
|
|
|
define <8 x i16> @cmp_ueq_v8i16(<8 x i16> %a, <8 x i16> %b) {
|
|
; CHECK-LABEL: @cmp_ueq_v8i16(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <8 x i16> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <8 x i1> [[TMP1]] to <8 x i16>
|
|
; CHECK-NEXT: ret <8 x i16> [[TMP2]]
|
|
;
|
|
%1 = tail call <8 x i16> @llvm.x86.xop.vpcomequw(<8 x i16> %a, <8 x i16> %b)
|
|
ret <8 x i16> %1
|
|
}
|
|
|
|
define <8 x i16> @cmp_sne_v8i16(<8 x i16> %a, <8 x i16> %b) {
|
|
; CHECK-LABEL: @cmp_sne_v8i16(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp ne <8 x i16> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <8 x i1> [[TMP1]] to <8 x i16>
|
|
; CHECK-NEXT: ret <8 x i16> [[TMP2]]
|
|
;
|
|
%1 = tail call <8 x i16> @llvm.x86.xop.vpcomnew(<8 x i16> %a, <8 x i16> %b)
|
|
ret <8 x i16> %1
|
|
}
|
|
|
|
define <8 x i16> @cmp_une_v8i16(<8 x i16> %a, <8 x i16> %b) {
|
|
; CHECK-LABEL: @cmp_une_v8i16(
|
|
; CHECK-NEXT: [[TMP1:%.*]] = icmp ne <8 x i16> %a, %b
|
|
; CHECK-NEXT: [[TMP2:%.*]] = sext <8 x i1> [[TMP1]] to <8 x i16>
|
|
; CHECK-NEXT: ret <8 x i16> [[TMP2]]
|
|
;
|
|
%1 = tail call <8 x i16> @llvm.x86.xop.vpcomneuw(<8 x i16> %a, <8 x i16> %b)
|
|
ret <8 x i16> %1
|
|
}
|
|
|
|
define <16 x i8> @cmp_strue_v16i8(<16 x i8> %a, <16 x i8> %b) {
|
|
; CHECK-LABEL: @cmp_strue_v16i8(
|
|
; CHECK-NEXT: ret <16 x i8> <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1>
|
|
;
|
|
%1 = tail call <16 x i8> @llvm.x86.xop.vpcomtrueb(<16 x i8> %a, <16 x i8> %b)
|
|
ret <16 x i8> %1
|
|
}
|
|
|
|
define <16 x i8> @cmp_utrue_v16i8(<16 x i8> %a, <16 x i8> %b) {
|
|
; CHECK-LABEL: @cmp_utrue_v16i8(
|
|
; CHECK-NEXT: ret <16 x i8> <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1>
|
|
;
|
|
%1 = tail call <16 x i8> @llvm.x86.xop.vpcomtrueub(<16 x i8> %a, <16 x i8> %b)
|
|
ret <16 x i8> %1
|
|
}
|
|
|
|
define <16 x i8> @cmp_sfalse_v16i8(<16 x i8> %a, <16 x i8> %b) {
|
|
; CHECK-LABEL: @cmp_sfalse_v16i8(
|
|
; CHECK-NEXT: ret <16 x i8> zeroinitializer
|
|
;
|
|
%1 = tail call <16 x i8> @llvm.x86.xop.vpcomfalseb(<16 x i8> %a, <16 x i8> %b)
|
|
ret <16 x i8> %1
|
|
}
|
|
|
|
define <16 x i8> @cmp_ufalse_v16i8(<16 x i8> %a, <16 x i8> %b) {
|
|
; CHECK-LABEL: @cmp_ufalse_v16i8(
|
|
; CHECK-NEXT: ret <16 x i8> zeroinitializer
|
|
;
|
|
%1 = tail call <16 x i8> @llvm.x86.xop.vpcomfalseub(<16 x i8> %a, <16 x i8> %b)
|
|
ret <16 x i8> %1
|
|
}
|
|
|
|
declare <2 x double> @llvm.x86.xop.vfrcz.sd(<2 x double>) nounwind readnone
|
|
declare <4 x float> @llvm.x86.xop.vfrcz.ss(<4 x float>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomltb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomltw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomltd(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomltq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomltub(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomltuw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomltud(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomltuq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomleb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomlew(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomled(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomleq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomleub(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomleuw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomleud(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomleuq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomgtb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomgtw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomgtd(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomgtq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomgtub(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomgtuw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomgtud(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomgtuq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomgeb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomgew(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomged(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomgeq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomgeub(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomgeuw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomgeud(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomgeuq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomeqb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomeqw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomeqd(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomeqq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomequb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomequw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomequd(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomequq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomneb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomnew(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomned(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomneq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomneub(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomneuw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomneud(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomneuq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomfalseb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomfalsew(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomfalsed(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomfalseq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomfalseub(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomfalseuw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomfalseud(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomfalseuq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
|
|
declare <16 x i8> @llvm.x86.xop.vpcomtrueb(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomtrued(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomtrueq(<2 x i64>, <2 x i64>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomtruew(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <16 x i8> @llvm.x86.xop.vpcomtrueub(<16 x i8>, <16 x i8>) nounwind readnone
|
|
declare <8 x i16> @llvm.x86.xop.vpcomtrueuw(<8 x i16>, <8 x i16>) nounwind readnone
|
|
declare <4 x i32> @llvm.x86.xop.vpcomtrueud(<4 x i32>, <4 x i32>) nounwind readnone
|
|
declare <2 x i64> @llvm.x86.xop.vpcomtrueuq(<2 x i64>, <2 x i64>) nounwind readnone
|