MATLAB的答案

“任务C中间语言翻译”在Polyspace意味着什么?

3视图(30天)
MathWorks支万博1manbetx持团队
回答: MathWorks支万博1manbetx持团队 2018年9月4日
在分析Polyspace返回这些信息:
* * * * * *任务C中间语言翻译——6.1.2 (P_AP)
* * * * * *任务C中间语言翻译——6.1.2 (P_AP)花了56.57真实16.44、56.57 u + 0 (gc)
* * * * * *任务C中间语言翻译——6.1.3 (P_ITFP)
* * * * * *任务C中间语言翻译——6.1.3 (P_ITFP)花了1627.17199.72、1627.17 u + 0 (gc)
* * * * * *任务C中间语言翻译——6.1.4 (P_CA)
* * * * * * *任务C中间语言翻译——6.1.4.1 (P_STS)
他们是什么意思?

在回答这个问题。

接受的答案

MathWorks支万博1manbetx持团队
这一阶段对应于C或c++代码的转换到另一个表示写入另一种语言(这是“中间语言”)。Polyspace的内核是上班在这表示。
这种技术在世界上很流行的编译器,或者在代码生成的世界,想想CGIR(代码生成中间表示)。
这个阶段是相当复杂和由几个子任务,可以看到日志中(P_CA, P_STS等等……)。
请参考这个页面来了解更多关于CGIR:
https://en.wikipedia.org/wiki/Intermediate_representation

更多的答案(0)


翻译的