[llvm] r368548 - [CostModel][X86][AArch64] Add some tests for extractvalue
Roman Lebedev via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 12 02:24:33 PDT 2019
Author: lebedevri
Date: Mon Aug 12 02:24:33 2019
New Revision: 368548
URL: http://llvm.org/viewvc/llvm-project?rev=368548&view=rev
Log:
[CostModel][X86][AArch64] Add some tests for extractvalue
In https://reviews.llvm.org/D65148 it is suggested that
it should have zero cost, always.
Added:
llvm/trunk/test/Analysis/CostModel/AArch64/aggregates.ll
llvm/trunk/test/Analysis/CostModel/X86/aggregates.ll
Added: llvm/trunk/test/Analysis/CostModel/AArch64/aggregates.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/CostModel/AArch64/aggregates.ll?rev=368548&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/CostModel/AArch64/aggregates.ll (added)
+++ llvm/trunk/test/Analysis/CostModel/AArch64/aggregates.ll Mon Aug 12 02:24:33 2019
@@ -0,0 +1,76 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt < %s -mtriple=aarch64-unknown-linux-gnu -cost-model -analyze | FileCheck %s --check-prefixes=CHECK,SSE,SSE2
+
+define i32 @extract_first_i32({i32, i32} %agg) {
+; CHECK-LABEL: 'extract_first_i32'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i32 } %agg, 0
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %r
+;
+ %r = extractvalue {i32, i32} %agg, 0
+ ret i32 %r
+}
+
+define i32 @extract_second_i32({i32, i32} %agg) {
+; CHECK-LABEL: 'extract_second_i32'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i32 } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %r
+;
+ %r = extractvalue {i32, i32} %agg, 1
+ ret i32 %r
+}
+
+define i32 @extract_i32({i32, i1} %agg) {
+; CHECK-LABEL: 'extract_i32'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i1 } %agg, 0
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %r
+;
+ %r = extractvalue {i32, i1} %agg, 0
+ ret i32 %r
+}
+
+define i1 @extract_i1({i32, i1} %agg) {
+; CHECK-LABEL: 'extract_i1'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i1 } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i1 %r
+;
+ %r = extractvalue {i32, i1} %agg, 1
+ ret i1 %r
+}
+
+define float @extract_float({i32, float} %agg) {
+; CHECK-LABEL: 'extract_float'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, float } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret float %r
+;
+ %r = extractvalue {i32, float} %agg, 1
+ ret float %r
+}
+
+define [42 x i42] @extract_array({i32, [42 x i42]} %agg) {
+; CHECK-LABEL: 'extract_array'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, [42 x i42] } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret [42 x i42] %r
+;
+ %r = extractvalue {i32, [42 x i42]} %agg, 1
+ ret [42 x i42] %r
+}
+
+define <42 x i42> @extract_vector({i32, <42 x i42>} %agg) {
+; CHECK-LABEL: 'extract_vector'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, <42 x i42> } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <42 x i42> %r
+;
+ %r = extractvalue {i32, <42 x i42>} %agg, 1
+ ret <42 x i42> %r
+}
+
+%T1 = type { i32, float, <4 x i1> }
+
+define %T1 @extract_struct({i32, %T1} %agg) {
+; CHECK-LABEL: 'extract_struct'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, %T1 } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret %T1 %r
+;
+ %r = extractvalue {i32, %T1} %agg, 1
+ ret %T1 %r
+}
Added: llvm/trunk/test/Analysis/CostModel/X86/aggregates.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/CostModel/X86/aggregates.ll?rev=368548&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/CostModel/X86/aggregates.ll (added)
+++ llvm/trunk/test/Analysis/CostModel/X86/aggregates.ll Mon Aug 12 02:24:33 2019
@@ -0,0 +1,76 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt < %s -mtriple=x86_64-unknown-linux-gnu -cost-model -analyze | FileCheck %s --check-prefixes=CHECK,SSE,SSE2
+
+define i32 @extract_first_i32({i32, i32} %agg) {
+; CHECK-LABEL: 'extract_first_i32'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i32 } %agg, 0
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %r
+;
+ %r = extractvalue {i32, i32} %agg, 0
+ ret i32 %r
+}
+
+define i32 @extract_second_i32({i32, i32} %agg) {
+; CHECK-LABEL: 'extract_second_i32'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i32 } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %r
+;
+ %r = extractvalue {i32, i32} %agg, 1
+ ret i32 %r
+}
+
+define i32 @extract_i32({i32, i1} %agg) {
+; CHECK-LABEL: 'extract_i32'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i1 } %agg, 0
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i32 %r
+;
+ %r = extractvalue {i32, i1} %agg, 0
+ ret i32 %r
+}
+
+define i1 @extract_i1({i32, i1} %agg) {
+; CHECK-LABEL: 'extract_i1'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, i1 } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret i1 %r
+;
+ %r = extractvalue {i32, i1} %agg, 1
+ ret i1 %r
+}
+
+define float @extract_float({i32, float} %agg) {
+; CHECK-LABEL: 'extract_float'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, float } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret float %r
+;
+ %r = extractvalue {i32, float} %agg, 1
+ ret float %r
+}
+
+define [42 x i42] @extract_array({i32, [42 x i42]} %agg) {
+; CHECK-LABEL: 'extract_array'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, [42 x i42] } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret [42 x i42] %r
+;
+ %r = extractvalue {i32, [42 x i42]} %agg, 1
+ ret [42 x i42] %r
+}
+
+define <42 x i42> @extract_vector({i32, <42 x i42>} %agg) {
+; CHECK-LABEL: 'extract_vector'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, <42 x i42> } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret <42 x i42> %r
+;
+ %r = extractvalue {i32, <42 x i42>} %agg, 1
+ ret <42 x i42> %r
+}
+
+%T1 = type { i32, float, <4 x i1> }
+
+define %T1 @extract_struct({i32, %T1} %agg) {
+; CHECK-LABEL: 'extract_struct'
+; CHECK-NEXT: Cost Model: Unknown cost for instruction: %r = extractvalue { i32, %T1 } %agg, 1
+; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret %T1 %r
+;
+ %r = extractvalue {i32, %T1} %agg, 1
+ ret %T1 %r
+}
More information about the llvm-commits
mailing list