diff options
Diffstat (limited to 'test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll')
-rw-r--r-- | test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll b/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll index 90e1abb..edea6d0 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll @@ -46,12 +46,12 @@ entry: br i1 %c, label %if.else, label %if.then if.then: - %t = load i32* %p, !tbaa !4 + %t = load i32* %p, !tbaa !3 store i32 %t, i32* %q ret void if.else: - %u = load i32* %p, !tbaa !3 + %u = load i32* %p, !tbaa !4 store i32 %u, i32* %q ret void } @@ -61,11 +61,11 @@ if.else: ; CHECK: @watch_out_for_another_type_change ; CHECK: if.then: -; CHECK: %t = load i32* %p -; CHECK: store i32 %t, i32* %q +; CHECK: store i32 0, i32* %q ; CHECK: ret void ; CHECK: if.else: -; CHECK: store i32 0, i32* %q +; CHECK: %u = load i32* %p +; CHECK: store i32 %u, i32* %q define void @watch_out_for_another_type_change(i1 %c, i32* %p, i32* %p1, i32* %q) nounwind { entry: @@ -74,22 +74,22 @@ entry: br i1 %c, label %if.else, label %if.then if.then: - %t = load i32* %p, !tbaa !3 + %t = load i32* %p, !tbaa !4 store i32 %t, i32* %q ret void if.else: - %u = load i32* %p, !tbaa !4 + %u = load i32* %p, !tbaa !3 store i32 %u, i32* %q ret void } -!0 = metadata !{} -!1 = metadata !{metadata !5, metadata !5, i64 0} -!2 = metadata !{metadata !6, metadata !6, i64 0} -!3 = metadata !{metadata !7, metadata !7, i64 0} -!4 = metadata !{metadata !8, metadata !8, i64 0} -!5 = metadata !{metadata !"red", metadata !0} -!6 = metadata !{metadata !"blu", metadata !0} -!7 = metadata !{metadata !"outer space"} -!8 = metadata !{metadata !"brick red", metadata !5} +!0 = !{} +!1 = !{!5, !5, i64 0} +!2 = !{!6, !6, i64 0} +!3 = !{!7, !7, i64 0} +!4 = !{!8, !8, i64 0} +!5 = !{!"red", !0} +!6 = !{!"blu", !0} +!7 = !{!"outer space"} +!8 = !{!"brick red", !5} |