Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/GlobalOpt/preallocated.ll @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 ; RUN: opt < %s -globalopt -S | FileCheck %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 declare token @llvm.call.preallocated.setup(i32)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 declare i8* @llvm.call.preallocated.arg(token, i32)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 declare i32 @__CxxFrameHandler3(...)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 ; Don't touch functions with any musttail calls
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 define internal i32 @preallocated_musttail(i32* preallocated(i32) %p) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 ; CHECK-LABEL: define internal i32 @preallocated_musttail(i32* preallocated(i32) %p)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 %rv = load i32, i32* %p
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 ret i32 %rv
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 define i32 @call_preallocated_musttail(i32* preallocated(i32) %a) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 %r = musttail call i32 @preallocated_musttail(i32* preallocated(i32) %a)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 ret i32 %r
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 ; CHECK-LABEL: define i32 @call_preallocated_musttail(i32* preallocated(i32) %a)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 ; CHECK: musttail call i32 @preallocated_musttail(i32* preallocated(i32) %a)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 define i32 @call_preallocated_musttail_without_musttail() {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 %c = call token @llvm.call.preallocated.setup(i32 1)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 %N = call i8* @llvm.call.preallocated.arg(token %c, i32 0) preallocated(i32)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 %n = bitcast i8* %N to i32*
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 %r = call i32 @preallocated_musttail(i32* preallocated(i32) %n) ["preallocated"(token %c)]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 ret i32 %r
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 ; CHECK-LABEL: define i32 @call_preallocated_musttail_without_musttail()
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 ; CHECK: call i32 @preallocated_musttail(i32* preallocated(i32) %n)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 ; Check that only one alloca per preallocated arg
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 define internal i32 @preallocated(i32* preallocated(i32) %a) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 ; CHECK-LABEL: define internal fastcc i32 @preallocated(i32* %a)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 %rv = load i32, i32* %a
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 ret i32 %rv
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 declare void @foo(i8*)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 define i32 @call_preallocated_multiple_args() {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 ; CHECK-LABEL: define i32 @call_preallocated_multiple_args()
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 ; CHECK-NEXT: [[SS:%[0-9a-zA-Z_]+]] = call i8* @llvm.stacksave()
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 ; CHECK-NEXT: [[ARG0:%[0-9a-zA-Z_]+]] = alloca i32
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 ; CHECK-NEXT: [[ARG1:%[0-9a-zA-Z_]+]] = bitcast i32* [[ARG0]] to i8*
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 ; CHECK-NEXT: call void @foo(i8* [[ARG1]])
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 ; CHECK-NEXT: call void @foo(i8* [[ARG1]])
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 ; CHECK-NEXT: call void @foo(i8* [[ARG1]])
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 ; CHECK-NEXT: [[ARG2:%[0-9a-zA-Z_]+]] = bitcast i8* [[ARG1]] to i32*
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 ; CHECK-NEXT: call fastcc i32 @preallocated(i32* [[ARG2]])
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 ; CHECK-NEXT: call void @llvm.stackrestore(i8* [[SS]])
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 ; CHECK-NEXT: ret
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 %c = call token @llvm.call.preallocated.setup(i32 1)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 %a1 = call i8* @llvm.call.preallocated.arg(token %c, i32 0) preallocated(i32)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 call void @foo(i8* %a1)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 %a2 = call i8* @llvm.call.preallocated.arg(token %c, i32 0) preallocated(i32)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 call void @foo(i8* %a2)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 %a3 = call i8* @llvm.call.preallocated.arg(token %c, i32 0) preallocated(i32)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 call void @foo(i8* %a3)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 %b = bitcast i8* %a3 to i32*
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 %r = call i32 @preallocated(i32* preallocated(i32) %b) ["preallocated"(token %c)]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 ret i32 %r
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 ; Don't touch functions with any invokes
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 define internal i32 @preallocated_invoke(i32* preallocated(i32) %p) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 ; CHECK-LABEL: define internal i32 @preallocated_invoke(i32* preallocated(i32) %p)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 %rv = load i32, i32* %p
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 ret i32 %rv
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 define i32 @call_preallocated_invoke() personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 %c = call token @llvm.call.preallocated.setup(i32 1)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 %a = call i8* @llvm.call.preallocated.arg(token %c, i32 0) preallocated(i32)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 %b = bitcast i8* %a to i32*
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 %r = invoke i32 @preallocated_invoke(i32* preallocated(i32) %b) ["preallocated"(token %c)]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 to label %conta unwind label %contb
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 conta:
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 ret i32 %r
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 contb:
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 %s = catchswitch within none [label %catch] unwind to caller
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 catch:
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 %p = catchpad within %s []
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 catchret from %p to label %cont
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 cont:
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 ret i32 42
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 ; CHECK-LABEL: define i32 @call_preallocated_invoke()
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 ; CHECK: invoke i32 @preallocated_invoke(i32* preallocated(i32) %b)