diff options
| author | Arnold Schwaighofer <aschwaighofer@apple.com> | 2013-04-01 18:12:58 +0000 | 
|---|---|---|
| committer | Arnold Schwaighofer <aschwaighofer@apple.com> | 2013-04-01 18:12:58 +0000 | 
| commit | f28a29b776b7dc2b97d09c75d69494f862c216b3 (patch) | |
| tree | 2a74a99231f00e6cf3ce08dd2ab9caf9e441e0be /lib/Transforms/Utils/LCSSA.cpp | |
| parent | 46479197843ecb651adc9417c49bbd1b00acfcb6 (diff) | |
Merge load/store sequences with adresses: base + index + offset
We would also like to merge sequences that involve a variable index like in the
example below.
    int index = *idx++
    int i0 = c[index+0];
    int i1 = c[index+1];
    b[0] = i0;
    b[1] = i1;
By extending the parsing of the base pointer to handle dags that contain a
base, index, and offset we can handle examples like the one above.
The dag for the code above will look something like:
 (load (i64 add (i64 copyfromreg %c)
                (i64 signextend (i8 load %index))))
 (load (i64 add (i64 copyfromreg %c)
                (i64 signextend (i32 add (i32 signextend (i8 load %index))
                                         (i32 1)))))
The code that parses the tree ignores the intermediate sign extensions. However,
if there is a sign extension it needs to be on all indexes.
 (load (i64 add (i64 copyfromreg %c)
                (i64 signextend (add (i8 load %index)
                                     (i8 1))))
 vs
 (load (i64 add (i64 copyfromreg %c)
                (i64 signextend (i32 add (i32 signextend (i8 load %index))
                                         (i32 1)))))
radar://13536387
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@178483 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Utils/LCSSA.cpp')
0 files changed, 0 insertions, 0 deletions
