llvm/test/Transforms/InstCombine/2009-02-11-NotInitialized.ll

   1 ; RUN: opt < %s -passes=inline,instcombine,function-attrs | llvm-dis
   2 ;
   3 ; Check that nocapture attributes are added when run after an SCC pass.
   4 ; PR3520
   5
   6 define i32 @use(ptr %x) nounwind readonly {
   7 ; CHECK: @use(ptr nocapture %x)
   8   %1 = tail call i64 @strlen(ptr %x) nounwind readonly
   9   %2 = trunc i64 %1 to i32
  10   ret i32 %2
  11 }
  12
  13 declare i64 @strlen(ptr) nounwind readonly
  14 ; CHECK: declare i64 @strlen(ptr nocapture) nounwind readonly