diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-06-21 01:15:55 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-06-21 01:15:55 +0000 |
| commit | 62fdd112fc755999175be9582eab5dac6ecba088 (patch) | |
| tree | 1afec39aadaefaf8545dac0a2109b557214cab6c /llvm/test/Transforms/ConstProp/div-zero.ll | |
| parent | 7d2b0494046e62619739b5ffeca84e0bc614ead0 (diff) | |
| download | bcm5719-llvm-62fdd112fc755999175be9582eab5dac6ecba088.tar.gz bcm5719-llvm-62fdd112fc755999175be9582eab5dac6ecba088.zip | |
implement PR4424: 0/x is always 0 for integer division.
llvm-svn: 73835
Diffstat (limited to 'llvm/test/Transforms/ConstProp/div-zero.ll')
| -rw-r--r-- | llvm/test/Transforms/ConstProp/div-zero.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/llvm/test/Transforms/ConstProp/div-zero.ll b/llvm/test/Transforms/ConstProp/div-zero.ll new file mode 100644 index 00000000000..166c643dcc9 --- /dev/null +++ b/llvm/test/Transforms/ConstProp/div-zero.ll @@ -0,0 +1,12 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i32 0} +; PR4424 +declare void @ext() + +define i32 @foo(i32 %ptr) { +entry: + %zero = sub i32 %ptr, %ptr ; <i32> [#uses=1] + %div_zero = sdiv i32 %zero, ptrtoint (i32* getelementptr (i32* null, +i32 1) to i32) ; <i32> [#uses=1] + ret i32 %div_zero +} + |
