1 ; RUN: opt -S -passes=instcombine < %s 2>&1 | FileCheck %s
3 define i64 @f(ptr %p1, ptr %p2) {
5 ; check that the tbaa is preserved
7 ; CHECK: %v1 = load i64, ptr %p1, align 8, !tbaa !0
8 ; CHECK: store i64 %v1, ptr %p2, align 8
10 %v1 = load i64, ptr %p1, align 8, !tbaa !0
11 store i64 %v1, ptr %p2, align 8
12 %v2 = load i64, ptr %p2, align 8
17 !1 = !{!"scalar type", !2}