注释有误~

Substitution.cpp#L505

忘了,大概是ollvm自己的规则?开源版我没怎么改sub

你猜 字数布丁字数布丁字数布丁字数布丁字数布丁

那多半是没有 紫薯补丁紫薯补丁紫薯补丁紫薯补丁紫薯补丁

ACM里这玩意是给量子计算机用的

啥黑科技,加密吗?

谁知道呢 反正是私有版 说啥都可以 :laughing: :thinking:

现在是回到大二重新读书时间,我来补个数电真值表的课
异或的真值表长这样, a和b是输入,c是输出。
a b c
0 0 0
1 1 0
0 1 1
1 0 1
把所有c = 1的行找出来,也就是后两行写个逻辑表达式出来
c = (~a)*b + a*(~b)
也就是楼主问题里的表达式。
| => 逻辑或
+ => 逻辑和
~ => 逻辑取反

好像在最后一段写的不太对,我给删了。。

逻辑和是什么

就是and啊 &

确实,反正现在也没法拿出来给别人用

那逻辑与是什么 :thinking:

冷知识。 IRBuilder有 CreateLogicalAnd跟CreateAnd

1 个赞

哈哈哈,才反应过来。我改。知识已经学杂了,

我感觉除法不是特别稳妥吧,编译器看到的都是整形,他自己又不会通分和约分。最极端的例子a1,a2,a3都是0,直接除0异常了。

尝试点这种。

来个链接

不能说的太细,总之基于少量规则的都无法逃脱模式匹配

基于LLVM的Android应用代码保护技术研究与实现.pdf (5.8 MB)

这篇论文里的。 论文的来源是之前看到的一个免费的论文共享网站,版权是论文作者自愿共享的。
网址我找不到了。

1 个赞

我嗅到了一丝卷的味道,从哪弄得知网账号,我也想(白)要(piao)

他这几个谓词规则初步验证了一下只有两个是对的,这文章怎么过的北邮学术审查我暂且蒙在鼓里