llvm/test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll

   1 ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s
   2
   3 ; CHECK: define ptr @a(ptr nocapture readonly %p)
   4 define ptr @a(ptr %p) {
   5         %tmp = load ptr, ptr %p
   6         ret ptr %tmp
   7 }
   8
   9 ; CHECK: define ptr @b(ptr %q)
  10 define ptr @b(ptr %q) {
  11         %mem = alloca ptr
  12         store ptr %q, ptr %mem
  13         %tmp = call ptr @a(ptr %mem)
  14         ret ptr %tmp
  15 }
  16
  17 ; CHECK: define ptr @c(ptr readnone returned %r)
  18 @g = global i32 0
  19 define ptr @c(ptr %r) {
  20         %a = icmp eq ptr %r, null
  21         store i32 1, ptr @g
  22         ret ptr %r
  23 }