blob: 0a9cac2565f289b95522768682e63c05d3948fc8 [file] [log] [blame]
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001//===-- LanaiISelLowering.cpp - Lanai DAG Lowering Implementation ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the LanaiTargetLowering class.
11//
12//===----------------------------------------------------------------------===//
13
Jacques Pienaar0dbcc342017-05-09 18:35:26 +000014#include "LanaiISelLowering.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000015#include "Lanai.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000016#include "LanaiCondCode.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000017#include "LanaiMachineFunctionInfo.h"
18#include "LanaiSubtarget.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000019#include "LanaiTargetObjectFile.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000020#include "MCTargetDesc/LanaiBaseInfo.h"
21#include "llvm/ADT/APInt.h"
22#include "llvm/ADT/ArrayRef.h"
23#include "llvm/ADT/SmallVector.h"
24#include "llvm/ADT/StringRef.h"
25#include "llvm/ADT/StringSwitch.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000026#include "llvm/CodeGen/CallingConvLower.h"
27#include "llvm/CodeGen/MachineFrameInfo.h"
28#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000029#include "llvm/CodeGen/MachineMemOperand.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000030#include "llvm/CodeGen/MachineRegisterInfo.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000031#include "llvm/CodeGen/MachineValueType.h"
32#include "llvm/CodeGen/RuntimeLibcalls.h"
33#include "llvm/CodeGen/SelectionDAG.h"
34#include "llvm/CodeGen/SelectionDAGNodes.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000035#include "llvm/CodeGen/ValueTypes.h"
36#include "llvm/IR/CallingConv.h"
37#include "llvm/IR/DerivedTypes.h"
38#include "llvm/IR/Function.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000039#include "llvm/IR/GlobalValue.h"
40#include "llvm/Support/Casting.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000041#include "llvm/Support/CodeGen.h"
Jacques Pienaar0dbcc342017-05-09 18:35:26 +000042#include "llvm/Support/CommandLine.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000043#include "llvm/Support/Debug.h"
44#include "llvm/Support/ErrorHandling.h"
Jacques Pienaar0dbcc342017-05-09 18:35:26 +000045#include "llvm/Support/KnownBits.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000046#include "llvm/Support/MathExtras.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000047#include "llvm/Support/raw_ostream.h"
Eugene Zelenko049b0172017-01-06 00:30:53 +000048#include "llvm/Target/TargetCallingConv.h"
49#include "llvm/Target/TargetMachine.h"
50#include <cassert>
51#include <cmath>
52#include <cstdint>
53#include <cstdlib>
54#include <utility>
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000055
56#define DEBUG_TYPE "lanai-lower"
57
58using namespace llvm;
59
60// Limit on number of instructions the lowered multiplication may have before a
61// call to the library function should be generated instead. The threshold is
62// currently set to 14 as this was the smallest threshold that resulted in all
63// constant multiplications being lowered. A threshold of 5 covered all cases
64// except for one multiplication which required 14. mulsi3 requires 16
65// instructions (including the prologue and epilogue but excluding instructions
66// at call site). Until we can inline mulsi3, generating at most 14 instructions
67// will be faster than invoking mulsi3.
68static cl::opt<int> LanaiLowerConstantMulThreshold(
69 "lanai-constant-mul-threshold", cl::Hidden,
70 cl::desc("Maximum number of instruction to generate when lowering constant "
71 "multiplication instead of calling library function [default=14]"),
72 cl::init(14));
73
74LanaiTargetLowering::LanaiTargetLowering(const TargetMachine &TM,
75 const LanaiSubtarget &STI)
76 : TargetLowering(TM) {
77 // Set up the register classes.
78 addRegisterClass(MVT::i32, &Lanai::GPRRegClass);
79
80 // Compute derived properties from the register classes
81 TRI = STI.getRegisterInfo();
82 computeRegisterProperties(TRI);
83
84 setStackPointerRegisterToSaveRestore(Lanai::SP);
85
86 setOperationAction(ISD::BR_CC, MVT::i32, Custom);
87 setOperationAction(ISD::BR_JT, MVT::Other, Expand);
88 setOperationAction(ISD::BRCOND, MVT::Other, Expand);
89 setOperationAction(ISD::SETCC, MVT::i32, Custom);
Jacques Pienaar50d4e982016-04-19 19:15:25 +000090 setOperationAction(ISD::SETCCE, MVT::i32, Custom);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000091 setOperationAction(ISD::SELECT, MVT::i32, Expand);
92 setOperationAction(ISD::SELECT_CC, MVT::i32, Custom);
93
94 setOperationAction(ISD::GlobalAddress, MVT::i32, Custom);
95 setOperationAction(ISD::BlockAddress, MVT::i32, Custom);
96 setOperationAction(ISD::JumpTable, MVT::i32, Custom);
97 setOperationAction(ISD::ConstantPool, MVT::i32, Custom);
98
99 setOperationAction(ISD::DYNAMIC_STACKALLOC, MVT::i32, Custom);
100 setOperationAction(ISD::STACKSAVE, MVT::Other, Expand);
101 setOperationAction(ISD::STACKRESTORE, MVT::Other, Expand);
102
103 setOperationAction(ISD::VASTART, MVT::Other, Custom);
104 setOperationAction(ISD::VAARG, MVT::Other, Expand);
105 setOperationAction(ISD::VACOPY, MVT::Other, Expand);
106 setOperationAction(ISD::VAEND, MVT::Other, Expand);
107
108 setOperationAction(ISD::SDIV, MVT::i32, Expand);
109 setOperationAction(ISD::UDIV, MVT::i32, Expand);
110 setOperationAction(ISD::SDIVREM, MVT::i32, Expand);
111 setOperationAction(ISD::UDIVREM, MVT::i32, Expand);
112 setOperationAction(ISD::SREM, MVT::i32, Expand);
113 setOperationAction(ISD::UREM, MVT::i32, Expand);
114
115 setOperationAction(ISD::MUL, MVT::i32, Custom);
116 setOperationAction(ISD::MULHU, MVT::i32, Expand);
117 setOperationAction(ISD::MULHS, MVT::i32, Expand);
118 setOperationAction(ISD::UMUL_LOHI, MVT::i32, Expand);
119 setOperationAction(ISD::SMUL_LOHI, MVT::i32, Expand);
120
121 setOperationAction(ISD::ROTR, MVT::i32, Expand);
122 setOperationAction(ISD::ROTL, MVT::i32, Expand);
Jacques Pienaar3bec3ef2016-12-02 22:01:28 +0000123 setOperationAction(ISD::SHL_PARTS, MVT::i32, Custom);
Jacques Pienaarad1db352016-04-14 17:59:22 +0000124 setOperationAction(ISD::SRL_PARTS, MVT::i32, Custom);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000125 setOperationAction(ISD::SRA_PARTS, MVT::i32, Expand);
126
127 setOperationAction(ISD::BSWAP, MVT::i32, Expand);
128 setOperationAction(ISD::CTPOP, MVT::i32, Legal);
129 setOperationAction(ISD::CTLZ, MVT::i32, Legal);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000130 setOperationAction(ISD::CTTZ, MVT::i32, Legal);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000131
132 setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1, Expand);
133 setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i8, Expand);
134 setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i16, Expand);
135
136 // Extended load operations for i1 types must be promoted
137 for (MVT VT : MVT::integer_valuetypes()) {
138 setLoadExtAction(ISD::EXTLOAD, VT, MVT::i1, Promote);
139 setLoadExtAction(ISD::ZEXTLOAD, VT, MVT::i1, Promote);
140 setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i1, Promote);
141 }
142
Jacques Pienaar6d3eecc2016-07-07 23:36:04 +0000143 setTargetDAGCombine(ISD::ADD);
144 setTargetDAGCombine(ISD::SUB);
145 setTargetDAGCombine(ISD::AND);
146 setTargetDAGCombine(ISD::OR);
147 setTargetDAGCombine(ISD::XOR);
148
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000149 // Function alignments (log2)
150 setMinFunctionAlignment(2);
151 setPrefFunctionAlignment(2);
152
153 setJumpIsExpensive(true);
154
155 // TODO: Setting the minimum jump table entries needed before a
156 // switch is transformed to a jump table to 100 to avoid creating jump tables
157 // as this was causing bad performance compared to a large group of if
158 // statements. Re-evaluate this on new benchmarks.
159 setMinimumJumpTableEntries(100);
160
161 // Use fast calling convention for library functions.
162 for (int I = 0; I < RTLIB::UNKNOWN_LIBCALL; ++I) {
163 setLibcallCallingConv(static_cast<RTLIB::Libcall>(I), CallingConv::Fast);
164 }
165
166 MaxStoresPerMemset = 16; // For @llvm.memset -> sequence of stores
167 MaxStoresPerMemsetOptSize = 8;
168 MaxStoresPerMemcpy = 16; // For @llvm.memcpy -> sequence of stores
169 MaxStoresPerMemcpyOptSize = 8;
170 MaxStoresPerMemmove = 16; // For @llvm.memmove -> sequence of stores
171 MaxStoresPerMemmoveOptSize = 8;
Jacques Pienaar250c4be2016-04-19 00:26:42 +0000172
173 // Booleans always contain 0 or 1.
174 setBooleanContents(ZeroOrOneBooleanContent);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000175}
176
177SDValue LanaiTargetLowering::LowerOperation(SDValue Op,
178 SelectionDAG &DAG) const {
179 switch (Op.getOpcode()) {
180 case ISD::MUL:
181 return LowerMUL(Op, DAG);
182 case ISD::BR_CC:
183 return LowerBR_CC(Op, DAG);
184 case ISD::ConstantPool:
185 return LowerConstantPool(Op, DAG);
186 case ISD::GlobalAddress:
187 return LowerGlobalAddress(Op, DAG);
188 case ISD::BlockAddress:
189 return LowerBlockAddress(Op, DAG);
190 case ISD::JumpTable:
191 return LowerJumpTable(Op, DAG);
192 case ISD::SELECT_CC:
193 return LowerSELECT_CC(Op, DAG);
194 case ISD::SETCC:
195 return LowerSETCC(Op, DAG);
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000196 case ISD::SETCCE:
197 return LowerSETCCE(Op, DAG);
Jacques Pienaar3bec3ef2016-12-02 22:01:28 +0000198 case ISD::SHL_PARTS:
199 return LowerSHL_PARTS(Op, DAG);
Jacques Pienaarad1db352016-04-14 17:59:22 +0000200 case ISD::SRL_PARTS:
201 return LowerSRL_PARTS(Op, DAG);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000202 case ISD::VASTART:
203 return LowerVASTART(Op, DAG);
204 case ISD::DYNAMIC_STACKALLOC:
205 return LowerDYNAMIC_STACKALLOC(Op, DAG);
206 case ISD::RETURNADDR:
207 return LowerRETURNADDR(Op, DAG);
208 case ISD::FRAMEADDR:
209 return LowerFRAMEADDR(Op, DAG);
210 default:
211 llvm_unreachable("unimplemented operand");
212 }
213}
Eugene Zelenko049b0172017-01-06 00:30:53 +0000214
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000215//===----------------------------------------------------------------------===//
216// Lanai Inline Assembly Support
217//===----------------------------------------------------------------------===//
218
Jacques Pienaare2f06992016-07-15 22:38:32 +0000219unsigned LanaiTargetLowering::getRegisterByName(const char *RegName, EVT /*VT*/,
220 SelectionDAG & /*DAG*/) const {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000221 // Only unallocatable registers should be matched here.
222 unsigned Reg = StringSwitch<unsigned>(RegName)
223 .Case("pc", Lanai::PC)
224 .Case("sp", Lanai::SP)
225 .Case("fp", Lanai::FP)
226 .Case("rr1", Lanai::RR1)
227 .Case("r10", Lanai::R10)
228 .Case("rr2", Lanai::RR2)
229 .Case("r11", Lanai::R11)
230 .Case("rca", Lanai::RCA)
231 .Default(0);
232
233 if (Reg)
234 return Reg;
235 report_fatal_error("Invalid register name global variable");
236}
237
238std::pair<unsigned, const TargetRegisterClass *>
239LanaiTargetLowering::getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
240 StringRef Constraint,
241 MVT VT) const {
242 if (Constraint.size() == 1)
243 // GCC Constraint Letters
244 switch (Constraint[0]) {
245 case 'r': // GENERAL_REGS
246 return std::make_pair(0U, &Lanai::GPRRegClass);
247 default:
248 break;
249 }
250
251 return TargetLowering::getRegForInlineAsmConstraint(TRI, Constraint, VT);
252}
253
254// Examine constraint type and operand type and determine a weight value.
255// This object must already have been set up with the operand type
256// and the current alternative constraint selected.
257TargetLowering::ConstraintWeight
258LanaiTargetLowering::getSingleConstraintMatchWeight(
259 AsmOperandInfo &Info, const char *Constraint) const {
260 ConstraintWeight Weight = CW_Invalid;
261 Value *CallOperandVal = Info.CallOperandVal;
262 // If we don't have a value, we can't do a match,
263 // but allow it at the lowest weight.
Eugene Zelenko049b0172017-01-06 00:30:53 +0000264 if (CallOperandVal == nullptr)
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000265 return CW_Default;
266 // Look at the constraint type.
267 switch (*Constraint) {
268 case 'I': // signed 16 bit immediate
269 case 'J': // integer zero
270 case 'K': // unsigned 16 bit immediate
271 case 'L': // immediate in the range 0 to 31
272 case 'M': // signed 32 bit immediate where lower 16 bits are 0
273 case 'N': // signed 26 bit immediate
274 case 'O': // integer zero
275 if (isa<ConstantInt>(CallOperandVal))
276 Weight = CW_Constant;
277 break;
278 default:
279 Weight = TargetLowering::getSingleConstraintMatchWeight(Info, Constraint);
280 break;
281 }
282 return Weight;
283}
284
285// LowerAsmOperandForConstraint - Lower the specified operand into the Ops
286// vector. If it is invalid, don't add anything to Ops.
287void LanaiTargetLowering::LowerAsmOperandForConstraint(
288 SDValue Op, std::string &Constraint, std::vector<SDValue> &Ops,
289 SelectionDAG &DAG) const {
Eugene Zelenko049b0172017-01-06 00:30:53 +0000290 SDValue Result(nullptr, 0);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000291
292 // Only support length 1 constraints for now.
293 if (Constraint.length() > 1)
294 return;
295
296 char ConstraintLetter = Constraint[0];
297 switch (ConstraintLetter) {
298 case 'I': // Signed 16 bit constant
299 // If this fails, the parent routine will give an error
300 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op)) {
301 if (isInt<16>(C->getSExtValue())) {
302 Result = DAG.getTargetConstant(C->getSExtValue(), SDLoc(C),
303 Op.getValueType());
304 break;
305 }
306 }
307 return;
308 case 'J': // integer zero
309 case 'O':
310 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op)) {
311 if (C->getZExtValue() == 0) {
312 Result = DAG.getTargetConstant(0, SDLoc(C), Op.getValueType());
313 break;
314 }
315 }
316 return;
317 case 'K': // unsigned 16 bit immediate
318 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op)) {
319 if (isUInt<16>(C->getZExtValue())) {
320 Result = DAG.getTargetConstant(C->getSExtValue(), SDLoc(C),
321 Op.getValueType());
322 break;
323 }
324 }
325 return;
326 case 'L': // immediate in the range 0 to 31
327 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op)) {
328 if (C->getZExtValue() <= 31) {
329 Result = DAG.getTargetConstant(C->getZExtValue(), SDLoc(C),
330 Op.getValueType());
331 break;
332 }
333 }
334 return;
335 case 'M': // signed 32 bit immediate where lower 16 bits are 0
336 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op)) {
337 int64_t Val = C->getSExtValue();
338 if ((isInt<32>(Val)) && ((Val & 0xffff) == 0)) {
339 Result = DAG.getTargetConstant(Val, SDLoc(C), Op.getValueType());
340 break;
341 }
342 }
343 return;
344 case 'N': // signed 26 bit immediate
345 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op)) {
346 int64_t Val = C->getSExtValue();
347 if ((Val >= -33554432) && (Val <= 33554431)) {
348 Result = DAG.getTargetConstant(Val, SDLoc(C), Op.getValueType());
349 break;
350 }
351 }
352 return;
353 default:
354 break; // This will fall through to the generic implementation
355 }
356
357 if (Result.getNode()) {
358 Ops.push_back(Result);
359 return;
360 }
361
362 TargetLowering::LowerAsmOperandForConstraint(Op, Constraint, Ops, DAG);
363}
364
365//===----------------------------------------------------------------------===//
366// Calling Convention Implementation
367//===----------------------------------------------------------------------===//
368
369#include "LanaiGenCallingConv.inc"
370
371static unsigned NumFixedArgs;
372static bool CC_Lanai32_VarArg(unsigned ValNo, MVT ValVT, MVT LocVT,
373 CCValAssign::LocInfo LocInfo,
374 ISD::ArgFlagsTy ArgFlags, CCState &State) {
375 // Handle fixed arguments with default CC.
376 // Note: Both the default and fast CC handle VarArg the same and hence the
377 // calling convention of the function is not considered here.
378 if (ValNo < NumFixedArgs) {
379 return CC_Lanai32(ValNo, ValVT, LocVT, LocInfo, ArgFlags, State);
380 }
381
382 // Promote i8/i16 args to i32
383 if (LocVT == MVT::i8 || LocVT == MVT::i16) {
384 LocVT = MVT::i32;
385 if (ArgFlags.isSExt())
386 LocInfo = CCValAssign::SExt;
387 else if (ArgFlags.isZExt())
388 LocInfo = CCValAssign::ZExt;
389 else
390 LocInfo = CCValAssign::AExt;
391 }
392
393 // VarArgs get passed on stack
394 unsigned Offset = State.AllocateStack(4, 4);
395 State.addLoc(CCValAssign::getMem(ValNo, ValVT, Offset, LocVT, LocInfo));
396 return false;
397}
398
399SDValue LanaiTargetLowering::LowerFormalArguments(
400 SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000401 const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &DL,
402 SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000403 switch (CallConv) {
404 case CallingConv::C:
405 case CallingConv::Fast:
406 return LowerCCCArguments(Chain, CallConv, IsVarArg, Ins, DL, DAG, InVals);
407 default:
408 llvm_unreachable("Unsupported calling convention");
409 }
410}
411
412SDValue LanaiTargetLowering::LowerCall(TargetLowering::CallLoweringInfo &CLI,
413 SmallVectorImpl<SDValue> &InVals) const {
414 SelectionDAG &DAG = CLI.DAG;
415 SDLoc &DL = CLI.DL;
416 SmallVectorImpl<ISD::OutputArg> &Outs = CLI.Outs;
417 SmallVectorImpl<SDValue> &OutVals = CLI.OutVals;
418 SmallVectorImpl<ISD::InputArg> &Ins = CLI.Ins;
419 SDValue Chain = CLI.Chain;
420 SDValue Callee = CLI.Callee;
421 bool &IsTailCall = CLI.IsTailCall;
422 CallingConv::ID CallConv = CLI.CallConv;
423 bool IsVarArg = CLI.IsVarArg;
424
425 // Lanai target does not yet support tail call optimization.
426 IsTailCall = false;
427
428 switch (CallConv) {
429 case CallingConv::Fast:
430 case CallingConv::C:
431 return LowerCCCCallTo(Chain, Callee, CallConv, IsVarArg, IsTailCall, Outs,
432 OutVals, Ins, DL, DAG, InVals);
433 default:
434 llvm_unreachable("Unsupported calling convention");
435 }
436}
437
438// LowerCCCArguments - transform physical registers into virtual registers and
439// generate load operations for arguments places on the stack.
440SDValue LanaiTargetLowering::LowerCCCArguments(
441 SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000442 const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &DL,
443 SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000444 MachineFunction &MF = DAG.getMachineFunction();
Matthias Braun941a7052016-07-28 18:40:00 +0000445 MachineFrameInfo &MFI = MF.getFrameInfo();
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000446 MachineRegisterInfo &RegInfo = MF.getRegInfo();
447 LanaiMachineFunctionInfo *LanaiMFI = MF.getInfo<LanaiMachineFunctionInfo>();
448
449 // Assign locations to all of the incoming arguments.
450 SmallVector<CCValAssign, 16> ArgLocs;
451 CCState CCInfo(CallConv, IsVarArg, DAG.getMachineFunction(), ArgLocs,
452 *DAG.getContext());
453 if (CallConv == CallingConv::Fast) {
454 CCInfo.AnalyzeFormalArguments(Ins, CC_Lanai32_Fast);
455 } else {
456 CCInfo.AnalyzeFormalArguments(Ins, CC_Lanai32);
457 }
458
459 for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
460 CCValAssign &VA = ArgLocs[i];
461 if (VA.isRegLoc()) {
462 // Arguments passed in registers
463 EVT RegVT = VA.getLocVT();
464 switch (RegVT.getSimpleVT().SimpleTy) {
465 case MVT::i32: {
466 unsigned VReg = RegInfo.createVirtualRegister(&Lanai::GPRRegClass);
467 RegInfo.addLiveIn(VA.getLocReg(), VReg);
468 SDValue ArgValue = DAG.getCopyFromReg(Chain, DL, VReg, RegVT);
469
470 // If this is an 8/16-bit value, it is really passed promoted to 32
471 // bits. Insert an assert[sz]ext to capture this, then truncate to the
472 // right size.
473 if (VA.getLocInfo() == CCValAssign::SExt)
474 ArgValue = DAG.getNode(ISD::AssertSext, DL, RegVT, ArgValue,
475 DAG.getValueType(VA.getValVT()));
476 else if (VA.getLocInfo() == CCValAssign::ZExt)
477 ArgValue = DAG.getNode(ISD::AssertZext, DL, RegVT, ArgValue,
478 DAG.getValueType(VA.getValVT()));
479
480 if (VA.getLocInfo() != CCValAssign::Full)
481 ArgValue = DAG.getNode(ISD::TRUNCATE, DL, VA.getValVT(), ArgValue);
482
483 InVals.push_back(ArgValue);
484 break;
485 }
486 default:
487 DEBUG(dbgs() << "LowerFormalArguments Unhandled argument type: "
Craig Topperefea6db2016-04-24 16:30:51 +0000488 << RegVT.getEVTString() << "\n");
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000489 llvm_unreachable("unhandled argument type");
490 }
491 } else {
492 // Sanity check
493 assert(VA.isMemLoc());
494 // Load the argument to a virtual register
495 unsigned ObjSize = VA.getLocVT().getSizeInBits() / 8;
496 // Check that the argument fits in stack slot
497 if (ObjSize > 4) {
498 errs() << "LowerFormalArguments Unhandled argument type: "
499 << EVT(VA.getLocVT()).getEVTString() << "\n";
500 }
501 // Create the frame index object for this incoming parameter...
Matthias Braun941a7052016-07-28 18:40:00 +0000502 int FI = MFI.CreateFixedObject(ObjSize, VA.getLocMemOffset(), true);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000503
504 // Create the SelectionDAG nodes corresponding to a load
505 // from this parameter
506 SDValue FIN = DAG.getFrameIndex(FI, MVT::i32);
507 InVals.push_back(DAG.getLoad(
508 VA.getLocVT(), DL, Chain, FIN,
Jacques Pienaare6503192016-07-15 22:18:33 +0000509 MachinePointerInfo::getFixedStack(DAG.getMachineFunction(), FI)));
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000510 }
511 }
512
513 // The Lanai ABI for returning structs by value requires that we copy
514 // the sret argument into rv for the return. Save the argument into
515 // a virtual register so that we can access it from the return points.
516 if (MF.getFunction()->hasStructRetAttr()) {
517 unsigned Reg = LanaiMFI->getSRetReturnReg();
518 if (!Reg) {
519 Reg = MF.getRegInfo().createVirtualRegister(getRegClassFor(MVT::i32));
520 LanaiMFI->setSRetReturnReg(Reg);
521 }
522 SDValue Copy = DAG.getCopyToReg(DAG.getEntryNode(), DL, Reg, InVals[0]);
523 Chain = DAG.getNode(ISD::TokenFactor, DL, MVT::Other, Copy, Chain);
524 }
525
526 if (IsVarArg) {
527 // Record the frame index of the first variable argument
528 // which is a value necessary to VASTART.
Matthias Braun941a7052016-07-28 18:40:00 +0000529 int FI = MFI.CreateFixedObject(4, CCInfo.getNextStackOffset(), true);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000530 LanaiMFI->setVarArgsFrameIndex(FI);
531 }
532
533 return Chain;
534}
535
536SDValue
537LanaiTargetLowering::LowerReturn(SDValue Chain, CallingConv::ID CallConv,
538 bool IsVarArg,
539 const SmallVectorImpl<ISD::OutputArg> &Outs,
540 const SmallVectorImpl<SDValue> &OutVals,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000541 const SDLoc &DL, SelectionDAG &DAG) const {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000542 // CCValAssign - represent the assignment of the return value to a location
543 SmallVector<CCValAssign, 16> RVLocs;
544
545 // CCState - Info about the registers and stack slot.
546 CCState CCInfo(CallConv, IsVarArg, DAG.getMachineFunction(), RVLocs,
547 *DAG.getContext());
548
549 // Analize return values.
550 CCInfo.AnalyzeReturn(Outs, RetCC_Lanai32);
551
552 SDValue Flag;
553 SmallVector<SDValue, 4> RetOps(1, Chain);
554
555 // Copy the result values into the output registers.
556 for (unsigned i = 0; i != RVLocs.size(); ++i) {
557 CCValAssign &VA = RVLocs[i];
558 assert(VA.isRegLoc() && "Can only return in registers!");
559
560 Chain = DAG.getCopyToReg(Chain, DL, VA.getLocReg(), OutVals[i], Flag);
561
562 // Guarantee that all emitted copies are stuck together with flags.
563 Flag = Chain.getValue(1);
564 RetOps.push_back(DAG.getRegister(VA.getLocReg(), VA.getLocVT()));
565 }
566
567 // The Lanai ABI for returning structs by value requires that we copy
568 // the sret argument into rv for the return. We saved the argument into
569 // a virtual register in the entry block, so now we copy the value out
570 // and into rv.
571 if (DAG.getMachineFunction().getFunction()->hasStructRetAttr()) {
572 MachineFunction &MF = DAG.getMachineFunction();
573 LanaiMachineFunctionInfo *LanaiMFI = MF.getInfo<LanaiMachineFunctionInfo>();
574 unsigned Reg = LanaiMFI->getSRetReturnReg();
575 assert(Reg &&
576 "SRetReturnReg should have been set in LowerFormalArguments().");
577 SDValue Val =
578 DAG.getCopyFromReg(Chain, DL, Reg, getPointerTy(DAG.getDataLayout()));
579
580 Chain = DAG.getCopyToReg(Chain, DL, Lanai::RV, Val, Flag);
581 Flag = Chain.getValue(1);
582 RetOps.push_back(
583 DAG.getRegister(Lanai::RV, getPointerTy(DAG.getDataLayout())));
584 }
585
586 RetOps[0] = Chain; // Update chain
587
588 unsigned Opc = LanaiISD::RET_FLAG;
589 if (Flag.getNode())
590 RetOps.push_back(Flag);
591
592 // Return Void
593 return DAG.getNode(Opc, DL, MVT::Other,
594 ArrayRef<SDValue>(&RetOps[0], RetOps.size()));
595}
596
597// LowerCCCCallTo - functions arguments are copied from virtual regs to
598// (physical regs)/(stack frame), CALLSEQ_START and CALLSEQ_END are emitted.
599SDValue LanaiTargetLowering::LowerCCCCallTo(
600 SDValue Chain, SDValue Callee, CallingConv::ID CallConv, bool IsVarArg,
Jacques Pienaare2f06992016-07-15 22:38:32 +0000601 bool /*IsTailCall*/, const SmallVectorImpl<ISD::OutputArg> &Outs,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000602 const SmallVectorImpl<SDValue> &OutVals,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000603 const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &DL,
604 SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000605 // Analyze operands of the call, assigning locations to each operand.
606 SmallVector<CCValAssign, 16> ArgLocs;
607 CCState CCInfo(CallConv, IsVarArg, DAG.getMachineFunction(), ArgLocs,
608 *DAG.getContext());
609 GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(Callee);
Matthias Braun941a7052016-07-28 18:40:00 +0000610 MachineFrameInfo &MFI = DAG.getMachineFunction().getFrameInfo();
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000611
612 NumFixedArgs = 0;
613 if (IsVarArg && G) {
614 const Function *CalleeFn = dyn_cast<Function>(G->getGlobal());
615 if (CalleeFn)
616 NumFixedArgs = CalleeFn->getFunctionType()->getNumParams();
617 }
618 if (NumFixedArgs)
619 CCInfo.AnalyzeCallOperands(Outs, CC_Lanai32_VarArg);
620 else {
621 if (CallConv == CallingConv::Fast)
622 CCInfo.AnalyzeCallOperands(Outs, CC_Lanai32_Fast);
623 else
624 CCInfo.AnalyzeCallOperands(Outs, CC_Lanai32);
625 }
626
627 // Get a count of how many bytes are to be pushed on the stack.
628 unsigned NumBytes = CCInfo.getNextStackOffset();
629
630 // Create local copies for byval args.
631 SmallVector<SDValue, 8> ByValArgs;
632 for (unsigned I = 0, E = Outs.size(); I != E; ++I) {
633 ISD::ArgFlagsTy Flags = Outs[I].Flags;
634 if (!Flags.isByVal())
635 continue;
636
637 SDValue Arg = OutVals[I];
638 unsigned Size = Flags.getByValSize();
639 unsigned Align = Flags.getByValAlign();
640
Matthias Braun941a7052016-07-28 18:40:00 +0000641 int FI = MFI.CreateStackObject(Size, Align, false);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000642 SDValue FIPtr = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout()));
643 SDValue SizeNode = DAG.getConstant(Size, DL, MVT::i32);
644
645 Chain = DAG.getMemcpy(Chain, DL, FIPtr, Arg, SizeNode, Align,
646 /*IsVolatile=*/false,
647 /*AlwaysInline=*/false,
Jacques Pienaare2f06992016-07-15 22:38:32 +0000648 /*isTailCall=*/false, MachinePointerInfo(),
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000649 MachinePointerInfo());
650 ByValArgs.push_back(FIPtr);
651 }
652
Serge Pavlovd526b132017-05-09 13:35:13 +0000653 Chain = DAG.getCALLSEQ_START(Chain, NumBytes, 0, DL);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000654
655 SmallVector<std::pair<unsigned, SDValue>, 4> RegsToPass;
656 SmallVector<SDValue, 12> MemOpChains;
657 SDValue StackPtr;
658
659 // Walk the register/memloc assignments, inserting copies/loads.
660 for (unsigned I = 0, J = 0, E = ArgLocs.size(); I != E; ++I) {
661 CCValAssign &VA = ArgLocs[I];
662 SDValue Arg = OutVals[I];
663 ISD::ArgFlagsTy Flags = Outs[I].Flags;
664
665 // Promote the value if needed.
666 switch (VA.getLocInfo()) {
667 case CCValAssign::Full:
668 break;
669 case CCValAssign::SExt:
670 Arg = DAG.getNode(ISD::SIGN_EXTEND, DL, VA.getLocVT(), Arg);
671 break;
672 case CCValAssign::ZExt:
673 Arg = DAG.getNode(ISD::ZERO_EXTEND, DL, VA.getLocVT(), Arg);
674 break;
675 case CCValAssign::AExt:
676 Arg = DAG.getNode(ISD::ANY_EXTEND, DL, VA.getLocVT(), Arg);
677 break;
678 default:
679 llvm_unreachable("Unknown loc info!");
680 }
681
682 // Use local copy if it is a byval arg.
683 if (Flags.isByVal())
684 Arg = ByValArgs[J++];
685
686 // Arguments that can be passed on register must be kept at RegsToPass
687 // vector
688 if (VA.isRegLoc()) {
689 RegsToPass.push_back(std::make_pair(VA.getLocReg(), Arg));
690 } else {
691 assert(VA.isMemLoc());
692
Eugene Zelenko049b0172017-01-06 00:30:53 +0000693 if (StackPtr.getNode() == nullptr)
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000694 StackPtr = DAG.getCopyFromReg(Chain, DL, Lanai::SP,
695 getPointerTy(DAG.getDataLayout()));
696
697 SDValue PtrOff =
698 DAG.getNode(ISD::ADD, DL, getPointerTy(DAG.getDataLayout()), StackPtr,
699 DAG.getIntPtrConstant(VA.getLocMemOffset(), DL));
700
Jacques Pienaare6503192016-07-15 22:18:33 +0000701 MemOpChains.push_back(
702 DAG.getStore(Chain, DL, Arg, PtrOff, MachinePointerInfo()));
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000703 }
704 }
705
706 // Transform all store nodes into one single node because all store nodes are
707 // independent of each other.
708 if (!MemOpChains.empty())
709 Chain = DAG.getNode(ISD::TokenFactor, DL, MVT::Other,
710 ArrayRef<SDValue>(&MemOpChains[0], MemOpChains.size()));
711
712 SDValue InFlag;
713
714 // Build a sequence of copy-to-reg nodes chained together with token chain and
715 // flag operands which copy the outgoing args into registers. The InFlag in
716 // necessary since all emitted instructions must be stuck together.
717 for (unsigned I = 0, E = RegsToPass.size(); I != E; ++I) {
718 Chain = DAG.getCopyToReg(Chain, DL, RegsToPass[I].first,
719 RegsToPass[I].second, InFlag);
720 InFlag = Chain.getValue(1);
721 }
722
723 // If the callee is a GlobalAddress node (quite common, every direct call is)
724 // turn it into a TargetGlobalAddress node so that legalize doesn't hack it.
725 // Likewise ExternalSymbol -> TargetExternalSymbol.
726 uint8_t OpFlag = LanaiII::MO_NO_FLAG;
727 if (G) {
728 Callee = DAG.getTargetGlobalAddress(
729 G->getGlobal(), DL, getPointerTy(DAG.getDataLayout()), 0, OpFlag);
730 } else if (ExternalSymbolSDNode *E = dyn_cast<ExternalSymbolSDNode>(Callee)) {
731 Callee = DAG.getTargetExternalSymbol(
732 E->getSymbol(), getPointerTy(DAG.getDataLayout()), OpFlag);
733 }
734
735 // Returns a chain & a flag for retval copy to use.
736 SDVTList NodeTys = DAG.getVTList(MVT::Other, MVT::Glue);
737 SmallVector<SDValue, 8> Ops;
738 Ops.push_back(Chain);
739 Ops.push_back(Callee);
740
741 // Add a register mask operand representing the call-preserved registers.
742 // TODO: Should return-twice functions be handled?
743 const uint32_t *Mask =
744 TRI->getCallPreservedMask(DAG.getMachineFunction(), CallConv);
745 assert(Mask && "Missing call preserved mask for calling convention");
746 Ops.push_back(DAG.getRegisterMask(Mask));
747
748 // Add argument registers to the end of the list so that they are
749 // known live into the call.
750 for (unsigned I = 0, E = RegsToPass.size(); I != E; ++I)
751 Ops.push_back(DAG.getRegister(RegsToPass[I].first,
752 RegsToPass[I].second.getValueType()));
753
754 if (InFlag.getNode())
755 Ops.push_back(InFlag);
756
757 Chain = DAG.getNode(LanaiISD::CALL, DL, NodeTys,
758 ArrayRef<SDValue>(&Ops[0], Ops.size()));
759 InFlag = Chain.getValue(1);
760
761 // Create the CALLSEQ_END node.
762 Chain = DAG.getCALLSEQ_END(
763 Chain,
764 DAG.getConstant(NumBytes, DL, getPointerTy(DAG.getDataLayout()), true),
765 DAG.getConstant(0, DL, getPointerTy(DAG.getDataLayout()), true), InFlag,
766 DL);
767 InFlag = Chain.getValue(1);
768
769 // Handle result values, copying them out of physregs into vregs that we
770 // return.
771 return LowerCallResult(Chain, InFlag, CallConv, IsVarArg, Ins, DL, DAG,
772 InVals);
773}
774
775// LowerCallResult - Lower the result values of a call into the
776// appropriate copies out of appropriate physical registers.
777SDValue LanaiTargetLowering::LowerCallResult(
778 SDValue Chain, SDValue InFlag, CallingConv::ID CallConv, bool IsVarArg,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000779 const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &DL,
780 SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000781 // Assign locations to each value returned by this call.
782 SmallVector<CCValAssign, 16> RVLocs;
783 CCState CCInfo(CallConv, IsVarArg, DAG.getMachineFunction(), RVLocs,
784 *DAG.getContext());
785
786 CCInfo.AnalyzeCallResult(Ins, RetCC_Lanai32);
787
788 // Copy all of the result registers out of their specified physreg.
789 for (unsigned I = 0; I != RVLocs.size(); ++I) {
790 Chain = DAG.getCopyFromReg(Chain, DL, RVLocs[I].getLocReg(),
791 RVLocs[I].getValVT(), InFlag)
792 .getValue(1);
793 InFlag = Chain.getValue(2);
794 InVals.push_back(Chain.getValue(0));
795 }
796
797 return Chain;
798}
799
800//===----------------------------------------------------------------------===//
801// Custom Lowerings
802//===----------------------------------------------------------------------===//
803
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000804static LPCC::CondCode IntCondCCodeToICC(SDValue CC, const SDLoc &DL,
Jacques Pienaare2f06992016-07-15 22:38:32 +0000805 SDValue &RHS, SelectionDAG &DAG) {
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000806 ISD::CondCode SetCCOpcode = cast<CondCodeSDNode>(CC)->get();
807
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000808 // For integer, only the SETEQ, SETNE, SETLT, SETLE, SETGT, SETGE, SETULT,
809 // SETULE, SETUGT, and SETUGE opcodes are used (see CodeGen/ISDOpcodes.h)
810 // and Lanai only supports integer comparisons, so only provide definitions
811 // for them.
812 switch (SetCCOpcode) {
813 case ISD::SETEQ:
814 return LPCC::ICC_EQ;
815 case ISD::SETGT:
816 if (ConstantSDNode *RHSC = dyn_cast<ConstantSDNode>(RHS))
817 if (RHSC->getZExtValue() == 0xFFFFFFFF) {
818 // X > -1 -> X >= 0 -> is_plus(X)
819 RHS = DAG.getConstant(0, DL, RHS.getValueType());
820 return LPCC::ICC_PL;
821 }
822 return LPCC::ICC_GT;
823 case ISD::SETUGT:
824 return LPCC::ICC_UGT;
825 case ISD::SETLT:
826 if (ConstantSDNode *RHSC = dyn_cast<ConstantSDNode>(RHS))
827 if (RHSC->getZExtValue() == 0)
828 // X < 0 -> is_minus(X)
829 return LPCC::ICC_MI;
830 return LPCC::ICC_LT;
831 case ISD::SETULT:
832 return LPCC::ICC_ULT;
833 case ISD::SETLE:
834 if (ConstantSDNode *RHSC = dyn_cast<ConstantSDNode>(RHS))
835 if (RHSC->getZExtValue() == 0xFFFFFFFF) {
836 // X <= -1 -> X < 0 -> is_minus(X)
837 RHS = DAG.getConstant(0, DL, RHS.getValueType());
838 return LPCC::ICC_MI;
839 }
840 return LPCC::ICC_LE;
841 case ISD::SETULE:
842 return LPCC::ICC_ULE;
843 case ISD::SETGE:
844 if (ConstantSDNode *RHSC = dyn_cast<ConstantSDNode>(RHS))
845 if (RHSC->getZExtValue() == 0)
846 // X >= 0 -> is_plus(X)
847 return LPCC::ICC_PL;
848 return LPCC::ICC_GE;
849 case ISD::SETUGE:
850 return LPCC::ICC_UGE;
851 case ISD::SETNE:
852 return LPCC::ICC_NE;
853 case ISD::SETONE:
854 case ISD::SETUNE:
855 case ISD::SETOGE:
856 case ISD::SETOLE:
857 case ISD::SETOLT:
858 case ISD::SETOGT:
859 case ISD::SETOEQ:
860 case ISD::SETUEQ:
861 case ISD::SETO:
862 case ISD::SETUO:
863 llvm_unreachable("Unsupported comparison.");
864 default:
865 llvm_unreachable("Unknown integer condition code!");
866 }
867}
868
869SDValue LanaiTargetLowering::LowerBR_CC(SDValue Op, SelectionDAG &DAG) const {
870 SDValue Chain = Op.getOperand(0);
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000871 SDValue Cond = Op.getOperand(1);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000872 SDValue LHS = Op.getOperand(2);
873 SDValue RHS = Op.getOperand(3);
874 SDValue Dest = Op.getOperand(4);
875 SDLoc DL(Op);
876
Jacques Pienaare2f06992016-07-15 22:38:32 +0000877 LPCC::CondCode CC = IntCondCCodeToICC(Cond, DL, RHS, DAG);
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000878 SDValue TargetCC = DAG.getConstant(CC, DL, MVT::i32);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000879 SDValue Flag =
880 DAG.getNode(LanaiISD::SET_FLAG, DL, MVT::Glue, LHS, RHS, TargetCC);
881
882 return DAG.getNode(LanaiISD::BR_CC, DL, Op.getValueType(), Chain, Dest,
883 TargetCC, Flag);
884}
885
886SDValue LanaiTargetLowering::LowerMUL(SDValue Op, SelectionDAG &DAG) const {
887 EVT VT = Op->getValueType(0);
888 if (VT != MVT::i32)
889 return SDValue();
890
891 ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op->getOperand(1));
892 if (!C)
893 return SDValue();
894
895 int64_t MulAmt = C->getSExtValue();
896 int32_t HighestOne = -1;
897 uint32_t NonzeroEntries = 0;
898 int SignedDigit[32] = {0};
899
900 // Convert to non-adjacent form (NAF) signed-digit representation.
901 // NAF is a signed-digit form where no adjacent digits are non-zero. It is the
902 // minimal Hamming weight representation of a number (on average 1/3 of the
903 // digits will be non-zero vs 1/2 for regular binary representation). And as
904 // the non-zero digits will be the only digits contributing to the instruction
905 // count, this is desirable. The next loop converts it to NAF (following the
906 // approach in 'Guide to Elliptic Curve Cryptography' [ISBN: 038795273X]) by
907 // choosing the non-zero coefficients such that the resulting quotient is
908 // divisible by 2 which will cause the next coefficient to be zero.
909 int64_t E = std::abs(MulAmt);
910 int S = (MulAmt < 0 ? -1 : 1);
911 int I = 0;
912 while (E > 0) {
913 int ZI = 0;
914 if (E % 2 == 1) {
915 ZI = 2 - (E % 4);
916 if (ZI != 0)
917 ++NonzeroEntries;
918 }
919 SignedDigit[I] = S * ZI;
920 if (SignedDigit[I] == 1)
921 HighestOne = I;
922 E = (E - ZI) / 2;
923 ++I;
924 }
925
926 // Compute number of instructions required. Due to differences in lowering
927 // between the different processors this count is not exact.
928 // Start by assuming a shift and a add/sub for every non-zero entry (hence
929 // every non-zero entry requires 1 shift and 1 add/sub except for the first
930 // entry).
931 int32_t InstrRequired = 2 * NonzeroEntries - 1;
932 // Correct possible over-adding due to shift by 0 (which is not emitted).
933 if (std::abs(MulAmt) % 2 == 1)
934 --InstrRequired;
935 // Return if the form generated would exceed the instruction threshold.
936 if (InstrRequired > LanaiLowerConstantMulThreshold)
937 return SDValue();
938
939 SDValue Res;
940 SDLoc DL(Op);
941 SDValue V = Op->getOperand(0);
942
943 // Initialize the running sum. Set the running sum to the maximal shifted
944 // positive value (i.e., largest i such that zi == 1 and MulAmt has V<<i as a
945 // term NAF).
946 if (HighestOne == -1)
947 Res = DAG.getConstant(0, DL, MVT::i32);
948 else {
949 Res = DAG.getNode(ISD::SHL, DL, VT, V,
950 DAG.getConstant(HighestOne, DL, MVT::i32));
951 SignedDigit[HighestOne] = 0;
952 }
953
954 // Assemble multiplication from shift, add, sub using NAF form and running
955 // sum.
956 for (unsigned int I = 0; I < sizeof(SignedDigit) / sizeof(SignedDigit[0]);
957 ++I) {
958 if (SignedDigit[I] == 0)
959 continue;
960
961 // Shifted multiplicand (v<<i).
962 SDValue Op =
963 DAG.getNode(ISD::SHL, DL, VT, V, DAG.getConstant(I, DL, MVT::i32));
964 if (SignedDigit[I] == 1)
965 Res = DAG.getNode(ISD::ADD, DL, VT, Res, Op);
966 else if (SignedDigit[I] == -1)
967 Res = DAG.getNode(ISD::SUB, DL, VT, Res, Op);
968 }
969 return Res;
970}
971
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000972SDValue LanaiTargetLowering::LowerSETCCE(SDValue Op, SelectionDAG &DAG) const {
973 SDValue LHS = Op.getOperand(0);
974 SDValue RHS = Op.getOperand(1);
975 SDValue Carry = Op.getOperand(2);
976 SDValue Cond = Op.getOperand(3);
977 SDLoc DL(Op);
978
Jacques Pienaare2f06992016-07-15 22:38:32 +0000979 LPCC::CondCode CC = IntCondCCodeToICC(Cond, DL, RHS, DAG);
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000980 SDValue TargetCC = DAG.getConstant(CC, DL, MVT::i32);
981 SDValue Flag = DAG.getNode(LanaiISD::SUBBF, DL, MVT::Glue, LHS, RHS, Carry);
982 return DAG.getNode(LanaiISD::SETCC, DL, Op.getValueType(), TargetCC, Flag);
983}
984
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000985SDValue LanaiTargetLowering::LowerSETCC(SDValue Op, SelectionDAG &DAG) const {
986 SDValue LHS = Op.getOperand(0);
987 SDValue RHS = Op.getOperand(1);
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000988 SDValue Cond = Op.getOperand(2);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000989 SDLoc DL(Op);
990
Jacques Pienaare2f06992016-07-15 22:38:32 +0000991 LPCC::CondCode CC = IntCondCCodeToICC(Cond, DL, RHS, DAG);
Jacques Pienaar50d4e982016-04-19 19:15:25 +0000992 SDValue TargetCC = DAG.getConstant(CC, DL, MVT::i32);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000993 SDValue Flag =
994 DAG.getNode(LanaiISD::SET_FLAG, DL, MVT::Glue, LHS, RHS, TargetCC);
995
996 return DAG.getNode(LanaiISD::SETCC, DL, Op.getValueType(), TargetCC, Flag);
997}
998
999SDValue LanaiTargetLowering::LowerSELECT_CC(SDValue Op,
1000 SelectionDAG &DAG) const {
1001 SDValue LHS = Op.getOperand(0);
1002 SDValue RHS = Op.getOperand(1);
1003 SDValue TrueV = Op.getOperand(2);
1004 SDValue FalseV = Op.getOperand(3);
Jacques Pienaar50d4e982016-04-19 19:15:25 +00001005 SDValue Cond = Op.getOperand(4);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001006 SDLoc DL(Op);
1007
Jacques Pienaare2f06992016-07-15 22:38:32 +00001008 LPCC::CondCode CC = IntCondCCodeToICC(Cond, DL, RHS, DAG);
Jacques Pienaar50d4e982016-04-19 19:15:25 +00001009 SDValue TargetCC = DAG.getConstant(CC, DL, MVT::i32);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001010 SDValue Flag =
1011 DAG.getNode(LanaiISD::SET_FLAG, DL, MVT::Glue, LHS, RHS, TargetCC);
1012
1013 SDVTList VTs = DAG.getVTList(Op.getValueType(), MVT::Glue);
1014 return DAG.getNode(LanaiISD::SELECT_CC, DL, VTs, TrueV, FalseV, TargetCC,
1015 Flag);
1016}
1017
1018SDValue LanaiTargetLowering::LowerVASTART(SDValue Op, SelectionDAG &DAG) const {
1019 MachineFunction &MF = DAG.getMachineFunction();
1020 LanaiMachineFunctionInfo *FuncInfo = MF.getInfo<LanaiMachineFunctionInfo>();
1021
1022 SDLoc DL(Op);
1023 SDValue FI = DAG.getFrameIndex(FuncInfo->getVarArgsFrameIndex(),
1024 getPointerTy(DAG.getDataLayout()));
1025
1026 // vastart just stores the address of the VarArgsFrameIndex slot into the
1027 // memory location argument.
1028 const Value *SV = cast<SrcValueSDNode>(Op.getOperand(2))->getValue();
1029 return DAG.getStore(Op.getOperand(0), DL, FI, Op.getOperand(1),
Jacques Pienaare6503192016-07-15 22:18:33 +00001030 MachinePointerInfo(SV));
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001031}
1032
1033SDValue LanaiTargetLowering::LowerDYNAMIC_STACKALLOC(SDValue Op,
1034 SelectionDAG &DAG) const {
1035 SDValue Chain = Op.getOperand(0);
1036 SDValue Size = Op.getOperand(1);
1037 SDLoc DL(Op);
1038
1039 unsigned SPReg = getStackPointerRegisterToSaveRestore();
1040
1041 // Get a reference to the stack pointer.
1042 SDValue StackPointer = DAG.getCopyFromReg(Chain, DL, SPReg, MVT::i32);
1043
1044 // Subtract the dynamic size from the actual stack size to
1045 // obtain the new stack size.
1046 SDValue Sub = DAG.getNode(ISD::SUB, DL, MVT::i32, StackPointer, Size);
1047
1048 // For Lanai, the outgoing memory arguments area should be on top of the
1049 // alloca area on the stack i.e., the outgoing memory arguments should be
1050 // at a lower address than the alloca area. Move the alloca area down the
1051 // stack by adding back the space reserved for outgoing arguments to SP
1052 // here.
1053 //
1054 // We do not know what the size of the outgoing args is at this point.
1055 // So, we add a pseudo instruction ADJDYNALLOC that will adjust the
1056 // stack pointer. We replace this instruction with on that has the correct,
1057 // known offset in emitPrologue().
1058 SDValue ArgAdjust = DAG.getNode(LanaiISD::ADJDYNALLOC, DL, MVT::i32, Sub);
1059
1060 // The Sub result contains the new stack start address, so it
1061 // must be placed in the stack pointer register.
1062 SDValue CopyChain = DAG.getCopyToReg(Chain, DL, SPReg, Sub);
1063
1064 SDValue Ops[2] = {ArgAdjust, CopyChain};
1065 return DAG.getMergeValues(Ops, DL);
1066}
1067
1068SDValue LanaiTargetLowering::LowerRETURNADDR(SDValue Op,
1069 SelectionDAG &DAG) const {
1070 MachineFunction &MF = DAG.getMachineFunction();
Matthias Braun941a7052016-07-28 18:40:00 +00001071 MachineFrameInfo &MFI = MF.getFrameInfo();
1072 MFI.setReturnAddressIsTaken(true);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001073
1074 EVT VT = Op.getValueType();
1075 SDLoc DL(Op);
1076 unsigned Depth = cast<ConstantSDNode>(Op.getOperand(0))->getZExtValue();
1077 if (Depth) {
1078 SDValue FrameAddr = LowerFRAMEADDR(Op, DAG);
1079 const unsigned Offset = -4;
1080 SDValue Ptr = DAG.getNode(ISD::ADD, DL, VT, FrameAddr,
1081 DAG.getIntPtrConstant(Offset, DL));
Jacques Pienaare6503192016-07-15 22:18:33 +00001082 return DAG.getLoad(VT, DL, DAG.getEntryNode(), Ptr, MachinePointerInfo());
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001083 }
1084
1085 // Return the link register, which contains the return address.
1086 // Mark it an implicit live-in.
1087 unsigned Reg = MF.addLiveIn(TRI->getRARegister(), getRegClassFor(MVT::i32));
1088 return DAG.getCopyFromReg(DAG.getEntryNode(), DL, Reg, VT);
1089}
1090
1091SDValue LanaiTargetLowering::LowerFRAMEADDR(SDValue Op,
1092 SelectionDAG &DAG) const {
Matthias Braun941a7052016-07-28 18:40:00 +00001093 MachineFrameInfo &MFI = DAG.getMachineFunction().getFrameInfo();
1094 MFI.setFrameAddressIsTaken(true);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001095
1096 EVT VT = Op.getValueType();
1097 SDLoc DL(Op);
1098 SDValue FrameAddr = DAG.getCopyFromReg(DAG.getEntryNode(), DL, Lanai::FP, VT);
1099 unsigned Depth = cast<ConstantSDNode>(Op.getOperand(0))->getZExtValue();
1100 while (Depth--) {
1101 const unsigned Offset = -8;
1102 SDValue Ptr = DAG.getNode(ISD::ADD, DL, VT, FrameAddr,
1103 DAG.getIntPtrConstant(Offset, DL));
Jacques Pienaare6503192016-07-15 22:18:33 +00001104 FrameAddr =
1105 DAG.getLoad(VT, DL, DAG.getEntryNode(), Ptr, MachinePointerInfo());
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001106 }
1107 return FrameAddr;
1108}
1109
1110const char *LanaiTargetLowering::getTargetNodeName(unsigned Opcode) const {
1111 switch (Opcode) {
1112 case LanaiISD::ADJDYNALLOC:
1113 return "LanaiISD::ADJDYNALLOC";
1114 case LanaiISD::RET_FLAG:
1115 return "LanaiISD::RET_FLAG";
1116 case LanaiISD::CALL:
1117 return "LanaiISD::CALL";
1118 case LanaiISD::SELECT_CC:
1119 return "LanaiISD::SELECT_CC";
1120 case LanaiISD::SETCC:
1121 return "LanaiISD::SETCC";
Jacques Pienaar50d4e982016-04-19 19:15:25 +00001122 case LanaiISD::SUBBF:
1123 return "LanaiISD::SUBBF";
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001124 case LanaiISD::SET_FLAG:
1125 return "LanaiISD::SET_FLAG";
1126 case LanaiISD::BR_CC:
1127 return "LanaiISD::BR_CC";
1128 case LanaiISD::Wrapper:
1129 return "LanaiISD::Wrapper";
1130 case LanaiISD::HI:
1131 return "LanaiISD::HI";
1132 case LanaiISD::LO:
1133 return "LanaiISD::LO";
1134 case LanaiISD::SMALL:
1135 return "LanaiISD::SMALL";
1136 default:
Eugene Zelenko049b0172017-01-06 00:30:53 +00001137 return nullptr;
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001138 }
1139}
1140
1141SDValue LanaiTargetLowering::LowerConstantPool(SDValue Op,
1142 SelectionDAG &DAG) const {
1143 SDLoc DL(Op);
1144 ConstantPoolSDNode *N = cast<ConstantPoolSDNode>(Op);
1145 const Constant *C = N->getConstVal();
1146 const LanaiTargetObjectFile *TLOF =
1147 static_cast<const LanaiTargetObjectFile *>(
1148 getTargetMachine().getObjFileLowering());
1149
1150 // If the code model is small or constant will be placed in the small section,
1151 // then assume address will fit in 21-bits.
1152 if (getTargetMachine().getCodeModel() == CodeModel::Small ||
1153 TLOF->isConstantInSmallSection(DAG.getDataLayout(), C)) {
1154 SDValue Small = DAG.getTargetConstantPool(
1155 C, MVT::i32, N->getAlignment(), N->getOffset(), LanaiII::MO_NO_FLAG);
1156 return DAG.getNode(ISD::OR, DL, MVT::i32,
1157 DAG.getRegister(Lanai::R0, MVT::i32),
1158 DAG.getNode(LanaiISD::SMALL, DL, MVT::i32, Small));
1159 } else {
1160 uint8_t OpFlagHi = LanaiII::MO_ABS_HI;
1161 uint8_t OpFlagLo = LanaiII::MO_ABS_LO;
1162
1163 SDValue Hi = DAG.getTargetConstantPool(C, MVT::i32, N->getAlignment(),
1164 N->getOffset(), OpFlagHi);
1165 SDValue Lo = DAG.getTargetConstantPool(C, MVT::i32, N->getAlignment(),
1166 N->getOffset(), OpFlagLo);
1167 Hi = DAG.getNode(LanaiISD::HI, DL, MVT::i32, Hi);
1168 Lo = DAG.getNode(LanaiISD::LO, DL, MVT::i32, Lo);
1169 SDValue Result = DAG.getNode(ISD::OR, DL, MVT::i32, Hi, Lo);
1170 return Result;
1171 }
1172}
1173
1174SDValue LanaiTargetLowering::LowerGlobalAddress(SDValue Op,
1175 SelectionDAG &DAG) const {
1176 SDLoc DL(Op);
1177 const GlobalValue *GV = cast<GlobalAddressSDNode>(Op)->getGlobal();
1178 int64_t Offset = cast<GlobalAddressSDNode>(Op)->getOffset();
1179
1180 const LanaiTargetObjectFile *TLOF =
1181 static_cast<const LanaiTargetObjectFile *>(
1182 getTargetMachine().getObjFileLowering());
1183
1184 // If the code model is small or global variable will be placed in the small
1185 // section, then assume address will fit in 21-bits.
Peter Collingbourne67335642016-10-24 19:23:39 +00001186 const GlobalObject *GO = GV->getBaseObject();
Jacques Pienaarccffe382016-12-15 16:56:16 +00001187 if (TLOF->isGlobalInSmallSection(GO, getTargetMachine())) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001188 SDValue Small = DAG.getTargetGlobalAddress(
1189 GV, DL, getPointerTy(DAG.getDataLayout()), Offset, LanaiII::MO_NO_FLAG);
1190 return DAG.getNode(ISD::OR, DL, MVT::i32,
1191 DAG.getRegister(Lanai::R0, MVT::i32),
1192 DAG.getNode(LanaiISD::SMALL, DL, MVT::i32, Small));
1193 } else {
1194 uint8_t OpFlagHi = LanaiII::MO_ABS_HI;
1195 uint8_t OpFlagLo = LanaiII::MO_ABS_LO;
1196
1197 // Create the TargetGlobalAddress node, folding in the constant offset.
1198 SDValue Hi = DAG.getTargetGlobalAddress(
1199 GV, DL, getPointerTy(DAG.getDataLayout()), Offset, OpFlagHi);
1200 SDValue Lo = DAG.getTargetGlobalAddress(
1201 GV, DL, getPointerTy(DAG.getDataLayout()), Offset, OpFlagLo);
1202 Hi = DAG.getNode(LanaiISD::HI, DL, MVT::i32, Hi);
1203 Lo = DAG.getNode(LanaiISD::LO, DL, MVT::i32, Lo);
1204 return DAG.getNode(ISD::OR, DL, MVT::i32, Hi, Lo);
1205 }
1206}
1207
1208SDValue LanaiTargetLowering::LowerBlockAddress(SDValue Op,
1209 SelectionDAG &DAG) const {
1210 SDLoc DL(Op);
1211 const BlockAddress *BA = cast<BlockAddressSDNode>(Op)->getBlockAddress();
1212
1213 uint8_t OpFlagHi = LanaiII::MO_ABS_HI;
1214 uint8_t OpFlagLo = LanaiII::MO_ABS_LO;
1215
1216 SDValue Hi = DAG.getBlockAddress(BA, MVT::i32, true, OpFlagHi);
1217 SDValue Lo = DAG.getBlockAddress(BA, MVT::i32, true, OpFlagLo);
1218 Hi = DAG.getNode(LanaiISD::HI, DL, MVT::i32, Hi);
1219 Lo = DAG.getNode(LanaiISD::LO, DL, MVT::i32, Lo);
1220 SDValue Result = DAG.getNode(ISD::OR, DL, MVT::i32, Hi, Lo);
1221 return Result;
1222}
1223
1224SDValue LanaiTargetLowering::LowerJumpTable(SDValue Op,
1225 SelectionDAG &DAG) const {
1226 SDLoc DL(Op);
1227 JumpTableSDNode *JT = cast<JumpTableSDNode>(Op);
1228
1229 // If the code model is small assume address will fit in 21-bits.
1230 if (getTargetMachine().getCodeModel() == CodeModel::Small) {
1231 SDValue Small = DAG.getTargetJumpTable(
1232 JT->getIndex(), getPointerTy(DAG.getDataLayout()), LanaiII::MO_NO_FLAG);
1233 return DAG.getNode(ISD::OR, DL, MVT::i32,
1234 DAG.getRegister(Lanai::R0, MVT::i32),
1235 DAG.getNode(LanaiISD::SMALL, DL, MVT::i32, Small));
1236 } else {
1237 uint8_t OpFlagHi = LanaiII::MO_ABS_HI;
1238 uint8_t OpFlagLo = LanaiII::MO_ABS_LO;
1239
1240 SDValue Hi = DAG.getTargetJumpTable(
1241 JT->getIndex(), getPointerTy(DAG.getDataLayout()), OpFlagHi);
1242 SDValue Lo = DAG.getTargetJumpTable(
1243 JT->getIndex(), getPointerTy(DAG.getDataLayout()), OpFlagLo);
1244 Hi = DAG.getNode(LanaiISD::HI, DL, MVT::i32, Hi);
1245 Lo = DAG.getNode(LanaiISD::LO, DL, MVT::i32, Lo);
1246 SDValue Result = DAG.getNode(ISD::OR, DL, MVT::i32, Hi, Lo);
1247 return Result;
1248 }
1249}
Jacques Pienaarad1db352016-04-14 17:59:22 +00001250
Jacques Pienaar3bec3ef2016-12-02 22:01:28 +00001251SDValue LanaiTargetLowering::LowerSHL_PARTS(SDValue Op,
1252 SelectionDAG &DAG) const {
1253 EVT VT = Op.getValueType();
1254 unsigned VTBits = VT.getSizeInBits();
1255 SDLoc dl(Op);
1256 assert(Op.getNumOperands() == 3 && "Unexpected SHL!");
1257 SDValue ShOpLo = Op.getOperand(0);
1258 SDValue ShOpHi = Op.getOperand(1);
1259 SDValue ShAmt = Op.getOperand(2);
1260
1261 // Performs the following for (ShOpLo + (ShOpHi << 32)) << ShAmt:
1262 // LoBitsForHi = (ShAmt == 0) ? 0 : (ShOpLo >> (32-ShAmt))
1263 // HiBitsForHi = ShOpHi << ShAmt
1264 // Hi = (ShAmt >= 32) ? (ShOpLo << (ShAmt-32)) : (LoBitsForHi | HiBitsForHi)
1265 // Lo = (ShAmt >= 32) ? 0 : (ShOpLo << ShAmt)
1266 // return (Hi << 32) | Lo;
1267
1268 SDValue RevShAmt = DAG.getNode(ISD::SUB, dl, MVT::i32,
1269 DAG.getConstant(VTBits, dl, MVT::i32), ShAmt);
1270 SDValue LoBitsForHi = DAG.getNode(ISD::SRL, dl, VT, ShOpLo, RevShAmt);
1271
1272 // If ShAmt == 0, we just calculated "(SRL ShOpLo, 32)" which is "undef". We
1273 // wanted 0, so CSEL it directly.
1274 SDValue Zero = DAG.getConstant(0, dl, MVT::i32);
1275 SDValue SetCC = DAG.getSetCC(dl, MVT::i32, ShAmt, Zero, ISD::SETEQ);
1276 LoBitsForHi = DAG.getSelect(dl, MVT::i32, SetCC, Zero, LoBitsForHi);
1277
1278 SDValue ExtraShAmt = DAG.getNode(ISD::SUB, dl, MVT::i32, ShAmt,
1279 DAG.getConstant(VTBits, dl, MVT::i32));
1280 SDValue HiBitsForHi = DAG.getNode(ISD::SHL, dl, VT, ShOpHi, ShAmt);
1281 SDValue HiForNormalShift =
1282 DAG.getNode(ISD::OR, dl, VT, LoBitsForHi, HiBitsForHi);
1283
1284 SDValue HiForBigShift = DAG.getNode(ISD::SHL, dl, VT, ShOpLo, ExtraShAmt);
1285
1286 SetCC = DAG.getSetCC(dl, MVT::i32, ExtraShAmt, Zero, ISD::SETGE);
1287 SDValue Hi =
1288 DAG.getSelect(dl, MVT::i32, SetCC, HiForBigShift, HiForNormalShift);
1289
1290 // Lanai shifts of larger than register sizes are wrapped rather than
1291 // clamped, so we can't just emit "lo << b" if b is too big.
1292 SDValue LoForNormalShift = DAG.getNode(ISD::SHL, dl, VT, ShOpLo, ShAmt);
1293 SDValue Lo = DAG.getSelect(
1294 dl, MVT::i32, SetCC, DAG.getConstant(0, dl, MVT::i32), LoForNormalShift);
1295
1296 SDValue Ops[2] = {Lo, Hi};
1297 return DAG.getMergeValues(Ops, dl);
1298}
1299
Jacques Pienaarad1db352016-04-14 17:59:22 +00001300SDValue LanaiTargetLowering::LowerSRL_PARTS(SDValue Op,
1301 SelectionDAG &DAG) const {
1302 MVT VT = Op.getSimpleValueType();
1303 unsigned VTBits = VT.getSizeInBits();
1304 SDLoc dl(Op);
1305 SDValue ShOpLo = Op.getOperand(0);
1306 SDValue ShOpHi = Op.getOperand(1);
1307 SDValue ShAmt = Op.getOperand(2);
1308
1309 // Performs the following for a >> b:
1310 // unsigned r_high = a_high >> b;
1311 // r_high = (32 - b <= 0) ? 0 : r_high;
1312 //
1313 // unsigned r_low = a_low >> b;
1314 // r_low = (32 - b <= 0) ? r_high : r_low;
1315 // r_low = (b == 0) ? r_low : r_low | (a_high << (32 - b));
1316 // return (unsigned long long)r_high << 32 | r_low;
1317 // Note: This takes advantage of Lanai's shift behavior to avoid needing to
1318 // mask the shift amount.
1319
1320 SDValue Zero = DAG.getConstant(0, dl, MVT::i32);
1321 SDValue NegatedPlus32 = DAG.getNode(
1322 ISD::SUB, dl, MVT::i32, DAG.getConstant(VTBits, dl, MVT::i32), ShAmt);
1323 SDValue SetCC = DAG.getSetCC(dl, MVT::i32, NegatedPlus32, Zero, ISD::SETLE);
1324
1325 SDValue Hi = DAG.getNode(ISD::SRL, dl, MVT::i32, ShOpHi, ShAmt);
1326 Hi = DAG.getSelect(dl, MVT::i32, SetCC, Zero, Hi);
1327
1328 SDValue Lo = DAG.getNode(ISD::SRL, dl, MVT::i32, ShOpLo, ShAmt);
1329 Lo = DAG.getSelect(dl, MVT::i32, SetCC, Hi, Lo);
1330 SDValue CarryBits =
1331 DAG.getNode(ISD::SHL, dl, MVT::i32, ShOpHi, NegatedPlus32);
1332 SDValue ShiftIsZero = DAG.getSetCC(dl, MVT::i32, ShAmt, Zero, ISD::SETEQ);
1333 Lo = DAG.getSelect(dl, MVT::i32, ShiftIsZero, Lo,
1334 DAG.getNode(ISD::OR, dl, MVT::i32, Lo, CarryBits));
1335
1336 SDValue Ops[2] = {Lo, Hi};
1337 return DAG.getMergeValues(Ops, dl);
1338}
Jacques Pienaar6d3eecc2016-07-07 23:36:04 +00001339
1340// Helper function that checks if N is a null or all ones constant.
1341static inline bool isZeroOrAllOnes(SDValue N, bool AllOnes) {
1342 return AllOnes ? isAllOnesConstant(N) : isNullConstant(N);
1343}
1344
1345// Return true if N is conditionally 0 or all ones.
1346// Detects these expressions where cc is an i1 value:
1347//
1348// (select cc 0, y) [AllOnes=0]
1349// (select cc y, 0) [AllOnes=0]
1350// (zext cc) [AllOnes=0]
1351// (sext cc) [AllOnes=0/1]
1352// (select cc -1, y) [AllOnes=1]
1353// (select cc y, -1) [AllOnes=1]
1354//
1355// * AllOnes determines whether to check for an all zero (AllOnes false) or an
1356// all ones operand (AllOnes true).
1357// * Invert is set when N is the all zero/ones constant when CC is false.
1358// * OtherOp is set to the alternative value of N.
1359//
1360// For example, for (select cc X, Y) and AllOnes = 0 if:
1361// * X = 0, Invert = False and OtherOp = Y
1362// * Y = 0, Invert = True and OtherOp = X
1363static bool isConditionalZeroOrAllOnes(SDNode *N, bool AllOnes, SDValue &CC,
1364 bool &Invert, SDValue &OtherOp,
1365 SelectionDAG &DAG) {
1366 switch (N->getOpcode()) {
1367 default:
1368 return false;
1369 case ISD::SELECT: {
1370 CC = N->getOperand(0);
1371 SDValue N1 = N->getOperand(1);
1372 SDValue N2 = N->getOperand(2);
1373 if (isZeroOrAllOnes(N1, AllOnes)) {
1374 Invert = false;
1375 OtherOp = N2;
1376 return true;
1377 }
1378 if (isZeroOrAllOnes(N2, AllOnes)) {
1379 Invert = true;
1380 OtherOp = N1;
1381 return true;
1382 }
1383 return false;
1384 }
1385 case ISD::ZERO_EXTEND: {
1386 // (zext cc) can never be the all ones value.
1387 if (AllOnes)
1388 return false;
1389 CC = N->getOperand(0);
1390 if (CC.getValueType() != MVT::i1)
1391 return false;
1392 SDLoc dl(N);
1393 EVT VT = N->getValueType(0);
1394 OtherOp = DAG.getConstant(1, dl, VT);
1395 Invert = true;
1396 return true;
1397 }
1398 case ISD::SIGN_EXTEND: {
1399 CC = N->getOperand(0);
1400 if (CC.getValueType() != MVT::i1)
1401 return false;
1402 SDLoc dl(N);
1403 EVT VT = N->getValueType(0);
1404 Invert = !AllOnes;
1405 if (AllOnes)
1406 // When looking for an AllOnes constant, N is an sext, and the 'other'
1407 // value is 0.
1408 OtherOp = DAG.getConstant(0, dl, VT);
1409 else
1410 OtherOp =
1411 DAG.getConstant(APInt::getAllOnesValue(VT.getSizeInBits()), dl, VT);
1412 return true;
1413 }
1414 }
1415}
1416
1417// Combine a constant select operand into its use:
1418//
1419// (add (select cc, 0, c), x) -> (select cc, x, (add, x, c))
1420// (sub x, (select cc, 0, c)) -> (select cc, x, (sub, x, c))
1421// (and (select cc, -1, c), x) -> (select cc, x, (and, x, c)) [AllOnes=1]
1422// (or (select cc, 0, c), x) -> (select cc, x, (or, x, c))
1423// (xor (select cc, 0, c), x) -> (select cc, x, (xor, x, c))
1424//
1425// The transform is rejected if the select doesn't have a constant operand that
1426// is null, or all ones when AllOnes is set.
1427//
1428// Also recognize sext/zext from i1:
1429//
1430// (add (zext cc), x) -> (select cc (add x, 1), x)
1431// (add (sext cc), x) -> (select cc (add x, -1), x)
1432//
1433// These transformations eventually create predicated instructions.
1434static SDValue combineSelectAndUse(SDNode *N, SDValue Slct, SDValue OtherOp,
1435 TargetLowering::DAGCombinerInfo &DCI,
1436 bool AllOnes) {
1437 SelectionDAG &DAG = DCI.DAG;
1438 EVT VT = N->getValueType(0);
1439 SDValue NonConstantVal;
1440 SDValue CCOp;
1441 bool SwapSelectOps;
1442 if (!isConditionalZeroOrAllOnes(Slct.getNode(), AllOnes, CCOp, SwapSelectOps,
1443 NonConstantVal, DAG))
1444 return SDValue();
1445
1446 // Slct is now know to be the desired identity constant when CC is true.
1447 SDValue TrueVal = OtherOp;
1448 SDValue FalseVal =
1449 DAG.getNode(N->getOpcode(), SDLoc(N), VT, OtherOp, NonConstantVal);
1450 // Unless SwapSelectOps says CC should be false.
1451 if (SwapSelectOps)
1452 std::swap(TrueVal, FalseVal);
1453
1454 return DAG.getNode(ISD::SELECT, SDLoc(N), VT, CCOp, TrueVal, FalseVal);
1455}
1456
1457// Attempt combineSelectAndUse on each operand of a commutative operator N.
1458static SDValue
1459combineSelectAndUseCommutative(SDNode *N, TargetLowering::DAGCombinerInfo &DCI,
1460 bool AllOnes) {
1461 SDValue N0 = N->getOperand(0);
1462 SDValue N1 = N->getOperand(1);
1463 if (N0.getNode()->hasOneUse())
1464 if (SDValue Result = combineSelectAndUse(N, N0, N1, DCI, AllOnes))
1465 return Result;
1466 if (N1.getNode()->hasOneUse())
1467 if (SDValue Result = combineSelectAndUse(N, N1, N0, DCI, AllOnes))
1468 return Result;
1469 return SDValue();
1470}
1471
1472// PerformSUBCombine - Target-specific dag combine xforms for ISD::SUB.
1473static SDValue PerformSUBCombine(SDNode *N,
1474 TargetLowering::DAGCombinerInfo &DCI) {
1475 SDValue N0 = N->getOperand(0);
1476 SDValue N1 = N->getOperand(1);
1477
1478 // fold (sub x, (select cc, 0, c)) -> (select cc, x, (sub, x, c))
1479 if (N1.getNode()->hasOneUse())
1480 if (SDValue Result = combineSelectAndUse(N, N1, N0, DCI, /*AllOnes=*/false))
1481 return Result;
1482
1483 return SDValue();
1484}
1485
1486SDValue LanaiTargetLowering::PerformDAGCombine(SDNode *N,
1487 DAGCombinerInfo &DCI) const {
1488 switch (N->getOpcode()) {
1489 default:
1490 break;
1491 case ISD::ADD:
1492 case ISD::OR:
1493 case ISD::XOR:
1494 return combineSelectAndUseCommutative(N, DCI, /*AllOnes=*/false);
1495 case ISD::AND:
1496 return combineSelectAndUseCommutative(N, DCI, /*AllOnes=*/true);
1497 case ISD::SUB:
1498 return PerformSUBCombine(N, DCI);
1499 }
1500
1501 return SDValue();
1502}
Jacques Pienaar0dbcc342017-05-09 18:35:26 +00001503
1504void LanaiTargetLowering::computeKnownBitsForTargetNode(
1505 const SDValue Op, KnownBits &Known, const APInt &DemandedElts,
1506 const SelectionDAG &DAG, unsigned Depth) const {
1507 unsigned BitWidth = Known.getBitWidth();
1508 switch (Op.getOpcode()) {
1509 default:
1510 break;
1511 case LanaiISD::SETCC:
1512 Known = KnownBits(BitWidth);
1513 Known.Zero.setBits(1, BitWidth);
1514 break;
1515 case LanaiISD::SELECT_CC:
1516 KnownBits Known2;
1517 DAG.computeKnownBits(Op->getOperand(0), Known, Depth + 1);
1518 DAG.computeKnownBits(Op->getOperand(1), Known2, Depth + 1);
1519 Known.Zero &= Known2.Zero;
1520 Known.One &= Known2.One;
1521 break;
1522 }
1523}