blob: ae4c76ecf152e18aa076797dd8fb8cd0ace7ec60 [file] [log] [blame]
Scott Lindercab029f2018-09-04 16:33:34 +00001//===- llvm/unittest/CodeGen/AArch64SelectionDAGTest.cpp -------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Scott Lindercab029f2018-09-04 16:33:34 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/CodeGen/SelectionDAG.h"
10#include "llvm/Analysis/OptimizationRemarkEmitter.h"
11#include "llvm/AsmParser/Parser.h"
12#include "llvm/CodeGen/MachineModuleInfo.h"
13#include "llvm/CodeGen/TargetLowering.h"
14#include "llvm/Support/SourceMgr.h"
15#include "llvm/Support/TargetRegistry.h"
16#include "llvm/Support/TargetSelect.h"
17#include "llvm/Target/TargetMachine.h"
18#include "gtest/gtest.h"
19
20using namespace llvm;
21
22namespace {
23
Scott Lindercab029f2018-09-04 16:33:34 +000024class AArch64SelectionDAGTest : public testing::Test {
25protected:
Scott Linder884619f2018-09-06 18:40:35 +000026 static void SetUpTestCase() {
27 InitializeAllTargets();
28 InitializeAllTargetMCs();
29 }
30
Scott Lindercab029f2018-09-04 16:33:34 +000031 void SetUp() override {
32 StringRef Assembly = "define void @f() { ret void }";
33
34 Triple TargetTriple("aarch64--");
35 std::string Error;
36 const Target *T = TargetRegistry::lookupTarget("", TargetTriple, Error);
37 // FIXME: These tests do not depend on AArch64 specifically, but we have to
38 // initialize a target. A skeleton Target for unittests would allow us to
39 // always run these tests.
40 if (!T)
41 return;
42
43 TargetOptions Options;
Matthias Braun3d849f62018-11-05 23:49:13 +000044 TM = std::unique_ptr<LLVMTargetMachine>(static_cast<LLVMTargetMachine*>(
45 T->createTargetMachine("AArch64", "", "", Options, None, None,
46 CodeGenOpt::Aggressive)));
Scott Lindercab029f2018-09-04 16:33:34 +000047 if (!TM)
48 return;
49
50 SMDiagnostic SMError;
51 M = parseAssemblyString(Assembly, SMError, Context);
52 if (!M)
53 report_fatal_error(SMError.getMessage());
54 M->setDataLayout(TM->createDataLayout());
55
56 F = M->getFunction("f");
57 if (!F)
58 report_fatal_error("F?");
59
60 MachineModuleInfo MMI(TM.get());
61
62 MF = make_unique<MachineFunction>(*F, *TM, *TM->getSubtargetImpl(*F), 0,
63 MMI);
64
65 DAG = make_unique<SelectionDAG>(*TM, CodeGenOpt::None);
66 if (!DAG)
67 report_fatal_error("DAG?");
68 OptimizationRemarkEmitter ORE(F);
69 DAG->init(*MF, ORE, nullptr, nullptr, nullptr);
70 }
71
72 LLVMContext Context;
Matthias Braun3d849f62018-11-05 23:49:13 +000073 std::unique_ptr<LLVMTargetMachine> TM;
Scott Lindercab029f2018-09-04 16:33:34 +000074 std::unique_ptr<Module> M;
75 Function *F;
76 std::unique_ptr<MachineFunction> MF;
77 std::unique_ptr<SelectionDAG> DAG;
78};
79
80TEST_F(AArch64SelectionDAGTest, computeKnownBits_ZERO_EXTEND_VECTOR_INREG) {
81 if (!TM)
82 return;
83 SDLoc Loc;
84 auto Int8VT = EVT::getIntegerVT(Context, 8);
85 auto Int16VT = EVT::getIntegerVT(Context, 16);
86 auto InVecVT = EVT::getVectorVT(Context, Int8VT, 4);
87 auto OutVecVT = EVT::getVectorVT(Context, Int16VT, 2);
88 auto InVec = DAG->getConstant(0, Loc, InVecVT);
Craig Topper1ba86182018-11-04 02:10:18 +000089 auto Op = DAG->getNode(ISD::ZERO_EXTEND_VECTOR_INREG, Loc, OutVecVT, InVec);
Craig Topper8cca8bd2018-11-08 20:29:17 +000090 auto DemandedElts = APInt(2, 3);
Simon Pilgrim148957f2018-12-21 15:05:10 +000091 KnownBits Known = DAG->computeKnownBits(Op, DemandedElts);
Scott Lindercab029f2018-09-04 16:33:34 +000092 EXPECT_TRUE(Known.isZero());
93}
94
95TEST_F(AArch64SelectionDAGTest, computeKnownBits_EXTRACT_SUBVECTOR) {
96 if (!TM)
97 return;
98 SDLoc Loc;
99 auto IntVT = EVT::getIntegerVT(Context, 8);
100 auto VecVT = EVT::getVectorVT(Context, IntVT, 3);
101 auto IdxVT = EVT::getIntegerVT(Context, 64);
102 auto Vec = DAG->getConstant(0, Loc, VecVT);
103 auto ZeroIdx = DAG->getConstant(0, Loc, IdxVT);
104 auto Op = DAG->getNode(ISD::EXTRACT_SUBVECTOR, Loc, VecVT, Vec, ZeroIdx);
105 auto DemandedElts = APInt(3, 7);
Simon Pilgrim148957f2018-12-21 15:05:10 +0000106 KnownBits Known = DAG->computeKnownBits(Op, DemandedElts);
Scott Lindercab029f2018-09-04 16:33:34 +0000107 EXPECT_TRUE(Known.isZero());
108}
109
110TEST_F(AArch64SelectionDAGTest, ComputeNumSignBits_SIGN_EXTEND_VECTOR_INREG) {
111 if (!TM)
112 return;
113 SDLoc Loc;
114 auto Int8VT = EVT::getIntegerVT(Context, 8);
115 auto Int16VT = EVT::getIntegerVT(Context, 16);
116 auto InVecVT = EVT::getVectorVT(Context, Int8VT, 4);
117 auto OutVecVT = EVT::getVectorVT(Context, Int16VT, 2);
118 auto InVec = DAG->getConstant(1, Loc, InVecVT);
Craig Topper1ba86182018-11-04 02:10:18 +0000119 auto Op = DAG->getNode(ISD::SIGN_EXTEND_VECTOR_INREG, Loc, OutVecVT, InVec);
Craig Topper8cca8bd2018-11-08 20:29:17 +0000120 auto DemandedElts = APInt(2, 3);
Scott Lindercab029f2018-09-04 16:33:34 +0000121 EXPECT_EQ(DAG->ComputeNumSignBits(Op, DemandedElts), 15u);
122}
123
124TEST_F(AArch64SelectionDAGTest, ComputeNumSignBits_EXTRACT_SUBVECTOR) {
125 if (!TM)
126 return;
127 SDLoc Loc;
128 auto IntVT = EVT::getIntegerVT(Context, 8);
129 auto VecVT = EVT::getVectorVT(Context, IntVT, 3);
130 auto IdxVT = EVT::getIntegerVT(Context, 64);
131 auto Vec = DAG->getConstant(1, Loc, VecVT);
132 auto ZeroIdx = DAG->getConstant(0, Loc, IdxVT);
133 auto Op = DAG->getNode(ISD::EXTRACT_SUBVECTOR, Loc, VecVT, Vec, ZeroIdx);
134 auto DemandedElts = APInt(3, 7);
135 EXPECT_EQ(DAG->ComputeNumSignBits(Op, DemandedElts), 7u);
136}
137
138TEST_F(AArch64SelectionDAGTest, SimplifyDemandedVectorElts_EXTRACT_SUBVECTOR) {
139 if (!TM)
140 return;
141
142 TargetLowering TL(*TM);
143
144 SDLoc Loc;
145 auto IntVT = EVT::getIntegerVT(Context, 8);
146 auto VecVT = EVT::getVectorVT(Context, IntVT, 3);
147 auto IdxVT = EVT::getIntegerVT(Context, 64);
148 auto Vec = DAG->getConstant(1, Loc, VecVT);
149 auto ZeroIdx = DAG->getConstant(0, Loc, IdxVT);
150 auto Op = DAG->getNode(ISD::EXTRACT_SUBVECTOR, Loc, VecVT, Vec, ZeroIdx);
151 auto DemandedElts = APInt(3, 7);
152 auto KnownUndef = APInt(3, 0);
153 auto KnownZero = APInt(3, 0);
154 TargetLowering::TargetLoweringOpt TLO(*DAG, false, false);
155 EXPECT_EQ(TL.SimplifyDemandedVectorElts(Op, DemandedElts, KnownUndef,
156 KnownZero, TLO),
157 false);
158}
159
160} // end anonymous namespace