DIY FP - Thực hiện toán học dấu phẩy động trên vi điều khiển mà không cần phần cứng FPU

Tôi đang làm việc trong một dự án cá nhân nhỏ ^{_{(nhắm mục tiêu vào Parallax Propeller, nhưng điều này sẽ khá khái quát)}} cần toán học dấu phẩy động.

Bộ điều khiển vi mô mà tôi đang làm việc không có dấu phẩy động riêng hoặc thư viện dấu phẩy động.

Có tài nguyên hay hướng dẫn tốt nào về việc triển khai phần mềm toán học dấu phẩy động không? Tốt nhất là trên các tài nguyên thực sự hạn chế (tôi thậm chí không có một ngăn xếp!).

^{Tôi muốn hỗ trợ doublephao có kích thước. Chân vịt là MCU 32 bit, vì vậy tôi sẽ phải sử dụng nhiều biến cho mỗi lần thả.}

^{Tôi biết có một thư viện điểm nổi phần mềm cho cánh quạt ngoài kia, nhưng nó chỉ hỗ trợ singlecác phao có kích thước.}

^{Không, tôi có lẽ không thực sự cần doublephao có kích thước, nhưng điều này nghe có vẻ như là một dự án thực sự thú vị. Một nửa lý do tôi muốn làm điều này là vì tôi sẽ học được rất nhiều trên đường đi.}

Nếu bạn muốn tự làm điều đó, tôi muốn nói chỉ cần làm điều đó.

Tôi đoán bạn sẽ không tìm thấy quá nhiều tài nguyên hoặc hướng dẫn bởi vì nó không có nhiều.

Đây là một phác thảo:

• cộng / trừ:
  nếu số mũ khác nhau quá nhiều (nhiều hơn số mũ có bit):
  chỉ trả về giá trị với số mũ lớn hơn (nếu đây là số phụ: phủ định)

  nếu số mũ là tương tự nhau:
  thay đổi giá trị nhỏ hơn bằng số mũ khác nhau và cộng / trừ với số mũ khác (sử dụng số học điểm cố định)
  nếu kết quả không bằng 0: dịch chuyển mantissa lên cho đến khi MSBit của kết quả là 1 và giảm số mũ

• phép nhân / chia:
  nhân / chia mantissas (sử dụng số học điểm cố định) và cộng / trừ số mũ

Bạn sẽ có thể sử dụng này nhiều độ chính xác thư viện nổi-điểm trên cánh quạt, với một trong hai Catalina C hoặc gcc. Nó có thể quá chậm cho nhiều ứng dụng, tuy nhiên.

Có vẻ như câu hỏi này được đưa ra để tìm kiếm sự hiểu biết nhiều hơn là giải quyết vấn đề, vì vậy đây có thể không phải là câu trả lời hữu ích nhất, mà chỉ vì sự hoàn chỉnh

http://code.google.com.vn/p/propgcc/wiki/PropGccCompileOptions

Ngụ ý rằng phiên bản cánh quạt của GCC có hỗ trợ điểm nổi, bao gồm cả nhân đôi.

GCC và các thư viện trình biên dịch của nó tất nhiên là nguồn mở, mặc dù có thể có một đường cong học tập thực sự trước khi bạn có thể bắt đầu xem những gì mã đang làm.