diff options
Diffstat (limited to 'clang/test/CodeGen/builtin-attributes.c')
-rw-r--r-- | clang/test/CodeGen/builtin-attributes.c | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/clang/test/CodeGen/builtin-attributes.c b/clang/test/CodeGen/builtin-attributes.c new file mode 100644 index 0000000..3781eba --- /dev/null +++ b/clang/test/CodeGen/builtin-attributes.c @@ -0,0 +1,58 @@ +// RUN: %clang_cc1 -triple arm-unknown-linux-gnueabi -emit-llvm -o - %s | FileCheck %s + +// CHECK: declare i32 @printf(i8*, ...) +void f0() { + printf("a\n"); +} + +// CHECK: call void @exit +// CHECK: unreachable +void f1() { + exit(1); +} + +// CHECK: call i8* @strstr{{.*}} nounwind +char* f2(char* a, char* b) { + return __builtin_strstr(a, b); +} + +// frexp is NOT readnone. It writes to its pointer argument. +// <rdar://problem/10070234> +// +// CHECK: f3 +// CHECK: call double @frexp(double % +// CHECK-NOT: readnone +// CHECK: call float @frexpf(float % +// CHECK-NOT: readnone +// CHECK: call double @frexpl(double % +// CHECK-NOT: readnone +// +// Same thing for modf and friends. +// +// CHECK: call double @modf(double % +// CHECK-NOT: readnone +// CHECK: call float @modff(float % +// CHECK-NOT: readnone +// CHECK: call double @modfl(double % +// CHECK-NOT: readnone +// +// CHECK: call double @remquo(double % +// CHECK-NOT: readnone +// CHECK: call float @remquof(float % +// CHECK-NOT: readnone +// CHECK: call double @remquol(double % +// CHECK-NOT: readnone +// CHECK: ret +int f3(double x) { + int e; + __builtin_frexp(x, &e); + __builtin_frexpf(x, &e); + __builtin_frexpl(x, &e); + __builtin_modf(x, &e); + __builtin_modff(x, &e); + __builtin_modfl(x, &e); + __builtin_remquo(x, x, &e); + __builtin_remquof(x, x, &e); + __builtin_remquol(x, x, &e); + return e; +} |