ir.h

Go to the documentation of this file.

/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you 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.
 */
#ifndef TVM_SCRIPT_IR_BUILDER_IR_H_
#define TVM_SCRIPT_IR_BUILDER_IR_H_
 
#include <tvm/ffi/container/tuple.h>
#include <tvm/ffi/container/variant.h>
#include <tvm/ir/expr.h>
#include <tvm/ir/function.h>
#include <tvm/script/ir_builder/frame.h>
 
#include <vector>
 
namespace tvm {
namespace script {
namespace ir_builder {
namespace ir {
 
TVM_TIRX_DLL IRModuleFrame IRModule();
 
TVM_TIRX_DLL GlobalVar DeclFunction(const ffi::String& func_name, const BaseFunc& func_signature);
 
TVM_TIRX_DLL void DefFunction(const ffi::String& func_name, const BaseFunc& func);
 
ForFrame For(ForKind kind, PrimExpr start, PrimExpr stop,
             ffi::Optional<PrimExpr> step = std::nullopt,
             ffi::Optional<PrimType> dtype = std::nullopt,
             ffi::Optional<ffi::Map<ffi::String, Any>> annotations = std::nullopt);
 
ForFrame Grid(ffi::Array<ffi::Variant<PrimExpr, ffi::Tuple<PrimExpr, PrimExpr>>> extents,
              ffi::Optional<PrimType> dtype = std::nullopt);
 
AssertFrame Assert(PrimExpr condition, ffi::String error_kind,
                   ffi::Array<ffi::String> message_parts);
 
Var Bind(Expr value, ffi::Optional<Type> type_annotation = std::nullopt,
         ffi::Optional<Var> var = std::nullopt);
 
WhileFrame While(PrimExpr condition);
 
tvm::Stmt Return(Expr value);
 
tvm::Stmt Break();
 
tvm::Stmt Continue();
 
IfFrame If(PrimExpr condition);
 
ThenFrame Then();
 
ElseFrame Else();
 
RegionFrame Region(Op op, ffi::Array<Expr> args,
                   ffi::Optional<ffi::Array<Var>> body_params = std::nullopt,
                   DictAttrs attrs = DictAttrs());
 
tvm::Stmt Evaluate(Expr value);
 
}  // namespace ir
}  // namespace ir_builder
}  // namespace script
}  // namespace tvm
 
#endif  // TVM_SCRIPT_IR_BUILDER_IR_H_