clang/test/CodeGen/struct-passing.c

   1 // This verifies that structs returned from functions by value are passed
   2 // correctly according to their attributes and the ABI.
   3 // SEE: PR3835
   4
   5 // RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm %s -o - | FileCheck %s
   6
   7 typedef int T0;
   8 typedef struct { int a[16]; } T1;
   9
  10 T0 __attribute__((const)) f0(void);
  11 T0 __attribute__((pure)) f1(void);
  12 T1 __attribute__((const)) f2(void);
  13 T1 __attribute__((pure)) f3(void);
  14 void __attribute__((const)) f4(T1 a);
  15 void __attribute__((pure)) f5(T1 a);
  16
  17 void *ps[] = { f0, f1, f2, f3, f4, f5 };
  18
  19 // CHECK: declare i32 @f0() [[RN:#[0-9]+]]
  20 // CHECK: declare i32 @f1() [[RO:#[0-9]+]]
  21 // CHECK: declare void @f2({{.*}} sret({{.*}}) align 4)
  22 // CHECK: declare void @f3({{.*}} sret({{.*}}) align 4)
  23 // CHECK: declare void @f4({{.*}} byval({{.*}}) align 4)
  24 // CHECK: declare void @f5({{.*}} byval({{.*}}) align 4)
  25
  26 // CHECK: attributes [[RN]] = { nounwind willreturn memory(none){{.*}} }
  27 // CHECK: attributes [[RO]] = { nounwind willreturn memory(read){{.*}} }