C&C++   发布时间:2022-04-03  发布网站:大佬教程  code.js-code.com
大佬教程收集整理的这篇文章主要介绍了如何区分LLVM中的有符号和无符号整数大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
LLVM项目不区分有符号和无符号整数,如 here所述.在某些情况下,您需要知道某个特定变量是否应该被解释为有符号或无符号,例如,当它是大小扩展时或者用于一个师.我的解决方案是为每个变量保留一个单独的类型信息,描述它是整数还是基数类型.

但是,我想知道,是不是有办法在LLVM中“归属”这种类型?我一直在寻找可以添加到某种类型的某种“用户数据”,但似乎什么都没有.在创建类型时,必须以某种方式发生这种情况,因为在LLVM中只生成一次相同的类型.

因此,我的问题是:

有没有办法跟踪整数变量是否应该在LLVM基础结构中被解释为有符号或无符号,或者是否真的像我一样保留单独的信息?

谢谢

解决方法

首先,您必须确保需要插入额外的类型元数据,因为Clang已经适当地处理了有符号整数运算,例如使用sdiv和srem而不是udev和urem.

此外,可以利用它来实现一些基于IR中变量访问方式的轻量级类型推断.请注意,像add这样的操作不需要signdness信息,因为它基于双补码表示.

否则,我认为最好的方法修改前端(Clang)以添加一些自定义DWARF调试信息.这是一个可能让你入门的link.

更新:
如果您的目标是直接在LLVM IR上实现静态分析.本文可以提供一个彻底的讨论.

大佬总结

以上是大佬教程为你收集整理的如何区分LLVM中的有符号和无符号整数全部内容,希望文章能够帮你解决如何区分LLVM中的有符号和无符号整数所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。