C语言在底层如何对double和float压栈

一直很疑惑为什么printf可以用%f输出double和float类型，因为一个是8字节一个是4字节，如何正确弹出堆栈呢？
在阅读arm汇编码后发现：
1.可变长度参数列表前必须有1个参数，从该参数就开始压栈了，并且压栈从右向左进行也是与该机制对应；（最后压左边，这样对于满递减堆栈，sp地址上就是可变参数之前的先行参数，在vprintf前不需知道传了几个）
2.对于float,也会压8个字节，double压的8个字节全部有意义，float会压4个无意义字节后才压4个有意义字节，这个无意义字节经测试不是随便生成的，与有意义字节的编码有关，出现过0xc0000000,0x40000000,0x0,我推测有可能在float作为可变参数传递时，会进行默认参数提升，float被提升为double；（一般情况下传参不会进行默认提升，只有隐含参数列表才会）