1; RUN: opt -basic-aa -instcombine -S < %s | FileCheck %s
2
3; CHECK-LABEL: @test_load_combine_aa(
4; CHECK: %[[V:.*]] = load i32, i32* %0
5; CHECK: store i32 0, i32* %3
6; CHECK: store i32 %[[V]], i32* %1
7; CHECK: store i32 %[[V]], i32* %2
8define void @test_load_combine_aa(i32*, i32*, i32*, i32* noalias) {
9  %a = load i32, i32* %0
10  store i32 0, i32* %3
11  %b = load i32, i32* %0
12  store i32 %a, i32* %1
13  store i32 %b, i32* %2
14  ret void
15}
16