mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-11-02 07:11:49 +00:00
Testcase for feature we should support eventually
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@7772 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
42f3372742
commit
df398f729f
22
test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll
Normal file
22
test/Transforms/InstCombine/2003-08-12-AllocaNonNull.ll
Normal file
@ -0,0 +1,22 @@
|
|||||||
|
; This testcase can be simplified by "realizing" that alloca can never return
|
||||||
|
; null.
|
||||||
|
; RUN: as < %s | opt -instcombine -simplifycfg | dis | not grep 'br '
|
||||||
|
|
||||||
|
implementation ; Functions:
|
||||||
|
|
||||||
|
declare int %bitmap_clear(...)
|
||||||
|
|
||||||
|
int %oof() {
|
||||||
|
entry:
|
||||||
|
%live_head = alloca int ; <int*> [#uses=2]
|
||||||
|
%tmp.1 = setne int* %live_head, null ; <bool> [#uses=1]
|
||||||
|
br bool %tmp.1, label %then, label %UnifiedExitNode
|
||||||
|
|
||||||
|
then:
|
||||||
|
%tmp.4 = call int (...)* %bitmap_clear( int* %live_head ) ; <int> [#uses=0]
|
||||||
|
br label %UnifiedExitNode
|
||||||
|
|
||||||
|
UnifiedExitNode:
|
||||||
|
ret int 0
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user