aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--lib/std/fmt.zig15
-rw-r--r--lib/std/special/compiler_rt/fixunstfdi_test.zig2
-rw-r--r--lib/std/special/compiler_rt/fixunstfsi_test.zig2
-rw-r--r--lib/std/special/compiler_rt/fixunstfti_test.zig2
-rw-r--r--lib/std/special/compiler_rt/mulXf3_test.zig4
-rw-r--r--lib/std/zig/parser_test.zig8
-rw-r--r--lib/std/zig/tokenizer.zig14
-rw-r--r--src/stage1/tokenizer.cpp8
-rw-r--r--src/translate_c.zig11
-rw-r--r--test/translate_c.zig2
10 files changed, 32 insertions, 36 deletions
diff --git a/lib/std/fmt.zig b/lib/std/fmt.zig
index ce7b7d8c4d..9ab655852c 100644
--- a/lib/std/fmt.zig
+++ b/lib/std/fmt.zig
@@ -1121,9 +1121,12 @@ pub fn formatFloatHexadecimal(
try writer.writeAll("0x");
try writer.writeByte(buf[0]);
- if (options.precision != @as(usize, 0))
- try writer.writeAll(".");
const trimmed = mem.trimRight(u8, buf[1..], "0");
+ if (options.precision) |precision| {
+ if (precision > 0) try writer.writeAll(".");
+ } else if (trimmed.len > 0) {
+ try writer.writeAll(".");
+ }
try writer.writeAll(trimmed);
// Add trailing zeros if explicitly requested.
if (options.precision) |precision| if (precision > 0) {
@@ -2048,10 +2051,10 @@ test "float.hexadecimal" {
try expectFmt("f64: 0x1.5555555555555p-2", "f64: {x}", .{@as(f64, 1.0 / 3.0)});
try expectFmt("f128: 0x1.5555555555555555555555555555p-2", "f128: {x}", .{@as(f128, 1.0 / 3.0)});
- try expectFmt("f16: 0x1.p-14", "f16: {x}", .{@as(f16, math.f16_min)});
- try expectFmt("f32: 0x1.p-126", "f32: {x}", .{@as(f32, math.f32_min)});
- try expectFmt("f64: 0x1.p-1022", "f64: {x}", .{@as(f64, math.f64_min)});
- try expectFmt("f128: 0x1.p-16382", "f128: {x}", .{@as(f128, math.f128_min)});
+ try expectFmt("f16: 0x1p-14", "f16: {x}", .{@as(f16, math.f16_min)});
+ try expectFmt("f32: 0x1p-126", "f32: {x}", .{@as(f32, math.f32_min)});
+ try expectFmt("f64: 0x1p-1022", "f64: {x}", .{@as(f64, math.f64_min)});
+ try expectFmt("f128: 0x1p-16382", "f128: {x}", .{@as(f128, math.f128_min)});
try expectFmt("f16: 0x0.004p-14", "f16: {x}", .{@as(f16, math.f16_true_min)});
try expectFmt("f32: 0x0.000002p-126", "f32: {x}", .{@as(f32, math.f32_true_min)});
diff --git a/lib/std/special/compiler_rt/fixunstfdi_test.zig b/lib/std/special/compiler_rt/fixunstfdi_test.zig
index 7102203cc0..ca7a8c8c0d 100644
--- a/lib/std/special/compiler_rt/fixunstfdi_test.zig
+++ b/lib/std/special/compiler_rt/fixunstfdi_test.zig
@@ -46,7 +46,7 @@ test "fixunstfdi" {
try test__fixunstfdi(0x1.0000000000000000p+63, 0x8000000000000000);
try test__fixunstfdi(0x1.FFFFFFFFFFFFFFFCp+62, 0x7FFFFFFFFFFFFFFF);
try test__fixunstfdi(0x1.FFFFFFFFFFFFFFF8p+62, 0x7FFFFFFFFFFFFFFE);
- try test__fixunstfdi(0x1.p+64, 0xFFFFFFFFFFFFFFFF);
+ try test__fixunstfdi(0x1p+64, 0xFFFFFFFFFFFFFFFF);
try test__fixunstfdi(-0x1.0000000000000000p+63, 0);
try test__fixunstfdi(-0x1.FFFFFFFFFFFFFFFCp+62, 0);
diff --git a/lib/std/special/compiler_rt/fixunstfsi_test.zig b/lib/std/special/compiler_rt/fixunstfsi_test.zig
index 9173b01f46..f445edb59c 100644
--- a/lib/std/special/compiler_rt/fixunstfsi_test.zig
+++ b/lib/std/special/compiler_rt/fixunstfsi_test.zig
@@ -23,5 +23,5 @@ test "fixunstfsi" {
try test__fixunstfsi(0x1.23456789abcdefp+256, 0xffffffff);
try test__fixunstfsi(-0x1.23456789abcdefp+3, 0x0);
- try test__fixunstfsi(0x1.p+32, 0xFFFFFFFF);
+ try test__fixunstfsi(0x1p+32, 0xFFFFFFFF);
}
diff --git a/lib/std/special/compiler_rt/fixunstfti_test.zig b/lib/std/special/compiler_rt/fixunstfti_test.zig
index 450b07b524..94ec32302a 100644
--- a/lib/std/special/compiler_rt/fixunstfti_test.zig
+++ b/lib/std/special/compiler_rt/fixunstfti_test.zig
@@ -28,7 +28,7 @@ test "fixunstfti" {
try test__fixunstfti(-0.01, 0);
try test__fixunstfti(-0.99, 0);
- try test__fixunstfti(0x1.p+128, 0xffffffffffffffffffffffffffffffff);
+ try test__fixunstfti(0x1p+128, 0xffffffffffffffffffffffffffffffff);
try test__fixunstfti(0x1.FFFFFEp+126, 0x7fffff80000000000000000000000000);
try test__fixunstfti(0x1.FFFFFEp+127, 0xffffff00000000000000000000000000);
diff --git a/lib/std/special/compiler_rt/mulXf3_test.zig b/lib/std/special/compiler_rt/mulXf3_test.zig
index d3a61710a1..2de681b067 100644
--- a/lib/std/special/compiler_rt/mulXf3_test.zig
+++ b/lib/std/special/compiler_rt/mulXf3_test.zig
@@ -92,12 +92,12 @@ test "multf3" {
// Denormal operands.
try test__multf3(
0x0.0000000000000000000000000001p-16382,
- 0x1.p16383,
+ 0x1p16383,
0x3f90000000000000,
0x0,
);
try test__multf3(
- 0x1.p16383,
+ 0x1p16383,
0x0.0000000000000000000000000001p-16382,
0x3f90000000000000,
0x0,
diff --git a/lib/std/zig/parser_test.zig b/lib/std/zig/parser_test.zig
index 1c6eee504e..5a6629571a 100644
--- a/lib/std/zig/parser_test.zig
+++ b/lib/std/zig/parser_test.zig
@@ -4152,13 +4152,13 @@ test "zig fmt: hex literals with underscore separators" {
test "zig fmt: decimal float literals with underscore separators" {
try testTransform(
\\pub fn main() void {
- \\ const a:f64=(10.0e-0+(10.e+0))+10_00.00_00e-2+00_00.00_10e+4;
+ \\ const a:f64=(10.0e-0+(10.0e+0))+10_00.00_00e-2+00_00.00_10e+4;
\\ const b:f64=010.0--0_10.0+0_1_0.0_0+1e2;
\\ std.debug.warn("a: {}, b: {} -> a+b: {}\n", .{ a, b, a + b });
\\}
,
\\pub fn main() void {
- \\ const a: f64 = (10.0e-0 + (10.e+0)) + 10_00.00_00e-2 + 00_00.00_10e+4;
+ \\ const a: f64 = (10.0e-0 + (10.0e+0)) + 10_00.00_00e-2 + 00_00.00_10e+4;
\\ const b: f64 = 010.0 - -0_10.0 + 0_1_0.0_0 + 1e2;
\\ std.debug.warn("a: {}, b: {} -> a+b: {}\n", .{ a, b, a + b });
\\}
@@ -4169,13 +4169,13 @@ test "zig fmt: decimal float literals with underscore separators" {
test "zig fmt: hexadeciaml float literals with underscore separators" {
try testTransform(
\\pub fn main() void {
- \\ const a: f64 = (0x10.0p-0+(0x10.p+0))+0x10_00.00_00p-8+0x00_00.00_10p+16;
+ \\ const a: f64 = (0x10.0p-0+(0x10.0p+0))+0x10_00.00_00p-8+0x00_00.00_10p+16;
\\ const b: f64 = 0x0010.0--0x00_10.0+0x10.00+0x1p4;
\\ std.debug.warn("a: {}, b: {} -> a+b: {}\n", .{ a, b, a + b });
\\}
,
\\pub fn main() void {
- \\ const a: f64 = (0x10.0p-0 + (0x10.p+0)) + 0x10_00.00_00p-8 + 0x00_00.00_10p+16;
+ \\ const a: f64 = (0x10.0p-0 + (0x10.0p+0)) + 0x10_00.00_00p-8 + 0x00_00.00_10p+16;
\\ const b: f64 = 0x0010.0 - -0x00_10.0 + 0x10.00 + 0x1p4;
\\ std.debug.warn("a: {}, b: {} -> a+b: {}\n", .{ a, b, a + b });
\\}
diff --git a/lib/std/zig/tokenizer.zig b/lib/std/zig/tokenizer.zig
index ae1b98ecd9..39d24493e9 100644
--- a/lib/std/zig/tokenizer.zig
+++ b/lib/std/zig/tokenizer.zig
@@ -1210,10 +1210,6 @@ pub const Tokenizer = struct {
state = .start;
break;
},
- 'e', 'E' => {
- result.tag = .float_literal;
- state = .float_exponent_unsigned;
- },
'0'...'9' => {
result.tag = .float_literal;
state = .float_fraction_dec;
@@ -1232,10 +1228,6 @@ pub const Tokenizer = struct {
state = .start;
break;
},
- 'p', 'P' => {
- result.tag = .float_literal;
- state = .float_exponent_unsigned;
- },
'0'...'9', 'a'...'f', 'A'...'F' => {
result.tag = .float_literal;
state = .float_fraction_hex;
@@ -1861,7 +1853,6 @@ test "tokenizer - number literals decimal" {
try testTokenize("0e0", &.{.float_literal});
try testTokenize("1e0", &.{.float_literal});
try testTokenize("1e100", &.{.float_literal});
- try testTokenize("1.e100", &.{.float_literal});
try testTokenize("1.0e100", &.{.float_literal});
try testTokenize("1.0e+100", &.{.float_literal});
try testTokenize("1.0e-100", &.{.float_literal});
@@ -1869,6 +1860,7 @@ test "tokenizer - number literals decimal" {
try testTokenize("1.", &.{.invalid});
try testTokenize("1e", &.{.invalid});
+ try testTokenize("1.e100", &.{ .invalid, .identifier });
try testTokenize("1.0e1f0", &.{ .invalid, .identifier });
try testTokenize("1.0p100", &.{ .invalid, .identifier });
try testTokenize("1.0p-100", &.{ .invalid, .identifier, .minus, .integer_literal });
@@ -2019,6 +2011,7 @@ test "tokenizer - number literals hexadecimal" {
try testTokenize("0x1.", &.{.invalid});
try testTokenize("0xF.", &.{.invalid});
try testTokenize("0x1.+0xF.", &.{ .invalid, .plus, .invalid });
+ try testTokenize("0xff.p10", &.{ .invalid, .identifier });
try testTokenize("0x0123456.789ABCDEF", &.{.float_literal});
try testTokenize("0x0_123_456.789_ABC_DEF", &.{.float_literal});
@@ -2027,7 +2020,6 @@ test "tokenizer - number literals hexadecimal" {
try testTokenize("0x0.0p0", &.{.float_literal});
try testTokenize("0xff.ffp10", &.{.float_literal});
try testTokenize("0xff.ffP10", &.{.float_literal});
- try testTokenize("0xff.p10", &.{.float_literal});
try testTokenize("0xffp10", &.{.float_literal});
try testTokenize("0xff_ff.ff_ffp1_0_0_0", &.{.float_literal});
try testTokenize("0xf_f_f_f.f_f_f_fp+1_000", &.{.float_literal});
@@ -2038,7 +2030,7 @@ test "tokenizer - number literals hexadecimal" {
try testTokenize("0x1p", &.{.invalid});
try testTokenize("0xfp0z1", &.{ .invalid, .identifier });
try testTokenize("0xff.ffpff", &.{ .invalid, .identifier });
- try testTokenize("0x0.p", &.{.invalid});
+ try testTokenize("0x0.p", &.{ .invalid, .identifier });
try testTokenize("0x0.z", &.{ .invalid, .identifier });
try testTokenize("0x0._", &.{ .invalid, .identifier });
try testTokenize("0x0_.0", &.{ .invalid, .period, .integer_literal });
diff --git a/src/stage1/tokenizer.cpp b/src/stage1/tokenizer.cpp
index 4550f32e8c..f10579c966 100644
--- a/src/stage1/tokenizer.cpp
+++ b/src/stage1/tokenizer.cpp
@@ -1286,10 +1286,6 @@ void tokenize(const char *source, Tokenization *out) {
t.column -= 1;
t.state = TokenizeState_start;
continue;
- case 'e':
- case 'E':
- t.state = TokenizeState_float_exponent_unsigned;
- break;
case DIGIT:
t.state = TokenizeState_float_fraction_dec;
break;
@@ -1308,10 +1304,6 @@ void tokenize(const char *source, Tokenization *out) {
t.column -= 1;
t.state = TokenizeState_start;
continue;
- case 'p':
- case 'P':
- t.state = TokenizeState_float_exponent_unsigned;
- break;
case HEXDIGIT:
t.out->ids.last() = TokenIdFloatLiteral;
t.state = TokenizeState_float_fraction_hex;
diff --git a/src/translate_c.zig b/src/translate_c.zig
index 715ce73d45..b462743753 100644
--- a/src/translate_c.zig
+++ b/src/translate_c.zig
@@ -4932,8 +4932,17 @@ fn parseCNumLit(c: *Context, m: *MacroCtx) ParseError!Node {
}
},
.FloatLiteral => |suffix| {
- if (lit_bytes[0] == '.')
+ const dot_index = mem.indexOfScalar(u8, lit_bytes, '.').?;
+ if (dot_index == 0) {
lit_bytes = try std.fmt.allocPrint(c.arena, "0{s}", .{lit_bytes});
+ } else if (dot_index + 1 == lit_bytes.len or !std.ascii.isDigit(lit_bytes[dot_index + 1])) {
+ // If the literal lacks a digit after the `.`, we need to
+ // add one since `1.` or `1.e10` would be invalid syntax in Zig.
+ lit_bytes = try std.fmt.allocPrint(c.arena, "{s}0{s}", .{
+ lit_bytes[0 .. dot_index + 1],
+ lit_bytes[dot_index + 1 ..],
+ });
+ }
if (suffix == .none) {
return transCreateNodeNumber(c, lit_bytes, .float);
}
diff --git a/test/translate_c.zig b/test/translate_c.zig
index 286c54a8f6..8a9705e872 100644
--- a/test/translate_c.zig
+++ b/test/translate_c.zig
@@ -1110,7 +1110,7 @@ pub fn addCases(cases: *tests.TranslateCContext) void {
\\#define BAR .12345
, &[_][]const u8{
"pub const foo = @as(f32, 3.14);",
- "pub const bar = @as(c_longdouble, 16.e-2);",
+ "pub const bar = @as(c_longdouble, 16.0e-2);",
"pub const FOO = 0.12345;",
"pub const BAR = 0.12345;",
});
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-27 21:28:15 +0000