From c23044317872059887fac4785964d71acd1f8f07 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Wed, 18 Mar 2009 19:51:01 +0000 Subject: PR3835: Interaction with ABI structure passing can inhibit readnone/readonly attributes. llvm-svn: 67224 --- clang/test/CodeGen/struct-passing.c | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 clang/test/CodeGen/struct-passing.c (limited to 'clang/test/CodeGen') diff --git a/clang/test/CodeGen/struct-passing.c b/clang/test/CodeGen/struct-passing.c new file mode 100644 index 00000000000..305101d9062 --- /dev/null +++ b/clang/test/CodeGen/struct-passing.c @@ -0,0 +1,21 @@ +// RUN: clang -triple i386-pc-linux-gnu -emit-llvm -o %t %s && +// RUN: grep 'declare i32 @f0() readnone$' %t && +// RUN: grep 'declare i32 @f1() readonly$' %t && +// RUN: grep 'declare void @f2(.* noalias sret)$' %t && +// RUN: grep 'declare void @f3(.* noalias sret)$' %t && +// RUN: grep 'declare void @f4(.* byval)$' %t && +// RUN: grep 'declare void @f5(.* byval)$' %t && +// RUN: true +// PR3835 + +typedef int T0; +typedef struct { int a[16]; } T1; + +T0 __attribute__((const)) f0(void); +T0 __attribute__((pure)) f1(void); +T1 __attribute__((const)) f2(void); +T1 __attribute__((pure)) f3(void); +void __attribute__((const)) f4(T1 a); +void __attribute__((pure)) f5(T1 a); + +void *ps[] = { f0, f1, f2, f3, f4, f5 }; -- cgit v1.2.3