contrib/llvm/lib/Target/AMDGPU/AMDGPULegalizerInfo.cpp

   1 //===- AMDGPULegalizerInfo.cpp -----------------------------------*- C++ -*-==//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 /// \file
  10 /// This file implements the targeting of the Machinelegalizer class for
  11 /// AMDGPU.
  12 /// \todo This should be generated by TableGen.
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "AMDGPULegalizerInfo.h"
  16 #include "llvm/CodeGen/ValueTypes.h"
  17 #include "llvm/IR/DerivedTypes.h"
  18 #include "llvm/IR/Type.h"
  19 #include "llvm/Support/Debug.h"
  20 #include "llvm/Target/TargetOpcodes.h"
  21
  22 using namespace llvm;
  23
  24 #ifndef LLVM_BUILD_GLOBAL_ISEL
  25 #error "You shouldn't build this"
  26 #endif
  27
  28 AMDGPULegalizerInfo::AMDGPULegalizerInfo() {
  29   using namespace TargetOpcode;
  30
  31   const LLT S1= LLT::scalar(1);
  32   const LLT V2S16 = LLT::vector(2, 16);
  33   const LLT S32 = LLT::scalar(32);
  34   const LLT S64 = LLT::scalar(64);
  35   const LLT P1 = LLT::pointer(1, 64);
  36   const LLT P2 = LLT::pointer(2, 64);
  37
  38   setAction({G_ADD, S32}, Legal);
  39   setAction({G_AND, S32}, Legal);
  40
  41   setAction({G_BITCAST, V2S16}, Legal);
  42   setAction({G_BITCAST, 1, S32}, Legal);
  43
  44   setAction({G_BITCAST, S32}, Legal);
  45   setAction({G_BITCAST, 1, V2S16}, Legal);
  46
  47   // FIXME: i1 operands to intrinsics should always be legal, but other i1
  48   // values may not be legal.  We need to figure out how to distinguish
  49   // between these two scenarios.
  50   setAction({G_CONSTANT, S1}, Legal);
  51   setAction({G_CONSTANT, S32}, Legal);
  52   setAction({G_CONSTANT, S64}, Legal);
  53
  54   setAction({G_FCONSTANT, S32}, Legal);
  55
  56   setAction({G_GEP, P1}, Legal);
  57   setAction({G_GEP, P2}, Legal);
  58   setAction({G_GEP, 1, S64}, Legal);
  59
  60   setAction({G_ICMP, S1}, Legal);
  61   setAction({G_ICMP, 1, S32}, Legal);
  62
  63   setAction({G_LOAD, P1}, Legal);
  64   setAction({G_LOAD, P2}, Legal);
  65   setAction({G_LOAD, S32}, Legal);
  66   setAction({G_LOAD, 1, P1}, Legal);
  67   setAction({G_LOAD, 1, P2}, Legal);
  68
  69   setAction({G_SELECT, S32}, Legal);
  70   setAction({G_SELECT, 1, S1}, Legal);
  71
  72   setAction({G_SHL, S32}, Legal);
  73
  74   setAction({G_STORE, S32}, Legal);
  75   setAction({G_STORE, 1, P1}, Legal);
  76
  77   // FIXME: When RegBankSelect inserts copies, it will only create new
  78   // registers with scalar types.  This means we can end up with
  79   // G_LOAD/G_STORE/G_GEP instruction with scalar types for their pointer
  80   // operands.  In assert builds, the instruction selector will assert
  81   // if it sees a generic instruction which isn't legal, so we need to
  82   // tell it that scalar types are legal for pointer operands
  83   setAction({G_GEP, S64}, Legal);
  84   setAction({G_LOAD, 1, S64}, Legal);
  85   setAction({G_STORE, 1, S64}, Legal);
  86
  87   computeTables();
  88 }