Index: runtime/szrt.c |
diff --git a/runtime/szrt.c b/runtime/szrt.c |
index 3596db39bdb78bc3aa59162fa4ca61c2a180dfff..d9d578a270c77c200fbd6ab211edb50eaa0b229b 100644 |
--- a/runtime/szrt.c |
+++ b/runtime/szrt.c |
@@ -15,57 +15,31 @@ |
#include <stdint.h> |
#include <stdlib.h> |
-void ice_unreachable(void) { |
- abort(); |
-} |
+void ice_unreachable(void) { abort(); } |
-uint32_t cvtftoui32(float value) { |
- return (uint32_t) value; |
-} |
+uint32_t cvtftoui32(float value) { return (uint32_t)value; } |
-uint32_t cvtdtoui32(double value) { |
- return (uint32_t) value; |
-} |
+uint32_t cvtdtoui32(double value) { return (uint32_t)value; } |
-int64_t cvtftosi64(float value) { |
- return (int64_t) value; |
-} |
+int64_t cvtftosi64(float value) { return (int64_t)value; } |
-int64_t cvtdtosi64(double value) { |
- return (int64_t) value; |
-} |
+int64_t cvtdtosi64(double value) { return (int64_t)value; } |
-uint64_t cvtftoui64(float value) { |
- return (uint64_t) value; |
-} |
+uint64_t cvtftoui64(float value) { return (uint64_t)value; } |
-uint64_t cvtdtoui64(double value) { |
- return (uint64_t) value; |
-} |
+uint64_t cvtdtoui64(double value) { return (uint64_t)value; } |
-float cvtui32tof(uint32_t value) { |
- return (float) value; |
-} |
+float cvtui32tof(uint32_t value) { return (float)value; } |
-float cvtsi64tof(int64_t value) { |
- return (float) value; |
-} |
+float cvtsi64tof(int64_t value) { return (float)value; } |
-float cvtui64tof(uint64_t value) { |
- return (float) value; |
-} |
+float cvtui64tof(uint64_t value) { return (float)value; } |
-double cvtui32tod(uint32_t value) { |
- return (double) value; |
-} |
+double cvtui32tod(uint32_t value) { return (double)value; } |
-double cvtsi64tod(int64_t value) { |
- return (double) value; |
-} |
+double cvtsi64tod(int64_t value) { return (double)value; } |
-double cvtui64tod(uint64_t value) { |
- return (double) value; |
-} |
+double cvtui64tod(uint64_t value) { return (double)value; } |
/* TODO(stichnot): |
Sz_bitcast_v8i1_to_i8 |