diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2018-07-30 16:33:32 +0000 | 
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2018-07-30 16:33:32 +0000 | 
| commit | 51315c45ff5643a27f9c84b816db54ee870ba29b (patch) | |
| tree | 1d87443fa0e53d3e6b315ce25787e64be0906bf7 /contrib/llvm/lib/CodeGen/GlobalISel/LegalityPredicates.cpp | |
| parent | 6dfd050075216be8538ae375a22d30db72916f7e (diff) | |
| parent | eb11fae6d08f479c0799db45860a98af528fa6e7 (diff) | |
Notes
Diffstat (limited to 'contrib/llvm/lib/CodeGen/GlobalISel/LegalityPredicates.cpp')
| -rw-r--r-- | contrib/llvm/lib/CodeGen/GlobalISel/LegalityPredicates.cpp | 101 | 
1 files changed, 101 insertions, 0 deletions
diff --git a/contrib/llvm/lib/CodeGen/GlobalISel/LegalityPredicates.cpp b/contrib/llvm/lib/CodeGen/GlobalISel/LegalityPredicates.cpp new file mode 100644 index 000000000000..344f573a67f5 --- /dev/null +++ b/contrib/llvm/lib/CodeGen/GlobalISel/LegalityPredicates.cpp @@ -0,0 +1,101 @@ +//===- lib/CodeGen/GlobalISel/LegalizerPredicates.cpp - Predicates --------===// +// +//                     The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// A library of predicate factories to use for LegalityPredicate. +// +//===----------------------------------------------------------------------===// + +#include "llvm/CodeGen/GlobalISel/LegalizerInfo.h" + +using namespace llvm; + +LegalityPredicate LegalityPredicates::typeIs(unsigned TypeIdx, LLT Type) { +  return +      [=](const LegalityQuery &Query) { return Query.Types[TypeIdx] == Type; }; +} + +LegalityPredicate +LegalityPredicates::typeInSet(unsigned TypeIdx, +                              std::initializer_list<LLT> TypesInit) { +  SmallVector<LLT, 4> Types = TypesInit; +  return [=](const LegalityQuery &Query) { +    return std::find(Types.begin(), Types.end(), Query.Types[TypeIdx]) != Types.end(); +  }; +} + +LegalityPredicate LegalityPredicates::typePairInSet( +    unsigned TypeIdx0, unsigned TypeIdx1, +    std::initializer_list<std::pair<LLT, LLT>> TypesInit) { +  SmallVector<std::pair<LLT, LLT>, 4> Types = TypesInit; +  return [=](const LegalityQuery &Query) { +    std::pair<LLT, LLT> Match = {Query.Types[TypeIdx0], Query.Types[TypeIdx1]}; +    return std::find(Types.begin(), Types.end(), Match) != Types.end(); +  }; +} + +LegalityPredicate LegalityPredicates::typePairAndMemSizeInSet( +    unsigned TypeIdx0, unsigned TypeIdx1, unsigned MMOIdx, +    std::initializer_list<TypePairAndMemSize> TypesAndMemSizeInit) { +  SmallVector<TypePairAndMemSize, 4> TypesAndMemSize = TypesAndMemSizeInit; +  return [=](const LegalityQuery &Query) { +    TypePairAndMemSize Match = {Query.Types[TypeIdx0], Query.Types[TypeIdx1], +                                Query.MMODescrs[MMOIdx].Size}; +    return std::find(TypesAndMemSize.begin(), TypesAndMemSize.end(), Match) != +           TypesAndMemSize.end(); +  }; +} + +LegalityPredicate LegalityPredicates::isScalar(unsigned TypeIdx) { +  return [=](const LegalityQuery &Query) { +    return Query.Types[TypeIdx].isScalar(); +  }; +} + +LegalityPredicate LegalityPredicates::narrowerThan(unsigned TypeIdx, +                                                   unsigned Size) { +  return [=](const LegalityQuery &Query) { +    const LLT &QueryTy = Query.Types[TypeIdx]; +    return QueryTy.isScalar() && QueryTy.getSizeInBits() < Size; +  }; +} + +LegalityPredicate LegalityPredicates::widerThan(unsigned TypeIdx, +                                                unsigned Size) { +  return [=](const LegalityQuery &Query) { +    const LLT &QueryTy = Query.Types[TypeIdx]; +    return QueryTy.isScalar() && QueryTy.getSizeInBits() > Size; +  }; +} + +LegalityPredicate LegalityPredicates::sizeNotPow2(unsigned TypeIdx) { +  return [=](const LegalityQuery &Query) { +    const LLT &QueryTy = Query.Types[TypeIdx]; +    return QueryTy.isScalar() && !isPowerOf2_32(QueryTy.getSizeInBits()); +  }; +} + +LegalityPredicate LegalityPredicates::memSizeInBytesNotPow2(unsigned MMOIdx) { +  return [=](const LegalityQuery &Query) { +    return !isPowerOf2_32(Query.MMODescrs[MMOIdx].Size /* In Bytes */); +  }; +} + +LegalityPredicate LegalityPredicates::numElementsNotPow2(unsigned TypeIdx) { +  return [=](const LegalityQuery &Query) { +    const LLT &QueryTy = Query.Types[TypeIdx]; +    return QueryTy.isVector() && isPowerOf2_32(QueryTy.getNumElements()); +  }; +} + +LegalityPredicate LegalityPredicates::atomicOrderingAtLeastOrStrongerThan( +    unsigned MMOIdx, AtomicOrdering Ordering) { +  return [=](const LegalityQuery &Query) { +    return isAtLeastOrStrongerThan(Query.MMODescrs[MMOIdx].Ordering, Ordering); +  }; +}  | 
