1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -gvn -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker%t = type { i32 } 4*9880d681SAndroid Build Coastguard Workerdeclare void @test1f(i8*) 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine void @test1(%t* noalias %stuff ) { 7*9880d681SAndroid Build Coastguard Worker %p = getelementptr inbounds %t, %t* %stuff, i32 0, i32 0 8*9880d681SAndroid Build Coastguard Worker %before = load i32, i32* %p 9*9880d681SAndroid Build Coastguard Worker 10*9880d681SAndroid Build Coastguard Worker call void @test1f(i8* null) 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Worker %after = load i32, i32* %p ; <--- This should be a dead load 13*9880d681SAndroid Build Coastguard Worker %sum = add i32 %before, %after 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Worker store i32 %sum, i32* %p 16*9880d681SAndroid Build Coastguard Worker ret void 17*9880d681SAndroid Build Coastguard Worker; CHECK: load 18*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: load 19*9880d681SAndroid Build Coastguard Worker; CHECK: ret void 20*9880d681SAndroid Build Coastguard Worker} 21