在 LLVM IR 代码级别区分 is-a 和 has-a 关系

Distinguish is-a and has-a relation in the LLVM IR code level

在LLVM的IR层面，有什么方法可以区分is-a和has-a这两个类关系吗？

如果是，如何在IR级别使用命令查看？

我认为 llvm-IR 不会有这个功能。这是一个运行时类型检查，但 LLVM-IR 是静态类型的。所以你应该制作你自己的运行时库，并且你可以在其中添加元数据检查。