Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 84ba97698e588624fb11ad820882ff0c998178a2 / . / llvm / test / Transforms / FunctionAttrs / 2008-09-03-ReadNone.ll
blob: 2e88a135a58aad53fc172ec2c1116ff55a7fd5f0 [file] [log] [blame]
Bill Wendling84ba9762013-02-11 08:34:57 +0000[diff] [blame^]1; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s
Duncan Sands5a896a92008-09-19 09:20:05 +0000[diff] [blame]2@x = global i32 0
3
Bill Wendling84ba9762013-02-11 08:34:57 +0000[diff] [blame^]4; CHECK: declare i32 @e() readnone
Duncan Sands5a896a92008-09-19 09:20:05 +0000[diff] [blame]5declare i32 @e() readnone
Duncan Sandsaf25ee72008-09-19 08:17:05 +0000[diff] [blame]6
Bill Wendling84ba9762013-02-11 08:34:57 +0000[diff] [blame^]7; CHECK: define i32 @f() readnone
Duncan Sandsaf25ee72008-09-19 08:17:05 +0000[diff] [blame]8define i32 @f() {
Duncan Sandsaf25ee72008-09-19 08:17:05 +0000[diff] [blame]9 %tmp = call i32 @e( ) ; <i32> [#uses=1]
10 ret i32 %tmp
11}
12
Bill Wendling84ba9762013-02-11 08:34:57 +0000[diff] [blame^]13; CHECK: define i32 @g() readnone
Duncan Sands5a896a92008-09-19 09:20:05 +0000[diff] [blame]14define i32 @g() readonly {
15 ret i32 0
16}
17
Bill Wendling84ba9762013-02-11 08:34:57 +0000[diff] [blame^]18; CHECK: define i32 @h() readnone
Duncan Sands5a896a92008-09-19 09:20:05 +0000[diff] [blame]19define i32 @h() readnone {
20 %tmp = load i32* @x ; <i32> [#uses=1]
21 ret i32 %tmp
22}