--- /dev/null
+; RUN: opt < %s -tbaa -gvn -S | FileCheck %s
+
+; CHECK: @test0_yes
+; CHECK: add i8 %x, %x
+define i8 @test0_yes(i8* %a, i8* %b) nounwind {
+ %x = load i8* %a, !tbaa !1
+ store i8 0, i8* %b, !tbaa !2
+ %y = load i8* %a, !tbaa !1
+ %z = add i8 %x, %y
+ ret i8 %z
+}
+
+; CHECK: @test0_no
+; CHECK: add i8 %x, %y
+define i8 @test0_no(i8* %a, i8* %b) nounwind {
+ %x = load i8* %a, !tbaa !3
+ store i8 0, i8* %b, !tbaa !4
+ %y = load i8* %a, !tbaa !3
+ %z = add i8 %x, %y
+ ret i8 %z
+}
+
+; CHECK: @test1_yes
+; CHECK: add i8 %x, %x
+define i8 @test1_yes(i8* %a, i8* %b) nounwind {
+ %x = load i8* %a, !tbaa !5
+ store i8 0, i8* %b
+ %y = load i8* %a, !tbaa !5
+ %z = add i8 %x, %y
+ ret i8 %z
+}
+
+; CHECK: @test1_no
+; CHECK: add i8 %x, %y
+define i8 @test1_no(i8* %a, i8* %b) nounwind {
+ %x = load i8* %a, !tbaa !6
+ store i8 0, i8* %b
+ %y = load i8* %a, !tbaa !6
+ %z = add i8 %x, %y
+ ret i8 %z
+}
+
+; Root note.
+!0 = metadata !{ }
+; Some type.
+!1 = metadata !{ metadata !"foo", metadata !0 }
+; Some other non-aliasing type.
+!2 = metadata !{ metadata !"bar", metadata !0 }
+
+; Some type.
+!3 = metadata !{ metadata !"foo", metadata !0 }
+; Some type in a different type system.
+!4 = metadata !{ metadata !"bar", metadata !"different" }
+
+; Invariant memory.
+!5 = metadata !{ metadata !"qux", metadata !0, i1 1 }
+; Not invariant memory.
+!6 = metadata !{ metadata !"qux", metadata !0, i1 0 }