xref: /aosp_15_r20/external/llvm/test/Analysis/BasicAA/tailcall-modref.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workerdefine i32 @test() {
4*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 0
5*9880d681SAndroid Build Coastguard Worker        %A = alloca i32         ; <i32*> [#uses=3]
6*9880d681SAndroid Build Coastguard Worker        call void @foo( i32* %A )
7*9880d681SAndroid Build Coastguard Worker        %X = load i32, i32* %A               ; <i32> [#uses=1]
8*9880d681SAndroid Build Coastguard Worker        tail call void @bar( )
9*9880d681SAndroid Build Coastguard Worker        %Y = load i32, i32* %A               ; <i32> [#uses=1]
10*9880d681SAndroid Build Coastguard Worker        %Z = sub i32 %X, %Y             ; <i32> [#uses=1]
11*9880d681SAndroid Build Coastguard Worker        ret i32 %Z
12*9880d681SAndroid Build Coastguard Worker}
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workerdeclare void @foo(i32*)
15*9880d681SAndroid Build Coastguard Worker
16*9880d681SAndroid Build Coastguard Workerdeclare void @bar()
17