忘记密码   免费注册 查看新帖 |

ChinaUnix.net

  平台 论坛 博客 认证专区 大话IT 徽章 文库 自测 下载 频道自动化运维 虚拟化 储存备份 C/C++ PHP MySQL 嵌入式 Linux系统
最近访问板块 发新帖
查看: 1105 | 回复: 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,是两个不同的数据类型。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

DTCC2018购票6.8折优惠进行时

中国数据库技术大会是国内数据库及大数据领域规模最大、最受欢迎的技术交流盛会。 2018年5月10-12日,第九届中国数据库技术大会将如约而至。本届大会以“数领先机•智赢未来”为主题,设定2大主会场及20个技术专场,邀请来自国内外互联网、金融、教育等行业百余位技术专家,共同探讨Oracle、MySQL、NoSQL、大数据等领域的前瞻性热点话题与技术。
----------------------------------------
优惠时间:2018年2月13日前

报名链接>>
  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号 北京市公安局海淀分局网监中心备案编号:11010802020122
广播电视节目制作经营许可证(京) 字第1234号 中国互联网协会会员  联系我们:
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP