179cb839fSDaniel Sanders //===- lib/CodeGen/GlobalISel/LegalizerMutations.cpp - Mutations ----------===//
279cb839fSDaniel Sanders //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
679cb839fSDaniel Sanders //
779cb839fSDaniel Sanders //===----------------------------------------------------------------------===//
879cb839fSDaniel Sanders //
979cb839fSDaniel Sanders // A library of mutation factories to use for LegalityMutation.
1079cb839fSDaniel Sanders //
1179cb839fSDaniel Sanders //===----------------------------------------------------------------------===//
1279cb839fSDaniel Sanders
1379cb839fSDaniel Sanders #include "llvm/CodeGen/GlobalISel/LegalizerInfo.h"
1479cb839fSDaniel Sanders
1579cb839fSDaniel Sanders using namespace llvm;
1679cb839fSDaniel Sanders
changeTo(unsigned TypeIdx,LLT Ty)171cc57566SDaniel Sanders LegalizeMutation LegalizeMutations::changeTo(unsigned TypeIdx, LLT Ty) {
1879cb839fSDaniel Sanders return
1979cb839fSDaniel Sanders [=](const LegalityQuery &Query) { return std::make_pair(TypeIdx, Ty); };
2079cb839fSDaniel Sanders }
2179cb839fSDaniel Sanders
changeTo(unsigned TypeIdx,unsigned FromTypeIdx)225281b02eSDaniel Sanders LegalizeMutation LegalizeMutations::changeTo(unsigned TypeIdx,
235281b02eSDaniel Sanders unsigned FromTypeIdx) {
245281b02eSDaniel Sanders return [=](const LegalityQuery &Query) {
255281b02eSDaniel Sanders return std::make_pair(TypeIdx, Query.Types[FromTypeIdx]);
265281b02eSDaniel Sanders };
275281b02eSDaniel Sanders }
285281b02eSDaniel Sanders
changeElementTo(unsigned TypeIdx,unsigned FromTypeIdx)2991be65beSMatt Arsenault LegalizeMutation LegalizeMutations::changeElementTo(unsigned TypeIdx,
3091be65beSMatt Arsenault unsigned FromTypeIdx) {
3191be65beSMatt Arsenault return [=](const LegalityQuery &Query) {
3291be65beSMatt Arsenault const LLT OldTy = Query.Types[TypeIdx];
3391be65beSMatt Arsenault const LLT NewTy = Query.Types[FromTypeIdx];
3491be65beSMatt Arsenault return std::make_pair(TypeIdx, OldTy.changeElementType(NewTy));
3591be65beSMatt Arsenault };
3691be65beSMatt Arsenault }
3791be65beSMatt Arsenault
changeElementTo(unsigned TypeIdx,LLT NewEltTy)3891be65beSMatt Arsenault LegalizeMutation LegalizeMutations::changeElementTo(unsigned TypeIdx,
3991be65beSMatt Arsenault LLT NewEltTy) {
4091be65beSMatt Arsenault return [=](const LegalityQuery &Query) {
4191be65beSMatt Arsenault const LLT OldTy = Query.Types[TypeIdx];
4291be65beSMatt Arsenault return std::make_pair(TypeIdx, OldTy.changeElementType(NewEltTy));
4391be65beSMatt Arsenault };
4491be65beSMatt Arsenault }
4591be65beSMatt Arsenault
changeElementCountTo(unsigned TypeIdx,unsigned FromTypeIdx)46*50725982SMatt Arsenault LegalizeMutation LegalizeMutations::changeElementCountTo(unsigned TypeIdx,
47*50725982SMatt Arsenault unsigned FromTypeIdx) {
48*50725982SMatt Arsenault return [=](const LegalityQuery &Query) {
49*50725982SMatt Arsenault const LLT OldTy = Query.Types[TypeIdx];
50*50725982SMatt Arsenault const LLT NewTy = Query.Types[FromTypeIdx];
51*50725982SMatt Arsenault ElementCount NewEltCount =
52*50725982SMatt Arsenault NewTy.isVector() ? NewTy.getElementCount() : ElementCount::getFixed(1);
53*50725982SMatt Arsenault return std::make_pair(TypeIdx, OldTy.changeElementCount(NewEltCount));
54*50725982SMatt Arsenault };
55*50725982SMatt Arsenault }
56*50725982SMatt Arsenault
changeElementCountTo(unsigned TypeIdx,LLT NewEltTy)57*50725982SMatt Arsenault LegalizeMutation LegalizeMutations::changeElementCountTo(unsigned TypeIdx,
58*50725982SMatt Arsenault LLT NewEltTy) {
59*50725982SMatt Arsenault return [=](const LegalityQuery &Query) {
60*50725982SMatt Arsenault const LLT OldTy = Query.Types[TypeIdx];
61*50725982SMatt Arsenault ElementCount NewEltCount = NewEltTy.isVector() ? NewEltTy.getElementCount()
62*50725982SMatt Arsenault : ElementCount::getFixed(1);
63*50725982SMatt Arsenault return std::make_pair(TypeIdx, OldTy.changeElementCount(NewEltCount));
64*50725982SMatt Arsenault };
65*50725982SMatt Arsenault }
66*50725982SMatt Arsenault
changeElementSizeTo(unsigned TypeIdx,unsigned FromTypeIdx)67891759dbSMatt Arsenault LegalizeMutation LegalizeMutations::changeElementSizeTo(unsigned TypeIdx,
68891759dbSMatt Arsenault unsigned FromTypeIdx) {
69891759dbSMatt Arsenault return [=](const LegalityQuery &Query) {
70891759dbSMatt Arsenault const LLT OldTy = Query.Types[TypeIdx];
71891759dbSMatt Arsenault const LLT NewTy = Query.Types[FromTypeIdx];
72891759dbSMatt Arsenault const LLT NewEltTy = LLT::scalar(NewTy.getScalarSizeInBits());
73891759dbSMatt Arsenault return std::make_pair(TypeIdx, OldTy.changeElementType(NewEltTy));
74891759dbSMatt Arsenault };
75891759dbSMatt Arsenault }
76891759dbSMatt Arsenault
widenScalarOrEltToNextPow2(unsigned TypeIdx,unsigned Min)7791be65beSMatt Arsenault LegalizeMutation LegalizeMutations::widenScalarOrEltToNextPow2(unsigned TypeIdx,
7879cb839fSDaniel Sanders unsigned Min) {
7979cb839fSDaniel Sanders return [=](const LegalityQuery &Query) {
8091be65beSMatt Arsenault const LLT Ty = Query.Types[TypeIdx];
8191be65beSMatt Arsenault unsigned NewEltSizeInBits =
8291be65beSMatt Arsenault std::max(1u << Log2_32_Ceil(Ty.getScalarSizeInBits()), Min);
8391be65beSMatt Arsenault return std::make_pair(TypeIdx, Ty.changeElementSize(NewEltSizeInBits));
8479cb839fSDaniel Sanders };
8579cb839fSDaniel Sanders }
8679cb839fSDaniel Sanders
876c4b634dSMirko Brkusanin LegalizeMutation
widenScalarOrEltToNextMultipleOf(unsigned TypeIdx,unsigned Size)886c4b634dSMirko Brkusanin LegalizeMutations::widenScalarOrEltToNextMultipleOf(unsigned TypeIdx,
896c4b634dSMirko Brkusanin unsigned Size) {
906c4b634dSMirko Brkusanin return [=](const LegalityQuery &Query) {
916c4b634dSMirko Brkusanin const LLT Ty = Query.Types[TypeIdx];
926c4b634dSMirko Brkusanin unsigned NewEltSizeInBits = alignTo(Ty.getScalarSizeInBits(), Size);
936c4b634dSMirko Brkusanin return std::make_pair(TypeIdx, Ty.changeElementSize(NewEltSizeInBits));
946c4b634dSMirko Brkusanin };
956c4b634dSMirko Brkusanin }
966c4b634dSMirko Brkusanin
moreElementsToNextPow2(unsigned TypeIdx,unsigned Min)9779cb839fSDaniel Sanders LegalizeMutation LegalizeMutations::moreElementsToNextPow2(unsigned TypeIdx,
9879cb839fSDaniel Sanders unsigned Min) {
9979cb839fSDaniel Sanders return [=](const LegalityQuery &Query) {
10007238286SMatt Arsenault const LLT VecTy = Query.Types[TypeIdx];
10107238286SMatt Arsenault unsigned NewNumElements =
10207238286SMatt Arsenault std::max(1u << Log2_32_Ceil(VecTy.getNumElements()), Min);
103d5e14ba8SSander de Smalen return std::make_pair(
104d5e14ba8SSander de Smalen TypeIdx, LLT::fixed_vector(NewNumElements, VecTy.getElementType()));
10579cb839fSDaniel Sanders };
10679cb839fSDaniel Sanders }
107990f5077SMatt Arsenault
scalarize(unsigned TypeIdx)108990f5077SMatt Arsenault LegalizeMutation LegalizeMutations::scalarize(unsigned TypeIdx) {
109990f5077SMatt Arsenault return [=](const LegalityQuery &Query) {
110990f5077SMatt Arsenault return std::make_pair(TypeIdx, Query.Types[TypeIdx].getElementType());
111990f5077SMatt Arsenault };
112990f5077SMatt Arsenault }
113