diff options
| author | Mike Pall <mike> | 2026-03-27 19:54:29 +0100 |
|---|---|---|
| committer | Mike Pall <mike> | 2026-03-27 19:54:29 +0100 |
| commit | 6594f87327f80c28461e9f2b04a694dfb6191299 (patch) | |
| tree | 4dc7ed112bafe7f345510e8172d85968f22f0969 /src/lib_jit.c | |
| parent | 0ef314dcb2186311cce37c029a1b4ec2265cf217 (diff) | |
| download | luajit-6594f87327f80c28461e9f2b04a694dfb6191299.tar.gz luajit-6594f87327f80c28461e9f2b04a694dfb6191299.tar.bz2 luajit-6594f87327f80c28461e9f2b04a694dfb6191299.zip | |
Avoid use of subnormals for internal registry keys.
Non-ABI-compliant FPU modes (-ffast-math, -Ofast, FTZ/DAZ set) may
still cause erratic behavior and are not supported. #1448
Diffstat (limited to 'src/lib_jit.c')
| -rw-r--r-- | src/lib_jit.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lib_jit.c b/src/lib_jit.c index 7d3711de..a7c553ab 100644 --- a/src/lib_jit.c +++ b/src/lib_jit.c | |||
| @@ -535,8 +535,8 @@ LJLIB_CF(jit_opt_start) | |||
| 535 | 535 | ||
| 536 | /* Not loaded by default, use: local profile = require("jit.profile") */ | 536 | /* Not loaded by default, use: local profile = require("jit.profile") */ |
| 537 | 537 | ||
| 538 | #define KEY_PROFILE_THREAD (U64x(80000000,00000000)|'t') | 538 | #define KEY_PROFILE_THREAD (U64x(81000000,00000000)|'t') |
| 539 | #define KEY_PROFILE_FUNC (U64x(80000000,00000000)|'f') | 539 | #define KEY_PROFILE_FUNC (U64x(81000000,00000000)|'f') |
| 540 | 540 | ||
| 541 | static void jit_profile_callback(lua_State *L2, lua_State *L, int samples, | 541 | static void jit_profile_callback(lua_State *L2, lua_State *L, int samples, |
| 542 | int vmstate) | 542 | int vmstate) |
