From d68a277f2329138b14b7faf3d871f08ecd6fc79d Mon Sep 17 00:00:00 2001 From: Roman Lebedev Date: Mon, 12 Aug 2019 09:24:33 +0000 Subject: [PATCH] [CostModel][X86][AArch64] Add some tests for extractvalue In https://reviews.llvm.org/D65148 it is suggested that it should have zero cost, always. llvm-svn: 368548 --- llvm/test/Analysis/CostModel/AArch64/aggregates.ll | 76 ++++++++++++++++++++++ llvm/test/Analysis/CostModel/X86/aggregates.ll | 76 ++++++++++++++++++++++ 2 files changed, 152 insertions(+) create mode 100644 llvm/test/Analysis/CostModel/AArch64/aggregates.ll create mode 100644 llvm/test/Analysis/CostModel/X86/aggregates.ll diff --git a/llvm/test/Analysis/CostModel/AArch64/aggregates.ll b/llvm/test/Analysis/CostModel/AArch64/aggregates.ll new file mode 100644 index 0000000..25f6cf7 --- /dev/null +++ b/llvm/test/Analysis/CostModel/AArch64/aggregates.ll @@ -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 +} diff --git a/llvm/test/Analysis/CostModel/X86/aggregates.ll b/llvm/test/Analysis/CostModel/X86/aggregates.ll new file mode 100644 index 0000000..82be8aa --- /dev/null +++ b/llvm/test/Analysis/CostModel/X86/aggregates.ll @@ -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 +} -- 2.7.4