llvm-6502/test/Transforms/PredicateSimplifier/2006-11-04-ReplacingZeros.ll
Nick Lewycky 565706b93e Update to new predicate simplifier VRP design. Fixes PR966 and PR967.
Remove predicate simplifier from default gcc3 pipeline. New design is too
slow to enable by default.
Add new testcases for problems encountered in development.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31895 91177308-0d34-0410-b5e6-96231b3b80d8
2006-11-22 23:49:16 +00:00

31 lines
823 B
LLVM

; RUN: llvm-as < %s | opt -predsimplify -disable-output
int %test_wp_B_slice(int %select_method) {
entry:
br label %bb309
cond_true114: ; preds = %bb309
%tmp130 = setlt int 0, 128 ; <bool> [#uses=1]
%min = select bool %tmp130, int 0, int 127 ; <int> [#uses=2]
%tmp143 = load int* null ; <int> [#uses=1]
br bool false, label %bb303, label %bb314
cond_true166: ; preds = %bb303
ret int 0
cond_false200: ; preds = %bb303
%tmp205 = sdiv int %min, 2 ; <int> [#uses=1]
%iftmp.380.0.p = select bool false, int 0, int %tmp205 ; <int> [#uses=0]
ret int 0
bb303: ; preds = %cond_true114
%tmp165 = seteq int %min, 0 ; <bool> [#uses=1]
br bool %tmp165, label %cond_true166, label %cond_false200
bb309: ; preds = %bb19
br bool false, label %cond_true114, label %bb314
bb314: ; preds = %bb309
ret int 0
}