软件开发人员往往期望计算机硬件拥有无限容量、零访问延迟、无限带宽以及便宜的内存，但是现实却是内存容量越大，相应的访问时间越长；...
本文首发自微信公众号：HyperAI超神经内容一览：「2023 Meet TVM·开年首聚」成功线下相聚上海，来自企业和高校的 100 多位参与者齐聚一...
别名分析是编译器理论中的一种技术，用于确定存储位置是否可以以多种方式访问。如果两个指针指向相同的位置，则称这两个指针为别名。但...
概念介绍在介绍算法之前，我们回顾下基本概念：|X|：X的度数，(无向图中)节点的邻居个数。CFG：控制流图。successor：本文指CFG中基本块...
本篇文章译自英文文档 Cross Compilation and RPC 作者是 Ziheng Jiang，Lianmin Zheng。更多 TVM 中文文档可访问 →TVM 中文站
定义 loop（llvm里理解为natural loop）是定义在CFG中的一个结点集合L，并具有以下属性[1][2]：
内容一览：从去年 12 月延期至今的 TVM 线下聚会终于来了！首站地点我们选在了上海，并邀请到了 4 位讲师结合自己的工作实践，分享 TVM ...
下图给出的简要程序流图中， ①是我们想要优化的代码，②和③是优化后的代码，让我们先思考下面几个问题：
基本块 (Basic Block) 一个基本块内的指令，处理器会从基本块的第一条指令顺序执行到基本块的最后一条指令，中间不会跳转到其它地方去，...
Superword Level Parallelism (SLP)矢量化是llvm auto-vectorization中的一种，另一种是loop vectorizer，详见于Auto-Vectorization in ...
本篇回答来源于 TVM 官方英文文档 Lianmin Zheng，Chengfan Jia。更多 TVM 中文文档可访问→[链接]
本教程将展示如何用 TVM 张量表达式（TE）语言编写 schedule 模板，并通过 AutoTVM 对模板进行搜索，从而找到最佳 schedule。这个自动优...
【说在前面的话】朋友：你知道如何设置栈最安全么？你知道如何不写一行汇编代码就能设置栈的大小么？你知道如何在链接脚本中使用宏和头...
今天来阅读一篇OSDI 2021的论文，《PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Correc...
