| ; RUN: opt < %s -mtriple=s390x-unknown-linux-gnu -mcpu=z16 -S -passes=infer-alignment \ | |
| ; RUN: 2>&1 | FileCheck %s | |
| ; | |
| ; Test that the alignment of the alloca is not increased beyond the stack | |
| ; alignment of 8 bytes. | |
| declare void @foo(ptr) | |
| define void @f1(<4 x i64> %Arg) { | |
| ; CHECK-LABEL: define void @f1 | |
| ; CHECK-NEXT: %param = alloca <4 x i64>, align 8 | |
| ; CHECK-NEXT: store <4 x i64> %Arg, ptr %param, align 8 | |
| %param = alloca <4 x i64>, align 8 | |
| store <4 x i64> %Arg, ptr %param, align 8 | |
| call void @foo(ptr %param) | |
| ret void | |
| } |