exint 0.1.4

An implementation of generic signed and unsigned integers.
Documentation 
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

use exint::int;
use exint::uint;

// -----------------------------------------------------------------------------
// core - signed
// -----------------------------------------------------------------------------

// CHECK-LABEL: define noundef float @i8
// CHECK-SAME: (i8 noundef %[[A:.+]])
#[unsafe(no_mangle)]
pub fn i8(a: i8) -> f32 {
  // CHECK: %[[B:.+]] = sitofp i8 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// CHECK-LABEL: define noundef float @i16
// CHECK-SAME: (i16 noundef %[[A:.+]])
#[unsafe(no_mangle)]
pub fn i16(a: i16) -> f32 {
  // CHECK: %[[B:.+]] = sitofp i16 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// -----------------------------------------------------------------------------
// core - unsigned
// -----------------------------------------------------------------------------

// CHECK-LABEL: define noundef float @u8
// CHECK-SAME: (i8 noundef %[[A:.+]])
#[unsafe(no_mangle)]
pub fn u8(a: u8) -> f32 {
  // CHECK: %[[B:.+]] = uitofp i8 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// CHECK-LABEL: define noundef float @u16
// CHECK-SAME: (i16 noundef %[[A:.+]])
#[unsafe(no_mangle)]
pub fn u16(a: u16) -> f32 {
  // CHECK: %[[B:.+]] = uitofp i16 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// -----------------------------------------------------------------------------
// exint - standard - signed
// -----------------------------------------------------------------------------

// CHECK-LABEL: define noundef float @int_1
// CHECK-SAME: (i8 %[[A:.+]])
#[unsafe(no_mangle)]
pub fn int_1(a: int<1>) -> f32 {
  // CHECK: %[[B:.+]] = sitofp i8 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// CHECK-LABEL: define noundef float @int_2
// CHECK-SAME: (i16 %[[A:.+]])
#[unsafe(no_mangle)]
pub fn int_2(a: int<2>) -> f32 {
  // CHECK: %[[B:.+]] = sitofp i16 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// -----------------------------------------------------------------------------
// exint - standard - unsigned
// -----------------------------------------------------------------------------

// CHECK-LABEL: define noundef float @uint_1
// CHECK-SAME: (i8 %[[A:.+]])
#[unsafe(no_mangle)]
pub fn uint_1(a: uint<1>) -> f32 {
  // CHECK: %[[B:.+]] = uitofp i8 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// CHECK-LABEL: define noundef float @uint_2
// CHECK-SAME: (i16 %[[A:.+]])
#[unsafe(no_mangle)]
pub fn uint_2(a: uint<2>) -> f32 {
  // CHECK: %[[B:.+]] = uitofp i16 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// -----------------------------------------------------------------------------
// exint - extended - signed
// -----------------------------------------------------------------------------

// CHECK-LABEL: define noundef float @int_3
// CHECK-SAME: (i24 %[[A:.+]])
#[unsafe(no_mangle)]
pub fn int_3(a: int<3>) -> f32 {
  // CHECK: %[[B:.+]] = sitofp i24 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}

// -----------------------------------------------------------------------------
// exint - extended - unsigned
// -----------------------------------------------------------------------------

// CHECK-LABEL: define noundef float @uint_3
// CHECK-SAME: (i24 %[[A:.+]])
#[unsafe(no_mangle)]
pub fn uint_3(a: uint<3>) -> f32 {
  // CHECK: %[[B:.+]] = uitofp i24 %[[A]] to float
  // CHECK: ret float %[[B]]
  a.into()
}