fixed.odin 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143
  1. package math_fixed
  2. import "core:math"
  3. import "core:strconv"
  4. import "core:intrinsics"
  5. _, _, _ :: intrinsics, strconv, math
  6. Fixed :: struct($Backing: typeid, $Fraction_Width: uint)
  7. where
  8. intrinsics.type_is_integer(Backing),
  9. 0 <= Fraction_Width,
  10. Fraction_Width <= 8*size_of(Backing) {
  11. i: Backing,
  12. }
  13. Fixed4_4 :: distinct Fixed(i8, 4)
  14. Fixed5_3 :: distinct Fixed(i8, 3)
  15. Fixed6_2 :: distinct Fixed(i8, 2)
  16. Fixed7_1 :: distinct Fixed(i8, 1)
  17. Fixed8_8 :: distinct Fixed(i16, 8)
  18. Fixed13_3 :: distinct Fixed(i16, 3)
  19. Fixed16_16 :: distinct Fixed(i32, 16)
  20. Fixed26_6 :: distinct Fixed(i32, 6)
  21. Fixed32_32 :: distinct Fixed(i64, 32)
  22. Fixed52_12 :: distinct Fixed(i64, 12)
  23. init_from_f64 :: proc(x: ^$T/Fixed($Backing, $Fraction_Width), val: f64) {
  24. i, f := math.modf(val)
  25. x.i = Backing(f * (1<<Fraction_Width))
  26. x.i &= 1<<Fraction_Width - 1
  27. x.i |= Backing(i) << Fraction_Width
  28. }
  29. init_from_parts :: proc(x: ^$T/Fixed($Backing, $Fraction_Width), integer, fraction: Backing) {
  30. i, f := math.modf(val)
  31. x.i = fraction
  32. x.i &= 1<<Fraction_Width - 1
  33. x.i |= integer
  34. }
  35. to_f64 :: proc(x: $T/Fixed($Backing, $Fraction_Width)) -> f64 {
  36. res := f64(x.i >> Fraction_Width)
  37. res += f64(x.i & (1<<Fraction_Width-1)) / f64(1<<Fraction_Width)
  38. return res
  39. }
  40. @(require_results)
  41. add :: proc(x, y: $T/Fixed) -> T {
  42. return {x.i + y.i}
  43. }
  44. @(require_results)
  45. sub :: proc(x, y: $T/Fixed) -> T {
  46. return {x.i - y.i}
  47. }
  48. @(require_results)
  49. mul :: proc(x, y: $T/Fixed($Backing, $Fraction_Width)) -> (z: T) {
  50. z.i = intrinsics.fixed_point_mul(x.i, y.i, Fraction_Width)
  51. return
  52. }
  53. @(require_results)
  54. mul_sat :: proc(x, y: $T/Fixed($Backing, $Fraction_Width)) -> (z: T) {
  55. z.i = intrinsics.fixed_point_mul_sat(x.i, y.i, Fraction_Width)
  56. return
  57. }
  58. @(require_results)
  59. div :: proc(x, y: $T/Fixed($Backing, $Fraction_Width)) -> (z: T) {
  60. z.i = intrinsics.fixed_point_div(x.i, y.i, Fraction_Width)
  61. return
  62. }
  63. @(require_results)
  64. div_sat :: proc(x, y: $T/Fixed($Backing, $Fraction_Width)) -> (z: T) {
  65. z.i = intrinsics.fixed_point_div_sat(x.i, y.i, Fraction_Width)
  66. return
  67. }
  68. @(require_results)
  69. floor :: proc(x: $T/Fixed($Backing, $Fraction_Width)) -> Backing {
  70. return x.i >> Fraction_Width
  71. }
  72. @(require_results)
  73. ceil :: proc(x: $T/Fixed($Backing, $Fraction_Width)) -> Backing {
  74. Integer :: 8*size_of(Backing) - Fraction_Width
  75. return (x.i + (1 << Integer-1)) >> Fraction_Width
  76. }
  77. @(require_results)
  78. round :: proc(x: $T/Fixed($Backing, $Fraction_Width)) -> Backing {
  79. Integer :: 8*size_of(Backing) - Fraction_Width
  80. return (x.i + (1 << (Integer - 1))) >> Fraction_Width
  81. }
  82. @(require_results)
  83. append :: proc(dst: []byte, x: $T/Fixed($Backing, $Fraction_Width)) -> string {
  84. x := x
  85. buf: [48]byte
  86. i := 0
  87. if x.i < 0 {
  88. buf[i] = '-'
  89. i += 1
  90. x.i = -x.i
  91. }
  92. integer := x.i >> Fraction_Width
  93. fraction := x.i & (1<<Fraction_Width - 1)
  94. s := strconv.append_uint(buf[i:], u64(integer), 10)
  95. i += len(s)
  96. if fraction != 0 {
  97. buf[i] = '.'
  98. i += 1
  99. for fraction > 0 {
  100. fraction *= 10
  101. buf[i] = byte('0' + (fraction>>Fraction_Width))
  102. i += 1
  103. fraction &= 1<<Fraction_Width - 1
  104. }
  105. }
  106. n := copy(dst, buf[:i])
  107. return string(dst[:i])
  108. }
  109. @(require_results)
  110. to_string :: proc(x: $T/Fixed($Backing, $Fraction_Width), allocator := context.allocator) -> string {
  111. buf: [48]byte
  112. s := append(buf[:], x)
  113. str := make([]byte, len(s), allocator)
  114. copy(str, s)
  115. return string(str)
  116. }