LLVM:测试基础(一),llvm-lit、FileCheck

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

前期的 MLIR 系列文章中,没有介入测试工作。测试本身也是一个比较大的主题,这里希望用几篇文章讲明白如何利用 LLVM 的基础设施完成所编写代码的测试工作。

本文为第 1 期,将使用一个例子介绍如何使用 llvm-lit 和 FileCheck 这两个最常用的工具完成测试工作。

  • llvm-lit,LLVM Integrated Tester,通过 Python 语法编写配置文件,完成对某个项目的测试工作
  • FileCheck,一个比 grep 功能更多的文本查找与匹配验证工具,可以帮助程序员确认代码是否正确生成

这两个工具都可以通过 pip 安装,分别叫 litfilecheck如果使用了 pip 安装,下面的相关工具名请自行更改替换。

关于两个工具的更多使用细节请自行前往相关网站。

下面用一个小例子说明如何使用这两个工具,

Read more

逛知乎:我在体制内(三)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

原答案:在南瑞集团(国网电科院)工作是怎样一种体验?

每年南瑞都会启动校园招聘,每年都会有无数电气新人和曾经的我一样,心中充满疑惑:

1、国网电科院,跟中国电科院、各省电科院什么关系?

2、看公司的宣传介绍好 NB 啊,是不是满怀一腔热血的我进去就能一路披荆斩棘,成就一番事业?

Read more

省馆之宝:广东,不辞长作岭南人

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

通常,一个省级行政区内最有名的文物都会被收藏到其省博物馆内。所以,”省馆之宝”系列将介绍我国各个省馆的明星文物。每周二更新,本文为第 28 期。

本期介绍广东省博物馆的镇馆藏品。本期选取了 8 件藏品,本期内容全部来自广东省博物馆:官网,更多细节请访问相关网站。

Read more

老外:美国春晚——超级碗

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

今天早上7点半,2023 年超级碗在美国的亚利桑那州格伦代尔的State Farm体育馆正式进行,对阵双方是费城老鹰队与堪萨斯酋长队。最终,堪萨斯城酋长 38-35 绝杀费城老鹰,夺得第57届超级碗冠军,这也是酋长时隔3年再次夺冠,明星四分卫马霍姆斯也收获了生涯第2冠。

橄榄球

Read more

2023:一周速览,6

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

一周速览为每周日晚固定栏目,将会回顾本周的热点事件。文末“阅读原文”可以直接跳转到相应新闻。

本周发布回顾

  • 荐影:看了《流浪地球2》,震撼
  • 省馆之宝:西藏,世界屋脊
  • 逛知乎:我在体制内(二)
  • C++:traits,分类型处理
  • 荐歌:泪桥(伍佰)
  • 生活:开学啦!
Read more

生活:开学啦!

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

周五下午下班,照例坐火车回在另一个城市的家。

好家伙,车厢被行李箱堵的满满当当。顺着行李箱扫荡了一下,也尽都是约莫二十岁左右的年轻人的面孔,于是才恍然大悟——开学啦!因为下一站就是某大学的所在地。

哈哈,还是年轻人生猛,目的站下车时,他们应该有差不多四分之一的人没戴口罩了。

Read more

荐歌:泪桥(伍佰)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

周末愉快!

开年第一次荐歌,《泪桥》,来自我非常喜欢的伍佰老师。

Read more

C++:traits,分类型处理

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

traits 在 MLIR 体系中被大量使用。它的本意很晦涩,“萃取信息”,有点像是隐含的重要信息。

简单讲,C++ 中的 traits 概念指代一种编程方法,它抽象一种接口,使得这个接口针对不同类型的输入作分别处理

Read more

省馆之宝:西藏,世界屋脊

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

通常,一个省级行政区内最有名的文物都会被收藏到其省博物馆内。所以,”省馆之宝”系列将介绍我国各个省馆的明星文物。每周二更新,本文为第 27 期。

本期介绍西藏博物馆的镇馆藏品。本期选取了 6 件藏品,其中第一件为禁止出国(境)展览文物。本期内容全部来自西藏博物馆:官网,更多细节请访问相关网站。

Read more