Add rules for __builtin_abort/nanf/inff/clzl

Author: lucic71

rules/builtin/src.cpp

@@ -32,3 +32,11 @@ void f11(void) { return __builtin_ia32_pause(); }
 void *f14(void *dst, const void *src, size_t n) {
   return __builtin_memcpy(dst, src, n);
 }
+
+void f15() { return __builtin_abort(); }
+
+int f16(unsigned long x) { return __builtin_clzl(x); }
+
+float f17() { return __builtin_inff(); }
+
+float f18(const char *tagp) { return __builtin_nanf(tagp); }

rules/builtin/tgt_unsafe.rs

@@ -57,3 +57,17 @@ unsafe fn f14(a0: *mut u8, a1: *const u8, a2: usize) -> *mut u8 {
     }
     a0
 }
+
+unsafe fn f15() { std::process::abort() }
+
+unsafe fn f16(a0: u64) -> i32 {
+    a0.leading_zeros() as i32
+}
+
+unsafe fn f17() -> f32 {
+    f32::INFINITY
+}
+
+unsafe fn f18(a0: *const ::core::ffi::c_char) -> f32 {
+    f32::NAN
+}

tests/unit/builtin.c

@@ -53,6 +53,25 @@ static void test_popcountl(void) {
   assert(__builtin_popcountl(0xFFUL) == 8);
 }
 
+static void test_clzl(void) {
+  assert(__builtin_clzl(1UL) == 63);
+  assert(__builtin_clzl(0x8000000000000000UL) == 0);
+}
+
+static void test_inff(void) {
+  float inf = __builtin_inff();
+  assert(inf > 0.0f);
+  assert(inf == inf * 2.0f);
+  assert(1.0f / inf == 0.0f);
+}
+
+static void test_nanf(void) {
+  float nan = __builtin_nanf("");
+  assert(nan != nan);
+  assert(!(nan < 0.0f));
+  assert(!(nan > 0.0f));
+}
+
 static void test_mul_overflow_long(void) {
   long r = 0;
   assert(!__builtin_mul_overflow(3L, 7L, &r));
@@ -76,6 +95,9 @@ int main(void) {
   test_bswap64();
   test_ctzl();
   test_popcountl();
+  test_clzl();
+  test_inff();
+  test_nanf();
   test_mul_overflow_long();
   test_mul_overflow_long_long();
   return 0;

tests/unit/out/refcount/builtin.rs

@@ -35,7 +35,23 @@ pub fn test_popcountl_7() {
     assert!((((0_u64.count_ones() as i32 == 0) as i32) != 0));
     assert!((((255_u64.count_ones() as i32 == 8) as i32) != 0));
 }
-pub fn test_mul_overflow_long_8() {
+pub fn test_clzl_8() {
+    assert!((((1_u64.leading_zeros() as i32 == 63) as i32) != 0));
+    assert!((((9223372036854775808_u64.leading_zeros() as i32 == 0) as i32) != 0));
+}
+pub fn test_inff_9() {
+    let inf: Value<f32> = Rc::new(RefCell::new(f32::INFINITY));
+    assert!(((((*inf.borrow()) > 0.0E+0) as i32) != 0));
+    assert!(((((*inf.borrow()) == ((*inf.borrow()) * 2.0E+0)) as i32) != 0));
+    assert!(((((1.0E+0 / (*inf.borrow())) == 0.0E+0) as i32) != 0));
+}
+pub fn test_nanf_10() {
+    let nan: Value<f32> = Rc::new(RefCell::new(f32::NAN));
+    assert!(((((*nan.borrow()) != (*nan.borrow())) as i32) != 0));
+    assert!(((!((((*nan.borrow()) < 0.0E+0) as i32) != 0) as i32) != 0));
+    assert!(((!((((*nan.borrow()) > 0.0E+0) as i32) != 0) as i32) != 0));
+}
+pub fn test_mul_overflow_long_11() {
     let r: Value<i64> = Rc::new(RefCell::new(0_i64));
     assert!(
         ((!({
@@ -52,7 +68,7 @@ pub fn test_mul_overflow_long_8() {
         ovf
     });
 }
-pub fn test_mul_overflow_long_long_9() {
+pub fn test_mul_overflow_long_long_12() {
     let r: Value<i64> = Rc::new(RefCell::new(0_i64));
     assert!(
         ((!({
@@ -82,8 +98,11 @@ fn main_0() -> i32 {
     ({ test_bswap64_5() });
     ({ test_ctzl_6() });
     ({ test_popcountl_7() });
-    ({ test_mul_overflow_long_8() });
-    ({ test_mul_overflow_long_long_9() });
+    ({ test_clzl_8() });
+    ({ test_inff_9() });
+    ({ test_nanf_10() });
+    ({ test_mul_overflow_long_11() });
+    ({ test_mul_overflow_long_long_12() });
     return 0;
 }
 pub fn __cpp2rust_init_globals() {}

tests/unit/out/unsafe/builtin.rs

@@ -35,7 +35,23 @@ pub unsafe fn test_popcountl_7() {
     assert!(((((0_u64.count_ones() as i32) == (0)) as i32) != 0));
     assert!(((((255_u64.count_ones() as i32) == (8)) as i32) != 0));
 }
-pub unsafe fn test_mul_overflow_long_8() {
+pub unsafe fn test_clzl_8() {
+    assert!(((((1_u64.leading_zeros() as i32) == (63)) as i32) != 0));
+    assert!(((((9223372036854775808_u64.leading_zeros() as i32) == (0)) as i32) != 0));
+}
+pub unsafe fn test_inff_9() {
+    let mut inf: f32 = f32::INFINITY;
+    assert!(((((inf) > (0.0E+0)) as i32) != 0));
+    assert!(((((inf) == ((inf) * (2.0E+0))) as i32) != 0));
+    assert!((((((1.0E+0) / (inf)) == (0.0E+0)) as i32) != 0));
+}
+pub unsafe fn test_nanf_10() {
+    let mut nan: f32 = f32::NAN;
+    assert!(((((nan) != (nan)) as i32) != 0));
+    assert!(((!((((nan) < (0.0E+0)) as i32) != 0) as i32) != 0));
+    assert!(((!((((nan) > (0.0E+0)) as i32) != 0) as i32) != 0));
+}
+pub unsafe fn test_mul_overflow_long_11() {
     let mut r: i64 = 0_i64;
     assert!(
         ((!({
@@ -52,7 +68,7 @@ pub unsafe fn test_mul_overflow_long_8() {
         ovf
     });
 }
-pub unsafe fn test_mul_overflow_long_long_9() {
+pub unsafe fn test_mul_overflow_long_long_12() {
     let mut r: i64 = 0_i64;
     assert!(
         ((!({
@@ -84,8 +100,11 @@ unsafe fn main_0() -> i32 {
     (unsafe { test_bswap64_5() });
     (unsafe { test_ctzl_6() });
     (unsafe { test_popcountl_7() });
-    (unsafe { test_mul_overflow_long_8() });
-    (unsafe { test_mul_overflow_long_long_9() });
+    (unsafe { test_clzl_8() });
+    (unsafe { test_inff_9() });
+    (unsafe { test_nanf_10() });
+    (unsafe { test_mul_overflow_long_11() });
+    (unsafe { test_mul_overflow_long_long_12() });
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}