Author: dschuff Date: Mon Aug 10 18:02:37 2015 New Revision: 244524 URL: http://llvm.org/viewvc/llvm-project?rev=244524&view=rev Log: Add NaCl (a target where long double = double) to long double ABI test
A test was recently (r244468) added to cover long double calling convention codegen, distinguishing between Android and GNU conventions (where long doubles are fp128 and x86_fp80, respectively). Native Client is a target where long doubles are the same as doubles. This change augments the test to cover that case. Also rename the test to test/codeGen/X86_64-longdouble.c Differential Revision: http://reviews.llvm.org/D11921 Added: cfe/trunk/test/CodeGen/x86_64-longdouble.c - copied, changed from r244517, cfe/trunk/test/CodeGen/x86_64-fp128.c Removed: cfe/trunk/test/CodeGen/x86_64-fp128.c Removed: cfe/trunk/test/CodeGen/x86_64-fp128.c URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/x86_64-fp128.c?rev=244523&view=auto ============================================================================== --- cfe/trunk/test/CodeGen/x86_64-fp128.c (original) +++ cfe/trunk/test/CodeGen/x86_64-fp128.c (removed) @@ -1,115 +0,0 @@ -// RUN: %clang_cc1 -triple x86_64-linux-android -emit-llvm -O -o - %s \ -// RUN: | FileCheck %s --check-prefix=ANDROID --check-prefix=CHECK -// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -O -o - %s \ -// RUN: | FileCheck %s --check-prefix=GNU --check-prefix=CHECK -// RUN: %clang_cc1 -triple x86_64 -emit-llvm -O -o - %s \ -// RUN: | FileCheck %s --check-prefix=GNU --check-prefix=CHECK - -// Android uses fp128 for long double but other x86_64 targets use x86_fp80. - -long double dataLD = 1.0L; -// ANDROID: @dataLD = global fp128 0xL00000000000000003FFF000000000000, align 16 -// GNU: @dataLD = global x86_fp80 0xK3FFF8000000000000000, align 16 - -long double _Complex dataLDC = {1.0L, 1.0L}; -// ANDROID: @dataLDC = global { fp128, fp128 } { fp128 0xL00000000000000003FFF000000000000, fp128 0xL00000000000000003FFF000000000000 }, align 16 -// GNU: @dataLDC = global { x86_fp80, x86_fp80 } { x86_fp80 0xK3FFF8000000000000000, x86_fp80 0xK3FFF8000000000000000 }, align 16 - -long double TestLD(long double x) { - return x * x; -// ANDROID: define fp128 @TestLD(fp128 %x) -// GNU: define x86_fp80 @TestLD(x86_fp80 %x) -} - -long double _Complex TestLDC(long double _Complex x) { - return x * x; -// ANDROID: define void @TestLDC({ fp128, fp128 }* {{.*}}, { fp128, fp128 }* {{.*}} %x) -// GNU: define { x86_fp80, x86_fp80 } @TestLDC({ x86_fp80, x86_fp80 }* {{.*}} %x) -} - -typedef __builtin_va_list va_list; - -int TestGetVarInt(va_list ap) { - return __builtin_va_arg(ap, int); -// Since int can be passed in memory or register there are two branches. -// CHECK: define i32 @TestGetVarInt( -// CHECK: br label -// CHECK: br label -// CHECK: = phi -// CHECK: ret i32 -} - -double TestGetVarDouble(va_list ap) { - return __builtin_va_arg(ap, double); -// Since double can be passed in memory or register there are two branches. -// CHECK: define double @TestGetVarDouble( -// CHECK: br label -// CHECK: br label -// CHECK: = phi -// CHECK: ret double -} - -long double TestGetVarLD(va_list ap) { - return __builtin_va_arg(ap, long double); -// fp128 can be passed in memory or in register, but x86_fp80 is in memory. -// ANDROID: define fp128 @TestGetVarLD( -// GNU: define x86_fp80 @TestGetVarLD( -// ANDROID: br label -// ANDROID: br label -// ANDROID: = phi -// GNU-NOT: br -// GNU-NOT: = phi -// ANDROID: ret fp128 -// GNU: ret x86_fp80 -} - -long double _Complex TestGetVarLDC(va_list ap) { - return __builtin_va_arg(ap, long double _Complex); -// Pair of fp128 or x86_fp80 are passed as struct in memory. -// ANDROID: define void @TestGetVarLDC({ fp128, fp128 }* {{.*}}, %struct.__va_list_tag* -// GNU: define { x86_fp80, x86_fp80 } @TestGetVarLDC( -// CHECK-NOT: br -// CHECK-NOT: phi -// ANDROID: ret void -// GNU: ret { x86_fp80, x86_fp80 } -} - -void TestVarArg(const char *s, ...); - -void TestPassVarInt(int x) { - TestVarArg("A", x); -// CHECK: define void @TestPassVarInt(i32 %x) -// CHECK: call {{.*}} @TestVarArg(i8* {{.*}}, i32 %x) -} - -void TestPassVarFloat(float x) { - TestVarArg("A", x); -// CHECK: define void @TestPassVarFloat(float %x) -// CHECK: call {{.*}} @TestVarArg(i8* {{.*}}, double % -} - -void TestPassVarDouble(double x) { - TestVarArg("A", x); -// CHECK: define void @TestPassVarDouble(double %x) -// CHECK: call {{.*}} @TestVarArg(i8* {{.*}}, double %x -} - -void TestPassVarLD(long double x) { - TestVarArg("A", x); -// ANDROID: define void @TestPassVarLD(fp128 %x) -// ANDROID: call {{.*}} @TestVarArg(i8* {{.*}}, fp128 %x -// GNU: define void @TestPassVarLD(x86_fp80 %x) -// GNU: call {{.*}} @TestVarArg(i8* {{.*}}, x86_fp80 %x -} - -void TestPassVarLDC(long double _Complex x) { - TestVarArg("A", x); -// ANDROID: define void @TestPassVarLDC({ fp128, fp128 }* {{.*}} %x) -// ANDROID: store fp128 %{{.*}}, fp128* % -// ANDROID-NEXT: store fp128 %{{.*}}, fp128* % -// ANDROID-NEXT: call {{.*}} @TestVarArg(i8* {{.*}}, { fp128, fp128 }* {{.*}} % -// GNU: define void @TestPassVarLDC({ x86_fp80, x86_fp80 }* {{.*}} %x) -// GNU: store x86_fp80 %{{.*}}, x86_fp80* % -// GNU-NEXT: store x86_fp80 %{{.*}}, x86_fp80* % -// GNGNU-NEXT: call {{.*}} @TestVarArg(i8* {{.*}}, { x86_fp80, x86_fp80 }* {{.*}} % -} Copied: cfe/trunk/test/CodeGen/x86_64-longdouble.c (from r244517, cfe/trunk/test/CodeGen/x86_64-fp128.c) URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/x86_64-longdouble.c?p2=cfe/trunk/test/CodeGen/x86_64-longdouble.c&p1=cfe/trunk/test/CodeGen/x86_64-fp128.c&r1=244517&r2=244524&rev=244524&view=diff ============================================================================== --- cfe/trunk/test/CodeGen/x86_64-fp128.c (original) +++ cfe/trunk/test/CodeGen/x86_64-longdouble.c Mon Aug 10 18:02:37 2015 @@ -4,6 +4,9 @@ // RUN: | FileCheck %s --check-prefix=GNU --check-prefix=CHECK // RUN: %clang_cc1 -triple x86_64 -emit-llvm -O -o - %s \ // RUN: | FileCheck %s --check-prefix=GNU --check-prefix=CHECK +// NaCl is an example of a target for which long double is the same as double. +// RUN: %clang_cc1 -triple x86_64-nacl -emit-llvm -O -o - %s \ +// RUN: | FileCheck %s --check-prefix=NACL --check-prefix=CHECK // Android uses fp128 for long double but other x86_64 targets use x86_fp80. @@ -19,12 +22,14 @@ long double TestLD(long double x) { return x * x; // ANDROID: define fp128 @TestLD(fp128 %x) // GNU: define x86_fp80 @TestLD(x86_fp80 %x) +// NACL: define double @TestLD(double %x) } long double _Complex TestLDC(long double _Complex x) { return x * x; // ANDROID: define void @TestLDC({ fp128, fp128 }* {{.*}}, { fp128, fp128 }* {{.*}} %x) // GNU: define { x86_fp80, x86_fp80 } @TestLDC({ x86_fp80, x86_fp80 }* {{.*}} %x) +// NACL: define { double, double } @TestLDC(double %x{{.*}}, double %x{{.*}}) } typedef __builtin_va_list va_list; @@ -51,14 +56,18 @@ double TestGetVarDouble(va_list ap) { long double TestGetVarLD(va_list ap) { return __builtin_va_arg(ap, long double); -// fp128 can be passed in memory or in register, but x86_fp80 is in memory. +// fp128 and double can be passed in memory or in register, but x86_fp80 is in +// memory. // ANDROID: define fp128 @TestGetVarLD( // GNU: define x86_fp80 @TestGetVarLD( +// NACL: define double @TestGetVarLD( // ANDROID: br label // ANDROID: br label +// NACL: br // ANDROID: = phi // GNU-NOT: br // GNU-NOT: = phi +// NACL: = phi // ANDROID: ret fp128 // GNU: ret x86_fp80 } @@ -68,10 +77,17 @@ long double _Complex TestGetVarLDC(va_li // Pair of fp128 or x86_fp80 are passed as struct in memory. // ANDROID: define void @TestGetVarLDC({ fp128, fp128 }* {{.*}}, %struct.__va_list_tag* // GNU: define { x86_fp80, x86_fp80 } @TestGetVarLDC( -// CHECK-NOT: br -// CHECK-NOT: phi +// Pair of double can go in SSE registers or memory +// NACL: define { double, double } @TestGetVarLDC( +// ANDROID-NOT: br +// GNU-NOT: br +// NACL: br +// ANDROID-NOT: phi +// GNU-NOT: phi +// NACL: phi // ANDROID: ret void // GNU: ret { x86_fp80, x86_fp80 } +// NACL: ret { double, double } } void TestVarArg(const char *s, ...); @@ -100,6 +116,8 @@ void TestPassVarLD(long double x) { // ANDROID: call {{.*}} @TestVarArg(i8* {{.*}}, fp128 %x // GNU: define void @TestPassVarLD(x86_fp80 %x) // GNU: call {{.*}} @TestVarArg(i8* {{.*}}, x86_fp80 %x +// NACL: define void @TestPassVarLD(double %x) +// NACL: call {{.*}} @TestVarArg(i8* {{.*}}, double %x } void TestPassVarLDC(long double _Complex x) { @@ -111,5 +129,7 @@ void TestPassVarLDC(long double _Complex // GNU: define void @TestPassVarLDC({ x86_fp80, x86_fp80 }* {{.*}} %x) // GNU: store x86_fp80 %{{.*}}, x86_fp80* % // GNU-NEXT: store x86_fp80 %{{.*}}, x86_fp80* % -// GNGNU-NEXT: call {{.*}} @TestVarArg(i8* {{.*}}, { x86_fp80, x86_fp80 }* {{.*}} % +// GNU-NEXT: call {{.*}} @TestVarArg(i8* {{.*}}, { x86_fp80, x86_fp80 }* {{.*}} % +// NACL: define void @TestPassVarLDC(double %x{{.*}}, double %x{{.*}}) +// NACL: call {{.*}} @TestVarArg(i8* {{.*}}, double %x{{.*}}, double %x{{.*}}) } _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
