mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-04 18:06:49 +00:00
Checkin new "feature" test for cee
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@4054 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
19ee34a334
commit
cacfb31197
48
test/Transforms/CorrelatedExprs/whet.ll
Normal file
48
test/Transforms/CorrelatedExprs/whet.ll
Normal file
@ -0,0 +1,48 @@
|
||||
; This code snippet is derived from the following "whetstone" style code:
|
||||
; int whet(int j) {
|
||||
; if (j == 1) j = 2;
|
||||
; else j = 7;
|
||||
; if (j > 2) j = 0;
|
||||
; else j = 3;
|
||||
; if (j < 1) j = 10;
|
||||
; else j = 0;
|
||||
; return j;
|
||||
;}
|
||||
;
|
||||
; This should eliminate all BB's except BB0, BB9, BB10
|
||||
;
|
||||
; RUN: if as < %s | opt -cee -instcombine -simplifycfg | dis | grep 'bb[2-8]'
|
||||
; RUN: then exit 1
|
||||
; RUN: else exit 0
|
||||
; RUN: fi
|
||||
|
||||
implementation ; Functions:
|
||||
|
||||
int %whet(int %j) {
|
||||
bb0: ; No predecessors!
|
||||
%cond220 = setne int %j, 1 ; <bool> [#uses=1]
|
||||
br bool %cond220, label %bb3, label %bb4
|
||||
|
||||
bb3: ; preds = %bb0
|
||||
br label %bb4
|
||||
|
||||
bb4: ; preds = %bb3, %bb0
|
||||
%reg111 = phi int [ 7, %bb3 ], [ 2, %bb0 ] ; <int> [#uses=1]
|
||||
%cond222 = setle int %reg111, 2 ; <bool> [#uses=1]
|
||||
br bool %cond222, label %bb6, label %bb7
|
||||
|
||||
bb6: ; preds = %bb4
|
||||
br label %bb7
|
||||
|
||||
bb7: ; preds = %bb6, %bb4
|
||||
%reg114 = phi int [ 3, %bb6 ], [ 0, %bb4 ] ; <int> [#uses=1]
|
||||
%cond225 = setgt int %reg114, 0 ; <bool> [#uses=1]
|
||||
br bool %cond225, label %bb9, label %bb10
|
||||
|
||||
bb9: ; preds = %bb7
|
||||
br label %bb10
|
||||
|
||||
bb10: ; preds = %bb9, %bb7
|
||||
%reg117 = phi int [ 0, %bb9 ], [ 10, %bb7 ] ; <int> [#uses=1]
|
||||
ret int %reg117
|
||||
}
|
Loading…
Reference in New Issue
Block a user