summaryrefslogtreecommitdiffstats
path: root/library/core/tests/fmt/num.rs
blob: b9ede65c9ff0925a7147030e8fcf98255f50598c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
#[test]
fn test_format_int() {
    // Formatting integers should select the right implementation based off
    // the type of the argument. Also, hex/octal/binary should be defined
    // for integers, but they shouldn't emit the negative sign.
    assert_eq!(format!("{}", 1isize), "1");
    assert_eq!(format!("{}", 1i8), "1");
    assert_eq!(format!("{}", 1i16), "1");
    assert_eq!(format!("{}", 1i32), "1");
    assert_eq!(format!("{}", 1i64), "1");
    assert_eq!(format!("{}", -1isize), "-1");
    assert_eq!(format!("{}", -1i8), "-1");
    assert_eq!(format!("{}", -1i16), "-1");
    assert_eq!(format!("{}", -1i32), "-1");
    assert_eq!(format!("{}", -1i64), "-1");
    assert_eq!(format!("{:?}", 1isize), "1");
    assert_eq!(format!("{:?}", 1i8), "1");
    assert_eq!(format!("{:?}", 1i16), "1");
    assert_eq!(format!("{:?}", 1i32), "1");
    assert_eq!(format!("{:?}", 1i64), "1");
    assert_eq!(format!("{:b}", 1isize), "1");
    assert_eq!(format!("{:b}", 1i8), "1");
    assert_eq!(format!("{:b}", 1i16), "1");
    assert_eq!(format!("{:b}", 1i32), "1");
    assert_eq!(format!("{:b}", 1i64), "1");
    assert_eq!(format!("{:x}", 1isize), "1");
    assert_eq!(format!("{:x}", 1i8), "1");
    assert_eq!(format!("{:x}", 1i16), "1");
    assert_eq!(format!("{:x}", 1i32), "1");
    assert_eq!(format!("{:x}", 1i64), "1");
    assert_eq!(format!("{:X}", 1isize), "1");
    assert_eq!(format!("{:X}", 1i8), "1");
    assert_eq!(format!("{:X}", 1i16), "1");
    assert_eq!(format!("{:X}", 1i32), "1");
    assert_eq!(format!("{:X}", 1i64), "1");
    assert_eq!(format!("{:o}", 1isize), "1");
    assert_eq!(format!("{:o}", 1i8), "1");
    assert_eq!(format!("{:o}", 1i16), "1");
    assert_eq!(format!("{:o}", 1i32), "1");
    assert_eq!(format!("{:o}", 1i64), "1");
    assert_eq!(format!("{:e}", 1isize), "1e0");
    assert_eq!(format!("{:e}", 1i8), "1e0");
    assert_eq!(format!("{:e}", 1i16), "1e0");
    assert_eq!(format!("{:e}", 1i32), "1e0");
    assert_eq!(format!("{:e}", 1i64), "1e0");
    assert_eq!(format!("{:E}", 1isize), "1E0");
    assert_eq!(format!("{:E}", 1i8), "1E0");
    assert_eq!(format!("{:E}", 1i16), "1E0");
    assert_eq!(format!("{:E}", 1i32), "1E0");
    assert_eq!(format!("{:E}", 1i64), "1E0");

    assert_eq!(format!("{}", 1usize), "1");
    assert_eq!(format!("{}", 1u8), "1");
    assert_eq!(format!("{}", 1u16), "1");
    assert_eq!(format!("{}", 1u32), "1");
    assert_eq!(format!("{}", 1u64), "1");
    assert_eq!(format!("{:?}", 1usize), "1");
    assert_eq!(format!("{:?}", 1u8), "1");
    assert_eq!(format!("{:?}", 1u16), "1");
    assert_eq!(format!("{:?}", 1u32), "1");
    assert_eq!(format!("{:?}", 1u64), "1");
    assert_eq!(format!("{:b}", 1usize), "1");
    assert_eq!(format!("{:b}", 1u8), "1");
    assert_eq!(format!("{:b}", 1u16), "1");
    assert_eq!(format!("{:b}", 1u32), "1");
    assert_eq!(format!("{:b}", 1u64), "1");
    assert_eq!(format!("{:x}", 1usize), "1");
    assert_eq!(format!("{:x}", 1u8), "1");
    assert_eq!(format!("{:x}", 1u16), "1");
    assert_eq!(format!("{:x}", 1u32), "1");
    assert_eq!(format!("{:x}", 1u64), "1");
    assert_eq!(format!("{:X}", 1usize), "1");
    assert_eq!(format!("{:X}", 1u8), "1");
    assert_eq!(format!("{:X}", 1u16), "1");
    assert_eq!(format!("{:X}", 1u32), "1");
    assert_eq!(format!("{:X}", 1u64), "1");
    assert_eq!(format!("{:o}", 1usize), "1");
    assert_eq!(format!("{:o}", 1u8), "1");
    assert_eq!(format!("{:o}", 1u16), "1");
    assert_eq!(format!("{:o}", 1u32), "1");
    assert_eq!(format!("{:o}", 1u64), "1");
    assert_eq!(format!("{:e}", 1u8), "1e0");
    assert_eq!(format!("{:e}", 1u16), "1e0");
    assert_eq!(format!("{:e}", 1u32), "1e0");
    assert_eq!(format!("{:e}", 1u64), "1e0");
    assert_eq!(format!("{:E}", 1u8), "1E0");
    assert_eq!(format!("{:E}", 1u16), "1E0");
    assert_eq!(format!("{:E}", 1u32), "1E0");
    assert_eq!(format!("{:E}", 1u64), "1E0");

    // Test a larger number
    assert_eq!(format!("{:b}", 55), "110111");
    assert_eq!(format!("{:o}", 55), "67");
    assert_eq!(format!("{}", 55), "55");
    assert_eq!(format!("{:x}", 55), "37");
    assert_eq!(format!("{:X}", 55), "37");
    assert_eq!(format!("{:e}", 55), "5.5e1");
    assert_eq!(format!("{:E}", 55), "5.5E1");
    assert_eq!(format!("{:e}", 10000000000u64), "1e10");
    assert_eq!(format!("{:E}", 10000000000u64), "1E10");
    assert_eq!(format!("{:e}", 10000000001u64), "1.0000000001e10");
    assert_eq!(format!("{:E}", 10000000001u64), "1.0000000001E10");
}

#[test]
fn test_format_int_exp_limits() {
    assert_eq!(format!("{:e}", i8::MIN), "-1.28e2");
    assert_eq!(format!("{:e}", i8::MAX), "1.27e2");
    assert_eq!(format!("{:e}", i16::MIN), "-3.2768e4");
    assert_eq!(format!("{:e}", i16::MAX), "3.2767e4");
    assert_eq!(format!("{:e}", i32::MIN), "-2.147483648e9");
    assert_eq!(format!("{:e}", i32::MAX), "2.147483647e9");
    assert_eq!(format!("{:e}", i64::MIN), "-9.223372036854775808e18");
    assert_eq!(format!("{:e}", i64::MAX), "9.223372036854775807e18");
    assert_eq!(format!("{:e}", i128::MIN), "-1.70141183460469231731687303715884105728e38");
    assert_eq!(format!("{:e}", i128::MAX), "1.70141183460469231731687303715884105727e38");

    assert_eq!(format!("{:e}", u8::MAX), "2.55e2");
    assert_eq!(format!("{:e}", u16::MAX), "6.5535e4");
    assert_eq!(format!("{:e}", u32::MAX), "4.294967295e9");
    assert_eq!(format!("{:e}", u64::MAX), "1.8446744073709551615e19");
    assert_eq!(format!("{:e}", u128::MAX), "3.40282366920938463463374607431768211455e38");
}

#[test]
fn test_format_int_exp_precision() {
    //test that float and integer match
    let big_int: u32 = 314_159_265;
    assert_eq!(format!("{big_int:.1e}"), format!("{:.1e}", f64::from(big_int)));

    //test adding precision
    assert_eq!(format!("{:.10e}", i8::MIN), "-1.2800000000e2");
    assert_eq!(format!("{:.10e}", i16::MIN), "-3.2768000000e4");
    assert_eq!(format!("{:.10e}", i32::MIN), "-2.1474836480e9");
    assert_eq!(format!("{:.20e}", i64::MIN), "-9.22337203685477580800e18");
    assert_eq!(format!("{:.40e}", i128::MIN), "-1.7014118346046923173168730371588410572800e38");

    //test rounding
    assert_eq!(format!("{:.1e}", i8::MIN), "-1.3e2");
    assert_eq!(format!("{:.1e}", i16::MIN), "-3.3e4");
    assert_eq!(format!("{:.1e}", i32::MIN), "-2.1e9");
    assert_eq!(format!("{:.1e}", i64::MIN), "-9.2e18");
    assert_eq!(format!("{:.1e}", i128::MIN), "-1.7e38");

    //test huge precision
    assert_eq!(format!("{:.1000e}", 1), format!("1.{}e0", "0".repeat(1000)));
    //test zero precision
    assert_eq!(format!("{:.0e}", 1), format!("1e0",));
    assert_eq!(format!("{:.0e}", 35), format!("4e1",));

    //test padding with precision (and sign)
    assert_eq!(format!("{:+10.3e}", 1), "  +1.000e0");
}

#[test]
fn test_format_int_zero() {
    assert_eq!(format!("{}", 0), "0");
    assert_eq!(format!("{:?}", 0), "0");
    assert_eq!(format!("{:b}", 0), "0");
    assert_eq!(format!("{:o}", 0), "0");
    assert_eq!(format!("{:x}", 0), "0");
    assert_eq!(format!("{:X}", 0), "0");
    assert_eq!(format!("{:e}", 0), "0e0");
    assert_eq!(format!("{:E}", 0), "0E0");

    assert_eq!(format!("{}", 0u32), "0");
    assert_eq!(format!("{:?}", 0u32), "0");
    assert_eq!(format!("{:b}", 0u32), "0");
    assert_eq!(format!("{:o}", 0u32), "0");
    assert_eq!(format!("{:x}", 0u32), "0");
    assert_eq!(format!("{:X}", 0u32), "0");
    assert_eq!(format!("{:e}", 0u32), "0e0");
    assert_eq!(format!("{:E}", 0u32), "0E0");
}

#[test]
fn test_format_int_flags() {
    assert_eq!(format!("{:3}", 1), "  1");
    assert_eq!(format!("{:>3}", 1), "  1");
    assert_eq!(format!("{:>+3}", 1), " +1");
    assert_eq!(format!("{:<3}", 1), "1  ");
    assert_eq!(format!("{:#}", 1), "1");
    assert_eq!(format!("{:#x}", 10), "0xa");
    assert_eq!(format!("{:#X}", 10), "0xA");
    assert_eq!(format!("{:#5x}", 10), "  0xa");
    assert_eq!(format!("{:#o}", 10), "0o12");
    assert_eq!(format!("{:08x}", 10), "0000000a");
    assert_eq!(format!("{:8x}", 10), "       a");
    assert_eq!(format!("{:<8x}", 10), "a       ");
    assert_eq!(format!("{:>8x}", 10), "       a");
    assert_eq!(format!("{:#08x}", 10), "0x00000a");
    assert_eq!(format!("{:08}", -10), "-0000010");
    assert_eq!(format!("{:x}", !0u8), "ff");
    assert_eq!(format!("{:X}", !0u8), "FF");
    assert_eq!(format!("{:b}", !0u8), "11111111");
    assert_eq!(format!("{:o}", !0u8), "377");
    assert_eq!(format!("{:#x}", !0u8), "0xff");
    assert_eq!(format!("{:#X}", !0u8), "0xFF");
    assert_eq!(format!("{:#b}", !0u8), "0b11111111");
    assert_eq!(format!("{:#o}", !0u8), "0o377");
}

#[test]
fn test_format_int_sign_padding() {
    assert_eq!(format!("{:+5}", 1), "   +1");
    assert_eq!(format!("{:+5}", -1), "   -1");
    assert_eq!(format!("{:05}", 1), "00001");
    assert_eq!(format!("{:05}", -1), "-0001");
    assert_eq!(format!("{:+05}", 1), "+0001");
    assert_eq!(format!("{:+05}", -1), "-0001");
}

#[test]
fn test_format_int_twos_complement() {
    assert_eq!(format!("{}", i8::MIN), "-128");
    assert_eq!(format!("{}", i16::MIN), "-32768");
    assert_eq!(format!("{}", i32::MIN), "-2147483648");
    assert_eq!(format!("{}", i64::MIN), "-9223372036854775808");
}

#[test]
fn test_format_debug_hex() {
    assert_eq!(format!("{:02x?}", b"Foo\0"), "[46, 6f, 6f, 00]");
    assert_eq!(format!("{:02X?}", b"Foo\0"), "[46, 6F, 6F, 00]");
}