//===-- ColossusFunctionCheck.cpp - Generic checks for llvm Functions -===//
//    Copyright (c) 2023 Graphcore Ltd. 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.
// --- LLVM Exceptions to the Apache 2.0 License ----
//
// As an exception, if, as a result of your compiling your source code, portions
// of this Software are embedded into an Object form of such source code, you
// may redistribute such embedded portions in such Object form without complying
// with the conditions of Sections 4(a), 4(b) and 4(d) of the License.
//
// In addition, if you combine or link compiled forms of this Software with
// software that is licensed under the GPLv2 ("Combined Software") and if a
// court of competent jurisdiction determines that the patent provision (Section
// 3), the indemnity provision (Section 9) or other Section of the License
// conflicts with the conditions of the GPLv2, you may retroactively and
// prospectively choose to deem waived or otherwise exclude such Section(s) of
// the License, but only in their entirety and only with respect to the Combined
// Software.
//
//===----------------------------------------------------------------------===//
//
// This file provides some common checks of Functions
//
//===----------------------------------------------------------------------===//

#include "ColossusFunctionCheck.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Type.h"

namespace {
bool isFloatType(llvm::Type *type) { return type && type->isFloatTy(); }
} // namespace

namespace llvm {
namespace colossus {

bool functionContainsFloatType(Function const &F) {

  auto RetType = F.getReturnType();

  if (isFloatType(RetType)) {
    return true;
  }

  for (const auto &arg : F.args()) {
    if (isFloatType(arg.getType()))
      return true;
  }

  for (auto &BB : F) {
    for (BasicBlock::const_iterator I = BB.begin(), E = BB.end(); I != E; ++I) {
      for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i) {
        if (isFloatType(I->getOperand(i)->getType()))
          return true;
      }
    }
  }
  return false;
}
} // namespace colossus
} // namespace llvm