test/Transforms/InferFunctionAttrs/annotate.ll

   1 ; RUN: opt < %s -inferattrs -S | FileCheck %s
   2 ; RUN: opt < %s -passes=inferattrs -S | FileCheck %s
   3 ; RUN: opt < %s -mtriple=x86_64-apple-macosx10.8.0 -inferattrs -S | FileCheck -check-prefix=CHECK-POSIX %s
   4
   5 declare i8* @fopen(i8*, i8*)
   6 ; CHECK: declare noalias i8* @fopen(i8* nocapture readonly, i8* nocapture readonly) [[G0:#[0-9]]]
   7
   8 declare i8 @strlen(i8*)
   9 ; CHECK: declare i8 @strlen(i8* nocapture) [[G1:#[0-9]]]
  10
  11 declare i32* @realloc(i32*, i32)
  12 ; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) [[G0]]
  13
  14 ; Test deliberately wrong declaration
  15
  16 declare i32 @strcpy(...)
  17 ; CHECK: declare i32 @strcpy(...)
  18
  19 declare i32 @gettimeofday(i8*, i8*)
  20 ; CHECK-POSIX: declare i32 @gettimeofday(i8* nocapture, i8* nocapture) [[G0:#[0-9]+]]
  21
  22 ; CHECK: attributes [[G0]] = { nounwind }
  23 ; CHECK: attributes [[G1]] = { nounwind readonly }
  24 ; CHECK-POSIX: attributes [[G0]] = { nounwind }