diff options
Diffstat (limited to 'test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll')
-rw-r--r-- | test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll b/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll index edea6d0..aaa43a4 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll @@ -17,7 +17,7 @@ entry: br i1 %c, label %if.else, label %if.then if.then: - %t = load i32* %p, !tbaa !1 + %t = load i32, i32* %p, !tbaa !1 store i32 %t, i32* %q ret void @@ -32,11 +32,11 @@ if.else: ; CHECK: @watch_out_for_type_change ; CHECK: if.then: -; CHECK: %t = load i32* %p +; CHECK: %t = load i32, i32* %p ; CHECK: store i32 %t, i32* %q ; CHECK: ret void ; CHECK: if.else: -; CHECK: %u = load i32* %p +; CHECK: %u = load i32, i32* %p ; CHECK: store i32 %u, i32* %q define void @watch_out_for_type_change(i1 %c, i32* %p, i32* %p1, i32* %q) nounwind { @@ -46,12 +46,12 @@ entry: br i1 %c, label %if.else, label %if.then if.then: - %t = load i32* %p, !tbaa !3 + %t = load i32, i32* %p, !tbaa !3 store i32 %t, i32* %q ret void if.else: - %u = load i32* %p, !tbaa !4 + %u = load i32, i32* %p, !tbaa !4 store i32 %u, i32* %q ret void } @@ -64,7 +64,7 @@ if.else: ; CHECK: store i32 0, i32* %q ; CHECK: ret void ; CHECK: if.else: -; CHECK: %u = load i32* %p +; CHECK: %u = load i32, 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 { @@ -74,12 +74,12 @@ entry: br i1 %c, label %if.else, label %if.then if.then: - %t = load i32* %p, !tbaa !4 + %t = load i32, i32* %p, !tbaa !4 store i32 %t, i32* %q ret void if.else: - %u = load i32* %p, !tbaa !3 + %u = load i32, i32* %p, !tbaa !3 store i32 %u, i32* %q ret void } |