lib/SplatSelectCondition.cpp

// Copyright 2017 The Clspv Authors. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Module.h"
#include "llvm/Pass.h"
#include "llvm/Support/raw_ostream.h"

using namespace llvm;

#define DEBUG_TYPE "splatselectcond"

namespace {
struct SplatSelectConditionPass : public ModulePass {
  static char ID;
  SplatSelectConditionPass() : ModulePass(ID) {}

  bool runOnModule(Module &M) override;
};
} // namespace

char SplatSelectConditionPass::ID = 0;
static RegisterPass<SplatSelectConditionPass> X("SplatSelectCond",
                                                "Splat Select Condition Pass");

namespace clspv {
llvm::ModulePass *createSplatSelectConditionPass() {
  return new SplatSelectConditionPass();
}
} // namespace clspv

bool SplatSelectConditionPass::runOnModule(Module &M) {
  bool Changed = false;

  SmallVector<SelectInst *, 16> WorkList;
  for (Function &F : M) {
    for (BasicBlock &BB : F) {
      for (Instruction &I : BB) {
        if (SelectInst *sel = dyn_cast<SelectInst>(&I)) {
          auto cond = sel->getCondition();
          if (cond->getType()->isIntegerTy(1)) {
            Type *valueTy = sel->getTrueValue()->getType();
            if (valueTy->isVectorTy()) {
              WorkList.push_back(sel);
            }
          }
        }
      }
    }
  }

  if (WorkList.size() == 0)
    return Changed;

  IRBuilder<> Builder(WorkList.front());

  for (SelectInst *sel : WorkList) {
    Changed = true;
    auto cond = sel->getCondition();
    auto numElems = sel->getTrueValue()->getType()->getVectorNumElements();
    Builder.SetInsertPoint(sel);
    auto splat = Builder.CreateVectorSplat(numElems, cond);
    sel->setCondition(splat);
  }

  return Changed;
}