diff options
Diffstat (limited to 'test/Transforms/InstCombine/narrow.ll')
-rw-r--r-- | test/Transforms/InstCombine/narrow.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/narrow.ll b/test/Transforms/InstCombine/narrow.ll new file mode 100644 index 0000000000..a26d61575f --- /dev/null +++ b/test/Transforms/InstCombine/narrow.ll @@ -0,0 +1,18 @@ +; This file contains various testcases that check to see that instcombine +; is narrowing computations when possible. + +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep %ELIM +; XFAIL: * + +; 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 +} |