diff options
Diffstat (limited to 'test/Transforms/ScalarRepl/copy-aggregate.ll')
-rw-r--r-- | test/Transforms/ScalarRepl/copy-aggregate.ll | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/test/Transforms/ScalarRepl/copy-aggregate.ll b/test/Transforms/ScalarRepl/copy-aggregate.ll new file mode 100644 index 0000000000000..4ab17ae2bbb96 --- /dev/null +++ b/test/Transforms/ScalarRepl/copy-aggregate.ll @@ -0,0 +1,57 @@ +; RUN: llvm-as < %s | opt -scalarrepl | llvm-dis | not grep alloca +; PR3290 + +;; Store of integer to whole alloca struct. +define i32 @test1(i64 %V) nounwind { + %X = alloca {{i32, i32}} + %Y = bitcast {{i32,i32}}* %X to i64* + store i64 %V, i64* %Y + + %A = getelementptr {{i32,i32}}* %X, i32 0, i32 0, i32 0 + %B = getelementptr {{i32,i32}}* %X, i32 0, i32 0, i32 1 + %a = load i32* %A + %b = load i32* %B + %c = add i32 %a, %b + ret i32 %c +} + +;; Store of integer to whole struct/array alloca. +define float @test2(i128 %V) nounwind { + %X = alloca {[4 x float]} + %Y = bitcast {[4 x float]}* %X to i128* + store i128 %V, i128* %Y + + %A = getelementptr {[4 x float]}* %X, i32 0, i32 0, i32 0 + %B = getelementptr {[4 x float]}* %X, i32 0, i32 0, i32 3 + %a = load float* %A + %b = load float* %B + %c = add float %a, %b + ret float %c +} + +;; Load of whole alloca struct as integer +define i64 @test3(i32 %a, i32 %b) nounwind { + %X = alloca {{i32, i32}} + + %A = getelementptr {{i32,i32}}* %X, i32 0, i32 0, i32 0 + %B = getelementptr {{i32,i32}}* %X, i32 0, i32 0, i32 1 + store i32 %a, i32* %A + store i32 %b, i32* %B + + %Y = bitcast {{i32,i32}}* %X to i64* + %Z = load i64* %Y + ret i64 %Z +} + +;; load of integer from whole struct/array alloca. +define i128 @test4(float %a, float %b) nounwind { + %X = alloca {[4 x float]} + %A = getelementptr {[4 x float]}* %X, i32 0, i32 0, i32 0 + %B = getelementptr {[4 x float]}* %X, i32 0, i32 0, i32 3 + store float %a, float* %A + store float %b, float* %B + + %Y = bitcast {[4 x float]}* %X to i128* + %V = load i128* %Y + ret i128 %V +} |