| ... | ... | @@ -440,6 +440,28 @@ extern { |
| 440 | 440 | |
| 441 | 441 | export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 { |
| 442 | 442 | printf(c"\n"); |
| 443 | |
| 444 | printf(c"0: %llu\n", |
| 445 | 0 as u64); |
| 446 | printf(c"320402575052271: %llu\n", |
| 447 | 320402575052271 as u64); |
| 448 | printf(c"0x01236789abcdef: %llu\n", |
| 449 | 0x01236789abcdef as u64); |
| 450 | printf(c"0xffffffffffffffff: %llu\n", |
| 451 | 0xffffffffffffffff as u64); |
| 452 | printf(c"0x000000ffffffffffffffff: %llu\n", |
| 453 | 0x000000ffffffffffffffff as u64); |
| 454 | printf(c"0o1777777777777777777777: %llu\n", |
| 455 | 0o1777777777777777777777 as u64); |
| 456 | printf(c"0o0000001777777777777777777777: %llu\n", |
| 457 | 0o0000001777777777777777777777 as u64); |
| 458 | printf(c"0b1111111111111111111111111111111111111111111111111111111111111111: %llu\n", |
| 459 | 0b1111111111111111111111111111111111111111111111111111111111111111 as u64); |
| 460 | printf(c"0b0000001111111111111111111111111111111111111111111111111111111111111111: %llu\n", |
| 461 | 0b0000001111111111111111111111111111111111111111111111111111111111111111 as u64); |
| 462 | |
| 463 | printf(c"\n"); |
| 464 | |
| 443 | 465 | printf(c"0.0: %a\n", |
| 444 | 466 | 0.0 as f64); |
| 445 | 467 | printf(c"0e0: %a\n", |
| ... | ... | @@ -486,6 +508,16 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 { |
| 486 | 508 | return 0; |
| 487 | 509 | } |
| 488 | 510 | )SOURCE", R"OUTPUT( |
| 511 | 0: 0 |
| 512 | 320402575052271: 320402575052271 |
| 513 | 0x01236789abcdef: 320402575052271 |
| 514 | 0xffffffffffffffff: 18446744073709551615 |
| 515 | 0x000000ffffffffffffffff: 18446744073709551615 |
| 516 | 0o1777777777777777777777: 18446744073709551615 |
| 517 | 0o0000001777777777777777777777: 18446744073709551615 |
| 518 | 0b1111111111111111111111111111111111111111111111111111111111111111: 18446744073709551615 |
| 519 | 0b0000001111111111111111111111111111111111111111111111111111111111111111: 18446744073709551615 |
| 520 | |
| 489 | 521 | 0.0: 0x0p+0 |
| 490 | 522 | 0e0: 0x0p+0 |
| 491 | 523 | 0.0e0: 0x0p+0 |