1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -disable-basicaa -globals-aa -dse -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker@X = internal global i32 4 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine void @test0() { 6*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test0 7*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 0, i32* @X 8*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: call void @func_readonly() #0 9*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: store i32 1, i32* @X 10*9880d681SAndroid Build Coastguard Worker store i32 0, i32* @X 11*9880d681SAndroid Build Coastguard Worker call void @func_readonly() #0 12*9880d681SAndroid Build Coastguard Worker store i32 1, i32* @X 13*9880d681SAndroid Build Coastguard Worker ret void 14*9880d681SAndroid Build Coastguard Worker} 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerdefine void @test1() { 17*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1 18*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: store 19*9880d681SAndroid Build Coastguard Worker; CHECK: call void @func_read_argmem_only() #1 20*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: store i32 3, i32* @X 21*9880d681SAndroid Build Coastguard Worker store i32 2, i32* @X 22*9880d681SAndroid Build Coastguard Worker call void @func_read_argmem_only() #1 23*9880d681SAndroid Build Coastguard Worker store i32 3, i32* @X 24*9880d681SAndroid Build Coastguard Worker ret void 25*9880d681SAndroid Build Coastguard Worker} 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerdeclare void @func_readonly() #0 28*9880d681SAndroid Build Coastguard Workerdeclare void @func_read_argmem_only() #1 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Workerattributes #0 = { readonly } 31*9880d681SAndroid Build Coastguard Workerattributes #1 = { readonly argmemonly } 32