Function tvm::tirx::operator==