diff options
| author | Dan Gohman <gohman@apple.com> | 2008-07-18 18:43:12 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2008-07-18 18:43:12 +0000 |
| commit | e1790de6c0dd6f60e6c4b47e464cda28cd1a8f0e (patch) | |
| tree | 80fef8e3543f00e135f5bb7a2520bc59b1706d5c /test | |
| parent | d6da6e28cbf9f6be789124e015f255e4af50cf83 (diff) | |
| download | external_llvm-e1790de6c0dd6f60e6c4b47e464cda28cd1a8f0e.zip external_llvm-e1790de6c0dd6f60e6c4b47e464cda28cd1a8f0e.tar.gz external_llvm-e1790de6c0dd6f60e6c4b47e464cda28cd1a8f0e.tar.bz2 | |
In the CBackend, use casts to force integer add, subtract, and
multiply to be done as unsigned, so that they have well defined
behavior on overflow. This fixes PR2408.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53767 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/CBackend/2007-02-23-NameConflicts.ll | 3 | ||||
| -rw-r--r-- | test/CodeGen/CBackend/pr2408.ll | 12 |
2 files changed, 14 insertions, 1 deletions
diff --git a/test/CodeGen/CBackend/2007-02-23-NameConflicts.ll b/test/CodeGen/CBackend/2007-02-23-NameConflicts.ll index 2bc4d51..eb5cb86 100644 --- a/test/CodeGen/CBackend/2007-02-23-NameConflicts.ll +++ b/test/CodeGen/CBackend/2007-02-23-NameConflicts.ll @@ -1,7 +1,8 @@ ; PR1164 ; RUN: llvm-as < %s | llc -march=c | grep {llvm_cbe_A = \\*llvm_cbe_G;} ; RUN: llvm-as < %s | llc -march=c | grep {llvm_cbe_B = \\*(<mp_0_1);} -; RUN: llvm-as < %s | llc -march=c | grep {return (llvm_cbe_A + llvm_cbe_B);} +; RUN: llvm-as < %s | llc -march=c | grep {return (((unsigned int )(((unsigned int )llvm_cbe_A) + ((unsigned int )llvm_cbe_B))));} + @G = global i32 123 @ltmp_0_1 = global i32 123 diff --git a/test/CodeGen/CBackend/pr2408.ll b/test/CodeGen/CBackend/pr2408.ll new file mode 100644 index 0000000..a16f91b --- /dev/null +++ b/test/CodeGen/CBackend/pr2408.ll @@ -0,0 +1,12 @@ +; RUN: llvm-as < %s | llc -march=c | grep {\\* ((unsigned int )} +; PR2408 + +define i32 @a(i32 %a) { +entry: + %shr = ashr i32 %a, 0 ; <i32> [#uses=1] + %shr2 = ashr i32 2, 0 ; <i32> [#uses=1] + %mul = mul i32 %shr, %shr2 ; <i32> [#uses=1] + %shr4 = ashr i32 2, 0 ; <i32> [#uses=1] + %div = sdiv i32 %mul, %shr4 ; <i32> [#uses=1] + ret i32 %div +} |