Question

我一直在将一些简单的程序从C ++和Fortran编译为汇编程序，以尝试对计算机体系结构有更多的了解。我已经用C ++和Fortran编写了一个非常简单的程序，以产生一些输出然后返回。我不明白的是，为什么与C ++相比，Fortran编译器（gfortran）生成的程序集会创建出如此大的堆栈框架。

f_subroutines.f

      PROGRAM F_SUBROUTINES
      CALL SAY_HELLO
      CALL SAY_GOODBYE

      END

      SUBROUTINE SAY_HELLO
        PRINT '(A6)', "Hello."
      END

      INTEGER*4 FUNCTION GET_MY_NUMBER()
        GET_MY_NUMBER = 3
      END

      SUBROUTINE SAY_GOODBYE
        INTEGER :: GET_MY_NUMBER
        PRINT '(A18, I1, A19)',
     1 "Here's my number: ", GET_MY_NUMBER(), ". Call me. Goodbye!"
      END

cpp_subroutines.cpp

#include <cstdio>

void say_hello()
{
    std::printf("Hello.\n");
}

int get_my_number()
{
    return 3;
}

void say_goodbye()
{
    std::printf("Here's my number: %d. Call me. Goodbye!\n", get_my_number());
}

int main()
{
    say_hello();
    say_goodbye();
    return 0;
}

Makefile

CPPFLAGS=-O0
all: cpp_subroutines cpp_subroutines.s f_subroutines f_subroutines.s
cpp_subroutines: cpp_subroutines.o
    $(CXX) $(CPPFLAGS) -o $@ $^ $(LDFLAGS)
cpp_subroutines.s:
    $(CXX) $(CPPFLAGS) -S cpp_subroutines.cpp
f_subroutines: f_subroutines.o
    $(FC) -o $@ $^ $(LDFLAGS)
f_subroutines.s:
    $(FC) -S f_subroutines.f
.PHONY: clean
clean:
    $(RM) cpp_subroutines cpp_subroutines.o cpp_subroutines.s \
          f_subroutines f_subroutines.o f_subroutines.s

cpp_subroutines.s：say_hello

_Z9say_hellov:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movl    $.LC0, %edi
    call    puts
    nop
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc

f_subroutines.s：say_hello

say_hello_:
.LFB2:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $480, %rsp
    movq    $.LC0, -472(%rbp)
    movl    $8, -464(%rbp)
    movq    $.LC4, -408(%rbp)
    movl    $4, -400(%rbp)
    movl    $4096, -480(%rbp)
    movl    $6, -476(%rbp)
    leaq    -480(%rbp), %rax
    movq    %rax, %rdi
    call    _gfortran_st_write
    leaq    -480(%rbp), %rax
    movl    $6, %edx
    movl    $.LC5, %esi
    movq    %rax, %rdi
    call    _gfortran_transfer_character_write
    leaq    -480(%rbp), %rax
    movq    %rax, %rdi
    call    _gfortran_st_write_done
    nop
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc

我正在使用gfortran和gcc版本5.4.0。

我不太确定Fortran程序集在这里做什么：

    subq    $480, %rsp
    movq    $.LC0, -472(%rbp)
    movl    $8, -464(%rbp)
    movq    $.LC4, -408(%rbp)
    movl    $4, -400(%rbp)
    movl    $4096, -480(%rbp)
    movl    $6, -476(%rbp)
    leaq    -480(%rbp), %rax

此堆栈帧似乎使用480字节并放入

源文件名（.LC0）从底部起8个字节
值13从底部开始16个字节
格式说明符'（A6）'（.LC4）从底部起64个字节
值从底部开始4个80字节
底部的值4096（页面大小？）
该值从底部开始6 4个字节。

我对C ++编译的输出非常满意，但我想知道为什么

Fortran编译会产生如此大的堆栈框架。
$ 8，$ 4，$ 4096和$ 6分别代表什么。

Answer 1

这是GFortran中长期存在的问题，有关详细信息，请参见https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48419。

与这个简单程序中的C ++相比，gfortran为什么会产生如此大的堆栈大小？

1 个答案: