mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
5f91239343
This patch uses the mechanism from D62995 to strengthen the definitions of the reduction intrinsics by letting the scalar result/accumulator type be overloaded from the vector element type. For example: ; The LLVM LangRef specifies that the scalar result must equal the ; vector element type, but this is not checked/enforced by LLVM. declare i32 @llvm.experimental.vector.reduce.or.i32.v4i32(<4 x i32> %a) This patch changes that into: declare i32 @llvm.experimental.vector.reduce.or.v4i32(<4 x i32> %a) Which has the type-constraint more explicit and causes LLVM to check the result type with the vector element type. Reviewers: RKSimon, arsenm, rnk, greened, aemerson Reviewed By: arsenm Differential Revision: https://reviews.llvm.org/D62996 llvm-svn: 363240
280 lines
11 KiB
LLVM
280 lines
11 KiB
LLVM
; RUN: opt < %s -mtriple=aarch64--linux-gnu -cost-model -analyze | FileCheck %s --check-prefix=COST
|
|
; RUN: llc < %s -mtriple=aarch64--linux-gnu | FileCheck %s --check-prefix=CODE
|
|
|
|
; COST-LABEL: add.i8.v8i8
|
|
; COST: Found an estimated cost of 1 for instruction: %r = call i8 @llvm.experimental.vector.reduce.add.v8i8(<8 x i8> %v)
|
|
; CODE-LABEL: add.i8.v8i8
|
|
; CODE: addv b0, v0.8b
|
|
define i8 @add.i8.v8i8(<8 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.add.v8i8(<8 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: add.i8.v16i8
|
|
; COST: Found an estimated cost of 1 for instruction: %r = call i8 @llvm.experimental.vector.reduce.add.v16i8(<16 x i8> %v)
|
|
; CODE-LABEL: add.i8.v16i8
|
|
; CODE: addv b0, v0.16b
|
|
define i8 @add.i8.v16i8(<16 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.add.v16i8(<16 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: add.i16.v4i16
|
|
; COST: Found an estimated cost of 1 for instruction: %r = call i16 @llvm.experimental.vector.reduce.add.v4i16(<4 x i16> %v)
|
|
; CODE-LABEL: add.i16.v4i16
|
|
; CODE: addv h0, v0.4h
|
|
define i16 @add.i16.v4i16(<4 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.add.v4i16(<4 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: add.i16.v8i16
|
|
; COST: Found an estimated cost of 1 for instruction: %r = call i16 @llvm.experimental.vector.reduce.add.v8i16(<8 x i16> %v)
|
|
; CODE-LABEL: add.i16.v8i16
|
|
; CODE: addv h0, v0.8h
|
|
define i16 @add.i16.v8i16(<8 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.add.v8i16(<8 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: add.i32.v4i32
|
|
; COST: Found an estimated cost of 1 for instruction: %r = call i32 @llvm.experimental.vector.reduce.add.v4i32(<4 x i32> %v)
|
|
; CODE-LABEL: add.i32.v4i32
|
|
; CODE: addv s0, v0.4s
|
|
define i32 @add.i32.v4i32(<4 x i32> %v) {
|
|
%r = call i32 @llvm.experimental.vector.reduce.add.v4i32(<4 x i32> %v)
|
|
ret i32 %r
|
|
}
|
|
|
|
; COST-LABEL: umin.i8.v8i8
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i8 @llvm.experimental.vector.reduce.umin.v8i8(<8 x i8> %v)
|
|
; CODE-LABEL: umin.i8.v8i8
|
|
; CODE: uminv b0, v0.8b
|
|
define i8 @umin.i8.v8i8(<8 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.umin.v8i8(<8 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: umin.i8.v16i8
|
|
; COST: Found an estimated cost of 608 for instruction: %r = call i8 @llvm.experimental.vector.reduce.umin.v16i8(<16 x i8> %v)
|
|
; CODE-LABEL: umin.i8.v16i8
|
|
; CODE: uminv b0, v0.16b
|
|
define i8 @umin.i8.v16i8(<16 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.umin.v16i8(<16 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: umin.i16.v4i16
|
|
; COST: Found an estimated cost of 64 for instruction: %r = call i16 @llvm.experimental.vector.reduce.umin.v4i16(<4 x i16> %v)
|
|
; CODE-LABEL: umin.i16.v4i16
|
|
; CODE: uminv h0, v0.4h
|
|
define i16 @umin.i16.v4i16(<4 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.umin.v4i16(<4 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: umin.i16.v8i16
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i16 @llvm.experimental.vector.reduce.umin.v8i16(<8 x i16> %v)
|
|
; CODE-LABEL: umin.i16.v8i16
|
|
; CODE: uminv h0, v0.8h
|
|
define i16 @umin.i16.v8i16(<8 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.umin.v8i16(<8 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: umin.i32.v4i32
|
|
; COST: Found an estimated cost of 34 for instruction: %r = call i32 @llvm.experimental.vector.reduce.umin.v4i32(<4 x i32> %v)
|
|
; CODE-LABEL: umin.i32.v4i32
|
|
; CODE: uminv s0, v0.4s
|
|
define i32 @umin.i32.v4i32(<4 x i32> %v) {
|
|
%r = call i32 @llvm.experimental.vector.reduce.umin.v4i32(<4 x i32> %v)
|
|
ret i32 %r
|
|
}
|
|
|
|
; COST-LABEL: umax.i8.v8i8
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i8 @llvm.experimental.vector.reduce.umax.v8i8(<8 x i8> %v)
|
|
; CODE-LABEL: umax.i8.v8i8
|
|
; CODE: umaxv b0, v0.8b
|
|
define i8 @umax.i8.v8i8(<8 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.umax.v8i8(<8 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: umax.i8.v16i8
|
|
; COST: Found an estimated cost of 608 for instruction: %r = call i8 @llvm.experimental.vector.reduce.umax.v16i8(<16 x i8> %v)
|
|
; CODE-LABEL: umax.i8.v16i8
|
|
; CODE: umaxv b0, v0.16b
|
|
define i8 @umax.i8.v16i8(<16 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.umax.v16i8(<16 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: umax.i16.v4i16
|
|
; COST: Found an estimated cost of 64 for instruction: %r = call i16 @llvm.experimental.vector.reduce.umax.v4i16(<4 x i16> %v)
|
|
; CODE-LABEL: umax.i16.v4i16
|
|
; CODE: umaxv h0, v0.4h
|
|
define i16 @umax.i16.v4i16(<4 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.umax.v4i16(<4 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: umax.i16.v8i16
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i16 @llvm.experimental.vector.reduce.umax.v8i16(<8 x i16> %v)
|
|
; CODE-LABEL: umax.i16.v8i16
|
|
; CODE: umaxv h0, v0.8h
|
|
define i16 @umax.i16.v8i16(<8 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.umax.v8i16(<8 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: umax.i32.v4i32
|
|
; COST: Found an estimated cost of 34 for instruction: %r = call i32 @llvm.experimental.vector.reduce.umax.v4i32(<4 x i32> %v)
|
|
; CODE-LABEL: umax.i32.v4i32
|
|
; CODE: umaxv s0, v0.4s
|
|
define i32 @umax.i32.v4i32(<4 x i32> %v) {
|
|
%r = call i32 @llvm.experimental.vector.reduce.umax.v4i32(<4 x i32> %v)
|
|
ret i32 %r
|
|
}
|
|
|
|
; COST-LABEL: smin.i8.v8i8
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i8 @llvm.experimental.vector.reduce.smin.v8i8(<8 x i8> %v)
|
|
; CODE-LABEL: smin.i8.v8i8
|
|
; CODE: sminv b0, v0.8b
|
|
define i8 @smin.i8.v8i8(<8 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.smin.v8i8(<8 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: smin.i8.v16i8
|
|
; COST: Found an estimated cost of 608 for instruction: %r = call i8 @llvm.experimental.vector.reduce.smin.v16i8(<16 x i8> %v)
|
|
; CODE-LABEL: smin.i8.v16i8
|
|
; CODE: sminv b0, v0.16b
|
|
define i8 @smin.i8.v16i8(<16 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.smin.v16i8(<16 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: smin.i16.v4i16
|
|
; COST: Found an estimated cost of 64 for instruction: %r = call i16 @llvm.experimental.vector.reduce.smin.v4i16(<4 x i16> %v)
|
|
; CODE-LABEL: smin.i16.v4i16
|
|
; CODE: sminv h0, v0.4h
|
|
define i16 @smin.i16.v4i16(<4 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.smin.v4i16(<4 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: smin.i16.v8i16
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i16 @llvm.experimental.vector.reduce.smin.v8i16(<8 x i16> %v)
|
|
; CODE-LABEL: smin.i16.v8i16
|
|
; CODE: sminv h0, v0.8h
|
|
define i16 @smin.i16.v8i16(<8 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.smin.v8i16(<8 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: smin.i32.v4i32
|
|
; COST: Found an estimated cost of 34 for instruction: %r = call i32 @llvm.experimental.vector.reduce.smin.v4i32(<4 x i32> %v)
|
|
; CODE-LABEL: smin.i32.v4i32
|
|
; CODE: sminv s0, v0.4s
|
|
define i32 @smin.i32.v4i32(<4 x i32> %v) {
|
|
%r = call i32 @llvm.experimental.vector.reduce.smin.v4i32(<4 x i32> %v)
|
|
ret i32 %r
|
|
}
|
|
|
|
; COST-LABEL: smax.i8.v8i8
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i8 @llvm.experimental.vector.reduce.smax.v8i8(<8 x i8> %v)
|
|
; CODE-LABEL: smax.i8.v8i8
|
|
; CODE: smaxv b0, v0.8b
|
|
define i8 @smax.i8.v8i8(<8 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.smax.v8i8(<8 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: smax.i8.v16i8
|
|
; COST: Found an estimated cost of 608 for instruction: %r = call i8 @llvm.experimental.vector.reduce.smax.v16i8(<16 x i8> %v)
|
|
; CODE-LABEL: smax.i8.v16i8
|
|
; CODE: smaxv b0, v0.16b
|
|
define i8 @smax.i8.v16i8(<16 x i8> %v) {
|
|
%r = call i8 @llvm.experimental.vector.reduce.smax.v16i8(<16 x i8> %v)
|
|
ret i8 %r
|
|
}
|
|
|
|
; COST-LABEL: smax.i16.v4i16
|
|
; COST: Found an estimated cost of 64 for instruction: %r = call i16 @llvm.experimental.vector.reduce.smax.v4i16(<4 x i16> %v)
|
|
; CODE-LABEL: smax.i16.v4i16
|
|
; CODE: smaxv h0, v0.4h
|
|
define i16 @smax.i16.v4i16(<4 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.smax.v4i16(<4 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: smax.i16.v8i16
|
|
; COST: Found an estimated cost of 216 for instruction: %r = call i16 @llvm.experimental.vector.reduce.smax.v8i16(<8 x i16> %v)
|
|
; CODE-LABEL: smax.i16.v8i16
|
|
; CODE: smaxv h0, v0.8h
|
|
define i16 @smax.i16.v8i16(<8 x i16> %v) {
|
|
%r = call i16 @llvm.experimental.vector.reduce.smax.v8i16(<8 x i16> %v)
|
|
ret i16 %r
|
|
}
|
|
|
|
; COST-LABEL: smax.i32.v4i32
|
|
; COST: Found an estimated cost of 34 for instruction: %r = call i32 @llvm.experimental.vector.reduce.smax.v4i32(<4 x i32> %v)
|
|
; CODE-LABEL: smax.i32.v4i32
|
|
; CODE: smaxv s0, v0.4s
|
|
define i32 @smax.i32.v4i32(<4 x i32> %v) {
|
|
%r = call i32 @llvm.experimental.vector.reduce.smax.v4i32(<4 x i32> %v)
|
|
ret i32 %r
|
|
}
|
|
|
|
; COST-LABEL: fmin.f32.v4f32
|
|
; COST: Found an estimated cost of 34 for instruction: %r = call nnan float @llvm.experimental.vector.reduce.fmin.v4f32(<4 x float> %v)
|
|
; CODE-LABEL: fmin.f32.v4f32
|
|
; CODE: fminnmv s0, v0.4s
|
|
define float @fmin.f32.v4f32(<4 x float> %v) {
|
|
%r = call nnan float @llvm.experimental.vector.reduce.fmin.v4f32(<4 x float> %v)
|
|
ret float %r
|
|
}
|
|
|
|
; COST-LABEL: fmax.f32.v4f32
|
|
; COST: Found an estimated cost of 34 for instruction: %r = call nnan float @llvm.experimental.vector.reduce.fmax.v4f32(<4 x float> %v)
|
|
; CODE-LABEL: fmax.f32.v4f32
|
|
; CODE: fmaxnmv s0, v0.4s
|
|
define float @fmax.f32.v4f32(<4 x float> %v) {
|
|
%r = call nnan float @llvm.experimental.vector.reduce.fmax.v4f32(<4 x float> %v)
|
|
ret float %r
|
|
}
|
|
|
|
declare i8 @llvm.experimental.vector.reduce.add.v8i8(<8 x i8>)
|
|
declare i8 @llvm.experimental.vector.reduce.add.v16i8(<16 x i8>)
|
|
declare i16 @llvm.experimental.vector.reduce.add.v4i16(<4 x i16>)
|
|
declare i16 @llvm.experimental.vector.reduce.add.v8i16(<8 x i16>)
|
|
declare i32 @llvm.experimental.vector.reduce.add.v4i32(<4 x i32>)
|
|
|
|
declare i8 @llvm.experimental.vector.reduce.umin.v8i8(<8 x i8>)
|
|
declare i8 @llvm.experimental.vector.reduce.umin.v16i8(<16 x i8>)
|
|
declare i16 @llvm.experimental.vector.reduce.umin.v4i16(<4 x i16>)
|
|
declare i16 @llvm.experimental.vector.reduce.umin.v8i16(<8 x i16>)
|
|
declare i32 @llvm.experimental.vector.reduce.umin.v4i32(<4 x i32>)
|
|
|
|
declare i8 @llvm.experimental.vector.reduce.umax.v8i8(<8 x i8>)
|
|
declare i8 @llvm.experimental.vector.reduce.umax.v16i8(<16 x i8>)
|
|
declare i16 @llvm.experimental.vector.reduce.umax.v4i16(<4 x i16>)
|
|
declare i16 @llvm.experimental.vector.reduce.umax.v8i16(<8 x i16>)
|
|
declare i32 @llvm.experimental.vector.reduce.umax.v4i32(<4 x i32>)
|
|
|
|
declare i8 @llvm.experimental.vector.reduce.smin.v8i8(<8 x i8>)
|
|
declare i8 @llvm.experimental.vector.reduce.smin.v16i8(<16 x i8>)
|
|
declare i16 @llvm.experimental.vector.reduce.smin.v4i16(<4 x i16>)
|
|
declare i16 @llvm.experimental.vector.reduce.smin.v8i16(<8 x i16>)
|
|
declare i32 @llvm.experimental.vector.reduce.smin.v4i32(<4 x i32>)
|
|
|
|
declare i8 @llvm.experimental.vector.reduce.smax.v8i8(<8 x i8>)
|
|
declare i8 @llvm.experimental.vector.reduce.smax.v16i8(<16 x i8>)
|
|
declare i16 @llvm.experimental.vector.reduce.smax.v4i16(<4 x i16>)
|
|
declare i16 @llvm.experimental.vector.reduce.smax.v8i16(<8 x i16>)
|
|
declare i32 @llvm.experimental.vector.reduce.smax.v4i32(<4 x i32>)
|
|
|
|
declare float @llvm.experimental.vector.reduce.fmin.v4f32(<4 x float>)
|
|
|
|
declare float @llvm.experimental.vector.reduce.fmax.v4f32(<4 x float>)
|