1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -globals-aa -gvn -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; See PR26774 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Worker@X = internal global i32 4 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Workerdefine i32 @test(i32* %P) { 8*9880d681SAndroid Build Coastguard Worker; CHECK: @test 9*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: store i32 12, i32* @X 10*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: call void @doesnotmodX() 11*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %V = load i32, i32* @X 12*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 %V 13*9880d681SAndroid Build Coastguard Worker store i32 12, i32* @X 14*9880d681SAndroid Build Coastguard Worker call void @doesnotmodX( ) 15*9880d681SAndroid Build Coastguard Worker %V = load i32, i32* @X 16*9880d681SAndroid Build Coastguard Worker ret i32 %V 17*9880d681SAndroid Build Coastguard Worker} 18*9880d681SAndroid Build Coastguard Worker 19*9880d681SAndroid Build Coastguard Workerdefine linkonce_odr void @doesnotmodX() { 20*9880d681SAndroid Build Coastguard Worker ret void 21*9880d681SAndroid Build Coastguard Worker} 22