summaryrefslogtreecommitdiffstats
path: root/src/runtime/conv_wasm_test.go
blob: 5054fca04dc40a8b65c30e9451112d907c166ed1 (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
// Copyright 2020 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package runtime_test

import (
	"testing"
)

var res int64
var ures uint64

func TestFloatTruncation(t *testing.T) {
	testdata := []struct {
		input      float64
		convInt64  int64
		convUInt64 uint64
		overflow   bool
	}{
		// max +- 1
		{
			input:      0x7fffffffffffffff,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		// For out-of-bounds conversion, the result is implementation-dependent.
		// This test verifies the implementation of wasm architecture.
		{
			input:      0x8000000000000000,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      0x7ffffffffffffffe,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		// neg max +- 1
		{
			input:      -0x8000000000000000,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      -0x8000000000000001,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      -0x7fffffffffffffff,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		// trunc point +- 1
		{
			input:      0x7ffffffffffffdff,
			convInt64:  0x7ffffffffffffc00,
			convUInt64: 0x7ffffffffffffc00,
		},
		{
			input:      0x7ffffffffffffe00,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      0x7ffffffffffffdfe,
			convInt64:  0x7ffffffffffffc00,
			convUInt64: 0x7ffffffffffffc00,
		},
		// neg trunc point +- 1
		{
			input:      -0x7ffffffffffffdff,
			convInt64:  -0x7ffffffffffffc00,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      -0x7ffffffffffffe00,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      -0x7ffffffffffffdfe,
			convInt64:  -0x7ffffffffffffc00,
			convUInt64: 0x8000000000000000,
		},
		// umax +- 1
		{
			input:      0xffffffffffffffff,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      0x10000000000000000,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      0xfffffffffffffffe,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		// umax trunc +- 1
		{
			input:      0xfffffffffffffbff,
			convInt64:  -0x8000000000000000,
			convUInt64: 0xfffffffffffff800,
		},
		{
			input:      0xfffffffffffffc00,
			convInt64:  -0x8000000000000000,
			convUInt64: 0x8000000000000000,
		},
		{
			input:      0xfffffffffffffbfe,
			convInt64:  -0x8000000000000000,
			convUInt64: 0xfffffffffffff800,
		},
	}
	for _, item := range testdata {
		if got, want := int64(item.input), item.convInt64; got != want {
			t.Errorf("int64(%f): got %x, want %x", item.input, got, want)
		}
		if got, want := uint64(item.input), item.convUInt64; got != want {
			t.Errorf("uint64(%f): got %x, want %x", item.input, got, want)
		}
	}
}