1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT
; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,CGSCC
; Make sure we need a single iteration to determine the chains are dead/alive.
declare i32 @source() nounwind readonly
define i32 @chain_dead(i32 %arg) {
; CHECK: Function Attrs: nofree nosync nounwind willreturn memory(none)
; CHECK-LABEL: define {{[^@]+}}@chain_dead
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR1:[0-9]+]] {
; CHECK-NEXT: ret i32 0
;
%init = call i32 @source()
%v0 = add i32 %arg, %init
%v1 = add i32 %init, %v0
%v2 = add i32 %v0, %v1
%v3 = add i32 %v1, %v2
%v4 = add i32 %v2, %v3
%v5 = add i32 %v3, %v4
%v6 = add i32 %v4, %v5
%v7 = add i32 %v5, %v6
%v8 = add i32 %v6, %v7
%v9 = add i32 %v7, %v8
ret i32 0
}
define i32 @chain_alive(i32 %arg) {
; CHECK: Function Attrs: nounwind memory(read)
; CHECK-LABEL: define {{[^@]+}}@chain_alive
; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT: [[INIT:%.*]] = call i32 @source() #[[ATTR2:[0-9]+]]
; CHECK-NEXT: [[V0:%.*]] = add i32 [[ARG]], [[INIT]]
; CHECK-NEXT: [[V1:%.*]] = add i32 [[INIT]], [[V0]]
; CHECK-NEXT: [[V2:%.*]] = add i32 [[V0]], [[V1]]
; CHECK-NEXT: [[V3:%.*]] = add i32 [[V1]], [[V2]]
; CHECK-NEXT: [[V4:%.*]] = add i32 [[V2]], [[V3]]
; CHECK-NEXT: [[V5:%.*]] = add i32 [[V3]], [[V4]]
; CHECK-NEXT: [[V6:%.*]] = add i32 [[V4]], [[V5]]
; CHECK-NEXT: [[V7:%.*]] = add i32 [[V5]], [[V6]]
; CHECK-NEXT: [[V8:%.*]] = add i32 [[V6]], [[V7]]
; CHECK-NEXT: [[V9:%.*]] = add i32 [[V7]], [[V8]]
; CHECK-NEXT: ret i32 [[V9]]
;
%init = call i32 @source()
%v0 = add i32 %arg, %init
%v1 = add i32 %init, %v0
%v2 = add i32 %v0, %v1
%v3 = add i32 %v1, %v2
%v4 = add i32 %v2, %v3
%v5 = add i32 %v3, %v4
%v6 = add i32 %v4, %v5
%v7 = add i32 %v5, %v6
%v8 = add i32 %v6, %v7
%v9 = add i32 %v7, %v8
ret i32 %v9
}
;.
; CHECK: attributes #[[ATTR0]] = { nounwind memory(read) }
; CHECK: attributes #[[ATTR1]] = { nofree nosync nounwind willreturn memory(none) }
; CHECK: attributes #[[ATTR2]] = { nounwind }
;.
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; CGSCC: {{.*}}
; TUNIT: {{.*}}
|
