mirror of
https://github.com/RPCS3/llvm.git
synced 2026-08-27 21:00:01 -04:00
Reid Kleckner
c7429cbd06
The frontend may have requested a higher alignment for any reason, and downstream optimizations may already have taken advantage of it. We should keep the same alignment when moving the allocation from the parameter area to the local variable area. Fixes PR34038 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@310071 91177308-0d34-0410-b5e6-96231b3b80d8
51 lines
1.5 KiB
LLVM
51 lines
1.5 KiB
LLVM
; RUN: opt < %s -argpromotion -S | FileCheck %s
|
|
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
|
|
|
|
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
|
|
|
|
%struct.ss = type { i32, i64 }
|
|
|
|
define internal void @f(%struct.ss* byval %b) nounwind {
|
|
entry:
|
|
%tmp = getelementptr %struct.ss, %struct.ss* %b, i32 0, i32 0
|
|
%tmp1 = load i32, i32* %tmp, align 4
|
|
%tmp2 = add i32 %tmp1, 1
|
|
store i32 %tmp2, i32* %tmp, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: define internal void @f(i32 %b.0, i64 %b.1)
|
|
; CHECK: alloca %struct.ss{{$}}
|
|
; CHECK: store i32 %b.0
|
|
; CHECK: store i64 %b.1
|
|
|
|
define internal void @g(%struct.ss* byval align 32 %b) nounwind {
|
|
entry:
|
|
%tmp = getelementptr %struct.ss, %struct.ss* %b, i32 0, i32 0
|
|
%tmp1 = load i32, i32* %tmp, align 4
|
|
%tmp2 = add i32 %tmp1, 1
|
|
store i32 %tmp2, i32* %tmp, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: define internal void @g(i32 %b.0, i64 %b.1)
|
|
; CHECK: alloca %struct.ss, align 32
|
|
; CHECK: store i32 %b.0
|
|
; CHECK: store i64 %b.1
|
|
|
|
define i32 @main() nounwind {
|
|
entry:
|
|
%S = alloca %struct.ss
|
|
%tmp1 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 0
|
|
store i32 1, i32* %tmp1, align 8
|
|
%tmp4 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 1
|
|
store i64 2, i64* %tmp4, align 4
|
|
call void @f(%struct.ss* byval %S) nounwind
|
|
call void @g(%struct.ss* byval %S) nounwind
|
|
ret i32 0
|
|
}
|
|
|
|
; CHECK-LABEL: define i32 @main
|
|
; CHECK: call void @f(i32 %{{.*}}, i64 %{{.*}})
|
|
; CHECK: call void @g(i32 %{{.*}}, i64 %{{.*}})
|