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