diff options
author | Mon P Wang <wangmp@apple.com> | 2009-08-13 05:12:13 +0000 |
---|---|---|
committer | Mon P Wang <wangmp@apple.com> | 2009-08-13 05:12:13 +0000 |
commit | 7c4efa6808b737b2bfc7c79872b9c16f566a7d8a (patch) | |
tree | 6995406b42919084dbae9759766bd52173ad2ad0 /test/Transforms | |
parent | b808588a3a5febe931896b3779d159ba90d836f7 (diff) | |
download | llvm-7c4efa6808b737b2bfc7c79872b9c16f566a7d8a.tar.gz llvm-7c4efa6808b737b2bfc7c79872b9c16f566a7d8a.tar.bz2 llvm-7c4efa6808b737b2bfc7c79872b9c16f566a7d8a.tar.xz |
When InstCombine simplifies a load -> extract element to gep -> load, place
the new load by the old load instead of by the extract element because
a store could have occurred between the load and extract element.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78891 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
-rw-r--r-- | test/Transforms/InstCombine/vec_extract_elt2.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/vec_extract_elt2.ll b/test/Transforms/InstCombine/vec_extract_elt2.ll new file mode 100644 index 0000000000..37463d23f1 --- /dev/null +++ b/test/Transforms/InstCombine/vec_extract_elt2.ll @@ -0,0 +1,23 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | FileCheck %s + +; The load replacing the extract element must occur before the call +; that may modify local array a. + +declare void @mod_a_func(<4 x float>* %a); + +; CHECK: load float* %arraydecay1, align 16 +; CHECK: call void @mod_a_func + +define void @cl_jpegenc_k2(<4 x float> addrspace(1)* %src, float addrspace(1)* %dst) { + %a = alloca [2 x <4 x float>], align 16 + %arraydecay = getelementptr [2 x <4 x float>]* %a, i32 0, i32 0 + %arrayidx31 = getelementptr <4 x float> addrspace(1)* %src, i32 0 + %tmp32 = load <4 x float> addrspace(1)* %arrayidx31 + store <4 x float> %tmp32, <4 x float>* %arraydecay, align 16 + %tmp86 = load <4 x float>* %arraydecay, align 16 + call void @mod_a_func(<4 x float>* %arraydecay) + %arrayidx132 = getelementptr float addrspace(1)* %dst, i32 0 + %tmp236 = extractelement <4 x float> %tmp86, i32 0 + store float %tmp236, float addrspace(1)* %arrayidx132 + ret void +}
\ No newline at end of file |