Question

我有一些堡垒代码看起来像:

 subroutine foo(mx,my,mz)
    real pts(3,mx,my,mz)
 end

数组 pts 从来没有在子例程中实际使用过 -- 当我重新设定我的代码时, 我忘了删除它。现在, 由于堡垒没有堆叠与堆肥的概念, 它由编译器决定如何分配 pts -- 这是以 gfortran 表示的数组大小的函数, 但我一直无法理解 poortland group 组编译器是如何处理的。

能否判断堆叠、堆积和堆积是否分配了pts,还是完全优化了pts(或许应该如此 )? 是否可能出现堆叠流而不知道(即没有运行错误 )? 我的直觉是,通过查看编译者所制作的组装,应该可以辨别出来,但我不知道我在那里会看到什么。

Answer 1

最简单的方式是查看编译者在用 -S 编译时提供的组装代码,或者在调试器中查找符号。如果数组分布在堆积上,则很可能会呼叫分配函数 :

gfortran inserts calls to malloc
ifort by default allocates all arrays on the stack. If you enable automatic heap arrays by -heap-arrays <size> it will generate calls to for_alloc for heap allocation
PGI compilers generate calls to pgf90_auto_alloc but I have no experience with this compiler and the way it allocates arrays

顺便说一句,如果即使以默认的优化级别也找不到引用,则“强度” " /强度”会降低数组。我想其他编译者也会这样做,但我不会打赌。

Answer 2

我认为,这是一个高度具体的编译者问题,因为与消除死码有关的行为并不具有普遍性,而且不仅与编译者有关,而且与案件有关。最优化的现代编译者绝对消除了所有无法触及的代码,或从程序状态看没有取得任何成果的代码。未使用的变量和阵列在最终可执行中根本无法达到。

正如你提到的,你最好的赌注是看汇编二进制的集成代码,看看它能做什么。