| ; Check that stack alignment can be forced. Individual targets should test their |
| ; specific implementation details. |
| |
| ; RUN: llc < %s -stackrealign | FileCheck %s |
| ; CHECK-LABEL: @f |
| ; CHECK-LABEL: @g |
| |
| ; Stack realignment not supported. |
| ; XFAIL: target=sparc{{.*}} |
| |
| ; NVPTX cannot select dynamic_stackalloc |
| ; XFAIL: target=nvptx{{.*}} |
| |
| define i32 @f(ptr %p) nounwind { |
| entry: |
| %0 = load i8, ptr %p |
| %conv = sext i8 %0 to i32 |
| ret i32 %conv |
| } |
| |
| define i64 @g(i32 %i) nounwind { |
| entry: |
| br label %if.then |
| |
| if.then: |
| %0 = alloca i8, i32 %i |
| call void @llvm.memset.p0.i32(ptr %0, i8 0, i32 %i, i1 false) |
| %call = call i32 @f(ptr %0) |
| %conv = sext i32 %call to i64 |
| ret i64 %conv |
| } |
| |
| declare void @llvm.memset.p0.i32(ptr, i8, i32, i1) nounwind |
| |
| !llvm.module.flags = !{!0} |
| !0 = !{i32 2, !"override-stack-alignment", i32 32} |