1 ; RUN: opt -basic-aa -instcombine -S < %s | FileCheck %s
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
8 define void @test_load_combine_aa(i32*, i32*, i32*, i32* noalias) {
11 %b = load i32, i32* %0