diff options
| author | Duncan Sands <baldrick@free.fr> | 2012-10-04 13:36:31 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2012-10-04 13:36:31 +0000 |
| commit | ffcf6dffee69bd586ab8aa3e24ebbca1d5d279e7 (patch) | |
| tree | 10fc0a6a167aff768e2c8537bdf3baf263dd5da9 /test/Transforms | |
| parent | e660fc15fe1f1b8a19488f39d0ec09acc79bed0d (diff) | |
The alignment of an sret parameter is known: it must be at least the
alignment of the return type. Teach the optimizers this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165226 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/InstCombine/align-addr.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/align-addr.ll b/test/Transforms/InstCombine/align-addr.ll index 27916b9860..4ea1bd9beb 100644 --- a/test/Transforms/InstCombine/align-addr.ll +++ b/test/Transforms/InstCombine/align-addr.ll @@ -58,3 +58,19 @@ define double @test2(double* %p, double %n) nounwind { store double %n, double* %p ret double %t } + +declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind + +declare void @use(i8*) + +%struct.s = type { i32, i32, i32, i32 } + +define void @test3(%struct.s* sret %a4) { +; Check that the alignment is bumped up the alignment of the sret type. +; CHECK: @test3 + %a4.cast = bitcast %struct.s* %a4 to i8* + call void @llvm.memset.p0i8.i64(i8* %a4.cast, i8 0, i64 16, i32 1, i1 false) +; CHECK: call void @llvm.memset.p0i8.i64(i8* %a4.cast, i8 0, i64 16, i32 4, i1 false) + call void @use(i8* %a4.cast) + ret void +} |