source: icGREP/icgrep-devel/llvm-3.8.0.src/test/Analysis/TypeBasedAliasAnalysis/memcpyopt.ll @ 5027

Last change on this file since 5027 was 5027, checked in by cameron, 3 years ago

Upgrade to llvm 3.8

File size: 1.1 KB
Line 
1; RUN: opt -S -tbaa -basicaa -memcpyopt -instcombine < %s | FileCheck %s
2
3target datalayout = "e-p:64:64:64"
4
5; The second memcpy is redundant and can be deleted. There's an intervening store, but
6; it has a TBAA tag which declares that it is unrelated.
7
8; CHECK: @foo
9; CHECK-NEXT: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %p, i8* %q, i64 16, i32 1, i1 false), !tbaa !0
10; CHECK-NEXT: store i8 2, i8* %s, align 1, !tbaa [[TAGA:!.*]]
11; CHECK-NEXT: ret void
12define void @foo(i8* nocapture %p, i8* nocapture %q, i8* nocapture %s) nounwind {
13  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %p, i8* %q, i64 16, i32 1, i1 false), !tbaa !2
14  store i8 2, i8* %s, align 1, !tbaa !1
15  tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %q, i8* %p, i64 16, i32 1, i1 false), !tbaa !2
16  ret void
17}
18
19declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
20
21; CHECK: [[TAGA]] = !{[[TYPEA:!.*]], [[TYPEA]], i64 0}
22; CHECK: [[TYPEA]] = !{!"A", !{{.*}}}
23!0 = !{!"tbaa root", null}
24!1 = !{!3, !3, i64 0}
25!2 = !{!4, !4, i64 0}
26!3 = !{!"A", !0}
27!4 = !{!"B", !0}
Note: See TracBrowser for help on using the repository browser.