46 lines
1.8 KiB
C++
46 lines
1.8 KiB
C++
/* Copyright 2018 The TensorFlow 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.
|
|
==============================================================================*/
|
|
|
|
#ifndef TENSORFLOW_COMPILER_XLA_SERVICE_WHILE_LOOP_ANALYSIS_H_
|
|
#define TENSORFLOW_COMPILER_XLA_SERVICE_WHILE_LOOP_ANALYSIS_H_
|
|
|
|
#include "absl/types/optional.h"
|
|
#include "tensorflow/compiler/xla/service/hlo_instruction.h"
|
|
|
|
namespace xla {
|
|
|
|
// Returns the precise trip count of the loop if it's statically known,
|
|
// nullopt otherwise.
|
|
//
|
|
// max_brute_force_iters limits the number of steps that are evaluated while
|
|
// trying to brute force a loop trip count. trip counts larger than
|
|
// max_brute_force_iters may be returned if we can pattern-match the loop
|
|
// condition.
|
|
absl::optional<int64> ComputeWhileLoopTripCount(
|
|
HloInstruction *while_op, int64 max_brute_force_iters = 128);
|
|
|
|
// Returns an upper bound on the trip count of the loop if it's statically
|
|
// known, nullopt otherwise.
|
|
absl::optional<int64> ComputeWhileLoopTripCountUpperBound(
|
|
HloInstruction *while_op);
|
|
|
|
// Returns the tuple index of the loop induction variable if there is such an
|
|
// induction variable detected. Otherwise returns nullopt.
|
|
absl::optional<int64> GetLoopInductionVarTupleIdx(
|
|
const HloInstruction *while_op);
|
|
} // namespace xla
|
|
|
|
#endif // TENSORFLOW_COMPILER_XLA_SERVICE_WHILE_LOOP_ANALYSIS_H_
|