Skip to content

Commit 1689ad2

Browse files
committed
[builtins] Implement rounding mode support for i386/x86_64
Differential Revision: https://reviews.llvm.org/D69870
1 parent 4624e83 commit 1689ad2

File tree

4 files changed

+44
-2
lines changed

4 files changed

+44
-2
lines changed

compiler-rt/lib/builtins/CMakeLists.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -239,6 +239,7 @@ set(x86_ARCH_SOURCES
239239
floatuntixf.c
240240
mulxc3.c
241241
powixf2.c
242+
i386/fp_mode.c
242243
)
243244

244245
if (NOT MSVC)
Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
//===----- lib/i386/fp_mode.c - Floaing-point mode utilities -----*- C -*-====//
2+
//
3+
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4+
// See https://llvm.org/LICENSE.txt for license information.
5+
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6+
//
7+
//===----------------------------------------------------------------------===//
8+
9+
#include "../fp_mode.h"
10+
11+
#define X87_TONEAREST 0x0000
12+
#define X87_DOWNWARD 0x0400
13+
#define X87_UPWARD 0x0800
14+
#define X87_TOWARDZERO 0x0c00
15+
#define X87_RMODE_MASK (X87_TONEAREST | X87_UPWARD | X87_DOWNWARD | X87_TOWARDZERO)
16+
17+
FE_ROUND_MODE __fe_getround() {
18+
// Assume that the rounding mode state for the fpu agrees with the SSE unit.
19+
unsigned short cw;
20+
__asm__ __volatile__ ("fnstcw %0" : "=m" (cw));
21+
22+
switch (cw & X87_RMODE_MASK) {
23+
case X87_TONEAREST:
24+
return FE_TONEAREST;
25+
case X87_DOWNWARD:
26+
return FE_DOWNWARD;
27+
case X87_UPWARD:
28+
return FE_UPWARD;
29+
case X87_TOWARDZERO:
30+
return FE_TOWARDZERO;
31+
}
32+
return FE_TONEAREST;
33+
}
34+
35+
int __fe_raise_inexact() {
36+
float f = 1.0f, g = 3.0f;
37+
__asm__ __volatile__ ("fdivs %1" : "+t" (f) : "m" (g));
38+
return 0;
39+
}

compiler-rt/test/builtins/Unit/addtf3_test.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,8 @@ int main()
7676
UINT64_C(0x61e58dd6c51eb77c)))
7777
return 1;
7878

79-
#if (defined(__arm__) || defined(__aarch64__)) && defined(__ARM_FP)
79+
#if (defined(__arm__) || defined(__aarch64__)) && defined(__ARM_FP) || \
80+
defined(i386) || defined(__x86_64__)
8081
// Rounding mode tests on supported architectures
8182
const long double m = 1234.0L, n = 0.01L;
8283

compiler-rt/test/builtins/Unit/subtf3_test.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,8 @@ int main()
6969
UINT64_C(0xa44a7bca780a166c)))
7070
return 1;
7171

72-
#if (defined(__arm__) || defined(__aarch64__)) && defined(__ARM_FP)
72+
#if (defined(__arm__) || defined(__aarch64__)) && defined(__ARM_FP) || \
73+
defined(i386) || defined(__x86_64__)
7374
// Rounding mode tests on supported architectures
7475
const long double m = 1234.02L, n = 0.01L;
7576

0 commit comments

Comments
 (0)