ir_simplify_test.cc 1.98 KB
Newer Older
1 2 3 4 5 6 7 8
/*
 * 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
9
 *
10
 *   http://www.apache.org/licenses/LICENSE-2.0
11
 *
12 13 14 15 16 17 18 19
 * 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.
 */

Haichen Shen committed
20 21
#include <dmlc/logging.h>
#include <gtest/gtest.h>
22
#include <tvm/tir/ir_pass.h>
23
#include <tvm/te/operation.h>
Haichen Shen committed
24

25
TEST(IRSIMPLIFY, MinMax) {
26
  auto x = tvm::te::var("x");
27
  auto e1 = (tvm::max(x, 1) - tvm::max(x, 1)) ;
28 29
  auto e1s = tvm::tir::CanonicalSimplify(e1);
  CHECK(tvm::tir::is_zero(e1s));
30 31

  auto e2 = (x * tvm::min(x, 1)) - (x * tvm::min(x, 1));
32 33
  auto e2s = tvm::tir::CanonicalSimplify(e2);
  CHECK(tvm::tir::is_zero(e2s));
34 35 36
}

TEST(IRSIMPLIFY, Mul) {
37
  auto x = tvm::te::var("x");
38
  auto e = (x * x) - (x * x) ;
39 40
  auto es = tvm::tir::CanonicalSimplify(e);
  CHECK(tvm::tir::is_zero(es));
41 42
}

43 44 45 46 47 48
TEST(IRSIMPLIFY, Mod) {
  auto x = tvm::Integer(10);
  auto y = tvm::Integer(12);
  // Mod::make is used instead of % to avoid constant folding during
  // calling operator%(x,y). Mod::make doesn't try constant folding,
  // and therefore, the constant folding will be attempted in CanonicalSimplify
49 50 51
  auto mod = tvm::tir::CanonicalSimplify(tvm::tir::ModNode::make(x, y));
  auto es = tvm::tir::CanonicalSimplify(mod - x);
  CHECK(tvm::tir::is_zero(es));
52
}
Haichen Shen committed
53 54 55 56 57
int main(int argc, char ** argv) {
  testing::InitGoogleTest(&argc, argv);
  testing::FLAGS_gtest_death_test_style = "threadsafe";
  return RUN_ALL_TESTS();
}