diff options
| author | Reid Spencer <rspencer@reidspencer.com> | 2007-02-02 02:16:23 +0000 |
|---|---|---|
| committer | Reid Spencer <rspencer@reidspencer.com> | 2007-02-02 02:16:23 +0000 |
| commit | 832254e1c2387c0cbeb0a820b8315fbe85cb003a (patch) | |
| tree | d3d0c15237b69dfda4ea152775417f2cc67b369b /test/Assembler | |
| parent | 9a2ef9509e76869c3d658fb3e321d9b9e9d479d9 (diff) | |
| download | external_llvm-832254e1c2387c0cbeb0a820b8315fbe85cb003a.zip external_llvm-832254e1c2387c0cbeb0a820b8315fbe85cb003a.tar.gz external_llvm-832254e1c2387c0cbeb0a820b8315fbe85cb003a.tar.bz2 | |
Changes to support making the shift instructions be true BinaryOperators.
This feature is needed in order to support shifts of more than 255 bits
on large integer types. This changes the syntax for llvm assembly to
make shl, ashr and lshr instructions look like a binary operator:
shl i32 %X, 1
instead of
shl i32 %X, i8 1
Additionally, this should help a few passes perform additional optimizations.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33776 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Assembler')
| -rw-r--r-- | test/Assembler/2003-05-21-MalformedShiftCrash.llx | 4 | ||||
| -rw-r--r-- | test/Assembler/2007-02-01-UpgradeShift.ll | 18 |
2 files changed, 20 insertions, 2 deletions
diff --git a/test/Assembler/2003-05-21-MalformedShiftCrash.llx b/test/Assembler/2003-05-21-MalformedShiftCrash.llx index d1618da..ef3445b 100644 --- a/test/Assembler/2003-05-21-MalformedShiftCrash.llx +++ b/test/Assembler/2003-05-21-MalformedShiftCrash.llx @@ -1,4 +1,4 @@ ; Found by inspection of the code -; RUN: llvm-as 2>&1 < %s > /dev/null | grep "Shift constant expression" +; RUN: llvm-as 2>&1 < %s > /dev/null | grep "Logical operator requires integral" -global i32 ashr (float 1.0, i8 2) +global i32 ashr (float 1.0, float 2.0) diff --git a/test/Assembler/2007-02-01-UpgradeShift.ll b/test/Assembler/2007-02-01-UpgradeShift.ll new file mode 100644 index 0000000..3931247 --- /dev/null +++ b/test/Assembler/2007-02-01-UpgradeShift.ll @@ -0,0 +1,18 @@ +; Test that upgrading shift instructions and constant expressions works +; correctly. +; RUN: llvm-upgrade < %s | grep 'ashr i32 .X, 2' && +; RUN: llvm-upgrade < %s | grep 'lshr i32 .X, 2' && +; RUN: llvm-upgrade < %s | grep 'shl i32 .X, 2' && +; RUN: llvm-upgrade < %s | grep 'ashr i32 .X, 6' && +; RUN: llvm-upgrade < %s | grep 'lshr i32 .X, 1' && +; RUN: llvm-upgrade < %s | grep 'shl i32 .X, 1' + +void %test(int %X) { + %A = ashr int %X, ubyte 2 + %B = lshr int %X, ubyte 2 + %C = shl int %X, ubyte 2 + %D = ashr int %X, ubyte trunc ( int shl (int 3, ubyte 1) to ubyte ) + %E = lshr int %X, ubyte trunc ( int ashr (int 3, ubyte 1) to ubyte ) + %F = shl int %X, ubyte trunc ( int lshr (int 3, ubyte 1) to ubyte ) + ret void +} |