| 1 | // RUN: %clang_cc1 %s -emit-llvm -o - -triple spir-unknown-unknown | FileCheck --check-prefix=CHECK --check-prefix=NODIVOPT %s |
| 2 | // RUN: %clang_cc1 %s -emit-llvm -o - -triple spir-unknown-unknown -cl-fp32-correctly-rounded-divide-sqrt | FileCheck --check-prefix=CHECK --check-prefix=DIVOPT %s |
| 3 | // RUN: %clang_cc1 %s -emit-llvm -o - -DNOFP64 -cl-std=CL1.2 -triple r600-unknown-unknown -target-cpu r600 -pedantic | FileCheck --check-prefix=CHECK-FLT %s |
| 4 | // RUN: %clang_cc1 %s -emit-llvm -o - -DFP64 -cl-std=CL1.2 -triple spir-unknown-unknown -pedantic | FileCheck --check-prefix=CHECK-DBL %s |
| 5 | |
| 6 | typedef __attribute__(( ext_vector_type(4) )) float float4; |
| 7 | |
| 8 | float spscalardiv(float a, float b) { |
| 9 | // CHECK: @spscalardiv |
| 10 | // CHECK: #[[ATTR:[0-9]+]] |
| 11 | // CHECK: fdiv{{.*}}, |
| 12 | // NODIVOPT: !fpmath ![[MD:[0-9]+]] |
| 13 | // DIVOPT-NOT: !fpmath ![[MD:[0-9]+]] |
| 14 | return a / b; |
| 15 | } |
| 16 | |
| 17 | float4 spvectordiv(float4 a, float4 b) { |
| 18 | // CHECK: @spvectordiv |
| 19 | // CHECK: #[[ATTR2:[0-9]+]] |
| 20 | // CHECK: fdiv{{.*}}, |
| 21 | // NODIVOPT: !fpmath ![[MD]] |
| 22 | // DIVOPT-NOT: !fpmath ![[MD]] |
| 23 | return a / b; |
| 24 | } |
| 25 | |
| 26 | #if __OPENCL_C_VERSION__ >=120 |
| 27 | void printf(constant char* fmt, ...); |
| 28 | |
| 29 | void testdbllit(long *val) { |
| 30 | // CHECK-FLT: float 2.000000e+01 |
| 31 | // CHECK-DBL: double 2.000000e+01 |
| 32 | printf("%f", 20.0); |
| 33 | } |
| 34 | |
| 35 | #endif |
| 36 | |
| 37 | #ifndef NOFP64 |
| 38 | #pragma OPENCL EXTENSION cl_khr_fp64 : enable |
| 39 | double dpscalardiv(double a, double b) { |
| 40 | // CHECK: @dpscalardiv |
| 41 | // CHECK: #[[ATTR]] |
| 42 | // CHECK-NOT: !fpmath |
| 43 | return a / b; |
| 44 | } |
| 45 | #endif |
| 46 | |
| 47 | // CHECK: attributes #[[ATTR]] = { |
| 48 | // NODIVOPT-SAME: "correctly-rounded-divide-sqrt-fp-math"="false" |
| 49 | // DIVOPT-SAME: "correctly-rounded-divide-sqrt-fp-math"="true" |
| 50 | // CHECK-SAME: } |
| 51 | // CHECK: attributes #[[ATTR2]] = { |
| 52 | // NODIVOPT-SAME: "correctly-rounded-divide-sqrt-fp-math"="false" |
| 53 | // DIVOPT-SAME: "correctly-rounded-divide-sqrt-fp-math"="true" |
| 54 | // CHECK-SAME: } |
| 55 | // NODIVOPT: ![[MD]] = !{float 2.500000e+00} |
| 56 | |