/build/source/llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp

Bug Summary

File:	build/source/llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp
Warning:	line 4560, column 43 The result of the right shift is undefined due to shifting by '32', which is greater or equal to the width of type 'unsigned int'

Annotated Source Code

Press '?' to see keyboard shortcuts

Show analyzer invocation

clang -cc1 -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name AMDGPUISelLowering.cpp -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -ffunction-sections -fdata-sections -fcoverage-compilation-dir=/build/source/build-llvm/tools/clang/stage2-bins -resource-dir /usr/lib/llvm-17/lib/clang/17 -D _DEBUG -D _GLIBCXX_ASSERTIONS -D _GNU_SOURCE -D _LIBCPP_ENABLE_ASSERTIONS -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I lib/Target/AMDGPU -I /build/source/llvm/lib/Target/AMDGPU -I include -I /build/source/llvm/include -D _FORTIFY_SOURCE=2 -D NDEBUG -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/x86_64-linux-gnu/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/backward -internal-isystem /usr/lib/llvm-17/lib/clang/17/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -fmacro-prefix-map=/build/source/build-llvm/tools/clang/stage2-bins=build-llvm/tools/clang/stage2-bins -fmacro-prefix-map=/build/source/= -fcoverage-prefix-map=/build/source/build-llvm/tools/clang/stage2-bins=build-llvm/tools/clang/stage2-bins -fcoverage-prefix-map=/build/source/= -source-date-epoch 1683717183 -O2 -Wno-unused-command-line-argument -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wno-comment -Wno-misleading-indentation -std=c++17 -fdeprecated-macro -fdebug-compilation-dir=/build/source/build-llvm/tools/clang/stage2-bins -fdebug-prefix-map=/build/source/build-llvm/tools/clang/stage2-bins=build-llvm/tools/clang/stage2-bins -fdebug-prefix-map=/build/source/= -ferror-limit 19 -fvisibility=hidden -fvisibility-inlines-hidden -stack-protector 2 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -analyzer-output=html -analyzer-config stable-report-filename=true -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2023-05-10-133810-16478-1 -x c++ /build/source/llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp

/build/source/llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp

→

1//===-- AMDGPUISelLowering.cpp - AMDGPU Common DAG lowering functions -----===//
2//
3// 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
6//
7//===----------------------------------------------------------------------===//
8//
9/// \file
10/// This is the parent TargetLowering class for hardware code gen
11/// targets.
12//
13//===----------------------------------------------------------------------===//

15#include "AMDGPUISelLowering.h"
16#include "AMDGPU.h"
17#include "AMDGPUInstrInfo.h"
18#include "AMDGPUMachineFunction.h"
19#include "SIMachineFunctionInfo.h"
20#include "llvm/CodeGen/Analysis.h"
21#include "llvm/CodeGen/MachineFrameInfo.h"
22#include "llvm/IR/DiagnosticInfo.h"
23#include "llvm/IR/IntrinsicsAMDGPU.h"
24#include "llvm/Support/CommandLine.h"
25#include "llvm/Support/KnownBits.h"
26#include "llvm/Target/TargetMachine.h"

28using namespace llvm;

30#include "AMDGPUGenCallingConv.inc"

32static cl::opt<bool> AMDGPUBypassSlowDiv(
"amdgpu-bypass-slow-div",
cl::desc("Skip 64-bit divide for dynamic 32-bit values"),
cl::init(true));

37// Find a larger type to do a load / store of a vector with.
38EVT AMDGPUTargetLowering::getEquivalentMemType(LLVMContext &Ctx, EVT VT) {
unsigned StoreSize = VT.getStoreSizeInBits();
if (StoreSize <= 32)
  return EVT::getIntegerVT(Ctx, StoreSize);

assert(StoreSize % 32 == 0 && "Store size not a multiple of 32")(static_cast <bool> (StoreSize % 32 == 0 && "Store size not a multiple of 32"
) ? void (0) : __assert_fail ("StoreSize % 32 == 0 && \"Store size not a multiple of 32\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 43, __extension__
 __PRETTY_FUNCTION__));
return EVT::getVectorVT(Ctx, MVT::i32, StoreSize / 32);
45}

47unsigned AMDGPUTargetLowering::numBitsUnsigned(SDValue Op, SelectionDAG &DAG) {
return DAG.computeKnownBits(Op).countMaxActiveBits();
49}

51unsigned AMDGPUTargetLowering::numBitsSigned(SDValue Op, SelectionDAG &DAG) {
// In order for this to be a signed 24-bit value, bit 23, must
// be a sign bit.
return DAG.ComputeMaxSignificantBits(Op);
55}

57AMDGPUTargetLowering::AMDGPUTargetLowering(const TargetMachine &TM,
                                         const AMDGPUSubtarget &STI)
  : TargetLowering(TM), Subtarget(&STI) {
// Lower floating point store/load to integer store/load to reduce the number
// of patterns in tablegen.
setOperationAction(ISD::LOAD, MVT::f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::f32, MVT::i32);

setOperationAction(ISD::LOAD, MVT::v2f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v2f32, MVT::v2i32);

setOperationAction(ISD::LOAD, MVT::v3f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v3f32, MVT::v3i32);

setOperationAction(ISD::LOAD, MVT::v4f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v4f32, MVT::v4i32);

setOperationAction(ISD::LOAD, MVT::v5f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v5f32, MVT::v5i32);

setOperationAction(ISD::LOAD, MVT::v6f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v6f32, MVT::v6i32);

setOperationAction(ISD::LOAD, MVT::v7f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v7f32, MVT::v7i32);

setOperationAction(ISD::LOAD, MVT::v8f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v8f32, MVT::v8i32);

setOperationAction(ISD::LOAD, MVT::v9f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v9f32, MVT::v9i32);

setOperationAction(ISD::LOAD, MVT::v10f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v10f32, MVT::v10i32);

setOperationAction(ISD::LOAD, MVT::v11f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v11f32, MVT::v11i32);

setOperationAction(ISD::LOAD, MVT::v12f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v12f32, MVT::v12i32);

setOperationAction(ISD::LOAD, MVT::v16f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v16f32, MVT::v16i32);

setOperationAction(ISD::LOAD, MVT::v32f32, Promote);
AddPromotedToType(ISD::LOAD, MVT::v32f32, MVT::v32i32);

setOperationAction(ISD::LOAD, MVT::i64, Promote);
AddPromotedToType(ISD::LOAD, MVT::i64, MVT::v2i32);

setOperationAction(ISD::LOAD, MVT::v2i64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v2i64, MVT::v4i32);

setOperationAction(ISD::LOAD, MVT::f64, Promote);
AddPromotedToType(ISD::LOAD, MVT::f64, MVT::v2i32);

setOperationAction(ISD::LOAD, MVT::v2f64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v2f64, MVT::v4i32);

setOperationAction(ISD::LOAD, MVT::v3i64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v3i64, MVT::v6i32);

setOperationAction(ISD::LOAD, MVT::v4i64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v4i64, MVT::v8i32);

setOperationAction(ISD::LOAD, MVT::v3f64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v3f64, MVT::v6i32);

setOperationAction(ISD::LOAD, MVT::v4f64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v4f64, MVT::v8i32);

setOperationAction(ISD::LOAD, MVT::v8i64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v8i64, MVT::v16i32);

setOperationAction(ISD::LOAD, MVT::v8f64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v8f64, MVT::v16i32);

setOperationAction(ISD::LOAD, MVT::v16i64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v16i64, MVT::v32i32);

setOperationAction(ISD::LOAD, MVT::v16f64, Promote);
AddPromotedToType(ISD::LOAD, MVT::v16f64, MVT::v32i32);

// There are no 64-bit extloads. These should be done as a 32-bit extload and
// an extension to 64-bit.
for (MVT VT : MVT::integer_valuetypes())
  setLoadExtAction({ISD::EXTLOAD, ISD::SEXTLOAD, ISD::ZEXTLOAD}, MVT::i64, VT,
                   Expand);

for (MVT VT : MVT::integer_valuetypes()) {
  if (VT == MVT::i64)
    continue;

  for (auto Op : {ISD::SEXTLOAD, ISD::ZEXTLOAD, ISD::EXTLOAD}) {
    setLoadExtAction(Op, VT, MVT::i1, Promote);
    setLoadExtAction(Op, VT, MVT::i8, Legal);
    setLoadExtAction(Op, VT, MVT::i16, Legal);
    setLoadExtAction(Op, VT, MVT::i32, Expand);
  }
}

for (MVT VT : MVT::integer_fixedlen_vector_valuetypes())
  for (auto MemVT :
       {MVT::v2i8, MVT::v4i8, MVT::v2i16, MVT::v3i16, MVT::v4i16})
    setLoadExtAction({ISD::SEXTLOAD, ISD::ZEXTLOAD, ISD::EXTLOAD}, VT, MemVT,
                     Expand);

setLoadExtAction(ISD::EXTLOAD, MVT::f32, MVT::f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::f32, MVT::bf16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v2f32, MVT::v2f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v3f32, MVT::v3f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v4f32, MVT::v4f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v8f32, MVT::v8f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v16f32, MVT::v16f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v32f32, MVT::v32f16, Expand);

setLoadExtAction(ISD::EXTLOAD, MVT::f64, MVT::f32, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v2f64, MVT::v2f32, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v3f64, MVT::v3f32, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v4f64, MVT::v4f32, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v8f64, MVT::v8f32, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v16f64, MVT::v16f32, Expand);

setLoadExtAction(ISD::EXTLOAD, MVT::f64, MVT::f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::f64, MVT::bf16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v2f64, MVT::v2f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v3f64, MVT::v3f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v4f64, MVT::v4f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v8f64, MVT::v8f16, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::v16f64, MVT::v16f16, Expand);

setOperationAction(ISD::STORE, MVT::f32, Promote);
AddPromotedToType(ISD::STORE, MVT::f32, MVT::i32);

setOperationAction(ISD::STORE, MVT::v2f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v2f32, MVT::v2i32);

setOperationAction(ISD::STORE, MVT::v3f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v3f32, MVT::v3i32);

setOperationAction(ISD::STORE, MVT::v4f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v4f32, MVT::v4i32);

setOperationAction(ISD::STORE, MVT::v5f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v5f32, MVT::v5i32);

setOperationAction(ISD::STORE, MVT::v6f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v6f32, MVT::v6i32);

setOperationAction(ISD::STORE, MVT::v7f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v7f32, MVT::v7i32);

setOperationAction(ISD::STORE, MVT::v8f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v8f32, MVT::v8i32);

setOperationAction(ISD::STORE, MVT::v9f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v9f32, MVT::v9i32);

setOperationAction(ISD::STORE, MVT::v10f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v10f32, MVT::v10i32);

setOperationAction(ISD::STORE, MVT::v11f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v11f32, MVT::v11i32);

setOperationAction(ISD::STORE, MVT::v12f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v12f32, MVT::v12i32);

setOperationAction(ISD::STORE, MVT::v16f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v16f32, MVT::v16i32);

setOperationAction(ISD::STORE, MVT::v32f32, Promote);
AddPromotedToType(ISD::STORE, MVT::v32f32, MVT::v32i32);

setOperationAction(ISD::STORE, MVT::i64, Promote);
AddPromotedToType(ISD::STORE, MVT::i64, MVT::v2i32);

setOperationAction(ISD::STORE, MVT::v2i64, Promote);
AddPromotedToType(ISD::STORE, MVT::v2i64, MVT::v4i32);

setOperationAction(ISD::STORE, MVT::f64, Promote);
AddPromotedToType(ISD::STORE, MVT::f64, MVT::v2i32);

setOperationAction(ISD::STORE, MVT::v2f64, Promote);
AddPromotedToType(ISD::STORE, MVT::v2f64, MVT::v4i32);

setOperationAction(ISD::STORE, MVT::v3i64, Promote);
AddPromotedToType(ISD::STORE, MVT::v3i64, MVT::v6i32);

setOperationAction(ISD::STORE, MVT::v3f64, Promote);
AddPromotedToType(ISD::STORE, MVT::v3f64, MVT::v6i32);

setOperationAction(ISD::STORE, MVT::v4i64, Promote);
AddPromotedToType(ISD::STORE, MVT::v4i64, MVT::v8i32);

setOperationAction(ISD::STORE, MVT::v4f64, Promote);
AddPromotedToType(ISD::STORE, MVT::v4f64, MVT::v8i32);

setOperationAction(ISD::STORE, MVT::v8i64, Promote);
AddPromotedToType(ISD::STORE, MVT::v8i64, MVT::v16i32);

setOperationAction(ISD::STORE, MVT::v8f64, Promote);
AddPromotedToType(ISD::STORE, MVT::v8f64, MVT::v16i32);

setOperationAction(ISD::STORE, MVT::v16i64, Promote);
AddPromotedToType(ISD::STORE, MVT::v16i64, MVT::v32i32);

setOperationAction(ISD::STORE, MVT::v16f64, Promote);
AddPromotedToType(ISD::STORE, MVT::v16f64, MVT::v32i32);

setTruncStoreAction(MVT::i64, MVT::i1, Expand);
setTruncStoreAction(MVT::i64, MVT::i8, Expand);
setTruncStoreAction(MVT::i64, MVT::i16, Expand);
setTruncStoreAction(MVT::i64, MVT::i32, Expand);

setTruncStoreAction(MVT::v2i64, MVT::v2i1, Expand);
setTruncStoreAction(MVT::v2i64, MVT::v2i8, Expand);
setTruncStoreAction(MVT::v2i64, MVT::v2i16, Expand);
setTruncStoreAction(MVT::v2i64, MVT::v2i32, Expand);

setTruncStoreAction(MVT::f32, MVT::bf16, Expand);
setTruncStoreAction(MVT::f32, MVT::f16, Expand);
setTruncStoreAction(MVT::v2f32, MVT::v2f16, Expand);
setTruncStoreAction(MVT::v3f32, MVT::v3f16, Expand);
setTruncStoreAction(MVT::v4f32, MVT::v4f16, Expand);
setTruncStoreAction(MVT::v8f32, MVT::v8f16, Expand);
setTruncStoreAction(MVT::v16f32, MVT::v16f16, Expand);
setTruncStoreAction(MVT::v32f32, MVT::v32f16, Expand);

setTruncStoreAction(MVT::f64, MVT::bf16, Expand);
setTruncStoreAction(MVT::f64, MVT::f16, Expand);
setTruncStoreAction(MVT::f64, MVT::f32, Expand);

setTruncStoreAction(MVT::v2f64, MVT::v2f32, Expand);
setTruncStoreAction(MVT::v2f64, MVT::v2f16, Expand);

setTruncStoreAction(MVT::v3i64, MVT::v3i32, Expand);
setTruncStoreAction(MVT::v3i64, MVT::v3i16, Expand);
setTruncStoreAction(MVT::v3f64, MVT::v3f32, Expand);
setTruncStoreAction(MVT::v3f64, MVT::v3f16, Expand);

setTruncStoreAction(MVT::v4i64, MVT::v4i32, Expand);
setTruncStoreAction(MVT::v4i64, MVT::v4i16, Expand);
setTruncStoreAction(MVT::v4f64, MVT::v4f32, Expand);
setTruncStoreAction(MVT::v4f64, MVT::v4f16, Expand);

setTruncStoreAction(MVT::v8f64, MVT::v8f32, Expand);
setTruncStoreAction(MVT::v8f64, MVT::v8f16, Expand);

setTruncStoreAction(MVT::v16f64, MVT::v16f32, Expand);
setTruncStoreAction(MVT::v16f64, MVT::v16f16, Expand);
setTruncStoreAction(MVT::v16i64, MVT::v16i16, Expand);
setTruncStoreAction(MVT::v16i64, MVT::v16i16, Expand);
setTruncStoreAction(MVT::v16i64, MVT::v16i8, Expand);
setTruncStoreAction(MVT::v16i64, MVT::v16i8, Expand);
setTruncStoreAction(MVT::v16i64, MVT::v16i1, Expand);

setOperationAction(ISD::Constant, {MVT::i32, MVT::i64}, Legal);
setOperationAction(ISD::ConstantFP, {MVT::f32, MVT::f64}, Legal);

setOperationAction({ISD::BR_JT, ISD::BRIND}, MVT::Other, Expand);

// This is totally unsupported, just custom lower to produce an error.
setOperationAction(ISD::DYNAMIC_STACKALLOC, MVT::i32, Custom);

// Library functions.  These default to Expand, but we have instructions
// for them.
setOperationAction({ISD::FCEIL, ISD::FEXP2, ISD::FPOW, ISD::FLOG2, ISD::FABS,
                    ISD::FFLOOR, ISD::FRINT, ISD::FTRUNC, ISD::FMINNUM,
                    ISD::FMAXNUM},
                   MVT::f32, Legal);

setOperationAction(ISD::FROUND, {MVT::f32, MVT::f64}, Custom);

setOperationAction({ISD::FLOG, ISD::FLOG10, ISD::FEXP}, MVT::f32, Custom);

setOperationAction(ISD::FNEARBYINT, {MVT::f16, MVT::f32, MVT::f64}, Custom);

setOperationAction(ISD::FROUNDEVEN, {MVT::f16, MVT::f32, MVT::f64}, Custom);

setOperationAction(ISD::FREM, {MVT::f16, MVT::f32, MVT::f64}, Custom);

if (Subtarget->has16BitInsts())
  setOperationAction(ISD::IS_FPCLASS, {MVT::f16, MVT::f32, MVT::f64}, Legal);
else
  setOperationAction(ISD::IS_FPCLASS, {MVT::f32, MVT::f64}, Legal);

// FIXME: These IS_FPCLASS vector fp types are marked custom so it reaches
// scalarization code. Can be removed when IS_FPCLASS expand isn't called by
// default unless marked custom/legal.
setOperationAction(
    ISD::IS_FPCLASS,
    {MVT::v2f16, MVT::v3f16, MVT::v4f16, MVT::v16f16, MVT::v2f32, MVT::v3f32,
     MVT::v4f32, MVT::v5f32, MVT::v6f32, MVT::v7f32, MVT::v8f32, MVT::v16f32,
     MVT::v2f64, MVT::v3f64, MVT::v4f64, MVT::v8f64, MVT::v16f64},
    Custom);

// Expand to fneg + fadd.
setOperationAction(ISD::FSUB, MVT::f64, Expand);

setOperationAction(ISD::CONCAT_VECTORS,
                   {MVT::v3i32,  MVT::v3f32,  MVT::v4i32,  MVT::v4f32,
                    MVT::v5i32,  MVT::v5f32,  MVT::v6i32,  MVT::v6f32,
                    MVT::v7i32,  MVT::v7f32,  MVT::v8i32,  MVT::v8f32,
                    MVT::v9i32,  MVT::v9f32,  MVT::v10i32, MVT::v10f32,
                    MVT::v11i32, MVT::v11f32, MVT::v12i32, MVT::v12f32},
                   Custom);
setOperationAction(
    ISD::EXTRACT_SUBVECTOR,
    {MVT::v2f16,  MVT::v2i16,  MVT::v4f16,  MVT::v4i16,  MVT::v2f32,
     MVT::v2i32,  MVT::v3f32,  MVT::v3i32,  MVT::v4f32,  MVT::v4i32,
     MVT::v5f32,  MVT::v5i32,  MVT::v6f32,  MVT::v6i32,  MVT::v7f32,
     MVT::v7i32,  MVT::v8f32,  MVT::v8i32,  MVT::v9f32,  MVT::v9i32,
     MVT::v10i32, MVT::v10f32, MVT::v11i32, MVT::v11f32, MVT::v12i32,
     MVT::v12f32, MVT::v16f16, MVT::v16i16, MVT::v16f32, MVT::v16i32,
     MVT::v32f32, MVT::v32i32, MVT::v2f64,  MVT::v2i64,  MVT::v3f64,
     MVT::v3i64,  MVT::v4f64,  MVT::v4i64,  MVT::v8f64,  MVT::v8i64,
     MVT::v16f64, MVT::v16i64},
    Custom);

setOperationAction(ISD::FP16_TO_FP, MVT::f64, Expand);
setOperationAction(ISD::FP_TO_FP16, {MVT::f64, MVT::f32}, Custom);

const MVT ScalarIntVTs[] = { MVT::i32, MVT::i64 };
for (MVT VT : ScalarIntVTs) {
  // These should use [SU]DIVREM, so set them to expand
  setOperationAction({ISD::SDIV, ISD::UDIV, ISD::SREM, ISD::UREM}, VT,
                     Expand);

  // GPU does not have divrem function for signed or unsigned.
  setOperationAction({ISD::SDIVREM, ISD::UDIVREM}, VT, Custom);

  // GPU does not have [S|U]MUL_LOHI functions as a single instruction.
  setOperationAction({ISD::SMUL_LOHI, ISD::UMUL_LOHI}, VT, Expand);

  setOperationAction({ISD::BSWAP, ISD::CTTZ, ISD::CTLZ}, VT, Expand);

  // AMDGPU uses ADDC/SUBC/ADDE/SUBE
  setOperationAction({ISD::ADDC, ISD::SUBC, ISD::ADDE, ISD::SUBE}, VT, Legal);
}

// The hardware supports 32-bit FSHR, but not FSHL.
setOperationAction(ISD::FSHR, MVT::i32, Legal);

// The hardware supports 32-bit ROTR, but not ROTL.
setOperationAction(ISD::ROTL, {MVT::i32, MVT::i64}, Expand);
setOperationAction(ISD::ROTR, MVT::i64, Expand);

setOperationAction({ISD::MULHU, ISD::MULHS}, MVT::i16, Expand);

setOperationAction({ISD::MUL, ISD::MULHU, ISD::MULHS}, MVT::i64, Expand);
setOperationAction(
    {ISD::UINT_TO_FP, ISD::SINT_TO_FP, ISD::FP_TO_SINT, ISD::FP_TO_UINT},
    MVT::i64, Custom);
setOperationAction(ISD::SELECT_CC, MVT::i64, Expand);

setOperationAction({ISD::SMIN, ISD::UMIN, ISD::SMAX, ISD::UMAX}, MVT::i32,
                   Legal);

setOperationAction(
    {ISD::CTTZ, ISD::CTTZ_ZERO_UNDEF, ISD::CTLZ, ISD::CTLZ_ZERO_UNDEF},
    MVT::i64, Custom);

static const MVT::SimpleValueType VectorIntTypes[] = {
    MVT::v2i32, MVT::v3i32, MVT::v4i32, MVT::v5i32, MVT::v6i32, MVT::v7i32,
    MVT::v9i32, MVT::v10i32, MVT::v11i32, MVT::v12i32};

for (MVT VT : VectorIntTypes) {
  // Expand the following operations for the current type by default.
  setOperationAction({ISD::ADD,        ISD::AND,     ISD::FP_TO_SINT,
                      ISD::FP_TO_UINT, ISD::MUL,     ISD::MULHU,
                      ISD::MULHS,      ISD::OR,      ISD::SHL,
                      ISD::SRA,        ISD::SRL,     ISD::ROTL,
                      ISD::ROTR,       ISD::SUB,     ISD::SINT_TO_FP,
                      ISD::UINT_TO_FP, ISD::SDIV,    ISD::UDIV,
                      ISD::SREM,       ISD::UREM,    ISD::SMUL_LOHI,
                      ISD::UMUL_LOHI,  ISD::SDIVREM, ISD::UDIVREM,
                      ISD::SELECT,     ISD::VSELECT, ISD::SELECT_CC,
                      ISD::XOR,        ISD::BSWAP,   ISD::CTPOP,
                      ISD::CTTZ,       ISD::CTLZ,    ISD::VECTOR_SHUFFLE,
                      ISD::SETCC},
                     VT, Expand);
}

static const MVT::SimpleValueType FloatVectorTypes[] = {
    MVT::v2f32, MVT::v3f32,  MVT::v4f32, MVT::v5f32, MVT::v6f32, MVT::v7f32,
    MVT::v9f32, MVT::v10f32, MVT::v11f32, MVT::v12f32};

for (MVT VT : FloatVectorTypes) {
  setOperationAction(
      {ISD::FABS,    ISD::FMINNUM,      ISD::FMAXNUM,   ISD::FADD,
       ISD::FCEIL,   ISD::FCOS,         ISD::FDIV,      ISD::FEXP2,
       ISD::FEXP,    ISD::FLOG2,        ISD::FREM,      ISD::FLOG,
       ISD::FLOG10,  ISD::FPOW,         ISD::FFLOOR,    ISD::FTRUNC,
       ISD::FMUL,    ISD::FMA,          ISD::FRINT,     ISD::FNEARBYINT,
       ISD::FSQRT,   ISD::FSIN,         ISD::FSUB,      ISD::FNEG,
       ISD::VSELECT, ISD::SELECT_CC,    ISD::FCOPYSIGN, ISD::VECTOR_SHUFFLE,
       ISD::SETCC,   ISD::FCANONICALIZE},
      VT, Expand);
}

// This causes using an unrolled select operation rather than expansion with
// bit operations. This is in general better, but the alternative using BFI
// instructions may be better if the select sources are SGPRs.
setOperationAction(ISD::SELECT, MVT::v2f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v2f32, MVT::v2i32);

setOperationAction(ISD::SELECT, MVT::v3f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v3f32, MVT::v3i32);

setOperationAction(ISD::SELECT, MVT::v4f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v4f32, MVT::v4i32);

setOperationAction(ISD::SELECT, MVT::v5f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v5f32, MVT::v5i32);

setOperationAction(ISD::SELECT, MVT::v6f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v6f32, MVT::v6i32);

setOperationAction(ISD::SELECT, MVT::v7f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v7f32, MVT::v7i32);

setOperationAction(ISD::SELECT, MVT::v9f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v9f32, MVT::v9i32);

setOperationAction(ISD::SELECT, MVT::v10f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v10f32, MVT::v10i32);

setOperationAction(ISD::SELECT, MVT::v11f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v11f32, MVT::v11i32);

setOperationAction(ISD::SELECT, MVT::v12f32, Promote);
AddPromotedToType(ISD::SELECT, MVT::v12f32, MVT::v12i32);

// There are no libcalls of any kind.
for (int I = 0; I < RTLIB::UNKNOWN_LIBCALL; ++I)
  setLibcallName(static_cast<RTLIB::Libcall>(I), nullptr);

setSchedulingPreference(Sched::RegPressure);
setJumpIsExpensive(true);

// FIXME: This is only partially true. If we have to do vector compares, any
// SGPR pair can be a condition register. If we have a uniform condition, we
// are better off doing SALU operations, where there is only one SCC. For now,
// we don't have a way of knowing during instruction selection if a condition
// will be uniform and we always use vector compares. Assume we are using
// vector compares until that is fixed.
setHasMultipleConditionRegisters(true);

setMinCmpXchgSizeInBits(32);
setSupportsUnalignedAtomics(false);

PredictableSelectIsExpensive = false;

// We want to find all load dependencies for long chains of stores to enable
// merging into very wide vectors. The problem is with vectors with > 4
// elements. MergeConsecutiveStores will attempt to merge these because x8/x16
// vectors are a legal type, even though we have to split the loads
// usually. When we can more precisely specify load legality per address
// space, we should be able to make FindBetterChain/MergeConsecutiveStores
// smarter so that they can figure out what to do in 2 iterations without all
// N > 4 stores on the same chain.
GatherAllAliasesMaxDepth = 16;

// memcpy/memmove/memset are expanded in the IR, so we shouldn't need to worry
// about these during lowering.
MaxStoresPerMemcpy  = 0xffffffff;
MaxStoresPerMemmove = 0xffffffff;
MaxStoresPerMemset  = 0xffffffff;

// The expansion for 64-bit division is enormous.
if (AMDGPUBypassSlowDiv)
  addBypassSlowDiv(64, 32);

setTargetDAGCombine({ISD::BITCAST,    ISD::SHL,
                     ISD::SRA,        ISD::SRL,
                     ISD::TRUNCATE,   ISD::MUL,
                     ISD::SMUL_LOHI,  ISD::UMUL_LOHI,
                     ISD::MULHU,      ISD::MULHS,
                     ISD::SELECT,     ISD::SELECT_CC,
                     ISD::STORE,      ISD::FADD,
                     ISD::FSUB,       ISD::FNEG,
                     ISD::FABS,       ISD::AssertZext,
                     ISD::AssertSext, ISD::INTRINSIC_WO_CHAIN});
540}

542bool AMDGPUTargetLowering::mayIgnoreSignedZero(SDValue Op) const {
if (getTargetMachine().Options.NoSignedZerosFPMath)
  return true;

const auto Flags = Op.getNode()->getFlags();
if (Flags.hasNoSignedZeros())
  return true;

return false;
551}

553//===----------------------------------------------------------------------===//
554// Target Information
555//===----------------------------------------------------------------------===//

557LLVM_READNONE__attribute__((__const__))
558static bool fnegFoldsIntoOpcode(unsigned Opc) {
switch (Opc) {
case ISD::FADD:
case ISD::FSUB:
case ISD::FMUL:
case ISD::FMA:
case ISD::FMAD:
case ISD::FMINNUM:
case ISD::FMAXNUM:
case ISD::FMINNUM_IEEE:
case ISD::FMAXNUM_IEEE:
case ISD::SELECT:
case ISD::FSIN:
case ISD::FTRUNC:
case ISD::FRINT:
case ISD::FNEARBYINT:
case ISD::FCANONICALIZE:
case AMDGPUISD::RCP:
case AMDGPUISD::RCP_LEGACY:
case AMDGPUISD::RCP_IFLAG:
case AMDGPUISD::SIN_HW:
case AMDGPUISD::FMUL_LEGACY:
case AMDGPUISD::FMIN_LEGACY:
case AMDGPUISD::FMAX_LEGACY:
case AMDGPUISD::FMED3:
  // TODO: handle llvm.amdgcn.fma.legacy
  return true;
case ISD::BITCAST:
  llvm_unreachable("bitcast is special cased")::llvm::llvm_unreachable_internal("bitcast is special cased",
 "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 586);
default:
  return false;
}
590}

592static bool fnegFoldsIntoOp(const SDNode *N) {
unsigned Opc = N->getOpcode();
if (Opc == ISD::BITCAST) {
  // TODO: Is there a benefit to checking the conditions performFNegCombine
  // does? We don't for the other cases.
  SDValue BCSrc = N->getOperand(0);
  if (BCSrc.getOpcode() == ISD::BUILD_VECTOR) {
    return BCSrc.getNumOperands() == 2 &&
           BCSrc.getOperand(1).getValueSizeInBits() == 32;
  }

  return BCSrc.getOpcode() == ISD::SELECT && BCSrc.getValueType() == MVT::f32;
}

return fnegFoldsIntoOpcode(Opc);
607}

609/// \p returns true if the operation will definitely need to use a 64-bit
610/// encoding, and thus will use a VOP3 encoding regardless of the source
611/// modifiers.
612LLVM_READONLY__attribute__((__pure__))
613static bool opMustUseVOP3Encoding(const SDNode *N, MVT VT) {
return (N->getNumOperands() > 2 && N->getOpcode() != ISD::SELECT) ||
       VT == MVT::f64;
616}

618/// Return true if v_cndmask_b32 will support fabs/fneg source modifiers for the
619/// type for ISD::SELECT.
620LLVM_READONLY__attribute__((__pure__))
621static bool selectSupportsSourceMods(const SDNode *N) {
// TODO: Only applies if select will be vector
return N->getValueType(0) == MVT::f32;
624}

626// Most FP instructions support source modifiers, but this could be refined
627// slightly.
628LLVM_READONLY__attribute__((__pure__))
629static bool hasSourceMods(const SDNode *N) {
if (isa<MemSDNode>(N))
  return false;

switch (N->getOpcode()) {
case ISD::CopyToReg:
case ISD::FDIV:
case ISD::FREM:
case ISD::INLINEASM:
case ISD::INLINEASM_BR:
case AMDGPUISD::DIV_SCALE:
case ISD::INTRINSIC_W_CHAIN:

// TODO: Should really be looking at the users of the bitcast. These are
// problematic because bitcasts are used to legalize all stores to integer
// types.
case ISD::BITCAST:
  return false;
case ISD::INTRINSIC_WO_CHAIN: {
  switch (cast<ConstantSDNode>(N->getOperand(0))->getZExtValue()) {
  case Intrinsic::amdgcn_interp_p1:
  case Intrinsic::amdgcn_interp_p2:
  case Intrinsic::amdgcn_interp_mov:
  case Intrinsic::amdgcn_interp_p1_f16:
  case Intrinsic::amdgcn_interp_p2_f16:
    return false;
  default:
    return true;
  }
}
case ISD::SELECT:
  return selectSupportsSourceMods(N);
default:
  return true;
}
664}

666bool AMDGPUTargetLowering::allUsesHaveSourceMods(const SDNode *N,
                                               unsigned CostThreshold) {
// Some users (such as 3-operand FMA/MAD) must use a VOP3 encoding, and thus
// it is truly free to use a source modifier in all cases. If there are
// multiple users but for each one will necessitate using VOP3, there will be
// a code size increase. Try to avoid increasing code size unless we know it
// will save on the instruction count.
unsigned NumMayIncreaseSize = 0;
MVT VT = N->getValueType(0).getScalarType().getSimpleVT();

assert(!N->use_empty())(static_cast <bool> (!N->use_empty()) ? void (0) : __assert_fail
 ("!N->use_empty()", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 676, __extension__ __PRETTY_FUNCTION__));

// XXX - Should this limit number of uses to check?
for (const SDNode *U : N->uses()) {
  if (!hasSourceMods(U))
    return false;

  if (!opMustUseVOP3Encoding(U, VT)) {
    if (++NumMayIncreaseSize > CostThreshold)
      return false;
  }
}

return true;
690}

692EVT AMDGPUTargetLowering::getTypeForExtReturn(LLVMContext &Context, EVT VT,
                                            ISD::NodeType ExtendKind) const {
assert(!VT.isVector() && "only scalar expected")(static_cast <bool> (!VT.isVector() && "only scalar expected"
) ? void (0) : __assert_fail ("!VT.isVector() && \"only scalar expected\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 694, __extension__
 __PRETTY_FUNCTION__));

// Round to the next multiple of 32-bits.
unsigned Size = VT.getSizeInBits();
if (Size <= 32)
  return MVT::i32;
return EVT::getIntegerVT(Context, 32 * ((Size + 31) / 32));
701}

703MVT AMDGPUTargetLowering::getVectorIdxTy(const DataLayout &) const {
return MVT::i32;
705}

707bool AMDGPUTargetLowering::isSelectSupported(SelectSupportKind SelType) const {
return true;
709}

711// The backend supports 32 and 64 bit floating point immediates.
712// FIXME: Why are we reporting vectors of FP immediates as legal?
713bool AMDGPUTargetLowering::isFPImmLegal(const APFloat &Imm, EVT VT,
                                      bool ForCodeSize) const {
EVT ScalarVT = VT.getScalarType();
return (ScalarVT == MVT::f32 || ScalarVT == MVT::f64 ||
       (ScalarVT == MVT::f16 && Subtarget->has16BitInsts()));
718}

720// We don't want to shrink f64 / f32 constants.
721bool AMDGPUTargetLowering::ShouldShrinkFPConstant(EVT VT) const {
EVT ScalarVT = VT.getScalarType();
return (ScalarVT != MVT::f32 && ScalarVT != MVT::f64);
724}

726bool AMDGPUTargetLowering::shouldReduceLoadWidth(SDNode *N,
                                               ISD::LoadExtType ExtTy,
                                               EVT NewVT) const {
// TODO: This may be worth removing. Check regression tests for diffs.
if (!TargetLoweringBase::shouldReduceLoadWidth(N, ExtTy, NewVT))
  return false;

unsigned NewSize = NewVT.getStoreSizeInBits();

// If we are reducing to a 32-bit load or a smaller multi-dword load,
// this is always better.
if (NewSize >= 32)
  return true;

EVT OldVT = N->getValueType(0);
unsigned OldSize = OldVT.getStoreSizeInBits();

MemSDNode *MN = cast<MemSDNode>(N);
unsigned AS = MN->getAddressSpace();
// Do not shrink an aligned scalar load to sub-dword.
// Scalar engine cannot do sub-dword loads.
if (OldSize >= 32 && NewSize < 32 && MN->getAlign() >= Align(4) &&
    (AS == AMDGPUAS::CONSTANT_ADDRESS ||
     AS == AMDGPUAS::CONSTANT_ADDRESS_32BIT ||
     (isa<LoadSDNode>(N) && AS == AMDGPUAS::GLOBAL_ADDRESS &&
      MN->isInvariant())) &&
    AMDGPUInstrInfo::isUniformMMO(MN->getMemOperand()))
  return false;

// Don't produce extloads from sub 32-bit types. SI doesn't have scalar
// extloads, so doing one requires using a buffer_load. In cases where we
// still couldn't use a scalar load, using the wider load shouldn't really
// hurt anything.

// If the old size already had to be an extload, there's no harm in continuing
// to reduce the width.
return (OldSize < 32);
763}

765bool AMDGPUTargetLowering::isLoadBitCastBeneficial(EVT LoadTy, EVT CastTy,
                                                 const SelectionDAG &DAG,
                                                 const MachineMemOperand &MMO) const {

assert(LoadTy.getSizeInBits() == CastTy.getSizeInBits())(static_cast <bool> (LoadTy.getSizeInBits() == CastTy.getSizeInBits
()) ? void (0) : __assert_fail ("LoadTy.getSizeInBits() == CastTy.getSizeInBits()"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 769, __extension__
 __PRETTY_FUNCTION__));

if (LoadTy.getScalarType() == MVT::i32)
  return false;

unsigned LScalarSize = LoadTy.getScalarSizeInBits();
unsigned CastScalarSize = CastTy.getScalarSizeInBits();

if ((LScalarSize >= CastScalarSize) && (CastScalarSize < 32))
  return false;

unsigned Fast = 0;
return allowsMemoryAccessForAlignment(*DAG.getContext(), DAG.getDataLayout(),
                                      CastTy, MMO, &Fast) &&
       Fast;
784}

786// SI+ has instructions for cttz / ctlz for 32-bit values. This is probably also
787// profitable with the expansion for 64-bit since it's generally good to
788// speculate things.
789bool AMDGPUTargetLowering::isCheapToSpeculateCttz(Type *Ty) const {
return true;
791}

793bool AMDGPUTargetLowering::isCheapToSpeculateCtlz(Type *Ty) const {
return true;
795}

797bool AMDGPUTargetLowering::isSDNodeAlwaysUniform(const SDNode *N) const {
switch (N->getOpcode()) {
case ISD::EntryToken:
case ISD::TokenFactor:
  return true;
case ISD::INTRINSIC_WO_CHAIN: {
  unsigned IntrID = cast<ConstantSDNode>(N->getOperand(0))->getZExtValue();
  switch (IntrID) {
  case Intrinsic::amdgcn_readfirstlane:
  case Intrinsic::amdgcn_readlane:
    return true;
  }
  return false;
}
case ISD::LOAD:
  if (cast<LoadSDNode>(N)->getMemOperand()->getAddrSpace() ==
      AMDGPUAS::CONSTANT_ADDRESS_32BIT)
    return true;
  return false;
case AMDGPUISD::SETCC: // ballot-style instruction
  return true;
}
return false;
820}

822SDValue AMDGPUTargetLowering::getNegatedExpression(
  SDValue Op, SelectionDAG &DAG, bool LegalOperations, bool ForCodeSize,
  NegatibleCost &Cost, unsigned Depth) const {

switch (Op.getOpcode()) {
case ISD::FMA:
case ISD::FMAD: {
  // Negating a fma is not free if it has users without source mods.
  if (!allUsesHaveSourceMods(Op.getNode()))
    return SDValue();
  break;
}
case AMDGPUISD::RCP: {
  SDValue Src = Op.getOperand(0);
  EVT VT = Op.getValueType();
  SDLoc SL(Op);

  SDValue NegSrc = getNegatedExpression(Src, DAG, LegalOperations,
                                        ForCodeSize, Cost, Depth + 1);
  if (NegSrc)
    return DAG.getNode(AMDGPUISD::RCP, SL, VT, NegSrc, Op->getFlags());
  return SDValue();
}
default:
  break;
}

return TargetLowering::getNegatedExpression(Op, DAG, LegalOperations,
                                            ForCodeSize, Cost, Depth);
851}

853//===---------------------------------------------------------------------===//
854// Target Properties
855//===---------------------------------------------------------------------===//

857bool AMDGPUTargetLowering::isFAbsFree(EVT VT) const {
assert(VT.isFloatingPoint())(static_cast <bool> (VT.isFloatingPoint()) ? void (0) :
 __assert_fail ("VT.isFloatingPoint()", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 858, __extension__ __PRETTY_FUNCTION__));

// Packed operations do not have a fabs modifier.
return VT == MVT::f32 || VT == MVT::f64 ||
       (Subtarget->has16BitInsts() && VT == MVT::f16);
863}

865bool AMDGPUTargetLowering::isFNegFree(EVT VT) const {
assert(VT.isFloatingPoint())(static_cast <bool> (VT.isFloatingPoint()) ? void (0) :
 __assert_fail ("VT.isFloatingPoint()", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 866, __extension__ __PRETTY_FUNCTION__));
// Report this based on the end legalized type.
VT = VT.getScalarType();
return VT == MVT::f32 || VT == MVT::f64 || VT == MVT::f16;
870}

872bool AMDGPUTargetLowering:: storeOfVectorConstantIsCheap(EVT MemVT,
                                                       unsigned NumElem,
                                                       unsigned AS) const {
return true;
876}

878bool AMDGPUTargetLowering::aggressivelyPreferBuildVectorSources(EVT VecVT) const {
// There are few operations which truly have vector input operands. Any vector
// operation is going to involve operations on each component, and a
// build_vector will be a copy per element, so it always makes sense to use a
// build_vector input in place of the extracted element to avoid a copy into a
// super register.
//
// We should probably only do this if all users are extracts only, but this
// should be the common case.
return true;
888}

890bool AMDGPUTargetLowering::isTruncateFree(EVT Source, EVT Dest) const {
// Truncate is just accessing a subregister.

unsigned SrcSize = Source.getSizeInBits();
unsigned DestSize = Dest.getSizeInBits();

return DestSize < SrcSize && DestSize % 32 == 0 ;
897}

899bool AMDGPUTargetLowering::isTruncateFree(Type *Source, Type *Dest) const {
// Truncate is just accessing a subregister.

unsigned SrcSize = Source->getScalarSizeInBits();
unsigned DestSize = Dest->getScalarSizeInBits();

if (DestSize== 16 && Subtarget->has16BitInsts())
  return SrcSize >= 32;

return DestSize < SrcSize && DestSize % 32 == 0;
909}

911bool AMDGPUTargetLowering::isZExtFree(Type *Src, Type *Dest) const {
unsigned SrcSize = Src->getScalarSizeInBits();
unsigned DestSize = Dest->getScalarSizeInBits();

if (SrcSize == 16 && Subtarget->has16BitInsts())
  return DestSize >= 32;

return SrcSize == 32 && DestSize == 64;
919}

921bool AMDGPUTargetLowering::isZExtFree(EVT Src, EVT Dest) const {
// Any register load of a 64-bit value really requires 2 32-bit moves. For all
// practical purposes, the extra mov 0 to load a 64-bit is free.  As used,
// this will enable reducing 64-bit operations the 32-bit, which is always
// good.

if (Src == MVT::i16)
  return Dest == MVT::i32 ||Dest == MVT::i64 ;

return Src == MVT::i32 && Dest == MVT::i64;
931}

933bool AMDGPUTargetLowering::isNarrowingProfitable(EVT SrcVT, EVT DestVT) const {
// There aren't really 64-bit registers, but pairs of 32-bit ones and only a
// limited number of native 64-bit operations. Shrinking an operation to fit
// in a single 32-bit register should always be helpful. As currently used,
// this is much less general than the name suggests, and is only used in
// places trying to reduce the sizes of loads. Shrinking loads to < 32-bits is
// not profitable, and may actually be harmful.
return SrcVT.getSizeInBits() > 32 && DestVT.getSizeInBits() == 32;
941}

943bool AMDGPUTargetLowering::isDesirableToCommuteWithShift(
  const SDNode* N, CombineLevel Level) const {
assert((N->getOpcode() == ISD::SHL || N->getOpcode() == ISD::SRA ||(static_cast <bool> ((N->getOpcode() == ISD::SHL || N
->getOpcode() == ISD::SRA || N->getOpcode() == ISD::SRL
) && "Expected shift op") ? void (0) : __assert_fail (
"(N->getOpcode() == ISD::SHL || N->getOpcode() == ISD::SRA || N->getOpcode() == ISD::SRL) && \"Expected shift op\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 947, __extension__
 __PRETTY_FUNCTION__))
        N->getOpcode() == ISD::SRL) &&(static_cast <bool> ((N->getOpcode() == ISD::SHL || N
->getOpcode() == ISD::SRA || N->getOpcode() == ISD::SRL
) && "Expected shift op") ? void (0) : __assert_fail (
"(N->getOpcode() == ISD::SHL || N->getOpcode() == ISD::SRA || N->getOpcode() == ISD::SRL) && \"Expected shift op\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 947, __extension__
 __PRETTY_FUNCTION__))
       "Expected shift op")(static_cast <bool> ((N->getOpcode() == ISD::SHL || N
->getOpcode() == ISD::SRA || N->getOpcode() == ISD::SRL
) && "Expected shift op") ? void (0) : __assert_fail (
"(N->getOpcode() == ISD::SHL || N->getOpcode() == ISD::SRA || N->getOpcode() == ISD::SRL) && \"Expected shift op\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 947, __extension__
 __PRETTY_FUNCTION__));
// Always commute pre-type legalization and right shifts.
// We're looking for shl(or(x,y),z) patterns.
if (Level < CombineLevel::AfterLegalizeTypes ||
    N->getOpcode() != ISD::SHL || N->getOperand(0).getOpcode() != ISD::OR)
  return true;

// If only user is a i32 right-shift, then don't destroy a BFE pattern.
if (N->getValueType(0) == MVT::i32 && N->use_size() == 1 &&
    (N->use_begin()->getOpcode() == ISD::SRA ||
     N->use_begin()->getOpcode() == ISD::SRL))
  return false;

// Don't destroy or(shl(load_zext(),c), load_zext()) patterns.
auto IsShiftAndLoad = [](SDValue LHS, SDValue RHS) {
  if (LHS.getOpcode() != ISD::SHL)
    return false;
  auto *RHSLd = dyn_cast<LoadSDNode>(RHS);
  auto *LHS0 = dyn_cast<LoadSDNode>(LHS.getOperand(0));
  auto *LHS1 = dyn_cast<ConstantSDNode>(LHS.getOperand(1));
  return LHS0 && LHS1 && RHSLd && LHS0->getExtensionType() == ISD::ZEXTLOAD &&
         LHS1->getAPIntValue() == LHS0->getMemoryVT().getScalarSizeInBits() &&
         RHSLd->getExtensionType() == ISD::ZEXTLOAD;
};
SDValue LHS = N->getOperand(0).getOperand(0);
SDValue RHS = N->getOperand(0).getOperand(1);
return !(IsShiftAndLoad(LHS, RHS) || IsShiftAndLoad(RHS, LHS));
974}

976//===---------------------------------------------------------------------===//
977// TargetLowering Callbacks
978//===---------------------------------------------------------------------===//

980CCAssignFn *AMDGPUCallLowering::CCAssignFnForCall(CallingConv::ID CC,
                                                bool IsVarArg) {
switch (CC) {
case CallingConv::AMDGPU_VS:
case CallingConv::AMDGPU_GS:
case CallingConv::AMDGPU_PS:
case CallingConv::AMDGPU_CS:
case CallingConv::AMDGPU_HS:
case CallingConv::AMDGPU_ES:
case CallingConv::AMDGPU_LS:
  return CC_AMDGPU;
case CallingConv::C:
case CallingConv::Fast:
case CallingConv::Cold:
  return CC_AMDGPU_Func;
case CallingConv::AMDGPU_Gfx:
  return CC_SI_Gfx;
case CallingConv::AMDGPU_KERNEL:
case CallingConv::SPIR_KERNEL:
default:
  report_fatal_error("Unsupported calling convention for call");
}
1002}

1004CCAssignFn *AMDGPUCallLowering::CCAssignFnForReturn(CallingConv::ID CC,
                                                  bool IsVarArg) {
switch (CC) {
case CallingConv::AMDGPU_KERNEL:
case CallingConv::SPIR_KERNEL:
  llvm_unreachable("kernels should not be handled here")::llvm::llvm_unreachable_internal("kernels should not be handled here"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1009);
case CallingConv::AMDGPU_VS:
case CallingConv::AMDGPU_GS:
case CallingConv::AMDGPU_PS:
case CallingConv::AMDGPU_CS:
case CallingConv::AMDGPU_HS:
case CallingConv::AMDGPU_ES:
case CallingConv::AMDGPU_LS:
  return RetCC_SI_Shader;
case CallingConv::AMDGPU_Gfx:
  return RetCC_SI_Gfx;
case CallingConv::C:
case CallingConv::Fast:
case CallingConv::Cold:
  return RetCC_AMDGPU_Func;
default:
  report_fatal_error("Unsupported calling convention.");
}
1027}

1029/// The SelectionDAGBuilder will automatically promote function arguments
1030/// with illegal types.  However, this does not work for the AMDGPU targets
1031/// since the function arguments are stored in memory as these illegal types.
1032/// In order to handle this properly we need to get the original types sizes
1033/// from the LLVM IR Function and fixup the ISD:InputArg values before
1034/// passing them to AnalyzeFormalArguments()

1036/// When the SelectionDAGBuilder computes the Ins, it takes care of splitting
1037/// input values across multiple registers.  Each item in the Ins array
1038/// represents a single value that will be stored in registers.  Ins[x].VT is
1039/// the value type of the value that will be stored in the register, so
1040/// whatever SDNode we lower the argument to needs to be this type.
1041///
1042/// In order to correctly lower the arguments we need to know the size of each
1043/// argument.  Since Ins[x].VT gives us the size of the register that will
1044/// hold the value, we need to look at Ins[x].ArgVT to see the 'real' type
1045/// for the original function argument so that we can deduce the correct memory
1046/// type to use for Ins[x].  In most cases the correct memory type will be
1047/// Ins[x].ArgVT.  However, this will not always be the case.  If, for example,
1048/// we have a kernel argument of type v8i8, this argument will be split into
1049/// 8 parts and each part will be represented by its own item in the Ins array.
1050/// For each part the Ins[x].ArgVT will be the v8i8, which is the full type of
1051/// the argument before it was split.  From this, we deduce that the memory type
1052/// for each individual part is i8.  We pass the memory type as LocVT to the
1053/// calling convention analysis function and the register type (Ins[x].VT) as
1054/// the ValVT.
1055void AMDGPUTargetLowering::analyzeFormalArgumentsCompute(
CCState &State,
const SmallVectorImpl<ISD::InputArg> &Ins) const {
const MachineFunction &MF = State.getMachineFunction();
const Function &Fn = MF.getFunction();
LLVMContext &Ctx = Fn.getParent()->getContext();
const AMDGPUSubtarget &ST = AMDGPUSubtarget::get(MF);
const unsigned ExplicitOffset = ST.getExplicitKernelArgOffset(Fn);
CallingConv::ID CC = Fn.getCallingConv();

Align MaxAlign = Align(1);
uint64_t ExplicitArgOffset = 0;
const DataLayout &DL = Fn.getParent()->getDataLayout();

unsigned InIndex = 0;

for (const Argument &Arg : Fn.args()) {
  const bool IsByRef = Arg.hasByRefAttr();
  Type *BaseArgTy = Arg.getType();
  Type *MemArgTy = IsByRef ? Arg.getParamByRefType() : BaseArgTy;
  Align Alignment = DL.getValueOrABITypeAlignment(
      IsByRef ? Arg.getParamAlign() : std::nullopt, MemArgTy);
  MaxAlign = std::max(Alignment, MaxAlign);
  uint64_t AllocSize = DL.getTypeAllocSize(MemArgTy);

  uint64_t ArgOffset = alignTo(ExplicitArgOffset, Alignment) + ExplicitOffset;
  ExplicitArgOffset = alignTo(ExplicitArgOffset, Alignment) + AllocSize;

  // We're basically throwing away everything passed into us and starting over
  // to get accurate in-memory offsets. The "PartOffset" is completely useless
  // to us as computed in Ins.
  //
  // We also need to figure out what type legalization is trying to do to get
  // the correct memory offsets.

  SmallVector<EVT, 16> ValueVTs;
  SmallVector<uint64_t, 16> Offsets;
  ComputeValueVTs(*this, DL, BaseArgTy, ValueVTs, &Offsets, ArgOffset);

  for (unsigned Value = 0, NumValues = ValueVTs.size();
       Value != NumValues; ++Value) {
    uint64_t BasePartOffset = Offsets[Value];

    EVT ArgVT = ValueVTs[Value];
    EVT MemVT = ArgVT;
    MVT RegisterVT = getRegisterTypeForCallingConv(Ctx, CC, ArgVT);
    unsigned NumRegs = getNumRegistersForCallingConv(Ctx, CC, ArgVT);

    if (NumRegs == 1) {
      // This argument is not split, so the IR type is the memory type.
      if (ArgVT.isExtended()) {
        // We have an extended type, like i24, so we should just use the
        // register type.
        MemVT = RegisterVT;
      } else {
        MemVT = ArgVT;
      }
    } else if (ArgVT.isVector() && RegisterVT.isVector() &&
               ArgVT.getScalarType() == RegisterVT.getScalarType()) {
      assert(ArgVT.getVectorNumElements() > RegisterVT.getVectorNumElements())(static_cast <bool> (ArgVT.getVectorNumElements() > RegisterVT
.getVectorNumElements()) ? void (0) : __assert_fail ("ArgVT.getVectorNumElements() > RegisterVT.getVectorNumElements()"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1114, __extension__
 __PRETTY_FUNCTION__));
      // We have a vector value which has been split into a vector with
      // the same scalar type, but fewer elements.  This should handle
      // all the floating-point vector types.
      MemVT = RegisterVT;
    } else if (ArgVT.isVector() &&
               ArgVT.getVectorNumElements() == NumRegs) {
      // This arg has been split so that each element is stored in a separate
      // register.
      MemVT = ArgVT.getScalarType();
    } else if (ArgVT.isExtended()) {
      // We have an extended type, like i65.
      MemVT = RegisterVT;
    } else {
      unsigned MemoryBits = ArgVT.getStoreSizeInBits() / NumRegs;
      assert(ArgVT.getStoreSizeInBits() % NumRegs == 0)(static_cast <bool> (ArgVT.getStoreSizeInBits() % NumRegs
 == 0) ? void (0) : __assert_fail ("ArgVT.getStoreSizeInBits() % NumRegs == 0"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1129, __extension__
 __PRETTY_FUNCTION__));
      if (RegisterVT.isInteger()) {
        MemVT = EVT::getIntegerVT(State.getContext(), MemoryBits);
      } else if (RegisterVT.isVector()) {
        assert(!RegisterVT.getScalarType().isFloatingPoint())(static_cast <bool> (!RegisterVT.getScalarType().isFloatingPoint
()) ? void (0) : __assert_fail ("!RegisterVT.getScalarType().isFloatingPoint()"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1133, __extension__
 __PRETTY_FUNCTION__));
        unsigned NumElements = RegisterVT.getVectorNumElements();
        assert(MemoryBits % NumElements == 0)(static_cast <bool> (MemoryBits % NumElements == 0) ? void
 (0) : __assert_fail ("MemoryBits % NumElements == 0", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 1135, __extension__ __PRETTY_FUNCTION__));
        // This vector type has been split into another vector type with
        // a different elements size.
        EVT ScalarVT = EVT::getIntegerVT(State.getContext(),
                                         MemoryBits / NumElements);
        MemVT = EVT::getVectorVT(State.getContext(), ScalarVT, NumElements);
      } else {
        llvm_unreachable("cannot deduce memory type.")::llvm::llvm_unreachable_internal("cannot deduce memory type."
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1142);
      }
    }

    // Convert one element vectors to scalar.
    if (MemVT.isVector() && MemVT.getVectorNumElements() == 1)
      MemVT = MemVT.getScalarType();

    // Round up vec3/vec5 argument.
    if (MemVT.isVector() && !MemVT.isPow2VectorType()) {
      assert(MemVT.getVectorNumElements() == 3 ||(static_cast <bool> (MemVT.getVectorNumElements() == 3 ||
 MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements
() >= 9 && MemVT.getVectorNumElements() <= 12))
 ? void (0) : __assert_fail ("MemVT.getVectorNumElements() == 3 || MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements() >= 9 && MemVT.getVectorNumElements() <= 12)"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1155, __extension__
 __PRETTY_FUNCTION__))
             MemVT.getVectorNumElements() == 5 ||(static_cast <bool> (MemVT.getVectorNumElements() == 3 ||
 MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements
() >= 9 && MemVT.getVectorNumElements() <= 12))
 ? void (0) : __assert_fail ("MemVT.getVectorNumElements() == 3 || MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements() >= 9 && MemVT.getVectorNumElements() <= 12)"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1155, __extension__
 __PRETTY_FUNCTION__))
             (MemVT.getVectorNumElements() >= 9 &&(static_cast <bool> (MemVT.getVectorNumElements() == 3 ||
 MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements
() >= 9 && MemVT.getVectorNumElements() <= 12))
 ? void (0) : __assert_fail ("MemVT.getVectorNumElements() == 3 || MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements() >= 9 && MemVT.getVectorNumElements() <= 12)"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1155, __extension__
 __PRETTY_FUNCTION__))
              MemVT.getVectorNumElements() <= 12))(static_cast <bool> (MemVT.getVectorNumElements() == 3 ||
 MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements
() >= 9 && MemVT.getVectorNumElements() <= 12))
 ? void (0) : __assert_fail ("MemVT.getVectorNumElements() == 3 || MemVT.getVectorNumElements() == 5 || (MemVT.getVectorNumElements() >= 9 && MemVT.getVectorNumElements() <= 12)"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1155, __extension__
 __PRETTY_FUNCTION__));
      MemVT = MemVT.getPow2VectorType(State.getContext());
    } else if (!MemVT.isSimple() && !MemVT.isVector()) {
      MemVT = MemVT.getRoundIntegerType(State.getContext());
    }

    unsigned PartOffset = 0;
    for (unsigned i = 0; i != NumRegs; ++i) {
      State.addLoc(CCValAssign::getCustomMem(InIndex++, RegisterVT,
                                             BasePartOffset + PartOffset,
                                             MemVT.getSimpleVT(),
                                             CCValAssign::Full));
      PartOffset += MemVT.getStoreSize();
    }
  }
}
1171}

1173SDValue AMDGPUTargetLowering::LowerReturn(
SDValue Chain, CallingConv::ID CallConv,
bool isVarArg,
const SmallVectorImpl<ISD::OutputArg> &Outs,
const SmallVectorImpl<SDValue> &OutVals,
const SDLoc &DL, SelectionDAG &DAG) const {
// FIXME: Fails for r600 tests
//assert(!isVarArg && Outs.empty() && OutVals.empty() &&
// "wave terminate should not have return values");
return DAG.getNode(AMDGPUISD::ENDPGM, DL, MVT::Other, Chain);
1183}

1185//===---------------------------------------------------------------------===//
1186// Target specific lowering
1187//===---------------------------------------------------------------------===//

1189/// Selects the correct CCAssignFn for a given CallingConvention value.
1190CCAssignFn *AMDGPUTargetLowering::CCAssignFnForCall(CallingConv::ID CC,
                                                  bool IsVarArg) {
return AMDGPUCallLowering::CCAssignFnForCall(CC, IsVarArg);
1193}

1195CCAssignFn *AMDGPUTargetLowering::CCAssignFnForReturn(CallingConv::ID CC,
                                                    bool IsVarArg) {
return AMDGPUCallLowering::CCAssignFnForReturn(CC, IsVarArg);
1198}

1200SDValue AMDGPUTargetLowering::addTokenForArgument(SDValue Chain,
                                                SelectionDAG &DAG,
                                                MachineFrameInfo &MFI,
                                                int ClobberedFI) const {
SmallVector<SDValue, 8> ArgChains;
int64_t FirstByte = MFI.getObjectOffset(ClobberedFI);
int64_t LastByte = FirstByte + MFI.getObjectSize(ClobberedFI) - 1;

// Include the original chain at the beginning of the list. When this is
// used by target LowerCall hooks, this helps legalize find the
// CALLSEQ_BEGIN node.
ArgChains.push_back(Chain);

// Add a chain value for each stack argument corresponding
for (SDNode *U : DAG.getEntryNode().getNode()->uses()) {
  if (LoadSDNode *L = dyn_cast<LoadSDNode>(U)) {
    if (FrameIndexSDNode *FI = dyn_cast<FrameIndexSDNode>(L->getBasePtr())) {
      if (FI->getIndex() < 0) {
        int64_t InFirstByte = MFI.getObjectOffset(FI->getIndex());
        int64_t InLastByte = InFirstByte;
        InLastByte += MFI.getObjectSize(FI->getIndex()) - 1;

        if ((InFirstByte <= FirstByte && FirstByte <= InLastByte) ||
            (FirstByte <= InFirstByte && InFirstByte <= LastByte))
          ArgChains.push_back(SDValue(L, 1));
      }
    }
  }
}

// Build a tokenfactor for all the chains.
return DAG.getNode(ISD::TokenFactor, SDLoc(Chain), MVT::Other, ArgChains);
1232}

1234SDValue AMDGPUTargetLowering::lowerUnhandledCall(CallLoweringInfo &CLI,
                                               SmallVectorImpl<SDValue> &InVals,
                                               StringRef Reason) const {
SDValue Callee = CLI.Callee;
SelectionDAG &DAG = CLI.DAG;

const Function &Fn = DAG.getMachineFunction().getFunction();

StringRef FuncName("<unknown>");

if (const ExternalSymbolSDNode *G = dyn_cast<ExternalSymbolSDNode>(Callee))
  FuncName = G->getSymbol();
else if (const GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(Callee))
  FuncName = G->getGlobal()->getName();

DiagnosticInfoUnsupported NoCalls(
  Fn, Reason + FuncName, CLI.DL.getDebugLoc());
DAG.getContext()->diagnose(NoCalls);

if (!CLI.IsTailCall) {
  for (unsigned I = 0, E = CLI.Ins.size(); I != E; ++I)
    InVals.push_back(DAG.getUNDEF(CLI.Ins[I].VT));
}

return DAG.getEntryNode();
1259}

1261SDValue AMDGPUTargetLowering::LowerCall(CallLoweringInfo &CLI,
                                      SmallVectorImpl<SDValue> &InVals) const {
return lowerUnhandledCall(CLI, InVals, "unsupported call to function ");
1264}

1266SDValue AMDGPUTargetLowering::LowerDYNAMIC_STACKALLOC(SDValue Op,
                                                    SelectionDAG &DAG) const {
const Function &Fn = DAG.getMachineFunction().getFunction();

DiagnosticInfoUnsupported NoDynamicAlloca(Fn, "unsupported dynamic alloca",
                                          SDLoc(Op).getDebugLoc());
DAG.getContext()->diagnose(NoDynamicAlloca);
auto Ops = {DAG.getConstant(0, SDLoc(), Op.getValueType()), Op.getOperand(0)};
return DAG.getMergeValues(Ops, SDLoc());
1275}

1277SDValue AMDGPUTargetLowering::LowerOperation(SDValue Op,
                                           SelectionDAG &DAG) const {
switch (Op.getOpcode()) {
default:
  Op->print(errs(), &DAG);
  llvm_unreachable("Custom lowering code for this "::llvm::llvm_unreachable_internal("Custom lowering code for this "
 "instruction is not implemented yet!", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 1283)
                   "instruction is not implemented yet!")::llvm::llvm_unreachable_internal("Custom lowering code for this "
 "instruction is not implemented yet!", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 1283);
  break;
case ISD::SIGN_EXTEND_INREG: return LowerSIGN_EXTEND_INREG(Op, DAG);
case ISD::CONCAT_VECTORS: return LowerCONCAT_VECTORS(Op, DAG);
case ISD::EXTRACT_SUBVECTOR: return LowerEXTRACT_SUBVECTOR(Op, DAG);
case ISD::UDIVREM: return LowerUDIVREM(Op, DAG);
case ISD::SDIVREM: return LowerSDIVREM(Op, DAG);
case ISD::FREM: return LowerFREM(Op, DAG);
case ISD::FCEIL: return LowerFCEIL(Op, DAG);
case ISD::FTRUNC: return LowerFTRUNC(Op, DAG);
case ISD::FRINT: return LowerFRINT(Op, DAG);
case ISD::FNEARBYINT: return LowerFNEARBYINT(Op, DAG);
case ISD::FROUNDEVEN:
  return LowerFROUNDEVEN(Op, DAG);
case ISD::FROUND: return LowerFROUND(Op, DAG);
case ISD::FFLOOR: return LowerFFLOOR(Op, DAG);
case ISD::FLOG:
  return LowerFLOG(Op, DAG, numbers::ln2f);
case ISD::FLOG10:
  return LowerFLOG(Op, DAG, numbers::ln2f / numbers::ln10f);
case ISD::FEXP:
  return lowerFEXP(Op, DAG);
case ISD::SINT_TO_FP: return LowerSINT_TO_FP(Op, DAG);
case ISD::UINT_TO_FP: return LowerUINT_TO_FP(Op, DAG);
case ISD::FP_TO_FP16: return LowerFP_TO_FP16(Op, DAG);
case ISD::FP_TO_SINT:
case ISD::FP_TO_UINT:
  return LowerFP_TO_INT(Op, DAG);
case ISD::CTTZ:
case ISD::CTTZ_ZERO_UNDEF:
case ISD::CTLZ:
case ISD::CTLZ_ZERO_UNDEF:
  return LowerCTLZ_CTTZ(Op, DAG);
case ISD::DYNAMIC_STACKALLOC: return LowerDYNAMIC_STACKALLOC(Op, DAG);
}
return Op;
1319}

1321void AMDGPUTargetLowering::ReplaceNodeResults(SDNode *N,
                                            SmallVectorImpl<SDValue> &Results,
                                            SelectionDAG &DAG) const {
switch (N->getOpcode()) {
case ISD::SIGN_EXTEND_INREG:
  // Different parts of legalization seem to interpret which type of
  // sign_extend_inreg is the one to check for custom lowering. The extended
  // from type is what really matters, but some places check for custom
  // lowering of the result type. This results in trying to use
  // ReplaceNodeResults to sext_in_reg to an illegal type, so we'll just do
  // nothing here and let the illegal result integer be handled normally.
  return;
default:
  return;
}
1336}

1338SDValue AMDGPUTargetLowering::LowerGlobalAddress(AMDGPUMachineFunction* MFI,
                                               SDValue Op,
                                               SelectionDAG &DAG) const {

const DataLayout &DL = DAG.getDataLayout();
GlobalAddressSDNode *G = cast<GlobalAddressSDNode>(Op);
const GlobalValue *GV = G->getGlobal();

if (!MFI->isModuleEntryFunction()) {
  if (std::optional<uint32_t> Address =
          AMDGPUMachineFunction::getLDSAbsoluteAddress(*GV)) {
    return DAG.getConstant(*Address, SDLoc(Op), Op.getValueType());
  }
}

if (G->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS ||
    G->getAddressSpace() == AMDGPUAS::REGION_ADDRESS) {
  if (!MFI->isModuleEntryFunction() &&
      !GV->getName().equals("llvm.amdgcn.module.lds")) {
    SDLoc DL(Op);
    const Function &Fn = DAG.getMachineFunction().getFunction();
    DiagnosticInfoUnsupported BadLDSDecl(
      Fn, "local memory global used by non-kernel function",
      DL.getDebugLoc(), DS_Warning);
    DAG.getContext()->diagnose(BadLDSDecl);

    // We currently don't have a way to correctly allocate LDS objects that
    // aren't directly associated with a kernel. We do force inlining of
    // functions that use local objects. However, if these dead functions are
    // not eliminated, we don't want a compile time error. Just emit a warning
    // and a trap, since there should be no callable path here.
    SDValue Trap = DAG.getNode(ISD::TRAP, DL, MVT::Other, DAG.getEntryNode());
    SDValue OutputChain = DAG.getNode(ISD::TokenFactor, DL, MVT::Other,
                                      Trap, DAG.getRoot());
    DAG.setRoot(OutputChain);
    return DAG.getUNDEF(Op.getValueType());
  }

  // XXX: What does the value of G->getOffset() mean?
  assert(G->getOffset() == 0 &&(static_cast <bool> (G->getOffset() == 0 && "Do not know what to do with an non-zero offset"
) ? void (0) : __assert_fail ("G->getOffset() == 0 && \"Do not know what to do with an non-zero offset\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1378, __extension__
 __PRETTY_FUNCTION__))
       "Do not know what to do with an non-zero offset")(static_cast <bool> (G->getOffset() == 0 && "Do not know what to do with an non-zero offset"
) ? void (0) : __assert_fail ("G->getOffset() == 0 && \"Do not know what to do with an non-zero offset\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1378, __extension__
 __PRETTY_FUNCTION__));

  // TODO: We could emit code to handle the initialization somewhere.
  // We ignore the initializer for now and legalize it to allow selection.
  // The initializer will anyway get errored out during assembly emission.
  unsigned Offset = MFI->allocateLDSGlobal(DL, *cast<GlobalVariable>(GV));
  return DAG.getConstant(Offset, SDLoc(Op), Op.getValueType());
}
return SDValue();
1387}

1389SDValue AMDGPUTargetLowering::LowerCONCAT_VECTORS(SDValue Op,
                                                SelectionDAG &DAG) const {
SmallVector<SDValue, 8> Args;
SDLoc SL(Op);

EVT VT = Op.getValueType();
if (VT.getVectorElementType().getSizeInBits() < 32) {
  unsigned OpBitSize = Op.getOperand(0).getValueType().getSizeInBits();
  if (OpBitSize >= 32 && OpBitSize % 32 == 0) {
    unsigned NewNumElt = OpBitSize / 32;
    EVT NewEltVT = (NewNumElt == 1) ? MVT::i32
                                    : EVT::getVectorVT(*DAG.getContext(),
                                                       MVT::i32, NewNumElt);
    for (const SDUse &U : Op->ops()) {
      SDValue In = U.get();
      SDValue NewIn = DAG.getNode(ISD::BITCAST, SL, NewEltVT, In);
      if (NewNumElt > 1)
        DAG.ExtractVectorElements(NewIn, Args);
      else
        Args.push_back(NewIn);
    }

    EVT NewVT = EVT::getVectorVT(*DAG.getContext(), MVT::i32,
                                 NewNumElt * Op.getNumOperands());
    SDValue BV = DAG.getBuildVector(NewVT, SL, Args);
    return DAG.getNode(ISD::BITCAST, SL, VT, BV);
  }
}

for (const SDUse &U : Op->ops())
  DAG.ExtractVectorElements(U.get(), Args);

return DAG.getBuildVector(Op.getValueType(), SL, Args);
1422}

1424SDValue AMDGPUTargetLowering::LowerEXTRACT_SUBVECTOR(SDValue Op,
                                                   SelectionDAG &DAG) const {
SDLoc SL(Op);
SmallVector<SDValue, 8> Args;
unsigned Start = cast<ConstantSDNode>(Op.getOperand(1))->getZExtValue();
EVT VT = Op.getValueType();
EVT SrcVT = Op.getOperand(0).getValueType();

if (VT.getScalarSizeInBits() == 16 && Start % 2 == 0) {
  unsigned NumElt = VT.getVectorNumElements();
  unsigned NumSrcElt = SrcVT.getVectorNumElements();
  assert(NumElt % 2 == 0 && NumSrcElt % 2 == 0 && "expect legal types")(static_cast <bool> (NumElt % 2 == 0 && NumSrcElt
 % 2 == 0 && "expect legal types") ? void (0) : __assert_fail
 ("NumElt % 2 == 0 && NumSrcElt % 2 == 0 && \"expect legal types\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1435, __extension__
 __PRETTY_FUNCTION__));

  // We have some TableGen patterns for when the extracted vector is exactly
  // the low or high half of the operand.
  if ((NumSrcElt == 2 * NumElt) && (Start == 0 || Start == NumElt))
    return Op;

  // Extract 32-bit registers at a time.
  EVT NewSrcVT = EVT::getVectorVT(*DAG.getContext(), MVT::i32, NumSrcElt / 2);
  EVT NewVT = NumElt == 2
                  ? MVT::i32
                  : EVT::getVectorVT(*DAG.getContext(), MVT::i32, NumElt / 2);
  SDValue Tmp = DAG.getNode(ISD::BITCAST, SL, NewSrcVT, Op.getOperand(0));

  DAG.ExtractVectorElements(Tmp, Args, Start / 2, NumElt / 2);
  if (NumElt == 2)
    Tmp = Args[0];
  else
    Tmp = DAG.getBuildVector(NewVT, SL, Args);

  return DAG.getNode(ISD::BITCAST, SL, VT, Tmp);
}

DAG.ExtractVectorElements(Op.getOperand(0), Args, Start,
                          VT.getVectorNumElements());

return DAG.getBuildVector(Op.getValueType(), SL, Args);
1462}

1464// TODO: Handle fabs too
1465static SDValue peekFNeg(SDValue Val) {
if (Val.getOpcode() == ISD::FNEG)
  return Val.getOperand(0);

return Val;
1470}
1471SDValue AMDGPUTargetLowering::combineFMinMaxLegacyImpl(
  const SDLoc &DL, EVT VT, SDValue LHS, SDValue RHS, SDValue True,
  SDValue False, SDValue CC, DAGCombinerInfo &DCI) const {
SelectionDAG &DAG = DCI.DAG;
ISD::CondCode CCOpcode = cast<CondCodeSDNode>(CC)->get();
switch (CCOpcode) {
case ISD::SETOEQ:
case ISD::SETONE:
case ISD::SETUNE:
case ISD::SETNE:
case ISD::SETUEQ:
case ISD::SETEQ:
case ISD::SETFALSE:
case ISD::SETFALSE2:
case ISD::SETTRUE:
case ISD::SETTRUE2:
case ISD::SETUO:
case ISD::SETO:
  break;
case ISD::SETULE:
case ISD::SETULT: {
  if (LHS == True)
    return DAG.getNode(AMDGPUISD::FMIN_LEGACY, DL, VT, RHS, LHS);
  return DAG.getNode(AMDGPUISD::FMAX_LEGACY, DL, VT, LHS, RHS);
}
case ISD::SETOLE:
case ISD::SETOLT:
case ISD::SETLE:
case ISD::SETLT: {
  // Ordered. Assume ordered for undefined.

  // Only do this after legalization to avoid interfering with other combines
  // which might occur.
  if (DCI.getDAGCombineLevel() < AfterLegalizeDAG &&
      !DCI.isCalledByLegalizer())
    return SDValue();

  // We need to permute the operands to get the correct NaN behavior. The
  // selected operand is the second one based on the failing compare with NaN,
  // so permute it based on the compare type the hardware uses.
  if (LHS == True)
    return DAG.getNode(AMDGPUISD::FMIN_LEGACY, DL, VT, LHS, RHS);
  return DAG.getNode(AMDGPUISD::FMAX_LEGACY, DL, VT, RHS, LHS);
}
case ISD::SETUGE:
case ISD::SETUGT: {
  if (LHS == True)
    return DAG.getNode(AMDGPUISD::FMAX_LEGACY, DL, VT, RHS, LHS);
  return DAG.getNode(AMDGPUISD::FMIN_LEGACY, DL, VT, LHS, RHS);
}
case ISD::SETGT:
case ISD::SETGE:
case ISD::SETOGE:
case ISD::SETOGT: {
  if (DCI.getDAGCombineLevel() < AfterLegalizeDAG &&
      !DCI.isCalledByLegalizer())
    return SDValue();

  if (LHS == True)
    return DAG.getNode(AMDGPUISD::FMAX_LEGACY, DL, VT, LHS, RHS);
  return DAG.getNode(AMDGPUISD::FMIN_LEGACY, DL, VT, RHS, LHS);
}
case ISD::SETCC_INVALID:
  llvm_unreachable("Invalid setcc condcode!")::llvm::llvm_unreachable_internal("Invalid setcc condcode!", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 1534);
}
return SDValue();
1537}

1539/// Generate Min/Max node
1540SDValue AMDGPUTargetLowering::combineFMinMaxLegacy(const SDLoc &DL, EVT VT,
                                                 SDValue LHS, SDValue RHS,
                                                 SDValue True, SDValue False,
                                                 SDValue CC,
                                                 DAGCombinerInfo &DCI) const {
if ((LHS == True && RHS == False) || (LHS == False && RHS == True))
  return combineFMinMaxLegacyImpl(DL, VT, LHS, RHS, True, False, CC, DCI);

SelectionDAG &DAG = DCI.DAG;

// If we can't directly match this, try to see if we can fold an fneg to
// match.

ConstantFPSDNode *CRHS = dyn_cast<ConstantFPSDNode>(RHS);
ConstantFPSDNode *CFalse = dyn_cast<ConstantFPSDNode>(False);
SDValue NegTrue = peekFNeg(True);

// Undo the combine foldFreeOpFromSelect does if it helps us match the
// fmin/fmax.
//
// select (fcmp olt (lhs, K)), (fneg lhs), -K
// -> fneg (fmin_legacy lhs, K)
//
// TODO: Use getNegatedExpression
if (LHS == NegTrue && CFalse && CRHS) {
  APFloat NegRHS = neg(CRHS->getValueAPF());
  if (NegRHS == CFalse->getValueAPF()) {
    SDValue Combined =
        combineFMinMaxLegacyImpl(DL, VT, LHS, RHS, NegTrue, False, CC, DCI);
    if (Combined)
      return DAG.getNode(ISD::FNEG, DL, VT, Combined);
    return SDValue();
  }
}

return SDValue();
1576}

1578std::pair<SDValue, SDValue>
1579AMDGPUTargetLowering::split64BitValue(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);

SDValue Vec = DAG.getNode(ISD::BITCAST, SL, MVT::v2i32, Op);

const SDValue Zero = DAG.getConstant(0, SL, MVT::i32);
const SDValue One = DAG.getConstant(1, SL, MVT::i32);

SDValue Lo = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, Vec, Zero);
SDValue Hi = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, Vec, One);

return std::pair(Lo, Hi);
1591}

1593SDValue AMDGPUTargetLowering::getLoHalf64(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);

SDValue Vec = DAG.getNode(ISD::BITCAST, SL, MVT::v2i32, Op);
const SDValue Zero = DAG.getConstant(0, SL, MVT::i32);
return DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, Vec, Zero);
1599}

1601SDValue AMDGPUTargetLowering::getHiHalf64(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);

SDValue Vec = DAG.getNode(ISD::BITCAST, SL, MVT::v2i32, Op);
const SDValue One = DAG.getConstant(1, SL, MVT::i32);
return DAG.getNode(ISD::EXTRACT_VECTOR_ELT, SL, MVT::i32, Vec, One);
1607}

1609// Split a vector type into two parts. The first part is a power of two vector.
1610// The second part is whatever is left over, and is a scalar if it would
1611// otherwise be a 1-vector.
1612std::pair<EVT, EVT>
1613AMDGPUTargetLowering::getSplitDestVTs(const EVT &VT, SelectionDAG &DAG) const {
EVT LoVT, HiVT;
EVT EltVT = VT.getVectorElementType();
unsigned NumElts = VT.getVectorNumElements();
unsigned LoNumElts = PowerOf2Ceil((NumElts + 1) / 2);
LoVT = EVT::getVectorVT(*DAG.getContext(), EltVT, LoNumElts);
HiVT = NumElts - LoNumElts == 1
           ? EltVT
           : EVT::getVectorVT(*DAG.getContext(), EltVT, NumElts - LoNumElts);
return std::pair(LoVT, HiVT);
1623}

1625// Split a vector value into two parts of types LoVT and HiVT. HiVT could be
1626// scalar.
1627std::pair<SDValue, SDValue>
1628AMDGPUTargetLowering::splitVector(const SDValue &N, const SDLoc &DL,
                                const EVT &LoVT, const EVT &HiVT,
                                SelectionDAG &DAG) const {
assert(LoVT.getVectorNumElements() +(static_cast <bool> (LoVT.getVectorNumElements() + (HiVT
.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType
().getVectorNumElements() && "More vector elements requested than available!"
) ? void (0) : __assert_fail ("LoVT.getVectorNumElements() + (HiVT.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType().getVectorNumElements() && \"More vector elements requested than available!\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1634, __extension__
 __PRETTY_FUNCTION__))
               (HiVT.isVector() ? HiVT.getVectorNumElements() : 1) <=(static_cast <bool> (LoVT.getVectorNumElements() + (HiVT
.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType
().getVectorNumElements() && "More vector elements requested than available!"
) ? void (0) : __assert_fail ("LoVT.getVectorNumElements() + (HiVT.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType().getVectorNumElements() && \"More vector elements requested than available!\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1634, __extension__
 __PRETTY_FUNCTION__))
           N.getValueType().getVectorNumElements() &&(static_cast <bool> (LoVT.getVectorNumElements() + (HiVT
.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType
().getVectorNumElements() && "More vector elements requested than available!"
) ? void (0) : __assert_fail ("LoVT.getVectorNumElements() + (HiVT.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType().getVectorNumElements() && \"More vector elements requested than available!\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1634, __extension__
 __PRETTY_FUNCTION__))
       "More vector elements requested than available!")(static_cast <bool> (LoVT.getVectorNumElements() + (HiVT
.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType
().getVectorNumElements() && "More vector elements requested than available!"
) ? void (0) : __assert_fail ("LoVT.getVectorNumElements() + (HiVT.isVector() ? HiVT.getVectorNumElements() : 1) <= N.getValueType().getVectorNumElements() && \"More vector elements requested than available!\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1634, __extension__
 __PRETTY_FUNCTION__));
SDValue Lo = DAG.getNode(ISD::EXTRACT_SUBVECTOR, DL, LoVT, N,
                         DAG.getVectorIdxConstant(0, DL));
SDValue Hi = DAG.getNode(
    HiVT.isVector() ? ISD::EXTRACT_SUBVECTOR : ISD::EXTRACT_VECTOR_ELT, DL,
    HiVT, N, DAG.getVectorIdxConstant(LoVT.getVectorNumElements(), DL));
return std::pair(Lo, Hi);
1641}

1643SDValue AMDGPUTargetLowering::SplitVectorLoad(const SDValue Op,
                                            SelectionDAG &DAG) const {
LoadSDNode *Load = cast<LoadSDNode>(Op);
EVT VT = Op.getValueType();
SDLoc SL(Op);


// If this is a 2 element vector, we really want to scalarize and not create
// weird 1 element vectors.
if (VT.getVectorNumElements() == 2) {
  SDValue Ops[2];
  std::tie(Ops[0], Ops[1]) = scalarizeVectorLoad(Load, DAG);
  return DAG.getMergeValues(Ops, SL);
}

SDValue BasePtr = Load->getBasePtr();
EVT MemVT = Load->getMemoryVT();

const MachinePointerInfo &SrcValue = Load->getMemOperand()->getPointerInfo();

EVT LoVT, HiVT;
EVT LoMemVT, HiMemVT;
SDValue Lo, Hi;

std::tie(LoVT, HiVT) = getSplitDestVTs(VT, DAG);
std::tie(LoMemVT, HiMemVT) = getSplitDestVTs(MemVT, DAG);
std::tie(Lo, Hi) = splitVector(Op, SL, LoVT, HiVT, DAG);

unsigned Size = LoMemVT.getStoreSize();
Align BaseAlign = Load->getAlign();
Align HiAlign = commonAlignment(BaseAlign, Size);

SDValue LoLoad = DAG.getExtLoad(Load->getExtensionType(), SL, LoVT,
                                Load->getChain(), BasePtr, SrcValue, LoMemVT,
                                BaseAlign, Load->getMemOperand()->getFlags());
SDValue HiPtr = DAG.getObjectPtrOffset(SL, BasePtr, TypeSize::Fixed(Size));
SDValue HiLoad =
    DAG.getExtLoad(Load->getExtensionType(), SL, HiVT, Load->getChain(),
                   HiPtr, SrcValue.getWithOffset(LoMemVT.getStoreSize()),
                   HiMemVT, HiAlign, Load->getMemOperand()->getFlags());

SDValue Join;
if (LoVT == HiVT) {
  // This is the case that the vector is power of two so was evenly split.
  Join = DAG.getNode(ISD::CONCAT_VECTORS, SL, VT, LoLoad, HiLoad);
} else {
  Join = DAG.getNode(ISD::INSERT_SUBVECTOR, SL, VT, DAG.getUNDEF(VT), LoLoad,
                     DAG.getVectorIdxConstant(0, SL));
  Join = DAG.getNode(
      HiVT.isVector() ? ISD::INSERT_SUBVECTOR : ISD::INSERT_VECTOR_ELT, SL,
      VT, Join, HiLoad,
      DAG.getVectorIdxConstant(LoVT.getVectorNumElements(), SL));
}

SDValue Ops[] = {Join, DAG.getNode(ISD::TokenFactor, SL, MVT::Other,
                                   LoLoad.getValue(1), HiLoad.getValue(1))};

return DAG.getMergeValues(Ops, SL);
1701}

1703SDValue AMDGPUTargetLowering::WidenOrSplitVectorLoad(SDValue Op,
                                                   SelectionDAG &DAG) const {
LoadSDNode *Load = cast<LoadSDNode>(Op);
EVT VT = Op.getValueType();
SDValue BasePtr = Load->getBasePtr();
EVT MemVT = Load->getMemoryVT();
SDLoc SL(Op);
const MachinePointerInfo &SrcValue = Load->getMemOperand()->getPointerInfo();
Align BaseAlign = Load->getAlign();
unsigned NumElements = MemVT.getVectorNumElements();

// Widen from vec3 to vec4 when the load is at least 8-byte aligned
// or 16-byte fully dereferenceable. Otherwise, split the vector load.
if (NumElements != 3 ||
    (BaseAlign < Align(8) &&
     !SrcValue.isDereferenceable(16, *DAG.getContext(), DAG.getDataLayout())))
  return SplitVectorLoad(Op, DAG);

assert(NumElements == 3)(static_cast <bool> (NumElements == 3) ? void (0) : __assert_fail
 ("NumElements == 3", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 1721, __extension__ __PRETTY_FUNCTION__));

EVT WideVT =
    EVT::getVectorVT(*DAG.getContext(), VT.getVectorElementType(), 4);
EVT WideMemVT =
    EVT::getVectorVT(*DAG.getContext(), MemVT.getVectorElementType(), 4);
SDValue WideLoad = DAG.getExtLoad(
    Load->getExtensionType(), SL, WideVT, Load->getChain(), BasePtr, SrcValue,
    WideMemVT, BaseAlign, Load->getMemOperand()->getFlags());
return DAG.getMergeValues(
    {DAG.getNode(ISD::EXTRACT_SUBVECTOR, SL, VT, WideLoad,
                 DAG.getVectorIdxConstant(0, SL)),
     WideLoad.getValue(1)},
    SL);
1735}

1737SDValue AMDGPUTargetLowering::SplitVectorStore(SDValue Op,
                                             SelectionDAG &DAG) const {
StoreSDNode *Store = cast<StoreSDNode>(Op);
SDValue Val = Store->getValue();
EVT VT = Val.getValueType();

// If this is a 2 element vector, we really want to scalarize and not create
// weird 1 element vectors.
if (VT.getVectorNumElements() == 2)
  return scalarizeVectorStore(Store, DAG);

EVT MemVT = Store->getMemoryVT();
SDValue Chain = Store->getChain();
SDValue BasePtr = Store->getBasePtr();
SDLoc SL(Op);

EVT LoVT, HiVT;
EVT LoMemVT, HiMemVT;
SDValue Lo, Hi;

std::tie(LoVT, HiVT) = getSplitDestVTs(VT, DAG);
std::tie(LoMemVT, HiMemVT) = getSplitDestVTs(MemVT, DAG);
std::tie(Lo, Hi) = splitVector(Val, SL, LoVT, HiVT, DAG);

SDValue HiPtr = DAG.getObjectPtrOffset(SL, BasePtr, LoMemVT.getStoreSize());

const MachinePointerInfo &SrcValue = Store->getMemOperand()->getPointerInfo();
Align BaseAlign = Store->getAlign();
unsigned Size = LoMemVT.getStoreSize();
Align HiAlign = commonAlignment(BaseAlign, Size);

SDValue LoStore =
    DAG.getTruncStore(Chain, SL, Lo, BasePtr, SrcValue, LoMemVT, BaseAlign,
                      Store->getMemOperand()->getFlags());
SDValue HiStore =
    DAG.getTruncStore(Chain, SL, Hi, HiPtr, SrcValue.getWithOffset(Size),
                      HiMemVT, HiAlign, Store->getMemOperand()->getFlags());

return DAG.getNode(ISD::TokenFactor, SL, MVT::Other, LoStore, HiStore);
1776}

1778// This is a shortcut for integer division because we have fast i32<->f32
1779// conversions, and fast f32 reciprocal instructions. The fractional part of a
1780// float is enough to accurately represent up to a 24-bit signed integer.
1781SDValue AMDGPUTargetLowering::LowerDIVREM24(SDValue Op, SelectionDAG &DAG,
                                          bool Sign) const {
SDLoc DL(Op);
EVT VT = Op.getValueType();
SDValue LHS = Op.getOperand(0);
SDValue RHS = Op.getOperand(1);
MVT IntVT = MVT::i32;
MVT FltVT = MVT::f32;

unsigned LHSSignBits = DAG.ComputeNumSignBits(LHS);
if (LHSSignBits < 9)
  return SDValue();

unsigned RHSSignBits = DAG.ComputeNumSignBits(RHS);
if (RHSSignBits < 9)
  return SDValue();

unsigned BitSize = VT.getSizeInBits();
unsigned SignBits = std::min(LHSSignBits, RHSSignBits);
unsigned DivBits = BitSize - SignBits;
if (Sign)
  ++DivBits;

ISD::NodeType ToFp = Sign ? ISD::SINT_TO_FP : ISD::UINT_TO_FP;
ISD::NodeType ToInt = Sign ? ISD::FP_TO_SINT : ISD::FP_TO_UINT;

SDValue jq = DAG.getConstant(1, DL, IntVT);

if (Sign) {
  // char|short jq = ia ^ ib;
  jq = DAG.getNode(ISD::XOR, DL, VT, LHS, RHS);

  // jq = jq >> (bitsize - 2)
  jq = DAG.getNode(ISD::SRA, DL, VT, jq,
                   DAG.getConstant(BitSize - 2, DL, VT));

  // jq = jq | 0x1
  jq = DAG.getNode(ISD::OR, DL, VT, jq, DAG.getConstant(1, DL, VT));
}

// int ia = (int)LHS;
SDValue ia = LHS;

// int ib, (int)RHS;
SDValue ib = RHS;

// float fa = (float)ia;
SDValue fa = DAG.getNode(ToFp, DL, FltVT, ia);

// float fb = (float)ib;
SDValue fb = DAG.getNode(ToFp, DL, FltVT, ib);

SDValue fq = DAG.getNode(ISD::FMUL, DL, FltVT,
                         fa, DAG.getNode(AMDGPUISD::RCP, DL, FltVT, fb));

// fq = trunc(fq);
fq = DAG.getNode(ISD::FTRUNC, DL, FltVT, fq);

// float fqneg = -fq;
SDValue fqneg = DAG.getNode(ISD::FNEG, DL, FltVT, fq);

MachineFunction &MF = DAG.getMachineFunction();

bool UseFmadFtz = false;
if (Subtarget->isGCN()) {
  const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
  UseFmadFtz = MFI->getMode().allFP32Denormals();
}

// float fr = mad(fqneg, fb, fa);
unsigned OpCode = !Subtarget->hasMadMacF32Insts() ? (unsigned)ISD::FMA
                  : UseFmadFtz ? (unsigned)AMDGPUISD::FMAD_FTZ
                               : (unsigned)ISD::FMAD;
SDValue fr = DAG.getNode(OpCode, DL, FltVT, fqneg, fb, fa);

// int iq = (int)fq;
SDValue iq = DAG.getNode(ToInt, DL, IntVT, fq);

// fr = fabs(fr);
fr = DAG.getNode(ISD::FABS, DL, FltVT, fr);

// fb = fabs(fb);
fb = DAG.getNode(ISD::FABS, DL, FltVT, fb);

EVT SetCCVT = getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), VT);

// int cv = fr >= fb;
SDValue cv = DAG.getSetCC(DL, SetCCVT, fr, fb, ISD::SETOGE);

// jq = (cv ? jq : 0);
jq = DAG.getNode(ISD::SELECT, DL, VT, cv, jq, DAG.getConstant(0, DL, VT));

// dst = iq + jq;
SDValue Div = DAG.getNode(ISD::ADD, DL, VT, iq, jq);

// Rem needs compensation, it's easier to recompute it
SDValue Rem = DAG.getNode(ISD::MUL, DL, VT, Div, RHS);
Rem = DAG.getNode(ISD::SUB, DL, VT, LHS, Rem);

// Truncate to number of bits this divide really is.
if (Sign) {
  SDValue InRegSize
    = DAG.getValueType(EVT::getIntegerVT(*DAG.getContext(), DivBits));
  Div = DAG.getNode(ISD::SIGN_EXTEND_INREG, DL, VT, Div, InRegSize);
  Rem = DAG.getNode(ISD::SIGN_EXTEND_INREG, DL, VT, Rem, InRegSize);
} else {
  SDValue TruncMask = DAG.getConstant((UINT64_C(1)1UL << DivBits) - 1, DL, VT);
  Div = DAG.getNode(ISD::AND, DL, VT, Div, TruncMask);
  Rem = DAG.getNode(ISD::AND, DL, VT, Rem, TruncMask);
}

return DAG.getMergeValues({ Div, Rem }, DL);
1893}

1895void AMDGPUTargetLowering::LowerUDIVREM64(SDValue Op,
                                    SelectionDAG &DAG,
                                    SmallVectorImpl<SDValue> &Results) const {
SDLoc DL(Op);
EVT VT = Op.getValueType();

assert(VT == MVT::i64 && "LowerUDIVREM64 expects an i64")(static_cast <bool> (VT == MVT::i64 && "LowerUDIVREM64 expects an i64"
) ? void (0) : __assert_fail ("VT == MVT::i64 && \"LowerUDIVREM64 expects an i64\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 1901, __extension__
 __PRETTY_FUNCTION__));

EVT HalfVT = VT.getHalfSizedIntegerVT(*DAG.getContext());

SDValue One = DAG.getConstant(1, DL, HalfVT);
SDValue Zero = DAG.getConstant(0, DL, HalfVT);

//HiLo split
SDValue LHS_Lo, LHS_Hi;
SDValue LHS = Op.getOperand(0);
std::tie(LHS_Lo, LHS_Hi) = DAG.SplitScalar(LHS, DL, HalfVT, HalfVT);

SDValue RHS_Lo, RHS_Hi;
SDValue RHS = Op.getOperand(1);
std::tie(RHS_Lo, RHS_Hi) = DAG.SplitScalar(RHS, DL, HalfVT, HalfVT);

if (DAG.MaskedValueIsZero(RHS, APInt::getHighBitsSet(64, 32)) &&
    DAG.MaskedValueIsZero(LHS, APInt::getHighBitsSet(64, 32))) {

  SDValue Res = DAG.getNode(ISD::UDIVREM, DL, DAG.getVTList(HalfVT, HalfVT),
                            LHS_Lo, RHS_Lo);

  SDValue DIV = DAG.getBuildVector(MVT::v2i32, DL, {Res.getValue(0), Zero});
  SDValue REM = DAG.getBuildVector(MVT::v2i32, DL, {Res.getValue(1), Zero});

  Results.push_back(DAG.getNode(ISD::BITCAST, DL, MVT::i64, DIV));
  Results.push_back(DAG.getNode(ISD::BITCAST, DL, MVT::i64, REM));
  return;
}

if (isTypeLegal(MVT::i64)) {
  // The algorithm here is based on ideas from "Software Integer Division",
  // Tom Rodeheffer, August 2008.

  MachineFunction &MF = DAG.getMachineFunction();
  const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();

  // Compute denominator reciprocal.
  unsigned FMAD = !Subtarget->hasMadMacF32Insts() ?
                  (unsigned)ISD::FMA :
                  !MFI->getMode().allFP32Denormals() ?
                  (unsigned)ISD::FMAD :
                  (unsigned)AMDGPUISD::FMAD_FTZ;

  SDValue Cvt_Lo = DAG.getNode(ISD::UINT_TO_FP, DL, MVT::f32, RHS_Lo);
  SDValue Cvt_Hi = DAG.getNode(ISD::UINT_TO_FP, DL, MVT::f32, RHS_Hi);
  SDValue Mad1 = DAG.getNode(FMAD, DL, MVT::f32, Cvt_Hi,
    DAG.getConstantFP(APInt(32, 0x4f800000).bitsToFloat(), DL, MVT::f32),
    Cvt_Lo);
  SDValue Rcp = DAG.getNode(AMDGPUISD::RCP, DL, MVT::f32, Mad1);
  SDValue Mul1 = DAG.getNode(ISD::FMUL, DL, MVT::f32, Rcp,
    DAG.getConstantFP(APInt(32, 0x5f7ffffc).bitsToFloat(), DL, MVT::f32));
  SDValue Mul2 = DAG.getNode(ISD::FMUL, DL, MVT::f32, Mul1,
    DAG.getConstantFP(APInt(32, 0x2f800000).bitsToFloat(), DL, MVT::f32));
  SDValue Trunc = DAG.getNode(ISD::FTRUNC, DL, MVT::f32, Mul2);
  SDValue Mad2 = DAG.getNode(FMAD, DL, MVT::f32, Trunc,
    DAG.getConstantFP(APInt(32, 0xcf800000).bitsToFloat(), DL, MVT::f32),
    Mul1);
  SDValue Rcp_Lo = DAG.getNode(ISD::FP_TO_UINT, DL, HalfVT, Mad2);
  SDValue Rcp_Hi = DAG.getNode(ISD::FP_TO_UINT, DL, HalfVT, Trunc);
  SDValue Rcp64 = DAG.getBitcast(VT,
                      DAG.getBuildVector(MVT::v2i32, DL, {Rcp_Lo, Rcp_Hi}));

  SDValue Zero64 = DAG.getConstant(0, DL, VT);
  SDValue One64  = DAG.getConstant(1, DL, VT);
  SDValue Zero1 = DAG.getConstant(0, DL, MVT::i1);
  SDVTList HalfCarryVT = DAG.getVTList(HalfVT, MVT::i1);

  // First round of UNR (Unsigned integer Newton-Raphson).
  SDValue Neg_RHS = DAG.getNode(ISD::SUB, DL, VT, Zero64, RHS);
  SDValue Mullo1 = DAG.getNode(ISD::MUL, DL, VT, Neg_RHS, Rcp64);
  SDValue Mulhi1 = DAG.getNode(ISD::MULHU, DL, VT, Rcp64, Mullo1);
  SDValue Mulhi1_Lo, Mulhi1_Hi;
  std::tie(Mulhi1_Lo, Mulhi1_Hi) =
      DAG.SplitScalar(Mulhi1, DL, HalfVT, HalfVT);
  SDValue Add1_Lo = DAG.getNode(ISD::UADDO_CARRY, DL, HalfCarryVT, Rcp_Lo,
                                Mulhi1_Lo, Zero1);
  SDValue Add1_Hi = DAG.getNode(ISD::UADDO_CARRY, DL, HalfCarryVT, Rcp_Hi,
                                Mulhi1_Hi, Add1_Lo.getValue(1));
  SDValue Add1 = DAG.getBitcast(VT,
                      DAG.getBuildVector(MVT::v2i32, DL, {Add1_Lo, Add1_Hi}));

  // Second round of UNR.
  SDValue Mullo2 = DAG.getNode(ISD::MUL, DL, VT, Neg_RHS, Add1);
  SDValue Mulhi2 = DAG.getNode(ISD::MULHU, DL, VT, Add1, Mullo2);
  SDValue Mulhi2_Lo, Mulhi2_Hi;
  std::tie(Mulhi2_Lo, Mulhi2_Hi) =
      DAG.SplitScalar(Mulhi2, DL, HalfVT, HalfVT);
  SDValue Add2_Lo = DAG.getNode(ISD::UADDO_CARRY, DL, HalfCarryVT, Add1_Lo,
                                Mulhi2_Lo, Zero1);
  SDValue Add2_Hi = DAG.getNode(ISD::UADDO_CARRY, DL, HalfCarryVT, Add1_Hi,
                                Mulhi2_Hi, Add2_Lo.getValue(1));
  SDValue Add2 = DAG.getBitcast(VT,
                      DAG.getBuildVector(MVT::v2i32, DL, {Add2_Lo, Add2_Hi}));

  SDValue Mulhi3 = DAG.getNode(ISD::MULHU, DL, VT, LHS, Add2);

  SDValue Mul3 = DAG.getNode(ISD::MUL, DL, VT, RHS, Mulhi3);

  SDValue Mul3_Lo, Mul3_Hi;
  std::tie(Mul3_Lo, Mul3_Hi) = DAG.SplitScalar(Mul3, DL, HalfVT, HalfVT);
  SDValue Sub1_Lo = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, LHS_Lo,
                                Mul3_Lo, Zero1);
  SDValue Sub1_Hi = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, LHS_Hi,
                                Mul3_Hi, Sub1_Lo.getValue(1));
  SDValue Sub1_Mi = DAG.getNode(ISD::SUB, DL, HalfVT, LHS_Hi, Mul3_Hi);
  SDValue Sub1 = DAG.getBitcast(VT,
                      DAG.getBuildVector(MVT::v2i32, DL, {Sub1_Lo, Sub1_Hi}));

  SDValue MinusOne = DAG.getConstant(0xffffffffu, DL, HalfVT);
  SDValue C1 = DAG.getSelectCC(DL, Sub1_Hi, RHS_Hi, MinusOne, Zero,
                               ISD::SETUGE);
  SDValue C2 = DAG.getSelectCC(DL, Sub1_Lo, RHS_Lo, MinusOne, Zero,
                               ISD::SETUGE);
  SDValue C3 = DAG.getSelectCC(DL, Sub1_Hi, RHS_Hi, C2, C1, ISD::SETEQ);

  // TODO: Here and below portions of the code can be enclosed into if/endif.
  // Currently control flow is unconditional and we have 4 selects after
  // potential endif to substitute PHIs.

  // if C3 != 0 ...
  SDValue Sub2_Lo = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, Sub1_Lo,
                                RHS_Lo, Zero1);
  SDValue Sub2_Mi = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, Sub1_Mi,
                                RHS_Hi, Sub1_Lo.getValue(1));
  SDValue Sub2_Hi = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, Sub2_Mi,
                                Zero, Sub2_Lo.getValue(1));
  SDValue Sub2 = DAG.getBitcast(VT,
                      DAG.getBuildVector(MVT::v2i32, DL, {Sub2_Lo, Sub2_Hi}));

  SDValue Add3 = DAG.getNode(ISD::ADD, DL, VT, Mulhi3, One64);

  SDValue C4 = DAG.getSelectCC(DL, Sub2_Hi, RHS_Hi, MinusOne, Zero,
                               ISD::SETUGE);
  SDValue C5 = DAG.getSelectCC(DL, Sub2_Lo, RHS_Lo, MinusOne, Zero,
                               ISD::SETUGE);
  SDValue C6 = DAG.getSelectCC(DL, Sub2_Hi, RHS_Hi, C5, C4, ISD::SETEQ);

  // if (C6 != 0)
  SDValue Add4 = DAG.getNode(ISD::ADD, DL, VT, Add3, One64);

  SDValue Sub3_Lo = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, Sub2_Lo,
                                RHS_Lo, Zero1);
  SDValue Sub3_Mi = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, Sub2_Mi,
                                RHS_Hi, Sub2_Lo.getValue(1));
  SDValue Sub3_Hi = DAG.getNode(ISD::USUBO_CARRY, DL, HalfCarryVT, Sub3_Mi,
                                Zero, Sub3_Lo.getValue(1));
  SDValue Sub3 = DAG.getBitcast(VT,
                      DAG.getBuildVector(MVT::v2i32, DL, {Sub3_Lo, Sub3_Hi}));

  // endif C6
  // endif C3

  SDValue Sel1 = DAG.getSelectCC(DL, C6, Zero, Add4, Add3, ISD::SETNE);
  SDValue Div  = DAG.getSelectCC(DL, C3, Zero, Sel1, Mulhi3, ISD::SETNE);

  SDValue Sel2 = DAG.getSelectCC(DL, C6, Zero, Sub3, Sub2, ISD::SETNE);
  SDValue Rem  = DAG.getSelectCC(DL, C3, Zero, Sel2, Sub1, ISD::SETNE);

  Results.push_back(Div);
  Results.push_back(Rem);

  return;
}

// r600 expandion.
// Get Speculative values
SDValue DIV_Part = DAG.getNode(ISD::UDIV, DL, HalfVT, LHS_Hi, RHS_Lo);
SDValue REM_Part = DAG.getNode(ISD::UREM, DL, HalfVT, LHS_Hi, RHS_Lo);

SDValue REM_Lo = DAG.getSelectCC(DL, RHS_Hi, Zero, REM_Part, LHS_Hi, ISD::SETEQ);
SDValue REM = DAG.getBuildVector(MVT::v2i32, DL, {REM_Lo, Zero});
REM = DAG.getNode(ISD::BITCAST, DL, MVT::i64, REM);

SDValue DIV_Hi = DAG.getSelectCC(DL, RHS_Hi, Zero, DIV_Part, Zero, ISD::SETEQ);
SDValue DIV_Lo = Zero;

const unsigned halfBitWidth = HalfVT.getSizeInBits();

for (unsigned i = 0; i < halfBitWidth; ++i) {
  const unsigned bitPos = halfBitWidth - i - 1;
  SDValue POS = DAG.getConstant(bitPos, DL, HalfVT);
  // Get value of high bit
  SDValue HBit = DAG.getNode(ISD::SRL, DL, HalfVT, LHS_Lo, POS);
  HBit = DAG.getNode(ISD::AND, DL, HalfVT, HBit, One);
  HBit = DAG.getNode(ISD::ZERO_EXTEND, DL, VT, HBit);

  // Shift
  REM = DAG.getNode(ISD::SHL, DL, VT, REM, DAG.getConstant(1, DL, VT));
  // Add LHS high bit
  REM = DAG.getNode(ISD::OR, DL, VT, REM, HBit);

  SDValue BIT = DAG.getConstant(1ULL << bitPos, DL, HalfVT);
  SDValue realBIT = DAG.getSelectCC(DL, REM, RHS, BIT, Zero, ISD::SETUGE);

  DIV_Lo = DAG.getNode(ISD::OR, DL, HalfVT, DIV_Lo, realBIT);

  // Update REM
  SDValue REM_sub = DAG.getNode(ISD::SUB, DL, VT, REM, RHS);
  REM = DAG.getSelectCC(DL, REM, RHS, REM_sub, REM, ISD::SETUGE);
}

SDValue DIV = DAG.getBuildVector(MVT::v2i32, DL, {DIV_Lo, DIV_Hi});
DIV = DAG.getNode(ISD::BITCAST, DL, MVT::i64, DIV);
Results.push_back(DIV);
Results.push_back(REM);
2107}

2109SDValue AMDGPUTargetLowering::LowerUDIVREM(SDValue Op,
                                         SelectionDAG &DAG) const {
SDLoc DL(Op);
EVT VT = Op.getValueType();

if (VT == MVT::i64) {
  SmallVector<SDValue, 2> Results;
  LowerUDIVREM64(Op, DAG, Results);
  return DAG.getMergeValues(Results, DL);
}

if (VT == MVT::i32) {
  if (SDValue Res = LowerDIVREM24(Op, DAG, false))
    return Res;
}

SDValue X = Op.getOperand(0);
SDValue Y = Op.getOperand(1);

// See AMDGPUCodeGenPrepare::expandDivRem32 for a description of the
// algorithm used here.

// Initial estimate of inv(y).
SDValue Z = DAG.getNode(AMDGPUISD::URECIP, DL, VT, Y);

// One round of UNR.
SDValue NegY = DAG.getNode(ISD::SUB, DL, VT, DAG.getConstant(0, DL, VT), Y);
SDValue NegYZ = DAG.getNode(ISD::MUL, DL, VT, NegY, Z);
Z = DAG.getNode(ISD::ADD, DL, VT, Z,
                DAG.getNode(ISD::MULHU, DL, VT, Z, NegYZ));

// Quotient/remainder estimate.
SDValue Q = DAG.getNode(ISD::MULHU, DL, VT, X, Z);
SDValue R =
    DAG.getNode(ISD::SUB, DL, VT, X, DAG.getNode(ISD::MUL, DL, VT, Q, Y));

// First quotient/remainder refinement.
EVT CCVT = getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), VT);
SDValue One = DAG.getConstant(1, DL, VT);
SDValue Cond = DAG.getSetCC(DL, CCVT, R, Y, ISD::SETUGE);
Q = DAG.getNode(ISD::SELECT, DL, VT, Cond,
                DAG.getNode(ISD::ADD, DL, VT, Q, One), Q);
R = DAG.getNode(ISD::SELECT, DL, VT, Cond,
                DAG.getNode(ISD::SUB, DL, VT, R, Y), R);

// Second quotient/remainder refinement.
Cond = DAG.getSetCC(DL, CCVT, R, Y, ISD::SETUGE);
Q = DAG.getNode(ISD::SELECT, DL, VT, Cond,
                DAG.getNode(ISD::ADD, DL, VT, Q, One), Q);
R = DAG.getNode(ISD::SELECT, DL, VT, Cond,
                DAG.getNode(ISD::SUB, DL, VT, R, Y), R);

return DAG.getMergeValues({Q, R}, DL);
2162}

2164SDValue AMDGPUTargetLowering::LowerSDIVREM(SDValue Op,
                                         SelectionDAG &DAG) const {
SDLoc DL(Op);
EVT VT = Op.getValueType();

SDValue LHS = Op.getOperand(0);
SDValue RHS = Op.getOperand(1);

SDValue Zero = DAG.getConstant(0, DL, VT);
SDValue NegOne = DAG.getConstant(-1, DL, VT);

if (VT == MVT::i32) {
  if (SDValue Res = LowerDIVREM24(Op, DAG, true))
    return Res;
}

if (VT == MVT::i64 &&
    DAG.ComputeNumSignBits(LHS) > 32 &&
    DAG.ComputeNumSignBits(RHS) > 32) {
  EVT HalfVT = VT.getHalfSizedIntegerVT(*DAG.getContext());

  //HiLo split
  SDValue LHS_Lo = DAG.getNode(ISD::EXTRACT_ELEMENT, DL, HalfVT, LHS, Zero);
  SDValue RHS_Lo = DAG.getNode(ISD::EXTRACT_ELEMENT, DL, HalfVT, RHS, Zero);
  SDValue DIVREM = DAG.getNode(ISD::SDIVREM, DL, DAG.getVTList(HalfVT, HalfVT),
                               LHS_Lo, RHS_Lo);
  SDValue Res[2] = {
    DAG.getNode(ISD::SIGN_EXTEND, DL, VT, DIVREM.getValue(0)),
    DAG.getNode(ISD::SIGN_EXTEND, DL, VT, DIVREM.getValue(1))
  };
  return DAG.getMergeValues(Res, DL);
}

SDValue LHSign = DAG.getSelectCC(DL, LHS, Zero, NegOne, Zero, ISD::SETLT);
SDValue RHSign = DAG.getSelectCC(DL, RHS, Zero, NegOne, Zero, ISD::SETLT);
SDValue DSign = DAG.getNode(ISD::XOR, DL, VT, LHSign, RHSign);
SDValue RSign = LHSign; // Remainder sign is the same as LHS

LHS = DAG.getNode(ISD::ADD, DL, VT, LHS, LHSign);
RHS = DAG.getNode(ISD::ADD, DL, VT, RHS, RHSign);

LHS = DAG.getNode(ISD::XOR, DL, VT, LHS, LHSign);
RHS = DAG.getNode(ISD::XOR, DL, VT, RHS, RHSign);

SDValue Div = DAG.getNode(ISD::UDIVREM, DL, DAG.getVTList(VT, VT), LHS, RHS);
SDValue Rem = Div.getValue(1);

Div = DAG.getNode(ISD::XOR, DL, VT, Div, DSign);
Rem = DAG.getNode(ISD::XOR, DL, VT, Rem, RSign);

Div = DAG.getNode(ISD::SUB, DL, VT, Div, DSign);
Rem = DAG.getNode(ISD::SUB, DL, VT, Rem, RSign);

SDValue Res[2] = {
  Div,
  Rem
};
return DAG.getMergeValues(Res, DL);
2222}

2224// (frem x, y) -> (fma (fneg (ftrunc (fdiv x, y))), y, x)
2225SDValue AMDGPUTargetLowering::LowerFREM(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);
EVT VT = Op.getValueType();
auto Flags = Op->getFlags();
SDValue X = Op.getOperand(0);
SDValue Y = Op.getOperand(1);

SDValue Div = DAG.getNode(ISD::FDIV, SL, VT, X, Y, Flags);
SDValue Trunc = DAG.getNode(ISD::FTRUNC, SL, VT, Div, Flags);
SDValue Neg = DAG.getNode(ISD::FNEG, SL, VT, Trunc, Flags);
// TODO: For f32 use FMAD instead if !hasFastFMA32?
return DAG.getNode(ISD::FMA, SL, VT, Neg, Y, X, Flags);
2237}

2239SDValue AMDGPUTargetLowering::LowerFCEIL(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

// result = trunc(src)
// if (src > 0.0 && src != result)
//   result += 1.0

SDValue Trunc = DAG.getNode(ISD::FTRUNC, SL, MVT::f64, Src);

const SDValue Zero = DAG.getConstantFP(0.0, SL, MVT::f64);
const SDValue One = DAG.getConstantFP(1.0, SL, MVT::f64);

EVT SetCCVT =
    getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), MVT::f64);

SDValue Lt0 = DAG.getSetCC(SL, SetCCVT, Src, Zero, ISD::SETOGT);
SDValue NeTrunc = DAG.getSetCC(SL, SetCCVT, Src, Trunc, ISD::SETONE);
SDValue And = DAG.getNode(ISD::AND, SL, SetCCVT, Lt0, NeTrunc);

SDValue Add = DAG.getNode(ISD::SELECT, SL, MVT::f64, And, One, Zero);
// TODO: Should this propagate fast-math-flags?
return DAG.getNode(ISD::FADD, SL, MVT::f64, Trunc, Add);
2262}

2264static SDValue extractF64Exponent(SDValue Hi, const SDLoc &SL,
                                SelectionDAG &DAG) {
const unsigned FractBits = 52;
const unsigned ExpBits = 11;

SDValue ExpPart = DAG.getNode(AMDGPUISD::BFE_U32, SL, MVT::i32,
                              Hi,
                              DAG.getConstant(FractBits - 32, SL, MVT::i32),
                              DAG.getConstant(ExpBits, SL, MVT::i32));
SDValue Exp = DAG.getNode(ISD::SUB, SL, MVT::i32, ExpPart,
                          DAG.getConstant(1023, SL, MVT::i32));

return Exp;
2277}

2279SDValue AMDGPUTargetLowering::LowerFTRUNC(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

assert(Op.getValueType() == MVT::f64)(static_cast <bool> (Op.getValueType() == MVT::f64) ? void
 (0) : __assert_fail ("Op.getValueType() == MVT::f64", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 2283, __extension__ __PRETTY_FUNCTION__));

const SDValue Zero = DAG.getConstant(0, SL, MVT::i32);

// Extract the upper half, since this is where we will find the sign and
// exponent.
SDValue Hi = getHiHalf64(Src, DAG);

SDValue Exp = extractF64Exponent(Hi, SL, DAG);

const unsigned FractBits = 52;

// Extract the sign bit.
const SDValue SignBitMask = DAG.getConstant(UINT32_C(1)1U << 31, SL, MVT::i32);
SDValue SignBit = DAG.getNode(ISD::AND, SL, MVT::i32, Hi, SignBitMask);

// Extend back to 64-bits.
SDValue SignBit64 = DAG.getBuildVector(MVT::v2i32, SL, {Zero, SignBit});
SignBit64 = DAG.getNode(ISD::BITCAST, SL, MVT::i64, SignBit64);

SDValue BcInt = DAG.getNode(ISD::BITCAST, SL, MVT::i64, Src);
const SDValue FractMask
  = DAG.getConstant((UINT64_C(1)1UL << FractBits) - 1, SL, MVT::i64);

SDValue Shr = DAG.getNode(ISD::SRA, SL, MVT::i64, FractMask, Exp);
SDValue Not = DAG.getNOT(SL, Shr, MVT::i64);
SDValue Tmp0 = DAG.getNode(ISD::AND, SL, MVT::i64, BcInt, Not);

EVT SetCCVT =
    getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), MVT::i32);

const SDValue FiftyOne = DAG.getConstant(FractBits - 1, SL, MVT::i32);

SDValue ExpLt0 = DAG.getSetCC(SL, SetCCVT, Exp, Zero, ISD::SETLT);
SDValue ExpGt51 = DAG.getSetCC(SL, SetCCVT, Exp, FiftyOne, ISD::SETGT);

SDValue Tmp1 = DAG.getNode(ISD::SELECT, SL, MVT::i64, ExpLt0, SignBit64, Tmp0);
SDValue Tmp2 = DAG.getNode(ISD::SELECT, SL, MVT::i64, ExpGt51, BcInt, Tmp1);

return DAG.getNode(ISD::BITCAST, SL, MVT::f64, Tmp2);
2323}

2325SDValue AMDGPUTargetLowering::LowerFRINT(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

assert(Op.getValueType() == MVT::f64)(static_cast <bool> (Op.getValueType() == MVT::f64) ? void
 (0) : __assert_fail ("Op.getValueType() == MVT::f64", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 2329, __extension__ __PRETTY_FUNCTION__));

APFloat C1Val(APFloat::IEEEdouble(), "0x1.0p+52");
SDValue C1 = DAG.getConstantFP(C1Val, SL, MVT::f64);
SDValue CopySign = DAG.getNode(ISD::FCOPYSIGN, SL, MVT::f64, C1, Src);

// TODO: Should this propagate fast-math-flags?

SDValue Tmp1 = DAG.getNode(ISD::FADD, SL, MVT::f64, Src, CopySign);
SDValue Tmp2 = DAG.getNode(ISD::FSUB, SL, MVT::f64, Tmp1, CopySign);

SDValue Fabs = DAG.getNode(ISD::FABS, SL, MVT::f64, Src);

APFloat C2Val(APFloat::IEEEdouble(), "0x1.fffffffffffffp+51");
SDValue C2 = DAG.getConstantFP(C2Val, SL, MVT::f64);

EVT SetCCVT =
    getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), MVT::f64);
SDValue Cond = DAG.getSetCC(SL, SetCCVT, Fabs, C2, ISD::SETOGT);

return DAG.getSelect(SL, MVT::f64, Cond, Src, Tmp2);
2350}

2352SDValue AMDGPUTargetLowering::LowerFNEARBYINT(SDValue Op, SelectionDAG &DAG) const {
// FNEARBYINT and FRINT are the same, except in their handling of FP
// exceptions. Those aren't really meaningful for us, and OpenCL only has
// rint, so just treat them as equivalent.
return DAG.getNode(ISD::FRINT, SDLoc(Op), Op.getValueType(), Op.getOperand(0));
2357}

2359SDValue AMDGPUTargetLowering::LowerFROUNDEVEN(SDValue Op,
                                            SelectionDAG &DAG) const {
auto VT = Op.getValueType();
auto Arg = Op.getOperand(0u);
return DAG.getNode(ISD::FRINT, SDLoc(Op), VT, Arg);
2364}

2366// XXX - May require not supporting f32 denormals?

2368// Don't handle v2f16. The extra instructions to scalarize and repack around the
2369// compare and vselect end up producing worse code than scalarizing the whole
2370// operation.
2371SDValue AMDGPUTargetLowering::LowerFROUND(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);
SDValue X = Op.getOperand(0);
EVT VT = Op.getValueType();

SDValue T = DAG.getNode(ISD::FTRUNC, SL, VT, X);

// TODO: Should this propagate fast-math-flags?

SDValue Diff = DAG.getNode(ISD::FSUB, SL, VT, X, T);

SDValue AbsDiff = DAG.getNode(ISD::FABS, SL, VT, Diff);

const SDValue Zero = DAG.getConstantFP(0.0, SL, VT);
const SDValue One = DAG.getConstantFP(1.0, SL, VT);
const SDValue Half = DAG.getConstantFP(0.5, SL, VT);

SDValue SignOne = DAG.getNode(ISD::FCOPYSIGN, SL, VT, One, X);

EVT SetCCVT =
    getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), VT);

SDValue Cmp = DAG.getSetCC(SL, SetCCVT, AbsDiff, Half, ISD::SETOGE);

SDValue Sel = DAG.getNode(ISD::SELECT, SL, VT, Cmp, SignOne, Zero);

return DAG.getNode(ISD::FADD, SL, VT, T, Sel);
2398}

2400SDValue AMDGPUTargetLowering::LowerFFLOOR(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

// result = trunc(src);
// if (src < 0.0 && src != result)
//   result += -1.0.

SDValue Trunc = DAG.getNode(ISD::FTRUNC, SL, MVT::f64, Src);

const SDValue Zero = DAG.getConstantFP(0.0, SL, MVT::f64);
const SDValue NegOne = DAG.getConstantFP(-1.0, SL, MVT::f64);

EVT SetCCVT =
    getSetCCResultType(DAG.getDataLayout(), *DAG.getContext(), MVT::f64);

SDValue Lt0 = DAG.getSetCC(SL, SetCCVT, Src, Zero, ISD::SETOLT);
SDValue NeTrunc = DAG.getSetCC(SL, SetCCVT, Src, Trunc, ISD::SETONE);
SDValue And = DAG.getNode(ISD::AND, SL, SetCCVT, Lt0, NeTrunc);

SDValue Add = DAG.getNode(ISD::SELECT, SL, MVT::f64, And, NegOne, Zero);
// TODO: Should this propagate fast-math-flags?
return DAG.getNode(ISD::FADD, SL, MVT::f64, Trunc, Add);
2423}

2425SDValue AMDGPUTargetLowering::LowerFLOG(SDValue Op, SelectionDAG &DAG,
                                      double Log2BaseInverted) const {
EVT VT = Op.getValueType();

SDLoc SL(Op);
SDValue Operand = Op.getOperand(0);
SDValue Log2Operand = DAG.getNode(ISD::FLOG2, SL, VT, Operand);
SDValue Log2BaseInvertedOperand = DAG.getConstantFP(Log2BaseInverted, SL, VT);

return DAG.getNode(ISD::FMUL, SL, VT, Log2Operand, Log2BaseInvertedOperand);
2435}

2437// exp2(M_LOG2E_F * f);
2438SDValue AMDGPUTargetLowering::lowerFEXP(SDValue Op, SelectionDAG &DAG) const {
EVT VT = Op.getValueType();
SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

const SDValue K = DAG.getConstantFP(numbers::log2e, SL, VT);
SDValue Mul = DAG.getNode(ISD::FMUL, SL, VT, Src, K, Op->getFlags());
return DAG.getNode(ISD::FEXP2, SL, VT, Mul, Op->getFlags());
2446}

2448static bool isCtlzOpc(unsigned Opc) {
return Opc == ISD::CTLZ || Opc == ISD::CTLZ_ZERO_UNDEF;
2450}

2452static bool isCttzOpc(unsigned Opc) {
return Opc == ISD::CTTZ || Opc == ISD::CTTZ_ZERO_UNDEF;
2454}

2456SDValue AMDGPUTargetLowering::LowerCTLZ_CTTZ(SDValue Op, SelectionDAG &DAG) const {
SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

assert(isCtlzOpc(Op.getOpcode()) || isCttzOpc(Op.getOpcode()))(static_cast <bool> (isCtlzOpc(Op.getOpcode()) || isCttzOpc
(Op.getOpcode())) ? void (0) : __assert_fail ("isCtlzOpc(Op.getOpcode()) || isCttzOpc(Op.getOpcode())"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 2460, __extension__
 __PRETTY_FUNCTION__));
bool Ctlz = isCtlzOpc(Op.getOpcode());
unsigned NewOpc = Ctlz ? AMDGPUISD::FFBH_U32 : AMDGPUISD::FFBL_B32;

bool ZeroUndef = Op.getOpcode() == ISD::CTLZ_ZERO_UNDEF ||
                 Op.getOpcode() == ISD::CTTZ_ZERO_UNDEF;

if (Src.getValueType() == MVT::i32) {
  // (ctlz hi:lo) -> (umin (ffbh src), 32)
  // (cttz hi:lo) -> (umin (ffbl src), 32)
  // (ctlz_zero_undef src) -> (ffbh src)
  // (cttz_zero_undef src) -> (ffbl src)
  SDValue NewOpr = DAG.getNode(NewOpc, SL, MVT::i32, Src);
  if (!ZeroUndef) {
    const SDValue Const32 = DAG.getConstant(32, SL, MVT::i32);
    NewOpr = DAG.getNode(ISD::UMIN, SL, MVT::i32, NewOpr, Const32);
  }
  return NewOpr;
}

SDValue Lo, Hi;
std::tie(Lo, Hi) = split64BitValue(Src, DAG);

SDValue OprLo = DAG.getNode(NewOpc, SL, MVT::i32, Lo);
SDValue OprHi = DAG.getNode(NewOpc, SL, MVT::i32, Hi);

// (ctlz hi:lo) -> (umin3 (ffbh hi), (uaddsat (ffbh lo), 32), 64)
// (cttz hi:lo) -> (umin3 (uaddsat (ffbl hi), 32), (ffbl lo), 64)
// (ctlz_zero_undef hi:lo) -> (umin (ffbh hi), (add (ffbh lo), 32))
// (cttz_zero_undef hi:lo) -> (umin (add (ffbl hi), 32), (ffbl lo))

unsigned AddOpc = ZeroUndef ? ISD::ADD : ISD::UADDSAT;
const SDValue Const32 = DAG.getConstant(32, SL, MVT::i32);
if (Ctlz)
  OprLo = DAG.getNode(AddOpc, SL, MVT::i32, OprLo, Const32);
else
  OprHi = DAG.getNode(AddOpc, SL, MVT::i32, OprHi, Const32);

SDValue NewOpr;
NewOpr = DAG.getNode(ISD::UMIN, SL, MVT::i32, OprLo, OprHi);
if (!ZeroUndef) {
  const SDValue Const64 = DAG.getConstant(64, SL, MVT::i32);
  NewOpr = DAG.getNode(ISD::UMIN, SL, MVT::i32, NewOpr, Const64);
}

return DAG.getNode(ISD::ZERO_EXTEND, SL, MVT::i64, NewOpr);
2506}

2508SDValue AMDGPUTargetLowering::LowerINT_TO_FP32(SDValue Op, SelectionDAG &DAG,
                                             bool Signed) const {
// The regular method converting a 64-bit integer to float roughly consists of
// 2 steps: normalization and rounding. In fact, after normalization, the
// conversion from a 64-bit integer to a float is essentially the same as the
// one from a 32-bit integer. The only difference is that it has more
// trailing bits to be rounded. To leverage the native 32-bit conversion, a
// 64-bit integer could be preprocessed and fit into a 32-bit integer then
// converted into the correct float number. The basic steps for the unsigned
// conversion are illustrated in the following pseudo code:
//
// f32 uitofp(i64 u) {
//   i32 hi, lo = split(u);
//   // Only count the leading zeros in hi as we have native support of the
//   // conversion from i32 to f32. If hi is all 0s, the conversion is
//   // reduced to a 32-bit one automatically.
//   i32 shamt = clz(hi); // Return 32 if hi is all 0s.
//   u <<= shamt;
//   hi, lo = split(u);
//   hi |= (lo != 0) ? 1 : 0; // Adjust rounding bit in hi based on lo.
//   // convert it as a 32-bit integer and scale the result back.
//   return uitofp(hi) * 2^(32 - shamt);
// }
//
// The signed one follows the same principle but uses 'ffbh_i32' to count its
// sign bits instead. If 'ffbh_i32' is not available, its absolute value is
// converted instead followed by negation based its sign bit.

SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

SDValue Lo, Hi;
std::tie(Lo, Hi) = split64BitValue(Src, DAG);
SDValue Sign;
SDValue ShAmt;
if (Signed && Subtarget->isGCN()) {
  // We also need to consider the sign bit in Lo if Hi has just sign bits,
  // i.e. Hi is 0 or -1. However, that only needs to take the MSB into
  // account. That is, the maximal shift is
  // - 32 if Lo and Hi have opposite signs;
  // - 33 if Lo and Hi have the same sign.
  //
  // Or, MaxShAmt = 33 + OppositeSign, where
  //
  // OppositeSign is defined as ((Lo ^ Hi) >> 31), which is
  // - -1 if Lo and Hi have opposite signs; and
  // -  0 otherwise.
  //
  // All in all, ShAmt is calculated as
  //
  //  umin(sffbh(Hi), 33 + (Lo^Hi)>>31) - 1.
  //
  // or
  //
  //  umin(sffbh(Hi) - 1, 32 + (Lo^Hi)>>31).
  //
  // to reduce the critical path.
  SDValue OppositeSign = DAG.getNode(
      ISD::SRA, SL, MVT::i32, DAG.getNode(ISD::XOR, SL, MVT::i32, Lo, Hi),
      DAG.getConstant(31, SL, MVT::i32));
  SDValue MaxShAmt =
      DAG.getNode(ISD::ADD, SL, MVT::i32, DAG.getConstant(32, SL, MVT::i32),
                  OppositeSign);
  // Count the leading sign bits.
  ShAmt = DAG.getNode(AMDGPUISD::FFBH_I32, SL, MVT::i32, Hi);
  // Different from unsigned conversion, the shift should be one bit less to
  // preserve the sign bit.
  ShAmt = DAG.getNode(ISD::SUB, SL, MVT::i32, ShAmt,
                      DAG.getConstant(1, SL, MVT::i32));
  ShAmt = DAG.getNode(ISD::UMIN, SL, MVT::i32, ShAmt, MaxShAmt);
} else {
  if (Signed) {
    // Without 'ffbh_i32', only leading zeros could be counted. Take the
    // absolute value first.
    Sign = DAG.getNode(ISD::SRA, SL, MVT::i64, Src,
                       DAG.getConstant(63, SL, MVT::i64));
    SDValue Abs =
        DAG.getNode(ISD::XOR, SL, MVT::i64,
                    DAG.getNode(ISD::ADD, SL, MVT::i64, Src, Sign), Sign);
    std::tie(Lo, Hi) = split64BitValue(Abs, DAG);
  }
  // Count the leading zeros.
  ShAmt = DAG.getNode(ISD::CTLZ, SL, MVT::i32, Hi);
  // The shift amount for signed integers is [0, 32].
}
// Normalize the given 64-bit integer.
SDValue Norm = DAG.getNode(ISD::SHL, SL, MVT::i64, Src, ShAmt);
// Split it again.
std::tie(Lo, Hi) = split64BitValue(Norm, DAG);
// Calculate the adjust bit for rounding.
// (lo != 0) ? 1 : 0 => (lo >= 1) ? 1 : 0 => umin(1, lo)
SDValue Adjust = DAG.getNode(ISD::UMIN, SL, MVT::i32,
                             DAG.getConstant(1, SL, MVT::i32), Lo);
// Get the 32-bit normalized integer.
Norm = DAG.getNode(ISD::OR, SL, MVT::i32, Hi, Adjust);
// Convert the normalized 32-bit integer into f32.
unsigned Opc =
    (Signed && Subtarget->isGCN()) ? ISD::SINT_TO_FP : ISD::UINT_TO_FP;
SDValue FVal = DAG.getNode(Opc, SL, MVT::f32, Norm);

// Finally, need to scale back the converted floating number as the original
// 64-bit integer is converted as a 32-bit one.
ShAmt = DAG.getNode(ISD::SUB, SL, MVT::i32, DAG.getConstant(32, SL, MVT::i32),
                    ShAmt);
// On GCN, use LDEXP directly.
if (Subtarget->isGCN())
  return DAG.getNode(AMDGPUISD::LDEXP, SL, MVT::f32, FVal, ShAmt);

// Otherwise, align 'ShAmt' to the exponent part and add it into the exponent
// part directly to emulate the multiplication of 2^ShAmt. That 8-bit
// exponent is enough to avoid overflowing into the sign bit.
SDValue Exp = DAG.getNode(ISD::SHL, SL, MVT::i32, ShAmt,
                          DAG.getConstant(23, SL, MVT::i32));
SDValue IVal =
    DAG.getNode(ISD::ADD, SL, MVT::i32,
                DAG.getNode(ISD::BITCAST, SL, MVT::i32, FVal), Exp);
if (Signed) {
  // Set the sign bit.
  Sign = DAG.getNode(ISD::SHL, SL, MVT::i32,
                     DAG.getNode(ISD::TRUNCATE, SL, MVT::i32, Sign),
                     DAG.getConstant(31, SL, MVT::i32));
  IVal = DAG.getNode(ISD::OR, SL, MVT::i32, IVal, Sign);
}
return DAG.getNode(ISD::BITCAST, SL, MVT::f32, IVal);
2632}

2634SDValue AMDGPUTargetLowering::LowerINT_TO_FP64(SDValue Op, SelectionDAG &DAG,
                                             bool Signed) const {
SDLoc SL(Op);
SDValue Src = Op.getOperand(0);

SDValue Lo, Hi;
std::tie(Lo, Hi) = split64BitValue(Src, DAG);

SDValue CvtHi = DAG.getNode(Signed ? ISD::SINT_TO_FP : ISD::UINT_TO_FP,
                            SL, MVT::f64, Hi);

SDValue CvtLo = DAG.getNode(ISD::UINT_TO_FP, SL, MVT::f64, Lo);

SDValue LdExp = DAG.getNode(AMDGPUISD::LDEXP, SL, MVT::f64, CvtHi,
                            DAG.getConstant(32, SL, MVT::i32));
// TODO: Should this propagate fast-math-flags?
return DAG.getNode(ISD::FADD, SL, MVT::f64, LdExp, CvtLo);
2651}

2653SDValue AMDGPUTargetLowering::LowerUINT_TO_FP(SDValue Op,
                                             SelectionDAG &DAG) const {
// TODO: Factor out code common with LowerSINT_TO_FP.
EVT DestVT = Op.getValueType();
SDValue Src = Op.getOperand(0);
EVT SrcVT = Src.getValueType();

if (SrcVT == MVT::i16) {
  if (DestVT == MVT::f16)
    return Op;
  SDLoc DL(Op);

  // Promote src to i32
  SDValue Ext = DAG.getNode(ISD::ZERO_EXTEND, DL, MVT::i32, Src);
  return DAG.getNode(ISD::UINT_TO_FP, DL, DestVT, Ext);
}

assert(SrcVT == MVT::i64 && "operation should be legal")(static_cast <bool> (SrcVT == MVT::i64 && "operation should be legal"
) ? void (0) : __assert_fail ("SrcVT == MVT::i64 && \"operation should be legal\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 2670, __extension__
 __PRETTY_FUNCTION__));

if (Subtarget->has16BitInsts() && DestVT == MVT::f16) {
  SDLoc DL(Op);

  SDValue IntToFp32 = DAG.getNode(Op.getOpcode(), DL, MVT::f32, Src);
  SDValue FPRoundFlag =
      DAG.getIntPtrConstant(0, SDLoc(Op), /*isTarget=*/true);
  SDValue FPRound =
      DAG.getNode(ISD::FP_ROUND, DL, MVT::f16, IntToFp32, FPRoundFlag);

  return FPRound;
}

if (DestVT == MVT::f32)
  return LowerINT_TO_FP32(Op, DAG, false);

assert(DestVT == MVT::f64)(static_cast <bool> (DestVT == MVT::f64) ? void (0) : __assert_fail
 ("DestVT == MVT::f64", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 2687, __extension__ __PRETTY_FUNCTION__));
return LowerINT_TO_FP64(Op, DAG, false);
2689}

2691SDValue AMDGPUTargetLowering::LowerSINT_TO_FP(SDValue Op,
                                            SelectionDAG &DAG) const {
EVT DestVT = Op.getValueType();

SDValue Src = Op.getOperand(0);
EVT SrcVT = Src.getValueType();

if (SrcVT == MVT::i16) {
  if (DestVT == MVT::f16)
    return Op;

  SDLoc DL(Op);
  // Promote src to i32
  SDValue Ext = DAG.getNode(ISD::SIGN_EXTEND, DL, MVT::i32, Src);
  return DAG.getNode(ISD::SINT_TO_FP, DL, DestVT, Ext);
}

assert(SrcVT == MVT::i64 && "operation should be legal")(static_cast <bool> (SrcVT == MVT::i64 && "operation should be legal"
) ? void (0) : __assert_fail ("SrcVT == MVT::i64 && \"operation should be legal\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 2708, __extension__
 __PRETTY_FUNCTION__));

// TODO: Factor out code common with LowerUINT_TO_FP.

if (Subtarget->has16BitInsts() && DestVT == MVT::f16) {
  SDLoc DL(Op);
  SDValue Src = Op.getOperand(0);

  SDValue IntToFp32 = DAG.getNode(Op.getOpcode(), DL, MVT::f32, Src);
  SDValue FPRoundFlag =
      DAG.getIntPtrConstant(0, SDLoc(Op), /*isTarget=*/true);
  SDValue FPRound =
      DAG.getNode(ISD::FP_ROUND, DL, MVT::f16, IntToFp32, FPRoundFlag);

  return FPRound;
}

if (DestVT == MVT::f32)
  return LowerINT_TO_FP32(Op, DAG, true);

assert(DestVT == MVT::f64)(static_cast <bool> (DestVT == MVT::f64) ? void (0) : __assert_fail
 ("DestVT == MVT::f64", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 2728, __extension__ __PRETTY_FUNCTION__));
return LowerINT_TO_FP64(Op, DAG, true);
2730}

2732SDValue AMDGPUTargetLowering::LowerFP_TO_INT64(SDValue Op, SelectionDAG &DAG,
                                             bool Signed) const {
SDLoc SL(Op);

SDValue Src = Op.getOperand(0);
EVT SrcVT = Src.getValueType();

assert(SrcVT == MVT::f32 || SrcVT == MVT::f64)(static_cast <bool> (SrcVT == MVT::f32 || SrcVT == MVT::
f64) ? void (0) : __assert_fail ("SrcVT == MVT::f32 || SrcVT == MVT::f64"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 2739, __extension__
 __PRETTY_FUNCTION__));

// The basic idea of converting a floating point number into a pair of 32-bit
// integers is illustrated as follows:
//
//     tf := trunc(val);
//    hif := floor(tf * 2^-32);
//    lof := tf - hif * 2^32; // lof is always positive due to floor.
//     hi := fptoi(hif);
//     lo := fptoi(lof);
//
SDValue Trunc = DAG.getNode(ISD::FTRUNC, SL, SrcVT, Src);
SDValue Sign;
if (Signed && SrcVT == MVT::f32) {
  // However, a 32-bit floating point number has only 23 bits mantissa and
  // it's not enough to hold all the significant bits of `lof` if val is
  // negative. To avoid the loss of precision, We need to take the absolute
  // value after truncating and flip the result back based on the original
  // signedness.
  Sign = DAG.getNode(ISD::SRA, SL, MVT::i32,
                     DAG.getNode(ISD::BITCAST, SL, MVT::i32, Trunc),
                     DAG.getConstant(31, SL, MVT::i32));
  Trunc = DAG.getNode(ISD::FABS, SL, SrcVT, Trunc);
}

SDValue K0, K1;
if (SrcVT == MVT::f64) {
  K0 = DAG.getConstantFP(
      llvm::bit_cast<double>(UINT64_C(/*2^-32*/ 0x3df0000000000000)0x3df0000000000000UL), SL,
      SrcVT);
  K1 = DAG.getConstantFP(
      llvm::bit_cast<double>(UINT64_C(/*-2^32*/ 0xc1f0000000000000)0xc1f0000000000000UL), SL,
      SrcVT);
} else {
  K0 = DAG.getConstantFP(
      llvm::bit_cast<float>(UINT32_C(/*2^-32*/ 0x2f800000)0x2f800000U), SL, SrcVT);
  K1 = DAG.getConstantFP(
      llvm::bit_cast<float>(UINT32_C(/*-2^32*/ 0xcf800000)0xcf800000U), SL, SrcVT);
}
// TODO: Should this propagate fast-math-flags?
SDValue Mul = DAG.getNode(ISD::FMUL, SL, SrcVT, Trunc, K0);

SDValue FloorMul = DAG.getNode(ISD::FFLOOR, SL, SrcVT, Mul);

SDValue Fma = DAG.getNode(ISD::FMA, SL, SrcVT, FloorMul, K1, Trunc);

SDValue Hi = DAG.getNode((Signed && SrcVT == MVT::f64) ? ISD::FP_TO_SINT
                                                       : ISD::FP_TO_UINT,
                         SL, MVT::i32, FloorMul);
SDValue Lo = DAG.getNode(ISD::FP_TO_UINT, SL, MVT::i32, Fma);

SDValue Result = DAG.getNode(ISD::BITCAST, SL, MVT::i64,
                             DAG.getBuildVector(MVT::v2i32, SL, {Lo, Hi}));

if (Signed && SrcVT == MVT::f32) {
  assert(Sign)(static_cast <bool> (Sign) ? void (0) : __assert_fail (
"Sign", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 2794
, __extension__ __PRETTY_FUNCTION__));
  // Flip the result based on the signedness, which is either all 0s or 1s.
  Sign = DAG.getNode(ISD::BITCAST, SL, MVT::i64,
                     DAG.getBuildVector(MVT::v2i32, SL, {Sign, Sign}));
  // r := xor(r, sign) - sign;
  Result =
      DAG.getNode(ISD::SUB, SL, MVT::i64,
                  DAG.getNode(ISD::XOR, SL, MVT::i64, Result, Sign), Sign);
}

return Result;
2805}

2807SDValue AMDGPUTargetLowering::LowerFP_TO_FP16(SDValue Op, SelectionDAG &DAG) const {
SDLoc DL(Op);
SDValue N0 = Op.getOperand(0);

// Convert to target node to get known bits
if (N0.getValueType() == MVT::f32)
  return DAG.getNode(AMDGPUISD::FP_TO_FP16, DL, Op.getValueType(), N0);

if (getTargetMachine().Options.UnsafeFPMath) {
  // There is a generic expand for FP_TO_FP16 with unsafe fast math.
  return SDValue();
}

assert(N0.getSimpleValueType() == MVT::f64)(static_cast <bool> (N0.getSimpleValueType() == MVT::f64
) ? void (0) : __assert_fail ("N0.getSimpleValueType() == MVT::f64"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 2820, __extension__
 __PRETTY_FUNCTION__));

// f64 -> f16 conversion using round-to-nearest-even rounding mode.
const unsigned ExpMask = 0x7ff;
const unsigned ExpBiasf64 = 1023;
const unsigned ExpBiasf16 = 15;
SDValue Zero = DAG.getConstant(0, DL, MVT::i32);
SDValue One = DAG.getConstant(1, DL, MVT::i32);
SDValue U = DAG.getNode(ISD::BITCAST, DL, MVT::i64, N0);
SDValue UH = DAG.getNode(ISD::SRL, DL, MVT::i64, U,
                         DAG.getConstant(32, DL, MVT::i64));
UH = DAG.getZExtOrTrunc(UH, DL, MVT::i32);
U = DAG.getZExtOrTrunc(U, DL, MVT::i32);
SDValue E = DAG.getNode(ISD::SRL, DL, MVT::i32, UH,
                        DAG.getConstant(20, DL, MVT::i64));
E = DAG.getNode(ISD::AND, DL, MVT::i32, E,
                DAG.getConstant(ExpMask, DL, MVT::i32));
// Subtract the fp64 exponent bias (1023) to get the real exponent and
// add the f16 bias (15) to get the biased exponent for the f16 format.
E = DAG.getNode(ISD::ADD, DL, MVT::i32, E,
                DAG.getConstant(-ExpBiasf64 + ExpBiasf16, DL, MVT::i32));

SDValue M = DAG.getNode(ISD::SRL, DL, MVT::i32, UH,
                        DAG.getConstant(8, DL, MVT::i32));
M = DAG.getNode(ISD::AND, DL, MVT::i32, M,
                DAG.getConstant(0xffe, DL, MVT::i32));

SDValue MaskedSig = DAG.getNode(ISD::AND, DL, MVT::i32, UH,
                                DAG.getConstant(0x1ff, DL, MVT::i32));
MaskedSig = DAG.getNode(ISD::OR, DL, MVT::i32, MaskedSig, U);

SDValue Lo40Set = DAG.getSelectCC(DL, MaskedSig, Zero, Zero, One, ISD::SETEQ);
M = DAG.getNode(ISD::OR, DL, MVT::i32, M, Lo40Set);

// (M != 0 ? 0x0200 : 0) | 0x7c00;
SDValue I = DAG.getNode(ISD::OR, DL, MVT::i32,
    DAG.getSelectCC(DL, M, Zero, DAG.getConstant(0x0200, DL, MVT::i32),
                    Zero, ISD::SETNE), DAG.getConstant(0x7c00, DL, MVT::i32));

// N = M | (E << 12);
SDValue N = DAG.getNode(ISD::OR, DL, MVT::i32, M,
    DAG.getNode(ISD::SHL, DL, MVT::i32, E,
                DAG.getConstant(12, DL, MVT::i32)));

// B = clamp(1-E, 0, 13);
SDValue OneSubExp = DAG.getNode(ISD::SUB, DL, MVT::i32,
                                One, E);
SDValue B = DAG.getNode(ISD::SMAX, DL, MVT::i32, OneSubExp, Zero);
B = DAG.getNode(ISD::SMIN, DL, MVT::i32, B,
                DAG.getConstant(13, DL, MVT::i32));

SDValue SigSetHigh = DAG.getNode(ISD::OR, DL, MVT::i32, M,
                                 DAG.getConstant(0x1000, DL, MVT::i32));

SDValue D = DAG.getNode(ISD::SRL, DL, MVT::i32, SigSetHigh, B);
SDValue D0 = DAG.getNode(ISD::SHL, DL, MVT::i32, D, B);
SDValue D1 = DAG.getSelectCC(DL, D0, SigSetHigh, One, Zero, ISD::SETNE);
D = DAG.getNode(ISD::OR, DL, MVT::i32, D, D1);

SDValue V = DAG.getSelectCC(DL, E, One, D, N, ISD::SETLT);
SDValue VLow3 = DAG.getNode(ISD::AND, DL, MVT::i32, V,
                            DAG.getConstant(0x7, DL, MVT::i32));
V = DAG.getNode(ISD::SRL, DL, MVT::i32, V,
                DAG.getConstant(2, DL, MVT::i32));
SDValue V0 = DAG.getSelectCC(DL, VLow3, DAG.getConstant(3, DL, MVT::i32),
                             One, Zero, ISD::SETEQ);
SDValue V1 = DAG.getSelectCC(DL, VLow3, DAG.getConstant(5, DL, MVT::i32),
                             One, Zero, ISD::SETGT);
V1 = DAG.getNode(ISD::OR, DL, MVT::i32, V0, V1);
V = DAG.getNode(ISD::ADD, DL, MVT::i32, V, V1);

V = DAG.getSelectCC(DL, E, DAG.getConstant(30, DL, MVT::i32),
                    DAG.getConstant(0x7c00, DL, MVT::i32), V, ISD::SETGT);
V = DAG.getSelectCC(DL, E, DAG.getConstant(1039, DL, MVT::i32),
                    I, V, ISD::SETEQ);

// Extract the sign bit.
SDValue Sign = DAG.getNode(ISD::SRL, DL, MVT::i32, UH,
                          DAG.getConstant(16, DL, MVT::i32));
Sign = DAG.getNode(ISD::AND, DL, MVT::i32, Sign,
                   DAG.getConstant(0x8000, DL, MVT::i32));

V = DAG.getNode(ISD::OR, DL, MVT::i32, Sign, V);
return DAG.getZExtOrTrunc(V, DL, Op.getValueType());
2904}

2906SDValue AMDGPUTargetLowering::LowerFP_TO_INT(SDValue Op,
                                           SelectionDAG &DAG) const {
SDValue Src = Op.getOperand(0);
unsigned OpOpcode = Op.getOpcode();
EVT SrcVT = Src.getValueType();
EVT DestVT = Op.getValueType();

// Will be selected natively
if (SrcVT == MVT::f16 && DestVT == MVT::i16)
  return Op;

// Promote i16 to i32
if (DestVT == MVT::i16 && (SrcVT == MVT::f32 || SrcVT == MVT::f64)) {
  SDLoc DL(Op);

  SDValue FpToInt32 = DAG.getNode(OpOpcode, DL, MVT::i32, Src);
  return DAG.getNode(ISD::TRUNCATE, DL, MVT::i16, FpToInt32);
}

if (SrcVT == MVT::f16 ||
    (SrcVT == MVT::f32 && Src.getOpcode() == ISD::FP16_TO_FP)) {
  SDLoc DL(Op);

  SDValue FpToInt32 = DAG.getNode(OpOpcode, DL, MVT::i32, Src);
  unsigned Ext =
      OpOpcode == ISD::FP_TO_SINT ? ISD::SIGN_EXTEND : ISD::ZERO_EXTEND;
  return DAG.getNode(Ext, DL, MVT::i64, FpToInt32);
}

if (DestVT == MVT::i64 && (SrcVT == MVT::f32 || SrcVT == MVT::f64))
  return LowerFP_TO_INT64(Op, DAG, OpOpcode == ISD::FP_TO_SINT);

return SDValue();
2939}

2941SDValue AMDGPUTargetLowering::LowerSIGN_EXTEND_INREG(SDValue Op,
                                                   SelectionDAG &DAG) const {
EVT ExtraVT = cast<VTSDNode>(Op.getOperand(1))->getVT();
MVT VT = Op.getSimpleValueType();
MVT ScalarVT = VT.getScalarType();

assert(VT.isVector())(static_cast <bool> (VT.isVector()) ? void (0) : __assert_fail
 ("VT.isVector()", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 2947, __extension__ __PRETTY_FUNCTION__));

SDValue Src = Op.getOperand(0);
SDLoc DL(Op);

// TODO: Don't scalarize on Evergreen?
unsigned NElts = VT.getVectorNumElements();
SmallVector<SDValue, 8> Args;
DAG.ExtractVectorElements(Src, Args, 0, NElts);

SDValue VTOp = DAG.getValueType(ExtraVT.getScalarType());
for (unsigned I = 0; I < NElts; ++I)
  Args[I] = DAG.getNode(ISD::SIGN_EXTEND_INREG, DL, ScalarVT, Args[I], VTOp);

return DAG.getBuildVector(VT, DL, Args);
2962}

2964//===----------------------------------------------------------------------===//
2965// Custom DAG optimizations
2966//===----------------------------------------------------------------------===//

2968static bool isU24(SDValue Op, SelectionDAG &DAG) {
return AMDGPUTargetLowering::numBitsUnsigned(Op, DAG) <= 24;
2970}

2972static bool isI24(SDValue Op, SelectionDAG &DAG) {
EVT VT = Op.getValueType();
return VT.getSizeInBits() >= 24 && // Types less than 24-bit should be treated
                                   // as unsigned 24-bit values.
       AMDGPUTargetLowering::numBitsSigned(Op, DAG) <= 24;
2977}

2979static SDValue simplifyMul24(SDNode *Node24,
                           TargetLowering::DAGCombinerInfo &DCI) {
SelectionDAG &DAG = DCI.DAG;
const TargetLowering &TLI = DAG.getTargetLoweringInfo();
bool IsIntrin = Node24->getOpcode() == ISD::INTRINSIC_WO_CHAIN;

SDValue LHS = IsIntrin ? Node24->getOperand(1) : Node24->getOperand(0);
SDValue RHS = IsIntrin ? Node24->getOperand(2) : Node24->getOperand(1);
unsigned NewOpcode = Node24->getOpcode();
if (IsIntrin) {
  unsigned IID = cast<ConstantSDNode>(Node24->getOperand(0))->getZExtValue();
  switch (IID) {
  case Intrinsic::amdgcn_mul_i24:
    NewOpcode = AMDGPUISD::MUL_I24;
    break;
  case Intrinsic::amdgcn_mul_u24:
    NewOpcode = AMDGPUISD::MUL_U24;
    break;
  case Intrinsic::amdgcn_mulhi_i24:
    NewOpcode = AMDGPUISD::MULHI_I24;
    break;
  case Intrinsic::amdgcn_mulhi_u24:
    NewOpcode = AMDGPUISD::MULHI_U24;
    break;
  default:
    llvm_unreachable("Expected 24-bit mul intrinsic")::llvm::llvm_unreachable_internal("Expected 24-bit mul intrinsic"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 3004);
  }
}

APInt Demanded = APInt::getLowBitsSet(LHS.getValueSizeInBits(), 24);

// First try to simplify using SimplifyMultipleUseDemandedBits which allows
// the operands to have other uses, but will only perform simplifications that
// involve bypassing some nodes for this user.
SDValue DemandedLHS = TLI.SimplifyMultipleUseDemandedBits(LHS, Demanded, DAG);
SDValue DemandedRHS = TLI.SimplifyMultipleUseDemandedBits(RHS, Demanded, DAG);
if (DemandedLHS || DemandedRHS)
  return DAG.getNode(NewOpcode, SDLoc(Node24), Node24->getVTList(),
                     DemandedLHS ? DemandedLHS : LHS,
                     DemandedRHS ? DemandedRHS : RHS);

// Now try SimplifyDemandedBits which can simplify the nodes used by our
// operands if this node is the only user.
if (TLI.SimplifyDemandedBits(LHS, Demanded, DCI))
  return SDValue(Node24, 0);
if (TLI.SimplifyDemandedBits(RHS, Demanded, DCI))
  return SDValue(Node24, 0);

return SDValue();
3028}

3030template <typename IntTy>
3031static SDValue constantFoldBFE(SelectionDAG &DAG, IntTy Src0, uint32_t Offset,
                             uint32_t Width, const SDLoc &DL) {
if (Width + Offset < 32) {
  uint32_t Shl = static_cast<uint32_t>(Src0) << (32 - Offset - Width);
  IntTy Result = static_cast<IntTy>(Shl) >> (32 - Width);
  return DAG.getConstant(Result, DL, MVT::i32);
}

return DAG.getConstant(Src0 >> Offset, DL, MVT::i32);
3040}

3042static bool hasVolatileUser(SDNode *Val) {
for (SDNode *U : Val->uses()) {
  if (MemSDNode *M = dyn_cast<MemSDNode>(U)) {
    if (M->isVolatile())
      return true;
  }
}

return false;
3051}

3053bool AMDGPUTargetLowering::shouldCombineMemoryType(EVT VT) const {
// i32 vectors are the canonical memory type.
if (VT.getScalarType() == MVT::i32 || isTypeLegal(VT))
  return false;

if (!VT.isByteSized())
  return false;

unsigned Size = VT.getStoreSize();

if ((Size == 1 || Size == 2 || Size == 4) && !VT.isVector())
  return false;

if (Size == 3 || (Size > 4 && (Size % 4 != 0)))
  return false;

return true;
3070}

3072// Replace load of an illegal type with a store of a bitcast to a friendlier
3073// type.
3074SDValue AMDGPUTargetLowering::performLoadCombine(SDNode *N,
                                               DAGCombinerInfo &DCI) const {
if (!DCI.isBeforeLegalize())
  return SDValue();

LoadSDNode *LN = cast<LoadSDNode>(N);
if (!LN->isSimple() || !ISD::isNormalLoad(LN) || hasVolatileUser(LN))
  return SDValue();

SDLoc SL(N);
SelectionDAG &DAG = DCI.DAG;
EVT VT = LN->getMemoryVT();

unsigned Size = VT.getStoreSize();
Align Alignment = LN->getAlign();
if (Alignment < Size && isTypeLegal(VT)) {
  unsigned IsFast;
  unsigned AS = LN->getAddressSpace();

  // Expand unaligned loads earlier than legalization. Due to visitation order
  // problems during legalization, the emitted instructions to pack and unpack
  // the bytes again are not eliminated in the case of an unaligned copy.
  if (!allowsMisalignedMemoryAccesses(
          VT, AS, Alignment, LN->getMemOperand()->getFlags(), &IsFast)) {
    if (VT.isVector())
      return SplitVectorLoad(SDValue(LN, 0), DAG);

    SDValue Ops[2];
    std::tie(Ops[0], Ops[1]) = expandUnalignedLoad(LN, DAG);

    return DAG.getMergeValues(Ops, SDLoc(N));
  }

  if (!IsFast)
    return SDValue();
}

if (!shouldCombineMemoryType(VT))
  return SDValue();

EVT NewVT = getEquivalentMemType(*DAG.getContext(), VT);

SDValue NewLoad
  = DAG.getLoad(NewVT, SL, LN->getChain(),
                LN->getBasePtr(), LN->getMemOperand());

SDValue BC = DAG.getNode(ISD::BITCAST, SL, VT, NewLoad);
DCI.CombineTo(N, BC, NewLoad.getValue(1));
return SDValue(N, 0);
3123}

3125// Replace store of an illegal type with a store of a bitcast to a friendlier
3126// type.
3127SDValue AMDGPUTargetLowering::performStoreCombine(SDNode *N,
                                                DAGCombinerInfo &DCI) const {
if (!DCI.isBeforeLegalize())
  return SDValue();

StoreSDNode *SN = cast<StoreSDNode>(N);
if (!SN->isSimple() || !ISD::isNormalStore(SN))
  return SDValue();

EVT VT = SN->getMemoryVT();
unsigned Size = VT.getStoreSize();

SDLoc SL(N);
SelectionDAG &DAG = DCI.DAG;
Align Alignment = SN->getAlign();
if (Alignment < Size && isTypeLegal(VT)) {
  unsigned IsFast;
  unsigned AS = SN->getAddressSpace();

  // Expand unaligned stores earlier than legalization. Due to visitation
  // order problems during legalization, the emitted instructions to pack and
  // unpack the bytes again are not eliminated in the case of an unaligned
  // copy.
  if (!allowsMisalignedMemoryAccesses(
          VT, AS, Alignment, SN->getMemOperand()->getFlags(), &IsFast)) {
    if (VT.isVector())
      return SplitVectorStore(SDValue(SN, 0), DAG);

    return expandUnalignedStore(SN, DAG);
  }

  if (!IsFast)
    return SDValue();
}

if (!shouldCombineMemoryType(VT))
  return SDValue();

EVT NewVT = getEquivalentMemType(*DAG.getContext(), VT);
SDValue Val = SN->getValue();

//DCI.AddToWorklist(Val.getNode());

bool OtherUses = !Val.hasOneUse();
SDValue CastVal = DAG.getNode(ISD::BITCAST, SL, NewVT, Val);
if (OtherUses) {
  SDValue CastBack = DAG.getNode(ISD::BITCAST, SL, VT, CastVal);
  DAG.ReplaceAllUsesOfValueWith(Val, CastBack);
}

return DAG.getStore(SN->getChain(), SL, CastVal,
                    SN->getBasePtr(), SN->getMemOperand());
3179}

3181// FIXME: This should go in generic DAG combiner with an isTruncateFree check,
3182// but isTruncateFree is inaccurate for i16 now because of SALU vs. VALU
3183// issues.
3184SDValue AMDGPUTargetLowering::performAssertSZExtCombine(SDNode *N,
                                                      DAGCombinerInfo &DCI) const {
SelectionDAG &DAG = DCI.DAG;
SDValue N0 = N->getOperand(0);

// (vt2 (assertzext (truncate vt0:x), vt1)) ->
//     (vt2 (truncate (assertzext vt0:x, vt1)))
if (N0.getOpcode() == ISD::TRUNCATE) {
  SDValue N1 = N->getOperand(1);
  EVT ExtVT = cast<VTSDNode>(N1)->getVT();
  SDLoc SL(N);

  SDValue Src = N0.getOperand(0);
  EVT SrcVT = Src.getValueType();
  if (SrcVT.bitsGE(ExtVT)) {
    SDValue NewInReg = DAG.getNode(N->getOpcode(), SL, SrcVT, Src, N1);
    return DAG.getNode(ISD::TRUNCATE, SL, N->getValueType(0), NewInReg);
  }
}

return SDValue();
3205}

3207SDValue AMDGPUTargetLowering::performIntrinsicWOChainCombine(
SDNode *N, DAGCombinerInfo &DCI) const {
unsigned IID = cast<ConstantSDNode>(N->getOperand(0))->getZExtValue();
switch (IID) {
case Intrinsic::amdgcn_mul_i24:
case Intrinsic::amdgcn_mul_u24:
case Intrinsic::amdgcn_mulhi_i24:
case Intrinsic::amdgcn_mulhi_u24:
  return simplifyMul24(N, DCI);
case Intrinsic::amdgcn_fract:
case Intrinsic::amdgcn_rsq:
case Intrinsic::amdgcn_rcp_legacy:
case Intrinsic::amdgcn_rsq_legacy:
case Intrinsic::amdgcn_rsq_clamp:
case Intrinsic::amdgcn_ldexp: {
  // FIXME: This is probably wrong. If src is an sNaN, it won't be quieted
  SDValue Src = N->getOperand(1);
  return Src.isUndef() ? Src : SDValue();
}
default:
  return SDValue();
}
3229}

3231/// Split the 64-bit value \p LHS into two 32-bit components, and perform the
3232/// binary operation \p Opc to it with the corresponding constant operands.
3233SDValue AMDGPUTargetLowering::splitBinaryBitConstantOpImpl(
DAGCombinerInfo &DCI, const SDLoc &SL,
unsigned Opc, SDValue LHS,
uint32_t ValLo, uint32_t ValHi) const {
SelectionDAG &DAG = DCI.DAG;
SDValue Lo, Hi;
std::tie(Lo, Hi) = split64BitValue(LHS, DAG);

SDValue LoRHS = DAG.getConstant(ValLo, SL, MVT::i32);
SDValue HiRHS = DAG.getConstant(ValHi, SL, MVT::i32);

SDValue LoAnd = DAG.getNode(Opc, SL, MVT::i32, Lo, LoRHS);
SDValue HiAnd = DAG.getNode(Opc, SL, MVT::i32, Hi, HiRHS);

// Re-visit the ands. It's possible we eliminated one of them and it could
// simplify the vector.
DCI.AddToWorklist(Lo.getNode());
DCI.AddToWorklist(Hi.getNode());

SDValue Vec = DAG.getBuildVector(MVT::v2i32, SL, {LoAnd, HiAnd});
return DAG.getNode(ISD::BITCAST, SL, MVT::i64, Vec);
3254}

3256SDValue AMDGPUTargetLowering::performShlCombine(SDNode *N,
                                              DAGCombinerInfo &DCI) const {
EVT VT = N->getValueType(0);

ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N->getOperand(1));
if (!RHS)
  return SDValue();

SDValue LHS = N->getOperand(0);
unsigned RHSVal = RHS->getZExtValue();
if (!RHSVal)
  return LHS;

SDLoc SL(N);
SelectionDAG &DAG = DCI.DAG;

switch (LHS->getOpcode()) {
default:
  break;
case ISD::ZERO_EXTEND:
case ISD::SIGN_EXTEND:
case ISD::ANY_EXTEND: {
  SDValue X = LHS->getOperand(0);

  if (VT == MVT::i32 && RHSVal == 16 && X.getValueType() == MVT::i16 &&
      isOperationLegal(ISD::BUILD_VECTOR, MVT::v2i16)) {
    // Prefer build_vector as the canonical form if packed types are legal.
    // (shl ([asz]ext i16:x), 16 -> build_vector 0, x
    SDValue Vec = DAG.getBuildVector(MVT::v2i16, SL,
     { DAG.getConstant(0, SL, MVT::i16), LHS->getOperand(0) });
    return DAG.getNode(ISD::BITCAST, SL, MVT::i32, Vec);
  }

  // shl (ext x) => zext (shl x), if shift does not overflow int
  if (VT != MVT::i64)
    break;
  KnownBits Known = DAG.computeKnownBits(X);
  unsigned LZ = Known.countMinLeadingZeros();
  if (LZ < RHSVal)
    break;
  EVT XVT = X.getValueType();
  SDValue Shl = DAG.getNode(ISD::SHL, SL, XVT, X, SDValue(RHS, 0));
  return DAG.getZExtOrTrunc(Shl, SL, VT);
}
}

if (VT != MVT::i64)
  return SDValue();

// i64 (shl x, C) -> (build_pair 0, (shl x, C -32))

// On some subtargets, 64-bit shift is a quarter rate instruction. In the
// common case, splitting this into a move and a 32-bit shift is faster and
// the same code size.
if (RHSVal < 32)
  return SDValue();

SDValue ShiftAmt = DAG.getConstant(RHSVal - 32, SL, MVT::i32);

SDValue Lo = DAG.getNode(ISD::TRUNCATE, SL, MVT::i32, LHS);
SDValue NewShift = DAG.getNode(ISD::SHL, SL, MVT::i32, Lo, ShiftAmt);

const SDValue Zero = DAG.getConstant(0, SL, MVT::i32);

SDValue Vec = DAG.getBuildVector(MVT::v2i32, SL, {Zero, NewShift});
return DAG.getNode(ISD::BITCAST, SL, MVT::i64, Vec);
3322}

3324SDValue AMDGPUTargetLowering::performSraCombine(SDNode *N,
                                              DAGCombinerInfo &DCI) const {
if (N->getValueType(0) != MVT::i64)
  return SDValue();

const ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N->getOperand(1));
if (!RHS)
  return SDValue();

SelectionDAG &DAG = DCI.DAG;
SDLoc SL(N);
unsigned RHSVal = RHS->getZExtValue();

// (sra i64:x, 32) -> build_pair x, (sra hi_32(x), 31)
if (RHSVal == 32) {
  SDValue Hi = getHiHalf64(N->getOperand(0), DAG);
  SDValue NewShift = DAG.getNode(ISD::SRA, SL, MVT::i32, Hi,
                                 DAG.getConstant(31, SL, MVT::i32));

  SDValue BuildVec = DAG.getBuildVector(MVT::v2i32, SL, {Hi, NewShift});
  return DAG.getNode(ISD::BITCAST, SL, MVT::i64, BuildVec);
}

// (sra i64:x, 63) -> build_pair (sra hi_32(x), 31), (sra hi_32(x), 31)
if (RHSVal == 63) {
  SDValue Hi = getHiHalf64(N->getOperand(0), DAG);
  SDValue NewShift = DAG.getNode(ISD::SRA, SL, MVT::i32, Hi,
                                 DAG.getConstant(31, SL, MVT::i32));
  SDValue BuildVec = DAG.getBuildVector(MVT::v2i32, SL, {NewShift, NewShift});
  return DAG.getNode(ISD::BITCAST, SL, MVT::i64, BuildVec);
}

return SDValue();
3357}

3359SDValue AMDGPUTargetLowering::performSrlCombine(SDNode *N,
                                              DAGCombinerInfo &DCI) const {
auto *RHS = dyn_cast<ConstantSDNode>(N->getOperand(1));
if (!RHS)
  return SDValue();

EVT VT = N->getValueType(0);
SDValue LHS = N->getOperand(0);
unsigned ShiftAmt = RHS->getZExtValue();
SelectionDAG &DAG = DCI.DAG;
SDLoc SL(N);

// fold (srl (and x, c1 << c2), c2) -> (and (srl(x, c2), c1)
// this improves the ability to match BFE patterns in isel.
if (LHS.getOpcode() == ISD::AND) {
  if (auto *Mask = dyn_cast<ConstantSDNode>(LHS.getOperand(1))) {
    unsigned MaskIdx, MaskLen;
    if (Mask->getAPIntValue().isShiftedMask(MaskIdx, MaskLen) &&
        MaskIdx == ShiftAmt) {
      return DAG.getNode(
          ISD::AND, SL, VT,
          DAG.getNode(ISD::SRL, SL, VT, LHS.getOperand(0), N->getOperand(1)),
          DAG.getNode(ISD::SRL, SL, VT, LHS.getOperand(1), N->getOperand(1)));
    }
  }
}

if (VT != MVT::i64)
  return SDValue();

if (ShiftAmt < 32)
  return SDValue();

// srl i64:x, C for C >= 32
// =>
//   build_pair (srl hi_32(x), C - 32), 0
SDValue Zero = DAG.getConstant(0, SL, MVT::i32);

SDValue Hi = getHiHalf64(LHS, DAG);

SDValue NewConst = DAG.getConstant(ShiftAmt - 32, SL, MVT::i32);
SDValue NewShift = DAG.getNode(ISD::SRL, SL, MVT::i32, Hi, NewConst);

SDValue BuildPair = DAG.getBuildVector(MVT::v2i32, SL, {NewShift, Zero});

return DAG.getNode(ISD::BITCAST, SL, MVT::i64, BuildPair);
3405}

3407SDValue AMDGPUTargetLowering::performTruncateCombine(
SDNode *N, DAGCombinerInfo &DCI) const {
SDLoc SL(N);
SelectionDAG &DAG = DCI.DAG;
EVT VT = N->getValueType(0);
SDValue Src = N->getOperand(0);

// vt1 (truncate (bitcast (build_vector vt0:x, ...))) -> vt1 (bitcast vt0:x)
if (Src.getOpcode() == ISD::BITCAST && !VT.isVector()) {
  SDValue Vec = Src.getOperand(0);
  if (Vec.getOpcode() == ISD::BUILD_VECTOR) {
    SDValue Elt0 = Vec.getOperand(0);
    EVT EltVT = Elt0.getValueType();
    if (VT.getFixedSizeInBits() <= EltVT.getFixedSizeInBits()) {
      if (EltVT.isFloatingPoint()) {
        Elt0 = DAG.getNode(ISD::BITCAST, SL,
                           EltVT.changeTypeToInteger(), Elt0);
      }

      return DAG.getNode(ISD::TRUNCATE, SL, VT, Elt0);
    }
  }
}

// Equivalent of above for accessing the high element of a vector as an
// integer operation.
// trunc (srl (bitcast (build_vector x, y))), 16 -> trunc (bitcast y)
if (Src.getOpcode() == ISD::SRL && !VT.isVector()) {
  if (auto K = isConstOrConstSplat(Src.getOperand(1))) {
    if (2 * K->getZExtValue() == Src.getValueType().getScalarSizeInBits()) {
      SDValue BV = stripBitcast(Src.getOperand(0));
      if (BV.getOpcode() == ISD::BUILD_VECTOR &&
          BV.getValueType().getVectorNumElements() == 2) {
        SDValue SrcElt = BV.getOperand(1);
        EVT SrcEltVT = SrcElt.getValueType();
        if (SrcEltVT.isFloatingPoint()) {
          SrcElt = DAG.getNode(ISD::BITCAST, SL,
                               SrcEltVT.changeTypeToInteger(), SrcElt);
        }

        return DAG.getNode(ISD::TRUNCATE, SL, VT, SrcElt);
      }
    }
  }
}

// Partially shrink 64-bit shifts to 32-bit if reduced to 16-bit.
//
// i16 (trunc (srl i64:x, K)), K <= 16 ->
//     i16 (trunc (srl (i32 (trunc x), K)))
if (VT.getScalarSizeInBits() < 32) {
  EVT SrcVT = Src.getValueType();
  if (SrcVT.getScalarSizeInBits() > 32 &&
      (Src.getOpcode() == ISD::SRL ||
       Src.getOpcode() == ISD::SRA ||
       Src.getOpcode() == ISD::SHL)) {
    SDValue Amt = Src.getOperand(1);
    KnownBits Known = DAG.computeKnownBits(Amt);

    // - For left shifts, do the transform as long as the shift
    //   amount is still legal for i32, so when ShiftAmt < 32 (<= 31)
    // - For right shift, do it if ShiftAmt <= (32 - Size) to avoid
    //   losing information stored in the high bits when truncating.
    const unsigned MaxCstSize =
        (Src.getOpcode() == ISD::SHL) ? 31 : (32 - VT.getScalarSizeInBits());
    if (Known.getMaxValue().ule(MaxCstSize)) {
      EVT MidVT = VT.isVector() ?
        EVT::getVectorVT(*DAG.getContext(), MVT::i32,
                         VT.getVectorNumElements()) : MVT::i32;

      EVT NewShiftVT = getShiftAmountTy(MidVT, DAG.getDataLayout());
      SDValue Trunc = DAG.getNode(ISD::TRUNCATE, SL, MidVT,
                                  Src.getOperand(0));
      DCI.AddToWorklist(Trunc.getNode());

      if (Amt.getValueType() != NewShiftVT) {
        Amt = DAG.getZExtOrTrunc(Amt, SL, NewShiftVT);
        DCI.AddToWorklist(Amt.getNode());
      }

      SDValue ShrunkShift = DAG.getNode(Src.getOpcode(), SL, MidVT,
                                        Trunc, Amt);
      return DAG.getNode(ISD::TRUNCATE, SL, VT, ShrunkShift);
    }
  }
}

return SDValue();
3495}

3497// We need to specifically handle i64 mul here to avoid unnecessary conversion
3498// instructions. If we only match on the legalized i64 mul expansion,
3499// SimplifyDemandedBits will be unable to remove them because there will be
3500// multiple uses due to the separate mul + mulh[su].
3501static SDValue getMul24(SelectionDAG &DAG, const SDLoc &SL,
                      SDValue N0, SDValue N1, unsigned Size, bool Signed) {
if (Size <= 32) {
  unsigned MulOpc = Signed ? AMDGPUISD::MUL_I24 : AMDGPUISD::MUL_U24;
  return DAG.getNode(MulOpc, SL, MVT::i32, N0, N1);
}

unsigned MulLoOpc = Signed ? AMDGPUISD::MUL_I24 : AMDGPUISD::MUL_U24;
unsigned MulHiOpc = Signed ? AMDGPUISD::MULHI_I24 : AMDGPUISD::MULHI_U24;

SDValue MulLo = DAG.getNode(MulLoOpc, SL, MVT::i32, N0, N1);
SDValue MulHi = DAG.getNode(MulHiOpc, SL, MVT::i32, N0, N1);

return DAG.getNode(ISD::BUILD_PAIR, SL, MVT::i64, MulLo, MulHi);
3515}

3517SDValue AMDGPUTargetLowering::performMulCombine(SDNode *N,
                                              DAGCombinerInfo &DCI) const {
EVT VT = N->getValueType(0);

// Don't generate 24-bit multiplies on values that are in SGPRs, since
// we only have a 32-bit scalar multiply (avoid values being moved to VGPRs
// unnecessarily). isDivergent() is used as an approximation of whether the
// value is in an SGPR.
if (!N->isDivergent())
  return SDValue();

unsigned Size = VT.getSizeInBits();
if (VT.isVector() || Size > 64)
  return SDValue();

// There are i16 integer mul/mad.
if (Subtarget->has16BitInsts() && VT.getScalarType().bitsLE(MVT::i16))
  return SDValue();

SelectionDAG &DAG = DCI.DAG;
SDLoc DL(N);

SDValue N0 = N->getOperand(0);
SDValue N1 = N->getOperand(1);

// SimplifyDemandedBits has the annoying habit of turning useful zero_extends
// in the source into any_extends if the result of the mul is truncated. Since
// we can assume the high bits are whatever we want, use the underlying value
// to avoid the unknown high bits from interfering.
if (N0.getOpcode() == ISD::ANY_EXTEND)
  N0 = N0.getOperand(0);

if (N1.getOpcode() == ISD::ANY_EXTEND)
  N1 = N1.getOperand(0);

SDValue Mul;

if (Subtarget->hasMulU24() && isU24(N0, DAG) && isU24(N1, DAG)) {
  N0 = DAG.getZExtOrTrunc(N0, DL, MVT::i32);
  N1 = DAG.getZExtOrTrunc(N1, DL, MVT::i32);
  Mul = getMul24(DAG, DL, N0, N1, Size, false);
} else if (Subtarget->hasMulI24() && isI24(N0, DAG) && isI24(N1, DAG)) {
  N0 = DAG.getSExtOrTrunc(N0, DL, MVT::i32);
  N1 = DAG.getSExtOrTrunc(N1, DL, MVT::i32);
  Mul = getMul24(DAG, DL, N0, N1, Size, true);
} else {
  return SDValue();
}

// We need to use sext even for MUL_U24, because MUL_U24 is used
// for signed multiply of 8 and 16-bit types.
return DAG.getSExtOrTrunc(Mul, DL, VT);
3569}

3571SDValue
3572AMDGPUTargetLowering::performMulLoHiCombine(SDNode *N,
                                          DAGCombinerInfo &DCI) const {
if (N->getValueType(0) != MVT::i32)
  return SDValue();

SelectionDAG &DAG = DCI.DAG;
SDLoc DL(N);

SDValue N0 = N->getOperand(0);
SDValue N1 = N->getOperand(1);

// SimplifyDemandedBits has the annoying habit of turning useful zero_extends
// in the source into any_extends if the result of the mul is truncated. Since
// we can assume the high bits are whatever we want, use the underlying value
// to avoid the unknown high bits from interfering.
if (N0.getOpcode() == ISD::ANY_EXTEND)
  N0 = N0.getOperand(0);
if (N1.getOpcode() == ISD::ANY_EXTEND)
  N1 = N1.getOperand(0);

// Try to use two fast 24-bit multiplies (one for each half of the result)
// instead of one slow extending multiply.
unsigned LoOpcode, HiOpcode;
if (Subtarget->hasMulU24() && isU24(N0, DAG) && isU24(N1, DAG)) {
  N0 = DAG.getZExtOrTrunc(N0, DL, MVT::i32);
  N1 = DAG.getZExtOrTrunc(N1, DL, MVT::i32);
  LoOpcode = AMDGPUISD::MUL_U24;
  HiOpcode = AMDGPUISD::MULHI_U24;
} else if (Subtarget->hasMulI24() && isI24(N0, DAG) && isI24(N1, DAG)) {
  N0 = DAG.getSExtOrTrunc(N0, DL, MVT::i32);
  N1 = DAG.getSExtOrTrunc(N1, DL, MVT::i32);
  LoOpcode = AMDGPUISD::MUL_I24;
  HiOpcode = AMDGPUISD::MULHI_I24;
} else {
  return SDValue();
}

SDValue Lo = DAG.getNode(LoOpcode, DL, MVT::i32, N0, N1);
SDValue Hi = DAG.getNode(HiOpcode, DL, MVT::i32, N0, N1);
DCI.CombineTo(N, Lo, Hi);
return SDValue(N, 0);
3613}

3615SDValue AMDGPUTargetLowering::performMulhsCombine(SDNode *N,
                                                DAGCombinerInfo &DCI) const {
EVT VT = N->getValueType(0);

if (!Subtarget->hasMulI24() || VT.isVector())
  return SDValue();

// Don't generate 24-bit multiplies on values that are in SGPRs, since
// we only have a 32-bit scalar multiply (avoid values being moved to VGPRs
// unnecessarily). isDivergent() is used as an approximation of whether the
// value is in an SGPR.
// This doesn't apply if no s_mul_hi is available (since we'll end up with a
// valu op anyway)
if (Subtarget->hasSMulHi() && !N->isDivergent())
  return SDValue();

SelectionDAG &DAG = DCI.DAG;
SDLoc DL(N);

SDValue N0 = N->getOperand(0);
SDValue N1 = N->getOperand(1);

if (!isI24(N0, DAG) || !isI24(N1, DAG))
  return SDValue();

N0 = DAG.getSExtOrTrunc(N0, DL, MVT::i32);
N1 = DAG.getSExtOrTrunc(N1, DL, MVT::i32);

SDValue Mulhi = DAG.getNode(AMDGPUISD::MULHI_I24, DL, MVT::i32, N0, N1);
DCI.AddToWorklist(Mulhi.getNode());
return DAG.getSExtOrTrunc(Mulhi, DL, VT);
3646}

3648SDValue AMDGPUTargetLowering::performMulhuCombine(SDNode *N,
                                                DAGCombinerInfo &DCI) const {
EVT VT = N->getValueType(0);

if (!Subtarget->hasMulU24() || VT.isVector() || VT.getSizeInBits() > 32)
  return SDValue();

// Don't generate 24-bit multiplies on values that are in SGPRs, since
// we only have a 32-bit scalar multiply (avoid values being moved to VGPRs
// unnecessarily). isDivergent() is used as an approximation of whether the
// value is in an SGPR.
// This doesn't apply if no s_mul_hi is available (since we'll end up with a
// valu op anyway)
if (Subtarget->hasSMulHi() && !N->isDivergent())
  return SDValue();

SelectionDAG &DAG = DCI.DAG;
SDLoc DL(N);

SDValue N0 = N->getOperand(0);
SDValue N1 = N->getOperand(1);

if (!isU24(N0, DAG) || !isU24(N1, DAG))
  return SDValue();

N0 = DAG.getZExtOrTrunc(N0, DL, MVT::i32);
N1 = DAG.getZExtOrTrunc(N1, DL, MVT::i32);

SDValue Mulhi = DAG.getNode(AMDGPUISD::MULHI_U24, DL, MVT::i32, N0, N1);
DCI.AddToWorklist(Mulhi.getNode());
return DAG.getZExtOrTrunc(Mulhi, DL, VT);
3679}

3681SDValue AMDGPUTargetLowering::getFFBX_U32(SelectionDAG &DAG,
                                        SDValue Op,
                                        const SDLoc &DL,
                                        unsigned Opc) const {
EVT VT = Op.getValueType();
EVT LegalVT = getTypeToTransformTo(*DAG.getContext(), VT);
if (LegalVT != MVT::i32 && (Subtarget->has16BitInsts() &&
                            LegalVT != MVT::i16))
  return SDValue();

if (VT != MVT::i32)
  Op = DAG.getNode(ISD::ZERO_EXTEND, DL, MVT::i32, Op);

SDValue FFBX = DAG.getNode(Opc, DL, MVT::i32, Op);
if (VT != MVT::i32)
  FFBX = DAG.getNode(ISD::TRUNCATE, DL, VT, FFBX);

return FFBX;
3699}

3701// The native instructions return -1 on 0 input. Optimize out a select that
3702// produces -1 on 0.
3703//
3704// TODO: If zero is not undef, we could also do this if the output is compared
3705// against the bitwidth.
3706//
3707// TODO: Should probably combine against FFBH_U32 instead of ctlz directly.
3708SDValue AMDGPUTargetLowering::performCtlz_CttzCombine(const SDLoc &SL, SDValue Cond,
                                               SDValue LHS, SDValue RHS,
                                               DAGCombinerInfo &DCI) const {
ConstantSDNode *CmpRhs = dyn_cast<ConstantSDNode>(Cond.getOperand(1));
if (!CmpRhs || !CmpRhs->isZero())
  return SDValue();

SelectionDAG &DAG = DCI.DAG;
ISD::CondCode CCOpcode = cast<CondCodeSDNode>(Cond.getOperand(2))->get();
SDValue CmpLHS = Cond.getOperand(0);

// select (setcc x, 0, eq), -1, (ctlz_zero_undef x) -> ffbh_u32 x
// select (setcc x, 0, eq), -1, (cttz_zero_undef x) -> ffbl_u32 x
if (CCOpcode == ISD::SETEQ &&
    (isCtlzOpc(RHS.getOpcode()) || isCttzOpc(RHS.getOpcode())) &&
    RHS.getOperand(0) == CmpLHS && isAllOnesConstant(LHS)) {
  unsigned Opc =
      isCttzOpc(RHS.getOpcode()) ? AMDGPUISD::FFBL_B32 : AMDGPUISD::FFBH_U32;
  return getFFBX_U32(DAG, CmpLHS, SL, Opc);
}

// select (setcc x, 0, ne), (ctlz_zero_undef x), -1 -> ffbh_u32 x
// select (setcc x, 0, ne), (cttz_zero_undef x), -1 -> ffbl_u32 x
if (CCOpcode == ISD::SETNE &&
    (isCtlzOpc(LHS.getOpcode()) || isCttzOpc(LHS.getOpcode())) &&
    LHS.getOperand(0) == CmpLHS && isAllOnesConstant(RHS)) {
  unsigned Opc =
      isCttzOpc(LHS.getOpcode()) ? AMDGPUISD::FFBL_B32 : AMDGPUISD::FFBH_U32;

  return getFFBX_U32(DAG, CmpLHS, SL, Opc);
}

return SDValue();
3741}

3743static SDValue distributeOpThroughSelect(TargetLowering::DAGCombinerInfo &DCI,
                                       unsigned Op,
                                       const SDLoc &SL,
                                       SDValue Cond,
                                       SDValue N1,
                                       SDValue N2) {
SelectionDAG &DAG = DCI.DAG;
EVT VT = N1.getValueType();

SDValue NewSelect = DAG.getNode(ISD::SELECT, SL, VT, Cond,
                                N1.getOperand(0), N2.getOperand(0));
DCI.AddToWorklist(NewSelect.getNode());
return DAG.getNode(Op, SL, VT, NewSelect);
3756}

3758// Pull a free FP operation out of a select so it may fold into uses.
3759//
3760// select c, (fneg x), (fneg y) -> fneg (select c, x, y)
3761// select c, (fneg x), k -> fneg (select c, x, (fneg k))
3762//
3763// select c, (fabs x), (fabs y) -> fabs (select c, x, y)
3764// select c, (fabs x), +k -> fabs (select c, x, k)
3765SDValue
3766AMDGPUTargetLowering::foldFreeOpFromSelect(TargetLowering::DAGCombinerInfo &DCI,
                                         SDValue N) const {
SelectionDAG &DAG = DCI.DAG;
SDValue Cond = N.getOperand(0);
SDValue LHS = N.getOperand(1);
SDValue RHS = N.getOperand(2);

EVT VT = N.getValueType();
if ((LHS.getOpcode() == ISD::FABS && RHS.getOpcode() == ISD::FABS) ||
    (LHS.getOpcode() == ISD::FNEG && RHS.getOpcode() == ISD::FNEG)) {
  if (!AMDGPUTargetLowering::allUsesHaveSourceMods(N.getNode()))
    return SDValue();

  return distributeOpThroughSelect(DCI, LHS.getOpcode(),
                                   SDLoc(N), Cond, LHS, RHS);
}

bool Inv = false;
if (RHS.getOpcode() == ISD::FABS || RHS.getOpcode() == ISD::FNEG) {
  std::swap(LHS, RHS);
  Inv = true;
}

// TODO: Support vector constants.
ConstantFPSDNode *CRHS = dyn_cast<ConstantFPSDNode>(RHS);
if ((LHS.getOpcode() == ISD::FNEG || LHS.getOpcode() == ISD::FABS) && CRHS &&
    !selectSupportsSourceMods(N.getNode())) {
  SDLoc SL(N);
  // If one side is an fneg/fabs and the other is a constant, we can push the
  // fneg/fabs down. If it's an fabs, the constant needs to be non-negative.
  SDValue NewLHS = LHS.getOperand(0);
  SDValue NewRHS = RHS;

  // Careful: if the neg can be folded up, don't try to pull it back down.
  bool ShouldFoldNeg = true;

  if (NewLHS.hasOneUse()) {
    unsigned Opc = NewLHS.getOpcode();
    if (LHS.getOpcode() == ISD::FNEG && fnegFoldsIntoOp(NewLHS.getNode()))
      ShouldFoldNeg = false;
    if (LHS.getOpcode() == ISD::FABS && Opc == ISD::FMUL)
      ShouldFoldNeg = false;
  }

  if (ShouldFoldNeg) {
    if (LHS.getOpcode() == ISD::FABS && CRHS->isNegative())
      return SDValue();

    // We're going to be forced to use a source modifier anyway, there's no
    // point to pulling the negate out unless we can get a size reduction by
    // negating the constant.
    //
    // TODO: Generalize to use getCheaperNegatedExpression which doesn't know
    // about cheaper constants.
    if (NewLHS.getOpcode() == ISD::FABS &&
        getConstantNegateCost(CRHS) != NegatibleCost::Cheaper)
      return SDValue();

    if (!AMDGPUTargetLowering::allUsesHaveSourceMods(N.getNode()))
      return SDValue();

    if (LHS.getOpcode() == ISD::FNEG)
      NewRHS = DAG.getNode(ISD::FNEG, SL, VT, RHS);

    if (Inv)
      std::swap(NewLHS, NewRHS);

    SDValue NewSelect = DAG.getNode(ISD::SELECT, SL, VT,
                                    Cond, NewLHS, NewRHS);
    DCI.AddToWorklist(NewSelect.getNode());
    return DAG.getNode(LHS.getOpcode(), SL, VT, NewSelect);
  }
}

return SDValue();
3841}

3843SDValue AMDGPUTargetLowering::performSelectCombine(SDNode *N,
                                                 DAGCombinerInfo &DCI) const {
if (SDValue Folded = foldFreeOpFromSelect(DCI, SDValue(N, 0)))
  return Folded;

SDValue Cond = N->getOperand(0);
if (Cond.getOpcode() != ISD::SETCC)
  return SDValue();

EVT VT = N->getValueType(0);
SDValue LHS = Cond.getOperand(0);
SDValue RHS = Cond.getOperand(1);
SDValue CC = Cond.getOperand(2);

SDValue True = N->getOperand(1);
SDValue False = N->getOperand(2);

if (Cond.hasOneUse()) { // TODO: Look for multiple select uses.
  SelectionDAG &DAG = DCI.DAG;
  if (DAG.isConstantValueOfAnyType(True) &&
      !DAG.isConstantValueOfAnyType(False)) {
    // Swap cmp + select pair to move constant to false input.
    // This will allow using VOPC cndmasks more often.
    // select (setcc x, y), k, x -> select (setccinv x, y), x, k

    SDLoc SL(N);
    ISD::CondCode NewCC =
        getSetCCInverse(cast<CondCodeSDNode>(CC)->get(), LHS.getValueType());

    SDValue NewCond = DAG.getSetCC(SL, Cond.getValueType(), LHS, RHS, NewCC);
    return DAG.getNode(ISD::SELECT, SL, VT, NewCond, False, True);
  }

  if (VT == MVT::f32 && Subtarget->hasFminFmaxLegacy()) {
    SDValue MinMax
      = combineFMinMaxLegacy(SDLoc(N), VT, LHS, RHS, True, False, CC, DCI);
    // Revisit this node so we can catch min3/max3/med3 patterns.
    //DCI.AddToWorklist(MinMax.getNode());
    return MinMax;
  }
}

// There's no reason to not do this if the condition has other uses.
return performCtlz_CttzCombine(SDLoc(N), Cond, True, False, DCI);
3887}

3889static bool isInv2Pi(const APFloat &APF) {
static const APFloat KF16(APFloat::IEEEhalf(), APInt(16, 0x3118));
static const APFloat KF32(APFloat::IEEEsingle(), APInt(32, 0x3e22f983));
static const APFloat KF64(APFloat::IEEEdouble(), APInt(64, 0x3fc45f306dc9c882));

return APF.bitwiseIsEqual(KF16) ||
       APF.bitwiseIsEqual(KF32) ||
       APF.bitwiseIsEqual(KF64);
3897}

3899// 0 and 1.0 / (0.5 * pi) do not have inline immmediates, so there is an
3900// additional cost to negate them.
3901TargetLowering::NegatibleCost
3902AMDGPUTargetLowering::getConstantNegateCost(const ConstantFPSDNode *C) const {
if (C->isZero())
  return C->isNegative() ? NegatibleCost::Cheaper : NegatibleCost::Expensive;

if (Subtarget->hasInv2PiInlineImm() && isInv2Pi(C->getValueAPF()))
  return C->isNegative() ? NegatibleCost::Cheaper : NegatibleCost::Expensive;

return NegatibleCost::Neutral;
3910}

3912bool AMDGPUTargetLowering::isConstantCostlierToNegate(SDValue N) const {
if (const ConstantFPSDNode *C = isConstOrConstSplatFP(N))
  return getConstantNegateCost(C) == NegatibleCost::Expensive;
return false;
3916}

3918bool AMDGPUTargetLowering::isConstantCheaperToNegate(SDValue N) const {
if (const ConstantFPSDNode *C = isConstOrConstSplatFP(N))
  return getConstantNegateCost(C) == NegatibleCost::Cheaper;
return false;
3922}

3924static unsigned inverseMinMax(unsigned Opc) {
switch (Opc) {
case ISD::FMAXNUM:
  return ISD::FMINNUM;
case ISD::FMINNUM:
  return ISD::FMAXNUM;
case ISD::FMAXNUM_IEEE:
  return ISD::FMINNUM_IEEE;
case ISD::FMINNUM_IEEE:
  return ISD::FMAXNUM_IEEE;
case AMDGPUISD::FMAX_LEGACY:
  return AMDGPUISD::FMIN_LEGACY;
case AMDGPUISD::FMIN_LEGACY:
  return  AMDGPUISD::FMAX_LEGACY;
default:
  llvm_unreachable("invalid min/max opcode")::llvm::llvm_unreachable_internal("invalid min/max opcode", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 3939);
}
3941}

3943/// \return true if it's profitable to try to push an fneg into its source
3944/// instruction.
3945bool AMDGPUTargetLowering::shouldFoldFNegIntoSrc(SDNode *N, SDValue N0) {
// If the input has multiple uses and we can either fold the negate down, or
// the other uses cannot, give up. This both prevents unprofitable
// transformations and infinite loops: we won't repeatedly try to fold around
// a negate that has no 'good' form.
if (N0.hasOneUse()) {
  // This may be able to fold into the source, but at a code size cost. Don't
  // fold if the fold into the user is free.
  if (allUsesHaveSourceMods(N, 0))
    return false;
} else {
  if (fnegFoldsIntoOp(N0.getNode()) &&
      (allUsesHaveSourceMods(N) || !allUsesHaveSourceMods(N0.getNode())))
    return false;
}

return true;
3962}

3964SDValue AMDGPUTargetLowering::performFNegCombine(SDNode *N,
                                               DAGCombinerInfo &DCI) const {
SelectionDAG &DAG = DCI.DAG;
SDValue N0 = N->getOperand(0);
EVT VT = N->getValueType(0);

unsigned Opc = N0.getOpcode();

if (!shouldFoldFNegIntoSrc(N, N0))
  return SDValue();

SDLoc SL(N);
switch (Opc) {
case ISD::FADD: {
  if (!mayIgnoreSignedZero(N0))
    return SDValue();

  // (fneg (fadd x, y)) -> (fadd (fneg x), (fneg y))
  SDValue LHS = N0.getOperand(0);
  SDValue RHS = N0.getOperand(1);

  if (LHS.getOpcode() != ISD::FNEG)
    LHS = DAG.getNode(ISD::FNEG, SL, VT, LHS);
  else
    LHS = LHS.getOperand(0);

  if (RHS.getOpcode() != ISD::FNEG)
    RHS = DAG.getNode(ISD::FNEG, SL, VT, RHS);
  else
    RHS = RHS.getOperand(0);

  SDValue Res = DAG.getNode(ISD::FADD, SL, VT, LHS, RHS, N0->getFlags());
  if (Res.getOpcode() != ISD::FADD)
    return SDValue(); // Op got folded away.
  if (!N0.hasOneUse())
    DAG.ReplaceAllUsesWith(N0, DAG.getNode(ISD::FNEG, SL, VT, Res));
  return Res;
}
case ISD::FMUL:
case AMDGPUISD::FMUL_LEGACY: {
  // (fneg (fmul x, y)) -> (fmul x, (fneg y))
  // (fneg (fmul_legacy x, y)) -> (fmul_legacy x, (fneg y))
  SDValue LHS = N0.getOperand(0);
  SDValue RHS = N0.getOperand(1);

  if (LHS.getOpcode() == ISD::FNEG)
    LHS = LHS.getOperand(0);
  else if (RHS.getOpcode() == ISD::FNEG)
    RHS = RHS.getOperand(0);
  else
    RHS = DAG.getNode(ISD::FNEG, SL, VT, RHS);

  SDValue Res = DAG.getNode(Opc, SL, VT, LHS, RHS, N0->getFlags());
  if (Res.getOpcode() != Opc)
    return SDValue(); // Op got folded away.
  if (!N0.hasOneUse())
    DAG.ReplaceAllUsesWith(N0, DAG.getNode(ISD::FNEG, SL, VT, Res));
  return Res;
}
case ISD::FMA:
case ISD::FMAD: {
  // TODO: handle llvm.amdgcn.fma.legacy
  if (!mayIgnoreSignedZero(N0))
    return SDValue();

  // (fneg (fma x, y, z)) -> (fma x, (fneg y), (fneg z))
  SDValue LHS = N0.getOperand(0);
  SDValue MHS = N0.getOperand(1);
  SDValue RHS = N0.getOperand(2);

  if (LHS.getOpcode() == ISD::FNEG)
    LHS = LHS.getOperand(0);
  else if (MHS.getOpcode() == ISD::FNEG)
    MHS = MHS.getOperand(0);
  else
    MHS = DAG.getNode(ISD::FNEG, SL, VT, MHS);

  if (RHS.getOpcode() != ISD::FNEG)
    RHS = DAG.getNode(ISD::FNEG, SL, VT, RHS);
  else
    RHS = RHS.getOperand(0);

  SDValue Res = DAG.getNode(Opc, SL, VT, LHS, MHS, RHS);
  if (Res.getOpcode() != Opc)
    return SDValue(); // Op got folded away.
  if (!N0.hasOneUse())
    DAG.ReplaceAllUsesWith(N0, DAG.getNode(ISD::FNEG, SL, VT, Res));
  return Res;
}
case ISD::FMAXNUM:
case ISD::FMINNUM:
case ISD::FMAXNUM_IEEE:
case ISD::FMINNUM_IEEE:
case AMDGPUISD::FMAX_LEGACY:
case AMDGPUISD::FMIN_LEGACY: {
  // fneg (fmaxnum x, y) -> fminnum (fneg x), (fneg y)
  // fneg (fminnum x, y) -> fmaxnum (fneg x), (fneg y)
  // fneg (fmax_legacy x, y) -> fmin_legacy (fneg x), (fneg y)
  // fneg (fmin_legacy x, y) -> fmax_legacy (fneg x), (fneg y)

  SDValue LHS = N0.getOperand(0);
  SDValue RHS = N0.getOperand(1);

  // 0 doesn't have a negated inline immediate.
  // TODO: This constant check should be generalized to other operations.
  if (isConstantCostlierToNegate(RHS))
    return SDValue();

  SDValue NegLHS = DAG.getNode(ISD::FNEG, SL, VT, LHS);
  SDValue NegRHS = DAG.getNode(ISD::FNEG, SL, VT, RHS);
  unsigned Opposite = inverseMinMax(Opc);

  SDValue Res = DAG.getNode(Opposite, SL, VT, NegLHS, NegRHS, N0->getFlags());
  if (Res.getOpcode() != Opposite)
    return SDValue(); // Op got folded away.
  if (!N0.hasOneUse())
    DAG.ReplaceAllUsesWith(N0, DAG.getNode(ISD::FNEG, SL, VT, Res));
  return Res;
}
case AMDGPUISD::FMED3: {
  SDValue Ops[3];
  for (unsigned I = 0; I < 3; ++I)
    Ops[I] = DAG.getNode(ISD::FNEG, SL, VT, N0->getOperand(I), N0->getFlags());

  SDValue Res = DAG.getNode(AMDGPUISD::FMED3, SL, VT, Ops, N0->getFlags());
  if (Res.getOpcode() != AMDGPUISD::FMED3)
    return SDValue(); // Op got folded away.

  if (!N0.hasOneUse()) {
    SDValue Neg = DAG.getNode(ISD::FNEG, SL, VT, Res);
    DAG.ReplaceAllUsesWith(N0, Neg);

    for (SDNode *U : Neg->uses())
      DCI.AddToWorklist(U);
  }

  return Res;
}
case ISD::FP_EXTEND:
case ISD::FTRUNC:
case ISD::FRINT:
case ISD::FNEARBYINT: // XXX - Should fround be handled?
case ISD::FSIN:
case ISD::FCANONICALIZE:
case AMDGPUISD::RCP:
case AMDGPUISD::RCP_LEGACY:
case AMDGPUISD::RCP_IFLAG:
case AMDGPUISD::SIN_HW: {
  SDValue CvtSrc = N0.getOperand(0);
  if (CvtSrc.getOpcode() == ISD::FNEG) {
    // (fneg (fp_extend (fneg x))) -> (fp_extend x)
    // (fneg (rcp (fneg x))) -> (rcp x)
    return DAG.getNode(Opc, SL, VT, CvtSrc.getOperand(0));
  }

  if (!N0.hasOneUse())
    return SDValue();

  // (fneg (fp_extend x)) -> (fp_extend (fneg x))
  // (fneg (rcp x)) -> (rcp (fneg x))
  SDValue Neg = DAG.getNode(ISD::FNEG, SL, CvtSrc.getValueType(), CvtSrc);
  return DAG.getNode(Opc, SL, VT, Neg, N0->getFlags());
}
case ISD::FP_ROUND: {
  SDValue CvtSrc = N0.getOperand(0);

  if (CvtSrc.getOpcode() == ISD::FNEG) {
    // (fneg (fp_round (fneg x))) -> (fp_round x)
    return DAG.getNode(ISD::FP_ROUND, SL, VT,
                       CvtSrc.getOperand(0), N0.getOperand(1));
  }

  if (!N0.hasOneUse())
    return SDValue();

  // (fneg (fp_round x)) -> (fp_round (fneg x))
  SDValue Neg = DAG.getNode(ISD::FNEG, SL, CvtSrc.getValueType(), CvtSrc);
  return DAG.getNode(ISD::FP_ROUND, SL, VT, Neg, N0.getOperand(1));
}
case ISD::FP16_TO_FP: {
  // v_cvt_f32_f16 supports source modifiers on pre-VI targets without legal
  // f16, but legalization of f16 fneg ends up pulling it out of the source.
  // Put the fneg back as a legal source operation that can be matched later.
  SDLoc SL(N);

  SDValue Src = N0.getOperand(0);
  EVT SrcVT = Src.getValueType();

  // fneg (fp16_to_fp x) -> fp16_to_fp (xor x, 0x8000)
  SDValue IntFNeg = DAG.getNode(ISD::XOR, SL, SrcVT, Src,
                                DAG.getConstant(0x8000, SL, SrcVT));
  return DAG.getNode(ISD::FP16_TO_FP, SL, N->getValueType(0), IntFNeg);
}
case ISD::SELECT: {
  // fneg (select c, a, b) -> select c, (fneg a), (fneg b)
  // TODO: Invert conditions of foldFreeOpFromSelect
  return SDValue();
}
case ISD::BITCAST: {
  SDLoc SL(N);
  SDValue BCSrc = N0.getOperand(0);
  if (BCSrc.getOpcode() == ISD::BUILD_VECTOR) {
    SDValue HighBits = BCSrc.getOperand(BCSrc.getNumOperands() - 1);
    if (HighBits.getValueType().getSizeInBits() != 32 ||
        !fnegFoldsIntoOp(HighBits.getNode()))
      return SDValue();

    // f64 fneg only really needs to operate on the high half of of the
    // register, so try to force it to an f32 operation to help make use of
    // source modifiers.
    //
    //
    // fneg (f64 (bitcast (build_vector x, y))) ->
    // f64 (bitcast (build_vector (bitcast i32:x to f32),
    //                            (fneg (bitcast i32:y to f32)))

    SDValue CastHi = DAG.getNode(ISD::BITCAST, SL, MVT::f32, HighBits);
    SDValue NegHi = DAG.getNode(ISD::FNEG, SL, MVT::f32, CastHi);
    SDValue CastBack =
        DAG.getNode(ISD::BITCAST, SL, HighBits.getValueType(), NegHi);

    SmallVector<SDValue, 8> Ops(BCSrc->op_begin(), BCSrc->op_end());
    Ops.back() = CastBack;
    DCI.AddToWorklist(NegHi.getNode());
    SDValue Build =
        DAG.getNode(ISD::BUILD_VECTOR, SL, BCSrc.getValueType(), Ops);
    SDValue Result = DAG.getNode(ISD::BITCAST, SL, VT, Build);

    if (!N0.hasOneUse())
      DAG.ReplaceAllUsesWith(N0, DAG.getNode(ISD::FNEG, SL, VT, Result));
    return Result;
  }

  if (BCSrc.getOpcode() == ISD::SELECT && VT == MVT::f32 &&
      BCSrc.hasOneUse()) {
    // fneg (bitcast (f32 (select cond, i32:lhs, i32:rhs))) ->
    //   select cond, (bitcast i32:lhs to f32), (bitcast i32:rhs to f32)

    // TODO: Cast back result for multiple uses is beneficial in some cases.

    SDValue LHS =
        DAG.getNode(ISD::BITCAST, SL, MVT::f32, BCSrc.getOperand(1));
    SDValue RHS =
        DAG.getNode(ISD::BITCAST, SL, MVT::f32, BCSrc.getOperand(2));

    SDValue NegLHS = DAG.getNode(ISD::FNEG, SL, MVT::f32, LHS);
    SDValue NegRHS = DAG.getNode(ISD::FNEG, SL, MVT::f32, RHS);

    return DAG.getNode(ISD::SELECT, SL, MVT::f32, BCSrc.getOperand(0), NegLHS,
                       NegRHS);
  }

  return SDValue();
}
default:
  return SDValue();
}
4221}

4223SDValue AMDGPUTargetLowering::performFAbsCombine(SDNode *N,
                                               DAGCombinerInfo &DCI) const {
SelectionDAG &DAG = DCI.DAG;
SDValue N0 = N->getOperand(0);

if (!N0.hasOneUse())
  return SDValue();

switch (N0.getOpcode()) {
case ISD::FP16_TO_FP: {
  assert(!Subtarget->has16BitInsts() && "should only see if f16 is illegal")(static_cast <bool> (!Subtarget->has16BitInsts() &&
 "should only see if f16 is illegal") ? void (0) : __assert_fail
 ("!Subtarget->has16BitInsts() && \"should only see if f16 is illegal\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 4233, __extension__
 __PRETTY_FUNCTION__));
  SDLoc SL(N);
  SDValue Src = N0.getOperand(0);
  EVT SrcVT = Src.getValueType();

  // fabs (fp16_to_fp x) -> fp16_to_fp (and x, 0x7fff)
  SDValue IntFAbs = DAG.getNode(ISD::AND, SL, SrcVT, Src,
                                DAG.getConstant(0x7fff, SL, SrcVT));
  return DAG.getNode(ISD::FP16_TO_FP, SL, N->getValueType(0), IntFAbs);
}
default:
  return SDValue();
}
4246}

4248SDValue AMDGPUTargetLowering::performRcpCombine(SDNode *N,
                                              DAGCombinerInfo &DCI) const {
const auto *CFP = dyn_cast<ConstantFPSDNode>(N->getOperand(0));
if (!CFP)
  return SDValue();

// XXX - Should this flush denormals?
const APFloat &Val = CFP->getValueAPF();
APFloat One(Val.getSemantics(), "1.0");
return DCI.DAG.getConstantFP(One / Val, SDLoc(N), N->getValueType(0));
4258}

4260SDValue AMDGPUTargetLowering::PerformDAGCombine(SDNode *N,
                                              DAGCombinerInfo &DCI) const {
SelectionDAG &DAG = DCI.DAG;
SDLoc DL(N);

switch(N->getOpcode()) {
default:
  break;
case ISD::BITCAST: {
  EVT DestVT = N->getValueType(0);

  // Push casts through vector builds. This helps avoid emitting a large
  // number of copies when materializing floating point vector constants.
  //
  // vNt1 bitcast (vNt0 (build_vector t0:x, t0:y)) =>
  //   vnt1 = build_vector (t1 (bitcast t0:x)), (t1 (bitcast t0:y))
  if (DestVT.isVector()) {
    SDValue Src = N->getOperand(0);
    if (Src.getOpcode() == ISD::BUILD_VECTOR) {
      EVT SrcVT = Src.getValueType();
      unsigned NElts = DestVT.getVectorNumElements();

      if (SrcVT.getVectorNumElements() == NElts) {
        EVT DestEltVT = DestVT.getVectorElementType();

        SmallVector<SDValue, 8> CastedElts;
        SDLoc SL(N);
        for (unsigned I = 0, E = SrcVT.getVectorNumElements(); I != E; ++I) {
          SDValue Elt = Src.getOperand(I);
          CastedElts.push_back(DAG.getNode(ISD::BITCAST, DL, DestEltVT, Elt));
        }

        return DAG.getBuildVector(DestVT, SL, CastedElts);
      }
    }
  }

  if (DestVT.getSizeInBits() != 64 || !DestVT.isVector())
    break;

  // Fold bitcasts of constants.
  //
  // v2i32 (bitcast i64:k) -> build_vector lo_32(k), hi_32(k)
  // TODO: Generalize and move to DAGCombiner
  SDValue Src = N->getOperand(0);
  if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Src)) {
    SDLoc SL(N);
    uint64_t CVal = C->getZExtValue();
    SDValue BV = DAG.getNode(ISD::BUILD_VECTOR, SL, MVT::v2i32,
                             DAG.getConstant(Lo_32(CVal), SL, MVT::i32),
                             DAG.getConstant(Hi_32(CVal), SL, MVT::i32));
    return DAG.getNode(ISD::BITCAST, SL, DestVT, BV);
  }

  if (ConstantFPSDNode *C = dyn_cast<ConstantFPSDNode>(Src)) {
    const APInt &Val = C->getValueAPF().bitcastToAPInt();
    SDLoc SL(N);
    uint64_t CVal = Val.getZExtValue();
    SDValue Vec = DAG.getNode(ISD::BUILD_VECTOR, SL, MVT::v2i32,
                              DAG.getConstant(Lo_32(CVal), SL, MVT::i32),
                              DAG.getConstant(Hi_32(CVal), SL, MVT::i32));

    return DAG.getNode(ISD::BITCAST, SL, DestVT, Vec);
  }

  break;
}
case ISD::SHL: {
  if (DCI.getDAGCombineLevel() < AfterLegalizeDAG)
    break;

  return performShlCombine(N, DCI);
}
case ISD::SRL: {
  if (DCI.getDAGCombineLevel() < AfterLegalizeDAG)
    break;

  return performSrlCombine(N, DCI);
}
case ISD::SRA: {
  if (DCI.getDAGCombineLevel() < AfterLegalizeDAG)
    break;

  return performSraCombine(N, DCI);
}
case ISD::TRUNCATE:
  return performTruncateCombine(N, DCI);
case ISD::MUL:
  return performMulCombine(N, DCI);
case ISD::SMUL_LOHI:
case ISD::UMUL_LOHI:
  return performMulLoHiCombine(N, DCI);
case ISD::MULHS:
  return performMulhsCombine(N, DCI);
case ISD::MULHU:
  return performMulhuCombine(N, DCI);
case AMDGPUISD::MUL_I24:
case AMDGPUISD::MUL_U24:
case AMDGPUISD::MULHI_I24:
case AMDGPUISD::MULHI_U24:
  return simplifyMul24(N, DCI);
case ISD::SELECT:
  return performSelectCombine(N, DCI);
case ISD::FNEG:
  return performFNegCombine(N, DCI);
case ISD::FABS:
  return performFAbsCombine(N, DCI);
case AMDGPUISD::BFE_I32:
case AMDGPUISD::BFE_U32: {
  assert(!N->getValueType(0).isVector() &&(static_cast <bool> (!N->getValueType(0).isVector() &&
 "Vector handling of BFE not implemented") ? void (0) : __assert_fail
 ("!N->getValueType(0).isVector() && \"Vector handling of BFE not implemented\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 4370, __extension__
 __PRETTY_FUNCTION__))
         "Vector handling of BFE not implemented")(static_cast <bool> (!N->getValueType(0).isVector() &&
 "Vector handling of BFE not implemented") ? void (0) : __assert_fail
 ("!N->getValueType(0).isVector() && \"Vector handling of BFE not implemented\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 4370, __extension__
 __PRETTY_FUNCTION__));
  ConstantSDNode *Width = dyn_cast<ConstantSDNode>(N->getOperand(2));
  if (!Width)
    break;

  uint32_t WidthVal = Width->getZExtValue() & 0x1f;
  if (WidthVal == 0)
    return DAG.getConstant(0, DL, MVT::i32);

  ConstantSDNode *Offset = dyn_cast<ConstantSDNode>(N->getOperand(1));
  if (!Offset)
    break;

  SDValue BitsFrom = N->getOperand(0);
  uint32_t OffsetVal = Offset->getZExtValue() & 0x1f;

  bool Signed = N->getOpcode() == AMDGPUISD::BFE_I32;

  if (OffsetVal == 0) {
    // This is already sign / zero extended, so try to fold away extra BFEs.
    unsigned SignBits =  Signed ? (32 - WidthVal + 1) : (32 - WidthVal);

    unsigned OpSignBits = DAG.ComputeNumSignBits(BitsFrom);
    if (OpSignBits >= SignBits)
      return BitsFrom;

    EVT SmallVT = EVT::getIntegerVT(*DAG.getContext(), WidthVal);
    if (Signed) {
      // This is a sign_extend_inreg. Replace it to take advantage of existing
      // DAG Combines. If not eliminated, we will match back to BFE during
      // selection.

      // TODO: The sext_inreg of extended types ends, although we can could
      // handle them in a single BFE.
      return DAG.getNode(ISD::SIGN_EXTEND_INREG, DL, MVT::i32, BitsFrom,
                         DAG.getValueType(SmallVT));
    }

    return DAG.getZeroExtendInReg(BitsFrom, DL, SmallVT);
  }

  if (ConstantSDNode *CVal = dyn_cast<ConstantSDNode>(BitsFrom)) {
    if (Signed) {
      return constantFoldBFE<int32_t>(DAG,
                                      CVal->getSExtValue(),
                                      OffsetVal,
                                      WidthVal,
                                      DL);
    }

    return constantFoldBFE<uint32_t>(DAG,
                                     CVal->getZExtValue(),
                                     OffsetVal,
                                     WidthVal,
                                     DL);
  }

  if ((OffsetVal + WidthVal) >= 32 &&
      !(Subtarget->hasSDWA() && OffsetVal == 16 && WidthVal == 16)) {
    SDValue ShiftVal = DAG.getConstant(OffsetVal, DL, MVT::i32);
    return DAG.getNode(Signed ? ISD::SRA : ISD::SRL, DL, MVT::i32,
                       BitsFrom, ShiftVal);
  }

  if (BitsFrom.hasOneUse()) {
    APInt Demanded = APInt::getBitsSet(32,
                                       OffsetVal,
                                       OffsetVal + WidthVal);

    KnownBits Known;
    TargetLowering::TargetLoweringOpt TLO(DAG, !DCI.isBeforeLegalize(),
                                          !DCI.isBeforeLegalizeOps());
    const TargetLowering &TLI = DAG.getTargetLoweringInfo();
    if (TLI.ShrinkDemandedConstant(BitsFrom, Demanded, TLO) ||
        TLI.SimplifyDemandedBits(BitsFrom, Demanded, Known, TLO)) {
      DCI.CommitTargetLoweringOpt(TLO);
    }
  }

  break;
}
case ISD::LOAD:
  return performLoadCombine(N, DCI);
case ISD::STORE:
  return performStoreCombine(N, DCI);
case AMDGPUISD::RCP:
case AMDGPUISD::RCP_IFLAG:
  return performRcpCombine(N, DCI);
case ISD::AssertZext:
case ISD::AssertSext:
  return performAssertSZExtCombine(N, DCI);
case ISD::INTRINSIC_WO_CHAIN:
  return performIntrinsicWOChainCombine(N, DCI);
}
return SDValue();
4465}

4467//===----------------------------------------------------------------------===//
4468// Helper functions
4469//===----------------------------------------------------------------------===//

4471SDValue AMDGPUTargetLowering::CreateLiveInRegister(SelectionDAG &DAG,
                                                 const TargetRegisterClass *RC,
                                                 Register Reg, EVT VT,
                                                 const SDLoc &SL,
                                                 bool RawReg) const {
MachineFunction &MF = DAG.getMachineFunction();
MachineRegisterInfo &MRI = MF.getRegInfo();
Register VReg;

if (!MRI.isLiveIn(Reg)) {
  VReg = MRI.createVirtualRegister(RC);
  MRI.addLiveIn(Reg, VReg);
} else {
  VReg = MRI.getLiveInVirtReg(Reg);
}

if (RawReg)
  return DAG.getRegister(VReg, VT);

return DAG.getCopyFromReg(DAG.getEntryNode(), SL, VReg, VT);
4491}

4493// This may be called multiple times, and nothing prevents creating multiple
4494// objects at the same offset. See if we already defined this object.
4495static int getOrCreateFixedStackObject(MachineFrameInfo &MFI, unsigned Size,
                                     int64_t Offset) {
for (int I = MFI.getObjectIndexBegin(); I < 0; ++I) {
  if (MFI.getObjectOffset(I) == Offset) {
    assert(MFI.getObjectSize(I) == Size)(static_cast <bool> (MFI.getObjectSize(I) == Size) ? void
 (0) : __assert_fail ("MFI.getObjectSize(I) == Size", "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp"
, 4499, __extension__ __PRETTY_FUNCTION__));
    return I;
  }
}

return MFI.CreateFixedObject(Size, Offset, true);
4505}

4507SDValue AMDGPUTargetLowering::loadStackInputValue(SelectionDAG &DAG,
                                                EVT VT,
                                                const SDLoc &SL,
                                                int64_t Offset) const {
MachineFunction &MF = DAG.getMachineFunction();
MachineFrameInfo &MFI = MF.getFrameInfo();
int FI = getOrCreateFixedStackObject(MFI, VT.getStoreSize(), Offset);

auto SrcPtrInfo = MachinePointerInfo::getStack(MF, Offset);
SDValue Ptr = DAG.getFrameIndex(FI, MVT::i32);

return DAG.getLoad(VT, SL, DAG.getEntryNode(), Ptr, SrcPtrInfo, Align(4),
                   MachineMemOperand::MODereferenceable |
                       MachineMemOperand::MOInvariant);
4521}

4523SDValue AMDGPUTargetLowering::storeStackInputValue(SelectionDAG &DAG,
                                                 const SDLoc &SL,
                                                 SDValue Chain,
                                                 SDValue ArgVal,
                                                 int64_t Offset) const {
MachineFunction &MF = DAG.getMachineFunction();
MachinePointerInfo DstInfo = MachinePointerInfo::getStack(MF, Offset);
const SIMachineFunctionInfo *Info = MF.getInfo<SIMachineFunctionInfo>();

SDValue Ptr = DAG.getConstant(Offset, SL, MVT::i32);
// Stores to the argument stack area are relative to the stack pointer.
SDValue SP =
    DAG.getCopyFromReg(Chain, SL, Info->getStackPtrOffsetReg(), MVT::i32);
Ptr = DAG.getNode(ISD::ADD, SL, MVT::i32, SP, Ptr);
SDValue Store = DAG.getStore(Chain, SL, ArgVal, Ptr, DstInfo, Align(4),
                             MachineMemOperand::MODereferenceable);
return Store;
4540}

4542SDValue AMDGPUTargetLowering::loadInputValue(SelectionDAG &DAG,
                                           const TargetRegisterClass *RC,
                                           EVT VT, const SDLoc &SL,
                                           const ArgDescriptor &Arg) const {
assert(Arg && "Attempting to load missing argument")(static_cast <bool> (Arg && "Attempting to load missing argument"
) ? void (0) : __assert_fail ("Arg && \"Attempting to load missing argument\""
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 4546, __extension__
 __PRETTY_FUNCTION__));
1
Assuming the condition is true→
2
←
'?' condition is true→

SDValue V = Arg.isRegister() ?
3
←
'?' condition is true→
  CreateLiveInRegister(DAG, RC, Arg.getRegister(), VT, SL) :
  loadStackInputValue(DAG, VT, SL, Arg.getStackOffset());

if (!Arg.isMasked())
4
←
Taking false branch→
  return V;

unsigned Mask = Arg.getMask();
unsigned Shift = llvm::countr_zero<unsigned>(Mask);
5
←
Calling 'countr_zero<unsigned int>'→
12
←
Returning from 'countr_zero<unsigned int>'→
13
←
'Shift' initialized to 32→
V = DAG.getNode(ISD::SRL, SL, VT, V,
                DAG.getShiftAmountConstant(Shift, VT, SL));
return DAG.getNode(ISD::AND, SL, VT, V,
                   DAG.getConstant(Mask >> Shift, SL, VT));
14
←
The result of the right shift is undefined due to shifting by '32', which is greater or equal to the width of type 'unsigned int'
4561}

4563uint32_t AMDGPUTargetLowering::getImplicitParameterOffset(
  const MachineFunction &MF, const ImplicitParameter Param) const {
const AMDGPUMachineFunction *MFI = MF.getInfo<AMDGPUMachineFunction>();
const AMDGPUSubtarget &ST =
    AMDGPUSubtarget::get(getTargetMachine(), MF.getFunction());
unsigned ExplicitArgOffset = ST.getExplicitKernelArgOffset(MF.getFunction());
const Align Alignment = ST.getAlignmentForImplicitArgPtr();
uint64_t ArgOffset = alignTo(MFI->getExplicitKernArgSize(), Alignment) +
                     ExplicitArgOffset;
switch (Param) {
case FIRST_IMPLICIT:
  return ArgOffset;
case PRIVATE_BASE:
  return ArgOffset + AMDGPU::ImplicitArg::PRIVATE_BASE_OFFSET;
case SHARED_BASE:
  return ArgOffset + AMDGPU::ImplicitArg::SHARED_BASE_OFFSET;
case QUEUE_PTR:
  return ArgOffset + AMDGPU::ImplicitArg::QUEUE_PTR_OFFSET;
}
llvm_unreachable("unexpected implicit parameter type")::llvm::llvm_unreachable_internal("unexpected implicit parameter type"
, "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 4582);
4583}

4585#define NODE_NAME_CASE(node)case AMDGPUISD::node: return "node"; case AMDGPUISD::node: return #node;

4587const char* AMDGPUTargetLowering::getTargetNodeName(unsigned Opcode) const {
switch ((AMDGPUISD::NodeType)Opcode) {
case AMDGPUISD::FIRST_NUMBER: break;
// AMDIL DAG nodes
NODE_NAME_CASE(UMUL)case AMDGPUISD::UMUL: return "UMUL";;
NODE_NAME_CASE(BRANCH_COND)case AMDGPUISD::BRANCH_COND: return "BRANCH_COND";;

// AMDGPU DAG nodes
NODE_NAME_CASE(IF)case AMDGPUISD::IF: return "IF";
NODE_NAME_CASE(ELSE)case AMDGPUISD::ELSE: return "ELSE";
NODE_NAME_CASE(LOOP)case AMDGPUISD::LOOP: return "LOOP";
NODE_NAME_CASE(CALL)case AMDGPUISD::CALL: return "CALL";
NODE_NAME_CASE(TC_RETURN)case AMDGPUISD::TC_RETURN: return "TC_RETURN";
NODE_NAME_CASE(TC_RETURN_GFX)case AMDGPUISD::TC_RETURN_GFX: return "TC_RETURN_GFX";
NODE_NAME_CASE(TRAP)case AMDGPUISD::TRAP: return "TRAP";
NODE_NAME_CASE(RET_GLUE)case AMDGPUISD::RET_GLUE: return "RET_GLUE";
NODE_NAME_CASE(RETURN_TO_EPILOG)case AMDGPUISD::RETURN_TO_EPILOG: return "RETURN_TO_EPILOG";
NODE_NAME_CASE(ENDPGM)case AMDGPUISD::ENDPGM: return "ENDPGM";
NODE_NAME_CASE(DWORDADDR)case AMDGPUISD::DWORDADDR: return "DWORDADDR";
NODE_NAME_CASE(FRACT)case AMDGPUISD::FRACT: return "FRACT";
NODE_NAME_CASE(SETCC)case AMDGPUISD::SETCC: return "SETCC";
NODE_NAME_CASE(SETREG)case AMDGPUISD::SETREG: return "SETREG";
NODE_NAME_CASE(DENORM_MODE)case AMDGPUISD::DENORM_MODE: return "DENORM_MODE";
NODE_NAME_CASE(FMA_W_CHAIN)case AMDGPUISD::FMA_W_CHAIN: return "FMA_W_CHAIN";
NODE_NAME_CASE(FMUL_W_CHAIN)case AMDGPUISD::FMUL_W_CHAIN: return "FMUL_W_CHAIN";
NODE_NAME_CASE(CLAMP)case AMDGPUISD::CLAMP: return "CLAMP";
NODE_NAME_CASE(COS_HW)case AMDGPUISD::COS_HW: return "COS_HW";
NODE_NAME_CASE(SIN_HW)case AMDGPUISD::SIN_HW: return "SIN_HW";
NODE_NAME_CASE(FMAX_LEGACY)case AMDGPUISD::FMAX_LEGACY: return "FMAX_LEGACY";
NODE_NAME_CASE(FMIN_LEGACY)case AMDGPUISD::FMIN_LEGACY: return "FMIN_LEGACY";
NODE_NAME_CASE(FMAX3)case AMDGPUISD::FMAX3: return "FMAX3";
NODE_NAME_CASE(SMAX3)case AMDGPUISD::SMAX3: return "SMAX3";
NODE_NAME_CASE(UMAX3)case AMDGPUISD::UMAX3: return "UMAX3";
NODE_NAME_CASE(FMIN3)case AMDGPUISD::FMIN3: return "FMIN3";
NODE_NAME_CASE(SMIN3)case AMDGPUISD::SMIN3: return "SMIN3";
NODE_NAME_CASE(UMIN3)case AMDGPUISD::UMIN3: return "UMIN3";
NODE_NAME_CASE(FMED3)case AMDGPUISD::FMED3: return "FMED3";
NODE_NAME_CASE(SMED3)case AMDGPUISD::SMED3: return "SMED3";
NODE_NAME_CASE(UMED3)case AMDGPUISD::UMED3: return "UMED3";
NODE_NAME_CASE(FDOT2)case AMDGPUISD::FDOT2: return "FDOT2";
NODE_NAME_CASE(URECIP)case AMDGPUISD::URECIP: return "URECIP";
NODE_NAME_CASE(DIV_SCALE)case AMDGPUISD::DIV_SCALE: return "DIV_SCALE";
NODE_NAME_CASE(DIV_FMAS)case AMDGPUISD::DIV_FMAS: return "DIV_FMAS";
NODE_NAME_CASE(DIV_FIXUP)case AMDGPUISD::DIV_FIXUP: return "DIV_FIXUP";
NODE_NAME_CASE(FMAD_FTZ)case AMDGPUISD::FMAD_FTZ: return "FMAD_FTZ";
NODE_NAME_CASE(RCP)case AMDGPUISD::RCP: return "RCP";
NODE_NAME_CASE(RSQ)case AMDGPUISD::RSQ: return "RSQ";
NODE_NAME_CASE(RCP_LEGACY)case AMDGPUISD::RCP_LEGACY: return "RCP_LEGACY";
NODE_NAME_CASE(RCP_IFLAG)case AMDGPUISD::RCP_IFLAG: return "RCP_IFLAG";
NODE_NAME_CASE(FMUL_LEGACY)case AMDGPUISD::FMUL_LEGACY: return "FMUL_LEGACY";
NODE_NAME_CASE(RSQ_CLAMP)case AMDGPUISD::RSQ_CLAMP: return "RSQ_CLAMP";
NODE_NAME_CASE(LDEXP)case AMDGPUISD::LDEXP: return "LDEXP";
NODE_NAME_CASE(FP_CLASS)case AMDGPUISD::FP_CLASS: return "FP_CLASS";
NODE_NAME_CASE(DOT4)case AMDGPUISD::DOT4: return "DOT4";
NODE_NAME_CASE(CARRY)case AMDGPUISD::CARRY: return "CARRY";
NODE_NAME_CASE(BORROW)case AMDGPUISD::BORROW: return "BORROW";
NODE_NAME_CASE(BFE_U32)case AMDGPUISD::BFE_U32: return "BFE_U32";
NODE_NAME_CASE(BFE_I32)case AMDGPUISD::BFE_I32: return "BFE_I32";
NODE_NAME_CASE(BFI)case AMDGPUISD::BFI: return "BFI";
NODE_NAME_CASE(BFM)case AMDGPUISD::BFM: return "BFM";
NODE_NAME_CASE(FFBH_U32)case AMDGPUISD::FFBH_U32: return "FFBH_U32";
NODE_NAME_CASE(FFBH_I32)case AMDGPUISD::FFBH_I32: return "FFBH_I32";
NODE_NAME_CASE(FFBL_B32)case AMDGPUISD::FFBL_B32: return "FFBL_B32";
NODE_NAME_CASE(MUL_U24)case AMDGPUISD::MUL_U24: return "MUL_U24";
NODE_NAME_CASE(MUL_I24)case AMDGPUISD::MUL_I24: return "MUL_I24";
NODE_NAME_CASE(MULHI_U24)case AMDGPUISD::MULHI_U24: return "MULHI_U24";
NODE_NAME_CASE(MULHI_I24)case AMDGPUISD::MULHI_I24: return "MULHI_I24";
NODE_NAME_CASE(MAD_U24)case AMDGPUISD::MAD_U24: return "MAD_U24";
NODE_NAME_CASE(MAD_I24)case AMDGPUISD::MAD_I24: return "MAD_I24";
NODE_NAME_CASE(MAD_I64_I32)case AMDGPUISD::MAD_I64_I32: return "MAD_I64_I32";
NODE_NAME_CASE(MAD_U64_U32)case AMDGPUISD::MAD_U64_U32: return "MAD_U64_U32";
NODE_NAME_CASE(PERM)case AMDGPUISD::PERM: return "PERM";
NODE_NAME_CASE(TEXTURE_FETCH)case AMDGPUISD::TEXTURE_FETCH: return "TEXTURE_FETCH";
NODE_NAME_CASE(R600_EXPORT)case AMDGPUISD::R600_EXPORT: return "R600_EXPORT";
NODE_NAME_CASE(CONST_ADDRESS)case AMDGPUISD::CONST_ADDRESS: return "CONST_ADDRESS";
NODE_NAME_CASE(REGISTER_LOAD)case AMDGPUISD::REGISTER_LOAD: return "REGISTER_LOAD";
NODE_NAME_CASE(REGISTER_STORE)case AMDGPUISD::REGISTER_STORE: return "REGISTER_STORE";
NODE_NAME_CASE(SAMPLE)case AMDGPUISD::SAMPLE: return "SAMPLE";
NODE_NAME_CASE(SAMPLEB)case AMDGPUISD::SAMPLEB: return "SAMPLEB";
NODE_NAME_CASE(SAMPLED)case AMDGPUISD::SAMPLED: return "SAMPLED";
NODE_NAME_CASE(SAMPLEL)case AMDGPUISD::SAMPLEL: return "SAMPLEL";
NODE_NAME_CASE(CVT_F32_UBYTE0)case AMDGPUISD::CVT_F32_UBYTE0: return "CVT_F32_UBYTE0";
NODE_NAME_CASE(CVT_F32_UBYTE1)case AMDGPUISD::CVT_F32_UBYTE1: return "CVT_F32_UBYTE1";
NODE_NAME_CASE(CVT_F32_UBYTE2)case AMDGPUISD::CVT_F32_UBYTE2: return "CVT_F32_UBYTE2";
NODE_NAME_CASE(CVT_F32_UBYTE3)case AMDGPUISD::CVT_F32_UBYTE3: return "CVT_F32_UBYTE3";
NODE_NAME_CASE(CVT_PKRTZ_F16_F32)case AMDGPUISD::CVT_PKRTZ_F16_F32: return "CVT_PKRTZ_F16_F32"
;
NODE_NAME_CASE(CVT_PKNORM_I16_F32)case AMDGPUISD::CVT_PKNORM_I16_F32: return "CVT_PKNORM_I16_F32"
;
NODE_NAME_CASE(CVT_PKNORM_U16_F32)case AMDGPUISD::CVT_PKNORM_U16_F32: return "CVT_PKNORM_U16_F32"
;
NODE_NAME_CASE(CVT_PK_I16_I32)case AMDGPUISD::CVT_PK_I16_I32: return "CVT_PK_I16_I32";
NODE_NAME_CASE(CVT_PK_U16_U32)case AMDGPUISD::CVT_PK_U16_U32: return "CVT_PK_U16_U32";
NODE_NAME_CASE(FP_TO_FP16)case AMDGPUISD::FP_TO_FP16: return "FP_TO_FP16";
NODE_NAME_CASE(BUILD_VERTICAL_VECTOR)case AMDGPUISD::BUILD_VERTICAL_VECTOR: return "BUILD_VERTICAL_VECTOR"
;
NODE_NAME_CASE(CONST_DATA_PTR)case AMDGPUISD::CONST_DATA_PTR: return "CONST_DATA_PTR";
NODE_NAME_CASE(PC_ADD_REL_OFFSET)case AMDGPUISD::PC_ADD_REL_OFFSET: return "PC_ADD_REL_OFFSET"
;
NODE_NAME_CASE(LDS)case AMDGPUISD::LDS: return "LDS";
NODE_NAME_CASE(FPTRUNC_ROUND_UPWARD)case AMDGPUISD::FPTRUNC_ROUND_UPWARD: return "FPTRUNC_ROUND_UPWARD"
;
NODE_NAME_CASE(FPTRUNC_ROUND_DOWNWARD)case AMDGPUISD::FPTRUNC_ROUND_DOWNWARD: return "FPTRUNC_ROUND_DOWNWARD"
;
NODE_NAME_CASE(DUMMY_CHAIN)case AMDGPUISD::DUMMY_CHAIN: return "DUMMY_CHAIN";
case AMDGPUISD::FIRST_MEM_OPCODE_NUMBER: break;
NODE_NAME_CASE(LOAD_D16_HI)case AMDGPUISD::LOAD_D16_HI: return "LOAD_D16_HI";
NODE_NAME_CASE(LOAD_D16_LO)case AMDGPUISD::LOAD_D16_LO: return "LOAD_D16_LO";
NODE_NAME_CASE(LOAD_D16_HI_I8)case AMDGPUISD::LOAD_D16_HI_I8: return "LOAD_D16_HI_I8";
NODE_NAME_CASE(LOAD_D16_HI_U8)case AMDGPUISD::LOAD_D16_HI_U8: return "LOAD_D16_HI_U8";
NODE_NAME_CASE(LOAD_D16_LO_I8)case AMDGPUISD::LOAD_D16_LO_I8: return "LOAD_D16_LO_I8";
NODE_NAME_CASE(LOAD_D16_LO_U8)case AMDGPUISD::LOAD_D16_LO_U8: return "LOAD_D16_LO_U8";
NODE_NAME_CASE(STORE_MSKOR)case AMDGPUISD::STORE_MSKOR: return "STORE_MSKOR";
NODE_NAME_CASE(LOAD_CONSTANT)case AMDGPUISD::LOAD_CONSTANT: return "LOAD_CONSTANT";
NODE_NAME_CASE(TBUFFER_STORE_FORMAT)case AMDGPUISD::TBUFFER_STORE_FORMAT: return "TBUFFER_STORE_FORMAT"
;
NODE_NAME_CASE(TBUFFER_STORE_FORMAT_D16)case AMDGPUISD::TBUFFER_STORE_FORMAT_D16: return "TBUFFER_STORE_FORMAT_D16"
;
NODE_NAME_CASE(TBUFFER_LOAD_FORMAT)case AMDGPUISD::TBUFFER_LOAD_FORMAT: return "TBUFFER_LOAD_FORMAT"
;
NODE_NAME_CASE(TBUFFER_LOAD_FORMAT_D16)case AMDGPUISD::TBUFFER_LOAD_FORMAT_D16: return "TBUFFER_LOAD_FORMAT_D16"
;
NODE_NAME_CASE(DS_ORDERED_COUNT)case AMDGPUISD::DS_ORDERED_COUNT: return "DS_ORDERED_COUNT";
NODE_NAME_CASE(ATOMIC_CMP_SWAP)case AMDGPUISD::ATOMIC_CMP_SWAP: return "ATOMIC_CMP_SWAP";
NODE_NAME_CASE(ATOMIC_LOAD_FMIN)case AMDGPUISD::ATOMIC_LOAD_FMIN: return "ATOMIC_LOAD_FMIN";
NODE_NAME_CASE(ATOMIC_LOAD_FMAX)case AMDGPUISD::ATOMIC_LOAD_FMAX: return "ATOMIC_LOAD_FMAX";
NODE_NAME_CASE(BUFFER_LOAD)case AMDGPUISD::BUFFER_LOAD: return "BUFFER_LOAD";
NODE_NAME_CASE(BUFFER_LOAD_UBYTE)case AMDGPUISD::BUFFER_LOAD_UBYTE: return "BUFFER_LOAD_UBYTE"
;
NODE_NAME_CASE(BUFFER_LOAD_USHORT)case AMDGPUISD::BUFFER_LOAD_USHORT: return "BUFFER_LOAD_USHORT"
;
NODE_NAME_CASE(BUFFER_LOAD_BYTE)case AMDGPUISD::BUFFER_LOAD_BYTE: return "BUFFER_LOAD_BYTE";
NODE_NAME_CASE(BUFFER_LOAD_SHORT)case AMDGPUISD::BUFFER_LOAD_SHORT: return "BUFFER_LOAD_SHORT"
;
NODE_NAME_CASE(BUFFER_LOAD_FORMAT)case AMDGPUISD::BUFFER_LOAD_FORMAT: return "BUFFER_LOAD_FORMAT"
;
NODE_NAME_CASE(BUFFER_LOAD_FORMAT_TFE)case AMDGPUISD::BUFFER_LOAD_FORMAT_TFE: return "BUFFER_LOAD_FORMAT_TFE"
;
NODE_NAME_CASE(BUFFER_LOAD_FORMAT_D16)case AMDGPUISD::BUFFER_LOAD_FORMAT_D16: return "BUFFER_LOAD_FORMAT_D16"
;
NODE_NAME_CASE(SBUFFER_LOAD)case AMDGPUISD::SBUFFER_LOAD: return "SBUFFER_LOAD";
NODE_NAME_CASE(BUFFER_STORE)case AMDGPUISD::BUFFER_STORE: return "BUFFER_STORE";
NODE_NAME_CASE(BUFFER_STORE_BYTE)case AMDGPUISD::BUFFER_STORE_BYTE: return "BUFFER_STORE_BYTE"
;
NODE_NAME_CASE(BUFFER_STORE_SHORT)case AMDGPUISD::BUFFER_STORE_SHORT: return "BUFFER_STORE_SHORT"
;
NODE_NAME_CASE(BUFFER_STORE_FORMAT)case AMDGPUISD::BUFFER_STORE_FORMAT: return "BUFFER_STORE_FORMAT"
;
NODE_NAME_CASE(BUFFER_STORE_FORMAT_D16)case AMDGPUISD::BUFFER_STORE_FORMAT_D16: return "BUFFER_STORE_FORMAT_D16"
;
NODE_NAME_CASE(BUFFER_ATOMIC_SWAP)case AMDGPUISD::BUFFER_ATOMIC_SWAP: return "BUFFER_ATOMIC_SWAP"
;
NODE_NAME_CASE(BUFFER_ATOMIC_ADD)case AMDGPUISD::BUFFER_ATOMIC_ADD: return "BUFFER_ATOMIC_ADD"
;
NODE_NAME_CASE(BUFFER_ATOMIC_SUB)case AMDGPUISD::BUFFER_ATOMIC_SUB: return "BUFFER_ATOMIC_SUB"
;
NODE_NAME_CASE(BUFFER_ATOMIC_SMIN)case AMDGPUISD::BUFFER_ATOMIC_SMIN: return "BUFFER_ATOMIC_SMIN"
;
NODE_NAME_CASE(BUFFER_ATOMIC_UMIN)case AMDGPUISD::BUFFER_ATOMIC_UMIN: return "BUFFER_ATOMIC_UMIN"
;
NODE_NAME_CASE(BUFFER_ATOMIC_SMAX)case AMDGPUISD::BUFFER_ATOMIC_SMAX: return "BUFFER_ATOMIC_SMAX"
;
NODE_NAME_CASE(BUFFER_ATOMIC_UMAX)case AMDGPUISD::BUFFER_ATOMIC_UMAX: return "BUFFER_ATOMIC_UMAX"
;
NODE_NAME_CASE(BUFFER_ATOMIC_AND)case AMDGPUISD::BUFFER_ATOMIC_AND: return "BUFFER_ATOMIC_AND"
;
NODE_NAME_CASE(BUFFER_ATOMIC_OR)case AMDGPUISD::BUFFER_ATOMIC_OR: return "BUFFER_ATOMIC_OR";
NODE_NAME_CASE(BUFFER_ATOMIC_XOR)case AMDGPUISD::BUFFER_ATOMIC_XOR: return "BUFFER_ATOMIC_XOR"
;
NODE_NAME_CASE(BUFFER_ATOMIC_INC)case AMDGPUISD::BUFFER_ATOMIC_INC: return "BUFFER_ATOMIC_INC"
;
NODE_NAME_CASE(BUFFER_ATOMIC_DEC)case AMDGPUISD::BUFFER_ATOMIC_DEC: return "BUFFER_ATOMIC_DEC"
;
NODE_NAME_CASE(BUFFER_ATOMIC_CMPSWAP)case AMDGPUISD::BUFFER_ATOMIC_CMPSWAP: return "BUFFER_ATOMIC_CMPSWAP"
;
NODE_NAME_CASE(BUFFER_ATOMIC_CSUB)case AMDGPUISD::BUFFER_ATOMIC_CSUB: return "BUFFER_ATOMIC_CSUB"
;
NODE_NAME_CASE(BUFFER_ATOMIC_FADD)case AMDGPUISD::BUFFER_ATOMIC_FADD: return "BUFFER_ATOMIC_FADD"
;
NODE_NAME_CASE(BUFFER_ATOMIC_FMIN)case AMDGPUISD::BUFFER_ATOMIC_FMIN: return "BUFFER_ATOMIC_FMIN"
;
NODE_NAME_CASE(BUFFER_ATOMIC_FMAX)case AMDGPUISD::BUFFER_ATOMIC_FMAX: return "BUFFER_ATOMIC_FMAX"
;

case AMDGPUISD::LAST_AMDGPU_ISD_NUMBER: break;
}
return nullptr;
4737}

4739SDValue AMDGPUTargetLowering::getSqrtEstimate(SDValue Operand,
                                            SelectionDAG &DAG, int Enabled,
                                            int &RefinementSteps,
                                            bool &UseOneConstNR,
                                            bool Reciprocal) const {
EVT VT = Operand.getValueType();

if (VT == MVT::f32) {
  RefinementSteps = 0;
  return DAG.getNode(AMDGPUISD::RSQ, SDLoc(Operand), VT, Operand);
}

// TODO: There is also f64 rsq instruction, but the documentation is less
// clear on its precision.

return SDValue();
4755}

4757SDValue AMDGPUTargetLowering::getRecipEstimate(SDValue Operand,
                                             SelectionDAG &DAG, int Enabled,
                                             int &RefinementSteps) const {
EVT VT = Operand.getValueType();

if (VT == MVT::f32) {
  // Reciprocal, < 1 ulp error.
  //
  // This reciprocal approximation converges to < 0.5 ulp error with one
  // newton rhapson performed with two fused multiple adds (FMAs).

  RefinementSteps = 0;
  return DAG.getNode(AMDGPUISD::RCP, SDLoc(Operand), VT, Operand);
}

// TODO: There is also f64 rcp instruction, but the documentation is less
// clear on its precision.

return SDValue();
4776}

4778static unsigned workitemIntrinsicDim(unsigned ID) {
switch (ID) {
case Intrinsic::amdgcn_workitem_id_x:
  return 0;
case Intrinsic::amdgcn_workitem_id_y:
  return 1;
case Intrinsic::amdgcn_workitem_id_z:
  return 2;
default:
  llvm_unreachable("not a workitem intrinsic")::llvm::llvm_unreachable_internal("not a workitem intrinsic",
 "llvm/lib/Target/AMDGPU/AMDGPUISelLowering.cpp", 4787);
}
4789}

4791void AMDGPUTargetLowering::computeKnownBitsForTargetNode(
  const SDValue Op, KnownBits &Known,
  const APInt &DemandedElts, const SelectionDAG &DAG, unsigned Depth) const {

Known.resetAll(); // Don't know anything.

unsigned Opc = Op.getOpcode();

switch (Opc) {
default:
  break;
case AMDGPUISD::CARRY:
case AMDGPUISD::BORROW: {
  Known.Zero = APInt::getHighBitsSet(32, 31);
  break;
}

case AMDGPUISD::BFE_I32:
case AMDGPUISD::BFE_U32: {
  ConstantSDNode *CWidth = dyn_cast<ConstantSDNode>(Op.getOperand(2));
  if (!CWidth)
    return;

  uint32_t Width = CWidth->getZExtValue() & 0x1f;

  if (Opc == AMDGPUISD::BFE_U32)
    Known.Zero = APInt::getHighBitsSet(32, 32 - Width);

  break;
}
case AMDGPUISD::FP_TO_FP16: {
  unsigned BitWidth = Known.getBitWidth();

  // High bits are zero.
  Known.Zero = APInt::getHighBitsSet(BitWidth, BitWidth - 16);
  break;
}
case AMDGPUISD::MUL_U24:
case AMDGPUISD::MUL_I24: {
  KnownBits LHSKnown = DAG.computeKnownBits(Op.getOperand(0), Depth + 1);
  KnownBits RHSKnown = DAG.computeKnownBits(Op.getOperand(1), Depth + 1);
  unsigned TrailZ = LHSKnown.countMinTrailingZeros() +
                    RHSKnown.countMinTrailingZeros();
  Known.Zero.setLowBits(std::min(TrailZ, 32u));
  // Skip extra check if all bits are known zeros.
  if (TrailZ >= 32)
    break;

  // Truncate to 24 bits.
  LHSKnown = LHSKnown.trunc(24);
  RHSKnown = RHSKnown.trunc(24);

  if (Opc == AMDGPUISD::MUL_I24) {
    unsigned LHSValBits = LHSKnown.countMaxSignificantBits();
    unsigned RHSValBits = RHSKnown.countMaxSignificantBits();
    unsigned MaxValBits = LHSValBits + RHSValBits;
    if (MaxValBits > 32)
      break;
    unsigned SignBits = 32 - MaxValBits + 1;
    bool LHSNegative = LHSKnown.isNegative();
    bool LHSNonNegative = LHSKnown.isNonNegative();
    bool LHSPositive = LHSKnown.isStrictlyPositive();
    bool RHSNegative = RHSKnown.isNegative();
    bool RHSNonNegative = RHSKnown.isNonNegative();
    bool RHSPositive = RHSKnown.isStrictlyPositive();

    if ((LHSNonNegative && RHSNonNegative) || (LHSNegative && RHSNegative))
      Known.Zero.setHighBits(SignBits);
    else if ((LHSNegative && RHSPositive) || (LHSPositive && RHSNegative))
      Known.One.setHighBits(SignBits);
  } else {
    unsigned LHSValBits = LHSKnown.countMaxActiveBits();
    unsigned RHSValBits = RHSKnown.countMaxActiveBits();
    unsigned MaxValBits = LHSValBits + RHSValBits;
    if (MaxValBits >= 32)
      break;
    Known.Zero.setBitsFrom(MaxValBits);
  }
  break;
}
case AMDGPUISD::PERM: {
  ConstantSDNode *CMask = dyn_cast<ConstantSDNode>(Op.getOperand(2));
  if (!CMask)
    return;

  KnownBits LHSKnown = DAG.computeKnownBits(Op.getOperand(0), Depth + 1);
  KnownBits RHSKnown = DAG.computeKnownBits(Op.getOperand(1), Depth + 1);
  unsigned Sel = CMask->getZExtValue();

  for (unsigned I = 0; I < 32; I += 8) {
    unsigned SelBits = Sel & 0xff;
    if (SelBits < 4) {
      SelBits *= 8;
      Known.One |= ((RHSKnown.One.getZExtValue() >> SelBits) & 0xff) << I;
      Known.Zero |= ((RHSKnown.Zero.getZExtValue() >> SelBits) & 0xff) << I;
    } else if (SelBits < 7) {
      SelBits = (SelBits & 3) * 8;
      Known.One |= ((LHSKnown.One.getZExtValue() >> SelBits) & 0xff) << I;
      Known.Zero |= ((LHSKnown.Zero.getZExtValue() >> SelBits) & 0xff) << I;
    } else if (SelBits == 0x0c) {
      Known.Zero |= 0xFFull << I;
    } else if (SelBits > 0x0c) {
      Known.One |= 0xFFull << I;
    }
    Sel >>= 8;
  }
  break;
}
case AMDGPUISD::BUFFER_LOAD_UBYTE:  {
  Known.Zero.setHighBits(24);
  break;
}
case AMDGPUISD::BUFFER_LOAD_USHORT: {
  Known.Zero.setHighBits(16);
  break;
}
case AMDGPUISD::LDS: {
  auto GA = cast<GlobalAddressSDNode>(Op.getOperand(0).getNode());
  Align Alignment = GA->getGlobal()->getPointerAlignment(DAG.getDataLayout());

  Known.Zero.setHighBits(16);
  Known.Zero.setLowBits(Log2(Alignment));
  break;
}
case ISD::INTRINSIC_WO_CHAIN: {
  unsigned IID = cast<ConstantSDNode>(Op.getOperand(0))->getZExtValue();
  switch (IID) {
  case Intrinsic::amdgcn_workitem_id_x:
  case Intrinsic::amdgcn_workitem_id_y:
  case Intrinsic::amdgcn_workitem_id_z: {
    unsigned MaxValue = Subtarget->getMaxWorkitemID(
        DAG.getMachineFunction().getFunction(), workitemIntrinsicDim(IID));
    Known.Zero.setHighBits(llvm::countl_zero(MaxValue));
    break;
  }
  default:
    break;
  }
}
}
4931}

4933unsigned AMDGPUTargetLowering::ComputeNumSignBitsForTargetNode(
  SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG,
  unsigned Depth) const {
switch (Op.getOpcode()) {
case AMDGPUISD::BFE_I32: {
  ConstantSDNode *Width = dyn_cast<ConstantSDNode>(Op.getOperand(2));
  if (!Width)
    return 1;

  unsigned SignBits = 32 - Width->getZExtValue() + 1;
  if (!isNullConstant(Op.getOperand(1)))
    return SignBits;

  // TODO: Could probably figure something out with non-0 offsets.
  unsigned Op0SignBits = DAG.ComputeNumSignBits(Op.getOperand(0), Depth + 1);
  return std::max(SignBits, Op0SignBits);
}

case AMDGPUISD::BFE_U32: {
  ConstantSDNode *Width = dyn_cast<ConstantSDNode>(Op.getOperand(2));
  return Width ? 32 - (Width->getZExtValue() & 0x1f) : 1;
}

case AMDGPUISD::CARRY:
case AMDGPUISD::BORROW:
  return 31;
case AMDGPUISD::BUFFER_LOAD_BYTE:
  return 25;
case AMDGPUISD::BUFFER_LOAD_SHORT:
  return 17;
case AMDGPUISD::BUFFER_LOAD_UBYTE:
  return 24;
case AMDGPUISD::BUFFER_LOAD_USHORT:
  return 16;
case AMDGPUISD::FP_TO_FP16:
  return 16;
default:
  return 1;
}
4972}

4974unsigned AMDGPUTargetLowering::computeNumSignBitsForTargetInstr(
GISelKnownBits &Analysis, Register R,
const APInt &DemandedElts, const MachineRegisterInfo &MRI,
unsigned Depth) const {
const MachineInstr *MI = MRI.getVRegDef(R);
if (!MI)
  return 1;

// TODO: Check range metadata on MMO.
switch (MI->getOpcode()) {
case AMDGPU::G_AMDGPU_BUFFER_LOAD_SBYTE:
  return 25;
case AMDGPU::G_AMDGPU_BUFFER_LOAD_SSHORT:
  return 17;
case AMDGPU::G_AMDGPU_BUFFER_LOAD_UBYTE:
  return 24;
case AMDGPU::G_AMDGPU_BUFFER_LOAD_USHORT:
  return 16;
default:
  return 1;
}
4995}

4997bool AMDGPUTargetLowering::isKnownNeverNaNForTargetNode(SDValue Op,
                                                      const SelectionDAG &DAG,
                                                      bool SNaN,
                                                      unsigned Depth) const {
unsigned Opcode = Op.getOpcode();
switch (Opcode) {
case AMDGPUISD::FMIN_LEGACY:
case AMDGPUISD::FMAX_LEGACY: {
  if (SNaN)
    return true;

  // TODO: Can check no nans on one of the operands for each one, but which
  // one?
  return false;
}
case AMDGPUISD::FMUL_LEGACY:
case AMDGPUISD::CVT_PKRTZ_F16_F32: {
  if (SNaN)
    return true;
  return DAG.isKnownNeverNaN(Op.getOperand(0), SNaN, Depth + 1) &&
         DAG.isKnownNeverNaN(Op.getOperand(1), SNaN, Depth + 1);
}
case AMDGPUISD::FMED3:
case AMDGPUISD::FMIN3:
case AMDGPUISD::FMAX3:
case AMDGPUISD::FMAD_FTZ: {
  if (SNaN)
    return true;
  return DAG.isKnownNeverNaN(Op.getOperand(0), SNaN, Depth + 1) &&
         DAG.isKnownNeverNaN(Op.getOperand(1), SNaN, Depth + 1) &&
         DAG.isKnownNeverNaN(Op.getOperand(2), SNaN, Depth + 1);
}
case AMDGPUISD::CVT_F32_UBYTE0:
case AMDGPUISD::CVT_F32_UBYTE1:
case AMDGPUISD::CVT_F32_UBYTE2:
case AMDGPUISD::CVT_F32_UBYTE3:
  return true;

case AMDGPUISD::RCP:
case AMDGPUISD::RSQ:
case AMDGPUISD::RCP_LEGACY:
case AMDGPUISD::RSQ_CLAMP: {
  if (SNaN)
    return true;

  // TODO: Need is known positive check.
  return false;
}
case AMDGPUISD::LDEXP:
case AMDGPUISD::FRACT: {
  if (SNaN)
    return true;
  return DAG.isKnownNeverNaN(Op.getOperand(0), SNaN, Depth + 1);
}
case AMDGPUISD::DIV_SCALE:
case AMDGPUISD::DIV_FMAS:
case AMDGPUISD::DIV_FIXUP:
  // TODO: Refine on operands.
  return SNaN;
case AMDGPUISD::SIN_HW:
case AMDGPUISD::COS_HW: {
  // TODO: Need check for infinity
  return SNaN;
}
case ISD::INTRINSIC_WO_CHAIN: {
  unsigned IntrinsicID
    = cast<ConstantSDNode>(Op.getOperand(0))->getZExtValue();
  // TODO: Handle more intrinsics
  switch (IntrinsicID) {
  case Intrinsic::amdgcn_cubeid:
    return true;

  case Intrinsic::amdgcn_frexp_mant: {
    if (SNaN)
      return true;
    return DAG.isKnownNeverNaN(Op.getOperand(1), SNaN, Depth + 1);
  }
  case Intrinsic::amdgcn_cvt_pkrtz: {
    if (SNaN)
      return true;
    return DAG.isKnownNeverNaN(Op.getOperand(1), SNaN, Depth + 1) &&
           DAG.isKnownNeverNaN(Op.getOperand(2), SNaN, Depth + 1);
  }
  case Intrinsic::amdgcn_rcp:
  case Intrinsic::amdgcn_rsq:
  case Intrinsic::amdgcn_rcp_legacy:
  case Intrinsic::amdgcn_rsq_legacy:
  case Intrinsic::amdgcn_rsq_clamp: {
    if (SNaN)
      return true;

    // TODO: Need is known positive check.
    return false;
  }
  case Intrinsic::amdgcn_trig_preop:
  case Intrinsic::amdgcn_fdot2:
    // TODO: Refine on operand
    return SNaN;
  case Intrinsic::amdgcn_fma_legacy:
    if (SNaN)
      return true;
    return DAG.isKnownNeverNaN(Op.getOperand(1), SNaN, Depth + 1) &&
           DAG.isKnownNeverNaN(Op.getOperand(2), SNaN, Depth + 1) &&
           DAG.isKnownNeverNaN(Op.getOperand(3), SNaN, Depth + 1);
  default:
    return false;
  }
}
default:
  return false;
}
5108}

5110TargetLowering::AtomicExpansionKind
5111AMDGPUTargetLowering::shouldExpandAtomicRMWInIR(AtomicRMWInst *RMW) const {
switch (RMW->getOperation()) {
case AtomicRMWInst::Nand:
case AtomicRMWInst::FAdd:
case AtomicRMWInst::FSub:
case AtomicRMWInst::FMax:
case AtomicRMWInst::FMin:
  return AtomicExpansionKind::CmpXChg;
default: {
  if (auto *IntTy = dyn_cast<IntegerType>(RMW->getType())) {
    unsigned Size = IntTy->getBitWidth();
    if (Size == 32 || Size == 64)
      return AtomicExpansionKind::None;
  }

  return AtomicExpansionKind::CmpXChg;
}
}
5129}

5131bool AMDGPUTargetLowering::isConstantUnsignedBitfieldExtractLegal(
  unsigned Opc, LLT Ty1, LLT Ty2) const {
return (Ty1 == LLT::scalar(32) || Ty1 == LLT::scalar(64)) &&
       Ty2 == LLT::scalar(32);
5135}

←

/build/source/llvm/include/llvm/ADT/bit.h

1//===-- llvm/ADT/bit.h - C++20 <bit> ----------------------------*- C++ -*-===//
2//
3// 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
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file implements the C++20 <bit> header.
11///
12//===----------------------------------------------------------------------===//
13 
14#ifndef LLVM_ADT_BIT_H
15#define LLVM_ADT_BIT_H
16 
17#include "llvm/Support/Compiler.h"
18#include <cstdint>
19#include <limits>
20#include <type_traits>
21 
22#if !__has_builtin(__builtin_bit_cast)1
23#include <cstring>
24#endif
25 
26#if defined(_MSC_VER) && !defined(_DEBUG1)
27#include <cstdlib>  // for _byteswap_{ushort,ulong,uint64}
28#endif
29 
30#ifdef _MSC_VER
31// Declare these intrinsics manually rather including intrin.h. It's very
32// expensive, and bit.h is popular via MathExtras.h.
33// #include <intrin.h>
34extern "C" {
35unsigned char _BitScanForward(unsigned long *_Index, unsigned long _Mask);
36unsigned char _BitScanForward64(unsigned long *_Index, unsigned __int64 _Mask);
37unsigned char _BitScanReverse(unsigned long *_Index, unsigned long _Mask);
38unsigned char _BitScanReverse64(unsigned long *_Index, unsigned __int64 _Mask);
39}
40#endif
41 
42namespace llvm {
43 
44// This implementation of bit_cast is different from the C++20 one in two ways:
45//  - It isn't constexpr because that requires compiler support.
46//  - It requires trivially-constructible To, to avoid UB in the implementation.
47template <
48    typename To, typename From,
49    typename = std::enable_if_t<sizeof(To) == sizeof(From)>,
50    typename = std::enable_if_t<std::is_trivially_constructible<To>::value>,
51    typename = std::enable_if_t<std::is_trivially_copyable<To>::value>,
52    typename = std::enable_if_t<std::is_trivially_copyable<From>::value>>
53[[nodiscard]] inline To bit_cast(const From &from) noexcept {
54#if __has_builtin(__builtin_bit_cast)1
55  return __builtin_bit_cast(To, from);
56#else
57  To to;
58  std::memcpy(&to, &from, sizeof(To));
59  return to;
60#endif
61}
62 
63/// Reverses the bytes in the given integer value V.
64template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
65[[nodiscard]] constexpr T byteswap(T V) noexcept {
66  if constexpr (sizeof(T) == 1) {
67    return V;
68  } else if constexpr (sizeof(T) == 2) {
69    uint16_t UV = V;
70#if defined(_MSC_VER) && !defined(_DEBUG1)
71    // The DLL version of the runtime lacks these functions (bug!?), but in a
72    // release build they're replaced with BSWAP instructions anyway.
73    return _byteswap_ushort(UV);
74#else
75    uint16_t Hi = UV << 8;
76    uint16_t Lo = UV >> 8;
77    return Hi | Lo;
78#endif
79  } else if constexpr (sizeof(T) == 4) {
80    uint32_t UV = V;
81#if __has_builtin(__builtin_bswap32)1
82    return __builtin_bswap32(UV);
83#elif defined(_MSC_VER) && !defined(_DEBUG1)
84    return _byteswap_ulong(UV);
85#else
86    uint32_t Byte0 = UV & 0x000000FF;
87    uint32_t Byte1 = UV & 0x0000FF00;
88    uint32_t Byte2 = UV & 0x00FF0000;
89    uint32_t Byte3 = UV & 0xFF000000;
90    return (Byte0 << 24) | (Byte1 << 8) | (Byte2 >> 8) | (Byte3 >> 24);
91#endif
92  } else if constexpr (sizeof(T) == 8) {
93    uint64_t UV = V;
94#if __has_builtin(__builtin_bswap64)1
95    return __builtin_bswap64(UV);
96#elif defined(_MSC_VER) && !defined(_DEBUG1)
97    return _byteswap_uint64(UV);
98#else
99    uint64_t Hi = llvm::byteswap<uint32_t>(UV);
100    uint32_t Lo = llvm::byteswap<uint32_t>(UV >> 32);
101    return (Hi << 32) | Lo;
102#endif
103  } else {
104    static_assert(!sizeof(T *), "Don't know how to handle the given type.");
105    return 0;
106  }
107}
108 
109template <typename T, typename = std::enable_if_t<std::is_unsigned_v<T>>>
110[[nodiscard]] constexpr inline bool has_single_bit(T Value) noexcept {
111  return (Value != 0) && ((Value & (Value - 1)) == 0);
112}
113 
114namespace detail {
115template <typename T, std::size_t SizeOfT> struct TrailingZerosCounter {
116  static unsigned count(T Val) {
117    if (!Val)
118      return std::numeric_limits<T>::digits;
119    if (Val & 0x1)
120      return 0;
121 
122    // Bisection method.
123    unsigned ZeroBits = 0;
124    T Shift = std::numeric_limits<T>::digits >> 1;
125    T Mask = std::numeric_limits<T>::max() >> Shift;
126    while (Shift) {
127      if ((Val & Mask) == 0) {
128        Val >>= Shift;
129        ZeroBits |= Shift;
130      }
131      Shift >>= 1;
132      Mask >>= Shift;
133    }
134    return ZeroBits;
135  }
136};
137 
138#if defined(__GNUC__4) || defined(_MSC_VER)
139template <typename T> struct TrailingZerosCounter<T, 4> {
140  static unsigned count(T Val) {
141    if (Val == 0)
7
←
Assuming 'Val' is equal to 0→
8
←
Taking true branch→
142      return 32;
9
←
Returning the value 32→
143 
144#if __has_builtin(__builtin_ctz)1 || defined(__GNUC__4)
145    return __builtin_ctz(Val);
146#elif defined(_MSC_VER)
147    unsigned long Index;
148    _BitScanForward(&Index, Val);
149    return Index;
150#endif
151  }
152};
153 
154#if !defined(_MSC_VER) || defined(_M_X64)
155template <typename T> struct TrailingZerosCounter<T, 8> {
156  static unsigned count(T Val) {
157    if (Val == 0)
158      return 64;
159 
160#if __has_builtin(__builtin_ctzll)1 || defined(__GNUC__4)
161    return __builtin_ctzll(Val);
162#elif defined(_MSC_VER)
163    unsigned long Index;
164    _BitScanForward64(&Index, Val);
165    return Index;
166#endif
167  }
168};
169#endif
170#endif
171} // namespace detail
172 
173/// Count number of 0's from the least significant bit to the most
174///   stopping at the first 1.
175///
176/// Only unsigned integral types are allowed.
177///
178/// Returns std::numeric_limits<T>::digits on an input of 0.
179template <typename T> [[nodiscard]] int countr_zero(T Val) {
180  static_assert(std::is_unsigned_v<T>,
181                "Only unsigned integral types are allowed.");
182  return llvm::detail::TrailingZerosCounter<T, sizeof(T)>::count(Val);
6
←
Calling 'TrailingZerosCounter::count'→
10
←
Returning from 'TrailingZerosCounter::count'→
11
←
Returning the value 32→
183}
184 
185namespace detail {
186template <typename T, std::size_t SizeOfT> struct LeadingZerosCounter {
187  static unsigned count(T Val) {
188    if (!Val)
189      return std::numeric_limits<T>::digits;
190 
191    // Bisection method.
192    unsigned ZeroBits = 0;
193    for (T Shift = std::numeric_limits<T>::digits >> 1; Shift; Shift >>= 1) {
194      T Tmp = Val >> Shift;
195      if (Tmp)
196        Val = Tmp;
197      else
198        ZeroBits |= Shift;
199    }
200    return ZeroBits;
201  }
202};
203 
204#if defined(__GNUC__4) || defined(_MSC_VER)
205template <typename T> struct LeadingZerosCounter<T, 4> {
206  static unsigned count(T Val) {
207    if (Val == 0)
208      return 32;
209 
210#if __has_builtin(__builtin_clz)1 || defined(__GNUC__4)
211    return __builtin_clz(Val);
212#elif defined(_MSC_VER)
213    unsigned long Index;
214    _BitScanReverse(&Index, Val);
215    return Index ^ 31;
216#endif
217  }
218};
219 
220#if !defined(_MSC_VER) || defined(_M_X64)
221template <typename T> struct LeadingZerosCounter<T, 8> {
222  static unsigned count(T Val) {
223    if (Val == 0)
224      return 64;
225 
226#if __has_builtin(__builtin_clzll)1 || defined(__GNUC__4)
227    return __builtin_clzll(Val);
228#elif defined(_MSC_VER)
229    unsigned long Index;
230    _BitScanReverse64(&Index, Val);
231    return Index ^ 63;
232#endif
233  }
234};
235#endif
236#endif
237} // namespace detail
238 
239/// Count number of 0's from the most significant bit to the least
240///   stopping at the first 1.
241///
242/// Only unsigned integral types are allowed.
243///
244/// Returns std::numeric_limits<T>::digits on an input of 0.
245template <typename T> [[nodiscard]] int countl_zero(T Val) {
246  static_assert(std::is_unsigned_v<T>,
247                "Only unsigned integral types are allowed.");
248  return llvm::detail::LeadingZerosCounter<T, sizeof(T)>::count(Val);
249}
250 
251/// Count the number of ones from the most significant bit to the first
252/// zero bit.
253///
254/// Ex. countl_one(0xFF0FFF00) == 8.
255/// Only unsigned integral types are allowed.
256///
257/// Returns std::numeric_limits<T>::digits on an input of all ones.
258template <typename T> [[nodiscard]] int countl_one(T Value) {
259  static_assert(std::is_unsigned_v<T>,
260                "Only unsigned integral types are allowed.");
261  return llvm::countl_zero<T>(~Value);
262}
263 
264/// Count the number of ones from the least significant bit to the first
265/// zero bit.
266///
267/// Ex. countr_one(0x00FF00FF) == 8.
268/// Only unsigned integral types are allowed.
269///
270/// Returns std::numeric_limits<T>::digits on an input of all ones.
271template <typename T> [[nodiscard]] int countr_one(T Value) {
272  static_assert(std::is_unsigned_v<T>,
273                "Only unsigned integral types are allowed.");
274  return llvm::countr_zero<T>(~Value);
275}
276 
277/// Returns the number of bits needed to represent Value if Value is nonzero.
278/// Returns 0 otherwise.
279///
280/// Ex. bit_width(5) == 3.
281template <typename T> [[nodiscard]] int bit_width(T Value) {
282  static_assert(std::is_unsigned_v<T>,
283                "Only unsigned integral types are allowed.");
284  return std::numeric_limits<T>::digits - llvm::countl_zero(Value);
285}
286 
287/// Returns the largest integral power of two no greater than Value if Value is
288/// nonzero.  Returns 0 otherwise.
289///
290/// Ex. bit_floor(5) == 4.
291template <typename T> [[nodiscard]] T bit_floor(T Value) {
292  static_assert(std::is_unsigned_v<T>,
293                "Only unsigned integral types are allowed.");
294  if (!Value)
295    return 0;
296  return T(1) << (llvm::bit_width(Value) - 1);
297}
298 
299/// Returns the smallest integral power of two no smaller than Value if Value is
300/// nonzero.  Returns 1 otherwise.
301///
302/// Ex. bit_ceil(5) == 8.
303///
304/// The return value is undefined if the input is larger than the largest power
305/// of two representable in T.
306template <typename T> [[nodiscard]] T bit_ceil(T Value) {
307  static_assert(std::is_unsigned_v<T>,
308                "Only unsigned integral types are allowed.");
309  if (Value < 2)
310    return 1;
311  return T(1) << llvm::bit_width<T>(Value - 1u);
312}
313 
314namespace detail {
315template <typename T, std::size_t SizeOfT> struct PopulationCounter {
316  static int count(T Value) {
317    // Generic version, forward to 32 bits.
318    static_assert(SizeOfT <= 4, "Not implemented!");
319#if defined(__GNUC__4)
320    return (int)__builtin_popcount(Value);
321#else
322    uint32_t v = Value;
323    v = v - ((v >> 1) & 0x55555555);
324    v = (v & 0x33333333) + ((v >> 2) & 0x33333333);
325    return int(((v + (v >> 4) & 0xF0F0F0F) * 0x1010101) >> 24);
326#endif
327  }
328};
329 
330template <typename T> struct PopulationCounter<T, 8> {
331  static int count(T Value) {
332#if defined(__GNUC__4)
333    return (int)__builtin_popcountll(Value);
334#else
335    uint64_t v = Value;
336    v = v - ((v >> 1) & 0x5555555555555555ULL);
337    v = (v & 0x3333333333333333ULL) + ((v >> 2) & 0x3333333333333333ULL);
338    v = (v + (v >> 4)) & 0x0F0F0F0F0F0F0F0FULL;
339    return int((uint64_t)(v * 0x0101010101010101ULL) >> 56);
340#endif
341  }
342};
343} // namespace detail
344 
345/// Count the number of set bits in a value.
346/// Ex. popcount(0xF000F000) = 8
347/// Returns 0 if the word is zero.
348template <typename T, typename = std::enable_if_t<std::is_unsigned_v<T>>>
349[[nodiscard]] inline int popcount(T Value) noexcept {
350  return detail::PopulationCounter<T, sizeof(T)>::count(Value);
351}
352 
353// Forward-declare rotr so that rotl can use it.
354template <typename T, typename = std::enable_if_t<std::is_unsigned_v<T>>>
355[[nodiscard]] constexpr T rotr(T V, int R);
356 
357template <typename T, typename = std::enable_if_t<std::is_unsigned_v<T>>>
358[[nodiscard]] constexpr T rotl(T V, int R) {
359  unsigned N = std::numeric_limits<T>::digits;
360 
361  R = R % N;
362  if (!R)
363    return V;
364 
365  if (R < 0)
366    return llvm::rotr(V, -R);
367 
368  return (V << R) | (V >> (N - R));
369}
370 
371template <typename T, typename> [[nodiscard]] constexpr T rotr(T V, int R) {
372  unsigned N = std::numeric_limits<T>::digits;
373 
374  R = R % N;
375  if (!R)
376    return V;
377 
378  if (R < 0)
379    return llvm::rotl(V, -R);
380 
381  return (V >> R) | (V << (N - R));
382}
383 
384} // namespace llvm
385 
386#endif