免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 1684 | 回复: 1

LLVM 没有符号信息咋办 [复制链接]

论坛徽章:
1
2015年迎新春徽章
日期:2015-03-04 09:53:17
发表于 2013-06-17 17:02 |显示全部楼层
您(们)好,再麻烦问一个:

假设我有一个函数,里有两个赋值语句

void func()
{
int a,b,c;
unsigned int d,e,f;

c = a/b;
f = d/e;
}

在llvm IR生成时,我首先分别对a,b,c,d,e,f 进行 alloca,
alloca只能说明是整数还是浮点数,此例子是整数,先不说浮点数。
其中整数分派时,并没有有无符号整数的概念。

对于有符号的整数a:%a = alloca i32;
对于无符号的整数d:%d = alloca i32; 一样。

对于内存来讲,并没有符号概念不假,
但是两个东西发生计算时,尤其是除法时,用有符号除法和无符号除法是完全不同的(不像加法,有无符号随便加)。
这时,从存好的 alloca 返回结果中并没有符号的信息。
因此在做除法的IR生成时,仅根据alloca返回结果,分不清是生成有符号除还是无符号除。
符号信息一般保存在何处?
应该另有llvm体系之外的数据结构记录此事情?

论坛徽章:
2
摩羯座
日期:2013-10-10 14:29:04天蝎座
日期:2014-01-03 09:14:49
发表于 2013-06-17 17:41 |显示全部楼层
一个变量总是有数据类型信息的,比如int 和 unsigned int,是两个不同的数据类型。
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP