view test/Analysis/BasicAA/tailcall-modref.ll @ 95:afa8332a0e37 LLVM3.8

LLVM 3.8
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 13 Oct 2015 17:48:58 +0900
parents 95c75e76d11b
children
line wrap: on
line source

; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s

define i32 @test() {
; CHECK: ret i32 0
        %A = alloca i32         ; <i32*> [#uses=3]
        call void @foo( i32* %A )
        %X = load i32, i32* %A               ; <i32> [#uses=1]
        tail call void @bar( )
        %Y = load i32, i32* %A               ; <i32> [#uses=1]
        %Z = sub i32 %X, %Y             ; <i32> [#uses=1]
        ret i32 %Z
}

declare void @foo(i32*)

declare void @bar()