GlobalsAA: Take advantage of ArgMemOnly, InaccessibleMemOnly and InaccessibleMemOrArg...
[oota-llvm.git] / test / Analysis / GlobalsModRef / argmemonly-escape.ll
1 ; RUN: opt < %s -O1 -S -enable-non-lto-gmr=true | FileCheck %s
2
3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4 target triple = "x86_64-apple-macosx10.10.0"
5
6 @a = internal global [3 x i32] zeroinitializer, align 4
7
8 ; The important thing we're checking for here is the reload of (some element of)
9 ; @a after the memset.
10
11 ; CHECK-LABEL: @main
12 ; CHECK: load i32, i32* getelementptr {{.*}} @a
13 ; CHECK-NEXT: call void @memsetp0i8i64{{.*}} @a
14 ; CHECK-NEXT: load i32, i32* getelementptr {{.*}} @a
15 ; CHECK-NEXT: call void @memsetp0i8i64A{{.*}} @a
16 ; CHECK-NEXT: load i32, i32* getelementptr {{.*}} @a
17 ; CHECK: icmp eq
18 ; CHECK: br i1
19
20 define i32 @main() {
21 entry:
22   %0 = bitcast [3 x i32]* @a to i8*
23   %1 = load i32, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 2), align 4
24   call void @memsetp0i8i64(i8* %0, i8 0, i64 4, i32 4, i1 false)
25   %2 = load i32, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 2), align 4
26   call void @memsetp0i8i64A(i8* %0, i8 0, i64 4, i32 4, i1 false)
27   %3 = load i32, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 2), align 4
28   %4 = add i32 %2, %3
29   %cmp1 = icmp eq i32 %1, %4
30   br i1 %cmp1, label %if.then, label %if.end
31
32 if.then:                                          ; preds = %entr
33   call void @abort() #3
34   unreachable
35
36 if.end:                                           ; preds = %entry
37   ret i32 0
38 }
39
40 ; Function Attrs: nounwind argmemonly
41 declare void @memsetp0i8i64(i8* nocapture, i8, i64, i32, i1) nounwind argmemonly
42
43 ; Function Attrs: nounwind inaccessiblemem_or_argmemonly
44 declare void @memsetp0i8i64A(i8* nocapture, i8, i64, i32, i1) nounwind inaccessiblemem_or_argmemonly
45
46 ; Function Attrs: noreturn nounwind
47 declare void @abort() noreturn nounwind