Add a testcase cee should eventually pass

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@4484 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2002-11-01 17:29:35 +00:00
parent 1b3b4c5ab0
commit 09e89faf8c

View File

@ -0,0 +1,21 @@
; a load or store of a pointer indicates that the pointer is not null.
; Any succeeding uses of the pointer should get this info
; RUN: if as < %s | opt -cee -instcombine -simplifycfg | dis | grep br
; RUN: then exit 1
; RUN: else exit 0
; RUN: fi
implementation ; Functions:
int %nullptr(int* %j) {
bb0:
store int 7, int* %j ; j != null
%cond220 = seteq int* %j, null ; F
br bool %cond220, label %bb3, label %bb4 ; direct branch
bb3:
ret int 4 ; Dead code
bb4:
ret int 3 ; Live code
}