Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/FunctionAttrs/optnone.ll @ 266:00f31e85ec16 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1f2b6ac9f198
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 @x = global i32 0
anatofuz
parents:
diff changeset
4
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
5 define void @test_opt(ptr %p) {
150
anatofuz
parents:
diff changeset
6 ; CHECK-LABEL: @test_opt
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
7 ; CHECK: (ptr nocapture readnone %p) #0 {
150
anatofuz
parents:
diff changeset
8 ret void
anatofuz
parents:
diff changeset
9 }
anatofuz
parents:
diff changeset
10
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
11 define void @test_optnone(ptr %p) noinline optnone {
150
anatofuz
parents:
diff changeset
12 ; CHECK-LABEL: @test_optnone
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
13 ; CHECK: (ptr %p) #1 {
150
anatofuz
parents:
diff changeset
14 ret void
anatofuz
parents:
diff changeset
15 }
anatofuz
parents:
diff changeset
16
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
17 declare i8 @strlen(ptr) noinline optnone
150
anatofuz
parents:
diff changeset
18 ; CHECK-LABEL: @strlen
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
19 ; CHECK: (ptr) #1
150
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 ; CHECK-LABEL: attributes #0
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
22 ; CHECK: = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
150
anatofuz
parents:
diff changeset
23 ; CHECK-LABEL: attributes #1
anatofuz
parents:
diff changeset
24 ; CHECK: = { noinline optnone }