From 4d3ba7397f8289e70caa8c462a2b214f89293c45 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 3 Nov 2003 05:30:34 +0000 Subject: [PATCH] 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 --- test/Transforms/InstCombine/bit-tracking.ll | 18 ++++++++++++++++++ test/Transforms/InstCombine/cast-set.ll | 16 ++-------------- 2 files changed, 20 insertions(+), 14 deletions(-) create mode 100644 test/Transforms/InstCombine/bit-tracking.ll diff --git a/test/Transforms/InstCombine/bit-tracking.ll b/test/Transforms/InstCombine/bit-tracking.ll new file mode 100644 index 00000000000..10d1cc2ed61 --- /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 +} + diff --git a/test/Transforms/InstCombine/cast-set.ll b/test/Transforms/InstCombine/cast-set.ll index 1e4b537c257..b1c81231442 100644 --- a/test/Transforms/InstCombine/cast-set.ll +++ b/test/Transforms/InstCombine/cast-set.ll @@ -1,7 +1,5 @@ -; I'm not really sure if instcombine should do things like these. LevelRaise -; already sufficiently takes care of these cases, but level raise is really -; slow. Might it be better to make there be an instcombine prepass before -; level raise that takes care of the obvious stuff? +; This tests for various complex cast elimination cases instcombine should +; handle. ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep cast @@ -18,16 +16,6 @@ bool %test2(int %X, int %Y) { ret bool %c } -bool %test3(int %A, int %B) { - %cond216 = setlt int %A, %B ; [#uses=1] - %cst109 = cast bool %cond216 to uint ; [#uses=1] - %cond219 = setgt int %A, %B ; [#uses=1] - %cst111 = cast bool %cond219 to uint ; [#uses=1] - %reg113 = and uint %cst109, %cst111 ; [#uses=1] - %cst222 = cast uint %reg113 to bool ; [#uses=1] - ret bool %cst222 -} - int %test4(int %A) { %B = cast int %A to uint %C = shl uint %B, ubyte 2