test/Analysis/GlobalsModRef/inaccessiblememonly.ll

   1 ; RUN: opt -O3 -S < %s | FileCheck %s
   2
   3 target datalayout = "e-i64:64-f80:128-n8:16:32:64"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 define void @donteliminate() {
   7 ; CHECK-LABEL: donteliminate
   8 ; CHECK-NEXT: tail call noalias i8* @allocmemory()
   9 ; CHECK-NEXT: tail call noalias i8* @allocmemory()
  10 ; CHECK-NEXT: tail call noalias i8* @allocmemory()
  11 ; CHECK-NEXT: ret void
  12   %1 = tail call noalias i8* @allocmemory()
  13   %2 = tail call noalias i8* @allocmemory()
  14   %3 = tail call noalias i8* @allocmemory()
  15   ret void
  16 }
  17
  18 ; Function Attrs: inaccessiblememonly
  19 declare noalias i8* @allocmemory() #0
  20
  21 attributes #0 = { inaccessiblememonly }