Mercurial > hg > CbC > CbC_llvm

annotate clang/test/CodeGen/builtin_float_strictfp.c @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 // RUN: %clang_cc1 -emit-llvm -triple x86_64-windows-pc -ffp-exception-behavior=maytrap -o - %s | FileCheck %s --check-prefixes=CHECK,FP16
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 // RUN: %clang_cc1 -emit-llvm -triple ppc64-be -ffp-exception-behavior=maytrap -o - %s | FileCheck %s --check-prefixes=CHECK,NOFP16
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 // test to ensure that these builtins don't do the variadic promotion of float->double.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 // Test that the constrained intrinsics are picking up the exception
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 // metadata from the AST instead of the global default from the command line.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 #pragma float_control(except, on)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 // CHECK-LABEL: @test_half
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 void test_half(__fp16 *H, __fp16 *H2) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 (void)__builtin_isgreater(*H, *H2);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 // FP16: call float @llvm.experimental.constrained.fpext.f32.f16(half %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 // FP16: call float @llvm.experimental.constrained.fpext.f32.f16(half %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 // CHECK: call i1 @llvm.experimental.constrained.fcmp.f32(float %{{.*}}, float %{{.*}}, metadata !"ogt", metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 // CHECK-NEXT: zext i1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 (void)__builtin_isinf(*H);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 // NOFP16: [[LDADDR:%.*]] = load i16*, i16** %{{.*}}, align 8
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 // NOFP16-NEXT: [[IHALF:%.*]] = load i16, i16* [[LDADDR]], align 2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 // NOFP16-NEXT: [[CONV:%.*]] = call float @llvm.convert.from.fp16.f32(i16 [[IHALF]])
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 // NOFP16-NEXT: [[IFLOAT:%.*]] = bitcast float [[CONV]] to i32
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 // NOFP16-NEXT: [[SHL:%.*]] = shl i32 [[IFLOAT]], 1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 // NOFP16-NEXT: [[RES1:%.*]] = icmp eq i32 [[SHL]], -16777216
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 // NOFP16-NEXT: zext i1 [[RES1]] to i32
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 // FP16: [[LDADDR:%.*]] = load half*, half** %{{.*}}, align 8
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 // FP16-NEXT: [[HALF:%.*]] = load half, half* [[LDADDR]], align 2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 // FP16-NEXT: [[IHALF:%.*]] = bitcast half [[HALF]] to i16
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 // FP16-NEXT: [[SHL:%.*]] = shl i16 [[IHALF]], 1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 // FP16-NEXT: [[RES1:%.*]] = icmp eq i16 [[SHL]], -2048
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 // FP16-NEXT: zext i1 [[RES1]] to i32
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 // CHECK-LABEL: @test_mixed
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 void test_mixed(double d1, float f2) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 (void)__builtin_isgreater(d1, f2);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 // CHECK: [[CONV:%.*]] = call double @llvm.experimental.constrained.fpext.f64.f32(float %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 // CHECK-NEXT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double [[CONV]], metadata !"ogt", metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 // CHECK-NEXT: zext i1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 (void)__builtin_isgreaterequal(d1, f2);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 // CHECK: [[CONV:%.*]] = call double @llvm.experimental.constrained.fpext.f64.f32(float %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 // CHECK-NEXT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double [[CONV]], metadata !"oge", metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 // CHECK-NEXT: zext i1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 (void)__builtin_isless(d1, f2);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 // CHECK: [[CONV:%.*]] = call double @llvm.experimental.constrained.fpext.f64.f32(float %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 // CHECK-NEXT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double [[CONV]], metadata !"olt", metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 // CHECK-NEXT: zext i1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 (void)__builtin_islessequal(d1, f2);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 // CHECK: [[CONV:%.*]] = call double @llvm.experimental.constrained.fpext.f64.f32(float %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 // CHECK-NEXT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double [[CONV]], metadata !"ole", metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 // CHECK-NEXT: zext i1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 (void)__builtin_islessgreater(d1, f2);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 // CHECK: [[CONV:%.*]] = call double @llvm.experimental.constrained.fpext.f64.f32(float %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 // CHECK-NEXT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double [[CONV]], metadata !"one", metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 // CHECK-NEXT: zext i1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 (void)__builtin_isunordered(d1, f2);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 // CHECK: [[CONV:%.*]] = call double @llvm.experimental.constrained.fpext.f64.f32(float %{{.*}}, metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 // CHECK-NEXT: call i1 @llvm.experimental.constrained.fcmp.f64(double %{{.*}}, double [[CONV]], metadata !"uno", metadata !"fpexcept.strict")
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 // CHECK-NEXT: zext i1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 }