| ; 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 |
| } |