[llvm] 2e3636f - [CostModel][AArch64] Add tests for ctlz, ctpop and cttz. NFC.
Rosie Sumpter via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 3 09:14:02 PDT 2021
Author: Rosie Sumpter
Date: 2021-06-03T17:12:22+01:00
New Revision: 2e3636f974dfdfac796ec6d07a22e9d31d4ea1ea
URL: https://github.com/llvm/llvm-project/commit/2e3636f974dfdfac796ec6d07a22e9d31d4ea1ea
DIFF: https://github.com/llvm/llvm-project/commit/2e3636f974dfdfac796ec6d07a22e9d31d4ea1ea.diff
LOG: [CostModel][AArch64] Add tests for ctlz, ctpop and cttz. NFC.
Differential Revision: https://reviews.llvm.org/D103601
Added:
llvm/test/Analysis/CostModel/AArch64/ctlz.ll
llvm/test/Analysis/CostModel/AArch64/ctpop.ll
llvm/test/Analysis/CostModel/AArch64/cttz.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Analysis/CostModel/AArch64/ctlz.ll b/llvm/test/Analysis/CostModel/AArch64/ctlz.ll
new file mode 100644
index 0000000000000..a2614f1d00532
--- /dev/null
+++ b/llvm/test/Analysis/CostModel/AArch64/ctlz.ll
@@ -0,0 +1,204 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt < %s -mtriple=aarch64 -cost-model -analyze | FileCheck %s
+
+; Verify the cost of scalar ctlz instructions.
+
+define i64 @test_ctlz_i64(i64 %a) {
+;
+; CHECK-LABEL: 'test_ctlz_i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call i64 @llvm.ctlz.i64(i64 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i64 %ctlz
+;
+ %ctlz = call i64 @llvm.ctlz.i64(i64 %a)
+ ret i64 %ctlz
+}
+
+define i32 @test_ctlz_i32(i32 %a) {
+;
+; CHECK-LABEL: 'test_ctlz_i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call i32 @llvm.ctlz.i32(i32 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %ctlz
+;
+ %ctlz = call i32 @llvm.ctlz.i32(i32 %a)
+ ret i32 %ctlz
+}
+
+define i16 @test_ctlz_i16(i16 %a) {
+;
+; CHECK-LABEL: 'test_ctlz_i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call i16 @llvm.ctlz.i16(i16 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i16 %ctlz
+;
+ %ctlz = call i16 @llvm.ctlz.i16(i16 %a)
+ ret i16 %ctlz
+}
+
+define i8 @test_ctlz_i8(i8 %a) {
+;
+; CHECK-LABEL: 'test_ctlz_i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call i8 @llvm.ctlz.i8(i8 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i8 %ctlz
+;
+ %ctlz = call i8 @llvm.ctlz.i8(i8 %a)
+ ret i8 %ctlz
+}
+
+declare i64 @llvm.ctlz.i64(i64)
+declare i32 @llvm.ctlz.i32(i32)
+declare i16 @llvm.ctlz.i16(i16)
+declare i8 @llvm.ctlz.i8(i8)
+
+; Verify the cost of vector ctlz instructions.
+
+define <2 x i64> @test_ctlz_v2i64(<2 x i64> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v2i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %ctlz = call <2 x i64> @llvm.ctlz.v2i64(<2 x i64> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i64> %ctlz
+;
+ %ctlz = call <2 x i64> @llvm.ctlz.v2i64(<2 x i64> %a, i1 false)
+ ret <2 x i64> %ctlz
+}
+
+define <2 x i32> @test_ctlz_v2i32(<2 x i32> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v2i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i32> %ctlz
+;
+ %ctlz = call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> %a, i1 false)
+ ret <2 x i32> %ctlz
+}
+
+define <4 x i32> @test_ctlz_v4i32(<4 x i32> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v4i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <4 x i32> @llvm.ctlz.v4i32(<4 x i32> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i32> %ctlz
+;
+ %ctlz = call <4 x i32> @llvm.ctlz.v4i32(<4 x i32> %a, i1 false)
+ ret <4 x i32> %ctlz
+}
+
+define <2 x i16> @test_ctlz_v2i16(<2 x i16> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v2i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <2 x i16> @llvm.ctlz.v2i16(<2 x i16> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i16> %ctlz
+;
+ %ctlz = call <2 x i16> @llvm.ctlz.v2i16(<2 x i16> %a, i1 false)
+ ret <2 x i16> %ctlz
+}
+
+define <4 x i16> @test_ctlz_v4i16(<4 x i16> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v4i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <4 x i16> @llvm.ctlz.v4i16(<4 x i16> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i16> %ctlz
+;
+ %ctlz = call <4 x i16> @llvm.ctlz.v4i16(<4 x i16> %a, i1 false)
+ ret <4 x i16> %ctlz
+}
+
+define <8 x i16> @test_ctlz_v8i16(<8 x i16> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v8i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <8 x i16> @llvm.ctlz.v8i16(<8 x i16> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i16> %ctlz
+;
+ %ctlz = call <8 x i16> @llvm.ctlz.v8i16(<8 x i16> %a, i1 false)
+ ret <8 x i16> %ctlz
+}
+
+define <2 x i8> @test_ctlz_v2i8(<2 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v2i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <2 x i8> @llvm.ctlz.v2i8(<2 x i8> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i8> %ctlz
+;
+ %ctlz = call <2 x i8> @llvm.ctlz.v2i8(<2 x i8> %a, i1 false)
+ ret <2 x i8> %ctlz
+}
+
+define <4 x i8> @test_ctlz_v4i8(<4 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v4i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <4 x i8> @llvm.ctlz.v4i8(<4 x i8> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i8> %ctlz
+;
+ %ctlz = call <4 x i8> @llvm.ctlz.v4i8(<4 x i8> %a, i1 false)
+ ret <4 x i8> %ctlz
+}
+
+define <8 x i8> @test_ctlz_v8i8(<8 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v8i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <8 x i8> @llvm.ctlz.v8i8(<8 x i8> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i8> %ctlz
+;
+ %ctlz = call <8 x i8> @llvm.ctlz.v8i8(<8 x i8> %a, i1 false)
+ ret <8 x i8> %ctlz
+}
+
+define <16 x i8> @test_ctlz_v16i8(<16 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctlz_v16i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctlz = call <16 x i8> @llvm.ctlz.v16i8(<16 x i8> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <16 x i8> %ctlz
+;
+ %ctlz = call <16 x i8> @llvm.ctlz.v16i8(<16 x i8> %a, i1 false)
+ ret <16 x i8> %ctlz
+}
+
+define <4 x i64> @test_ctlz_v4i64(<4 x i64> %a) {
+; CHECK-LABEL: 'test_ctlz_v4i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 16 for instruction: %ctlz = call <4 x i64> @llvm.ctlz.v4i64(<4 x i64> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i64> %ctlz
+;
+ %ctlz = call <4 x i64> @llvm.ctlz.v4i64(<4 x i64> %a, i1 false)
+ ret <4 x i64> %ctlz
+}
+
+define <8 x i32> @test_ctlz_v8i32(<8 x i32> %a) {
+; CHECK-LABEL: 'test_ctlz_v8i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %ctlz = call <8 x i32> @llvm.ctlz.v8i32(<8 x i32> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i32> %ctlz
+;
+ %ctlz = call <8 x i32> @llvm.ctlz.v8i32(<8 x i32> %a, i1 false)
+ ret <8 x i32> %ctlz
+}
+
+define <16 x i16> @test_ctlz_v16i16(<16 x i16> %a) {
+; CHECK-LABEL: 'test_ctlz_v16i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %ctlz = call <16 x i16> @llvm.ctlz.v16i16(<16 x i16> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <16 x i16> %ctlz
+;
+ %ctlz = call <16 x i16> @llvm.ctlz.v16i16(<16 x i16> %a, i1 false)
+ ret <16 x i16> %ctlz
+}
+
+define <32 x i8> @test_ctlz_v32i8(<32 x i8> %a) {
+; CHECK-LABEL: 'test_ctlz_v32i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %ctlz = call <32 x i8> @llvm.ctlz.v32i8(<32 x i8> %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <32 x i8> %ctlz
+;
+ %ctlz = call <32 x i8> @llvm.ctlz.v32i8(<32 x i8> %a, i1 false)
+ ret <32 x i8> %ctlz
+}
+
+declare <2 x i64> @llvm.ctlz.v2i64(<2 x i64>, i1)
+declare <2 x i32> @llvm.ctlz.v2i32(<2 x i32>, i1)
+declare <4 x i32> @llvm.ctlz.v4i32(<4 x i32>, i1)
+declare <2 x i16> @llvm.ctlz.v2i16(<2 x i16>, i1)
+declare <4 x i16> @llvm.ctlz.v4i16(<4 x i16>, i1)
+declare <8 x i16> @llvm.ctlz.v8i16(<8 x i16>, i1)
+declare <2 x i8> @llvm.ctlz.v2i8(<2 x i8>, i1)
+declare <4 x i8> @llvm.ctlz.v4i8(<4 x i8>, i1)
+declare <8 x i8> @llvm.ctlz.v8i8(<8 x i8>, i1)
+declare <16 x i8> @llvm.ctlz.v16i8(<16 x i8>, i1)
+
+declare <4 x i64> @llvm.ctlz.v4i64(<4 x i64>, i1)
+declare <8 x i32> @llvm.ctlz.v8i32(<8 x i32>, i1)
+declare <16 x i16> @llvm.ctlz.v16i16(<16 x i16>, i1)
+declare <32 x i8> @llvm.ctlz.v32i8(<32 x i8>, i1)
+
diff --git a/llvm/test/Analysis/CostModel/AArch64/ctpop.ll b/llvm/test/Analysis/CostModel/AArch64/ctpop.ll
new file mode 100644
index 0000000000000..f276f04118465
--- /dev/null
+++ b/llvm/test/Analysis/CostModel/AArch64/ctpop.ll
@@ -0,0 +1,206 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt < %s -mtriple=aarch64 -cost-model -analyze | FileCheck %s
+
+; Verify the cost of scalar ctpop instructions.
+
+define i64 @test_ctpop_i64(i64 %a) {
+;
+; CHECK-LABEL: 'test_ctpop_i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call i64 @llvm.ctpop.i64(i64 %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i64 %ctpop
+;
+ %ctpop = call i64 @llvm.ctpop.i64(i64 %a)
+ ret i64 %ctpop
+}
+
+define i32 @test_ctpop_i32(i32 %a) {
+;
+; CHECK-LABEL: 'test_ctpop_i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call i32 @llvm.ctpop.i32(i32 %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %ctpop
+;
+ %ctpop = call i32 @llvm.ctpop.i32(i32 %a)
+ ret i32 %ctpop
+}
+
+define i16 @test_ctpop_i16(i16 %a) {
+;
+; CHECK-LABEL: 'test_ctpop_i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call i16 @llvm.ctpop.i16(i16 %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i16 %ctpop
+;
+ %ctpop = call i16 @llvm.ctpop.i16(i16 %a)
+ ret i16 %ctpop
+}
+
+define i8 @test_ctpop_i8(i8 %a) {
+;
+; CHECK-LABEL: 'test_ctpop_i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call i8 @llvm.ctpop.i8(i8 %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i8 %ctpop
+;
+ %ctpop = call i8 @llvm.ctpop.i8(i8 %a)
+ ret i8 %ctpop
+}
+
+declare i64 @llvm.ctpop.i64(i64)
+declare i32 @llvm.ctpop.i32(i32)
+declare i16 @llvm.ctpop.i16(i16)
+declare i8 @llvm.ctpop.i8(i8)
+
+; Verify the cost of vector ctpop instructions.
+
+define <2 x i64> @test_ctpop_v2i64(<2 x i64> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v2i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i64> %ctpop
+;
+ %ctpop = call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> %a)
+ ret <2 x i64> %ctpop
+}
+
+define <2 x i32> @test_ctpop_v2i32(<2 x i32> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v2i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <2 x i32> @llvm.ctpop.v2i32(<2 x i32> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i32> %ctpop
+;
+ %ctpop = call <2 x i32> @llvm.ctpop.v2i32(<2 x i32> %a)
+ ret <2 x i32> %ctpop
+}
+
+define <4 x i32> @test_ctpop_v4i32(<4 x i32> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v4i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <4 x i32> @llvm.ctpop.v4i32(<4 x i32> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i32> %ctpop
+;
+ %ctpop = call <4 x i32> @llvm.ctpop.v4i32(<4 x i32> %a)
+ ret <4 x i32> %ctpop
+}
+
+define <2 x i16> @test_ctpop_v2i16(<2 x i16> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v2i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <2 x i16> @llvm.ctpop.v2i16(<2 x i16> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i16> %ctpop
+;
+ %ctpop = call <2 x i16> @llvm.ctpop.v2i16(<2 x i16> %a)
+ ret <2 x i16> %ctpop
+}
+
+define <4 x i16> @test_ctpop_v4i16(<4 x i16> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v4i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <4 x i16> @llvm.ctpop.v4i16(<4 x i16> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i16> %ctpop
+;
+ %ctpop = call <4 x i16> @llvm.ctpop.v4i16(<4 x i16> %a)
+ ret <4 x i16> %ctpop
+}
+
+define <8 x i16> @test_ctpop_v8i16(<8 x i16> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v8i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <8 x i16> @llvm.ctpop.v8i16(<8 x i16> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i16> %ctpop
+;
+ %ctpop = call <8 x i16> @llvm.ctpop.v8i16(<8 x i16> %a)
+ ret <8 x i16> %ctpop
+}
+
+define <2 x i8> @test_ctpop_v2i8(<2 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v2i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <2 x i8> @llvm.ctpop.v2i8(<2 x i8> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i8> %ctpop
+;
+ %ctpop = call <2 x i8> @llvm.ctpop.v2i8(<2 x i8> %a)
+ ret <2 x i8> %ctpop
+}
+
+define <4 x i8> @test_ctpop_v4i8(<4 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v4i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %ctpop = call <4 x i8> @llvm.ctpop.v4i8(<4 x i8> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i8> %ctpop
+;
+ %ctpop = call <4 x i8> @llvm.ctpop.v4i8(<4 x i8> %a)
+ ret <4 x i8> %ctpop
+}
+
+define <8 x i8> @test_ctpop_v8i8(<8 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v8i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctpop = call <8 x i8> @llvm.ctpop.v8i8(<8 x i8> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i8> %ctpop
+;
+ %ctpop = call <8 x i8> @llvm.ctpop.v8i8(<8 x i8> %a)
+ ret <8 x i8> %ctpop
+}
+
+define <16 x i8> @test_ctpop_v16i8(<16 x i8> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v16i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %ctpop = call <16 x i8> @llvm.ctpop.v16i8(<16 x i8> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <16 x i8> %ctpop
+;
+ %ctpop = call <16 x i8> @llvm.ctpop.v16i8(<16 x i8> %a)
+ ret <16 x i8> %ctpop
+}
+
+define <4 x i64> @test_ctpop_v4i64(<4 x i64> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v4i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %ctpop = call <4 x i64> @llvm.ctpop.v4i64(<4 x i64> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i64> %ctpop
+;
+ %ctpop = call <4 x i64> @llvm.ctpop.v4i64(<4 x i64> %a)
+ ret <4 x i64> %ctpop
+}
+
+define <8 x i32> @test_ctpop_v8i32(<8 x i32> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v8i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %ctpop = call <8 x i32> @llvm.ctpop.v8i32(<8 x i32> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i32> %ctpop
+;
+ %ctpop = call <8 x i32> @llvm.ctpop.v8i32(<8 x i32> %a)
+ ret <8 x i32> %ctpop
+}
+
+define <16 x i16> @test_ctpop_v16i16(<16 x i16> %a) {
+;
+; CHECK-LABEL: 'test_ctpop_v16i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %ctpop = call <16 x i16> @llvm.ctpop.v16i16(<16 x i16> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <16 x i16> %ctpop
+;
+ %ctpop = call <16 x i16> @llvm.ctpop.v16i16(<16 x i16> %a)
+ ret <16 x i16> %ctpop
+}
+
+define <32 x i8> @test_ctpop_v32i8(<32 x i8> %a) {
+; CHECK-LABEL: 'test_ctpop_v32i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %ctpop = call <32 x i8> @llvm.ctpop.v32i8(<32 x i8> %a)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <32 x i8> %ctpop
+;
+ %ctpop = call <32 x i8> @llvm.ctpop.v32i8(<32 x i8> %a)
+ ret <32 x i8> %ctpop
+}
+
+declare <2 x i64> @llvm.ctpop.v2i64(<2 x i64>)
+declare <2 x i32> @llvm.ctpop.v2i32(<2 x i32>)
+declare <4 x i32> @llvm.ctpop.v4i32(<4 x i32>)
+declare <2 x i16> @llvm.ctpop.v2i16(<2 x i16>)
+declare <4 x i16> @llvm.ctpop.v4i16(<4 x i16>)
+declare <8 x i16> @llvm.ctpop.v8i16(<8 x i16>)
+declare <2 x i8> @llvm.ctpop.v2i8(<2 x i8>)
+declare <4 x i8> @llvm.ctpop.v4i8(<4 x i8>)
+declare <8 x i8> @llvm.ctpop.v8i8(<8 x i8>)
+declare <16 x i8> @llvm.ctpop.v16i8(<16 x i8>)
+
+declare <4 x i64> @llvm.ctpop.v4i64(<4 x i64>)
+declare <8 x i32> @llvm.ctpop.v8i32(<8 x i32>)
+declare <16 x i16> @llvm.ctpop.v16i16(<16 x i16>)
+declare <32 x i8> @llvm.ctpop.v32i8(<32 x i8>)
diff --git a/llvm/test/Analysis/CostModel/AArch64/cttz.ll b/llvm/test/Analysis/CostModel/AArch64/cttz.ll
new file mode 100644
index 0000000000000..1daad5a45c911
--- /dev/null
+++ b/llvm/test/Analysis/CostModel/AArch64/cttz.ll
@@ -0,0 +1,207 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt < %s -mtriple=aarch64 -cost-model -analyze | FileCheck %s
+
+; Verify the cost of scalar ctlz instructions.
+
+define i64 @test_cttz_i64(i64 %a) {
+;
+; CHECK-LABEL: 'test_cttz_i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %cttz = call i64 @llvm.cttz.i64(i64 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i64 %cttz
+;
+ %cttz = call i64 @llvm.cttz.i64(i64 %a)
+ ret i64 %cttz
+}
+
+define i32 @test_cttz_i32(i32 %a) {
+;
+; CHECK-LABEL: 'test_cttz_i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %cttz = call i32 @llvm.cttz.i32(i32 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %cttz
+;
+ %cttz = call i32 @llvm.cttz.i32(i32 %a)
+ ret i32 %cttz
+}
+
+define i16 @test_cttz_i16(i16 %a) {
+;
+; CHECK-LABEL: 'test_cttz_i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %cttz = call i16 @llvm.cttz.i16(i16 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i16 %cttz
+;
+ %cttz = call i16 @llvm.cttz.i16(i16 %a)
+ ret i16 %cttz
+}
+
+define i8 @test_cttz_i8(i8 %a) {
+;
+; CHECK-LABEL: 'test_cttz_i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 1 for instruction: %cttz = call i8 @llvm.cttz.i8(i8 %a, i1 false)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i8 %cttz
+;
+ %cttz = call i8 @llvm.cttz.i8(i8 %a)
+ ret i8 %cttz
+}
+
+declare i64 @llvm.cttz.i64(i64)
+declare i32 @llvm.cttz.i32(i32)
+declare i16 @llvm.cttz.i16(i16)
+declare i8 @llvm.cttz.i8(i8)
+
+; Verify the cost of vector cttz instructions.
+
+define <2 x i64> @test_cttz_v2i64(<2 x i64> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v2i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %cttz = call <2 x i64> @llvm.cttz.v2i64(<2 x i64> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i64> %cttz
+;
+ %cttz = call <2 x i64> @llvm.cttz.v2i64(<2 x i64> %a, i1 true)
+ ret <2 x i64> %cttz
+}
+
+define <2 x i32> @test_cttz_v2i32(<2 x i32> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v2i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %cttz = call <2 x i32> @llvm.cttz.v2i32(<2 x i32> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i32> %cttz
+;
+ %cttz = call <2 x i32> @llvm.cttz.v2i32(<2 x i32> %a, i1 true)
+ ret <2 x i32> %cttz
+}
+
+define <4 x i32> @test_cttz_v4i32(<4 x i32> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v4i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 22 for instruction: %cttz = call <4 x i32> @llvm.cttz.v4i32(<4 x i32> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i32> %cttz
+;
+ %cttz = call <4 x i32> @llvm.cttz.v4i32(<4 x i32> %a, i1 true)
+ ret <4 x i32> %cttz
+}
+
+define <2 x i16> @test_cttz_v2i16(<2 x i16> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v2i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %cttz = call <2 x i16> @llvm.cttz.v2i16(<2 x i16> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i16> %cttz
+;
+ %cttz = call <2 x i16> @llvm.cttz.v2i16(<2 x i16> %a, i1 true)
+ ret <2 x i16> %cttz
+}
+
+define <4 x i16> @test_cttz_v4i16(<4 x i16> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v4i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 22 for instruction: %cttz = call <4 x i16> @llvm.cttz.v4i16(<4 x i16> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i16> %cttz
+;
+ %cttz = call <4 x i16> @llvm.cttz.v4i16(<4 x i16> %a, i1 true)
+ ret <4 x i16> %cttz
+}
+
+define <8 x i16> @test_cttz_v8i16(<8 x i16> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v8i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 50 for instruction: %cttz = call <8 x i16> @llvm.cttz.v8i16(<8 x i16> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i16> %cttz
+;
+ %cttz = call <8 x i16> @llvm.cttz.v8i16(<8 x i16> %a, i1 true)
+ ret <8 x i16> %cttz
+}
+
+define <2 x i8> @test_cttz_v2i8(<2 x i8> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v2i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %cttz = call <2 x i8> @llvm.cttz.v2i8(<2 x i8> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <2 x i8> %cttz
+;
+ %cttz = call <2 x i8> @llvm.cttz.v2i8(<2 x i8> %a, i1 true)
+ ret <2 x i8> %cttz
+}
+
+define <4 x i8> @test_cttz_v4i8(<4 x i8> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v4i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 22 for instruction: %cttz = call <4 x i8> @llvm.cttz.v4i8(<4 x i8> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i8> %cttz
+;
+ %cttz = call <4 x i8> @llvm.cttz.v4i8(<4 x i8> %a, i1 true)
+ ret <4 x i8> %cttz
+}
+
+define <8 x i8> @test_cttz_v8i8(<8 x i8> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v8i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 50 for instruction: %cttz = call <8 x i8> @llvm.cttz.v8i8(<8 x i8> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i8> %cttz
+;
+ %cttz = call <8 x i8> @llvm.cttz.v8i8(<8 x i8> %a, i1 true)
+ ret <8 x i8> %cttz
+}
+
+define <16 x i8> @test_cttz_v16i8(<16 x i8> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v16i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 106 for instruction: %cttz = call <16 x i8> @llvm.cttz.v16i8(<16 x i8> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <16 x i8> %cttz
+;
+ %cttz = call <16 x i8> @llvm.cttz.v16i8(<16 x i8> %a, i1 true)
+ ret <16 x i8> %cttz
+}
+
+define <4 x i64> @test_cttz_v4i64(<4 x i64> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v4i64'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 16 for instruction: %cttz = call <4 x i64> @llvm.cttz.v4i64(<4 x i64> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <4 x i64> %cttz
+;
+ %cttz = call <4 x i64> @llvm.cttz.v4i64(<4 x i64> %a, i1 true)
+ ret <4 x i64> %cttz
+}
+
+define <8 x i32> @test_cttz_v8i32(<8 x i32> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v8i32'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 44 for instruction: %cttz = call <8 x i32> @llvm.cttz.v8i32(<8 x i32> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <8 x i32> %cttz
+;
+ %cttz = call <8 x i32> @llvm.cttz.v8i32(<8 x i32> %a, i1 true)
+ ret <8 x i32> %cttz
+}
+
+define <16 x i16> @test_cttz_v16i16(<16 x i16> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v16i16'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 100 for instruction: %cttz = call <16 x i16> @llvm.cttz.v16i16(<16 x i16> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <16 x i16> %cttz
+;
+ %cttz = call <16 x i16> @llvm.cttz.v16i16(<16 x i16> %a, i1 true)
+ ret <16 x i16> %cttz
+}
+
+define <32 x i8> @test_cttz_v32i8(<32 x i8> %a) {
+;
+; CHECK-LABEL: 'test_cttz_v32i8'
+; CHECK-NEXT: Cost Model: Found an estimated cost of 212 for instruction: %cttz = call <32 x i8> @llvm.cttz.v32i8(<32 x i8> %a, i1 true)
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <32 x i8> %cttz
+;
+ %cttz = call <32 x i8> @llvm.cttz.v32i8(<32 x i8> %a, i1 true)
+ ret <32 x i8> %cttz
+}
+
+declare <2 x i64> @llvm.cttz.v2i64(<2 x i64>, i1)
+declare <2 x i32> @llvm.cttz.v2i32(<2 x i32>, i1)
+declare <4 x i32> @llvm.cttz.v4i32(<4 x i32>, i1)
+declare <2 x i16> @llvm.cttz.v2i16(<2 x i16>, i1)
+declare <4 x i16> @llvm.cttz.v4i16(<4 x i16>, i1)
+declare <8 x i16> @llvm.cttz.v8i16(<8 x i16>, i1)
+declare <2 x i8> @llvm.cttz.v2i8(<2 x i8>, i1)
+declare <4 x i8> @llvm.cttz.v4i8(<4 x i8>, i1)
+declare <8 x i8> @llvm.cttz.v8i8(<8 x i8>, i1)
+declare <16 x i8> @llvm.cttz.v16i8(<16 x i8>, i1)
+
+declare <4 x i64> @llvm.cttz.v4i64(<4 x i64>, i1)
+declare <8 x i32> @llvm.cttz.v8i32(<8 x i32>, i1)
+declare <16 x i16> @llvm.cttz.v16i16(<16 x i16>, i1)
+declare <32 x i8> @llvm.cttz.v32i8(<32 x i8>, i1)
More information about the llvm-commits
mailing list