diff options
author | Chris Lattner <sabre@nondot.org> | 2003-11-03 05:30:34 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2003-11-03 05:30:34 +0000 |
commit | 4d3ba7397f8289e70caa8c462a2b214f89293c45 (patch) | |
tree | cef07633ffc44b91f977fb06fe7fe307f6dadf30 /test/Transforms/InstCombine/bit-tracking.ll | |
parent | 6870805117075b9c7713d505b501cea5486fd2d8 (diff) | |
download | llvm-4d3ba7397f8289e70caa8c462a2b214f89293c45.tar.gz llvm-4d3ba7397f8289e70caa8c462a2b214f89293c45.tar.bz2 llvm-4d3ba7397f8289e70caa8c462a2b214f89293c45.tar.xz |
Move a test from cast-set to a new bit-tracking.ll file. Update file comments
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9674 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/bit-tracking.ll')
-rw-r--r-- | test/Transforms/InstCombine/bit-tracking.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/bit-tracking.ll b/test/Transforms/InstCombine/bit-tracking.ll new file mode 100644 index 0000000000..10d1cc2ed6 --- /dev/null +++ b/test/Transforms/InstCombine/bit-tracking.ll @@ -0,0 +1,18 @@ +; This file contains various testcases that require tracking whether bits are +; set or cleared by various instructions. + +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep %ELIM + +; test1 - Eliminating the casts in this testcase (by narrowing the AND +; operation) allows instcombine to realize the function always returns false. +; +bool %test1(int %A, int %B) { + %C1 = setlt int %A, %B + %ELIM1 = cast bool %C1 to uint + %C2 = setgt int %A, %B + %ELIM2 = cast bool %C2 to uint + %C3 = and uint %ELIM1, %ELIM2 + %ELIM3 = cast uint %C3 to bool + ret bool %ELIM3 +} + |