在C语言中，变量大小的堆栈帧是在函数调用期间动态分配的。堆栈对齐指令（比如x86架构中的PUSH和POP指令）用于确保变量在堆栈上正确对齐，以提高访问效率。然而，当使用变长数组（VLA）时，这些堆栈对齐指令似乎是无用的，因为VLA的大小在运行时才能确定。

下面是一个示例代码，演示了如何正确使用堆栈对齐指令来组装变量大小的堆栈帧：

#include 

void foo(int n) {
    int arr[n];  // 变长数组，大小在运行时确定
    int i;

    for (i = 0; i < n; i++) {
        arr[i] = i;  // 初始化数组元素
    }

    for (i = 0; i < n; i++) {
        printf("%d ", arr[i]);  // 打印数组元素
    }
    printf("\n");
}

int main() {
    foo(5);  // 调用函数foo，传入参数5

    return 0;
}

在上述示例中，函数foo接受一个整数参数n，然后使用变长数组arr来存储n个整数。arr的大小在运行时通过参数n确定。

尽管在使用VLA时，堆栈对齐指令似乎没有直接作用，但它们仍然是必需的。因为在函数调用期间，除了VLA之外，还可能存在其他需要对齐的变量。因此，编译器仍然会生成堆栈对齐指令来确保堆栈上的变量正确对齐。

总而言之，尽管在使用VLA时堆栈对齐指令似乎是无用的，但它们仍然是必需的，因为在函数调用期间可能存在其他需要对齐的变量。