Fixing spec

Author: satiscugcat

testable-simd-models/README.md

@@ -159,12 +159,15 @@ pub fn _mm256_bsrli_epi128<const IMM8: i32>(a: __m256i) -> __m256i {
 		let a = BitVec::to_i128x2(a);
 		let a = i128x2::from_fn(|i| {
 			let tmp = IMM8 % 256;
-			let tmp = tmp % 16;
-			((a[i] as u128) >> (tmp * 8)) as i128
+			if tmp > 15 {0} else {
+				((a[i] as u128) >> (tmp * 8)) as i128
+			}
 		});
 		BitVec::from_i128x2(a)
 	}
    ```
+   There is no test for the specification, and thus it has to be manually reviewed to ensure that it perfectly captures the
+   behaviour described by the documentation.
 
 
 

testable-simd-models/src/core_arch/x86/specs/avx2.rs

@@ -12,8 +12,9 @@ pub fn _mm256_bsrli_epi128<const IMM8: i32>(a: __m256i) -> __m256i {
     let a = BitVec::to_i128x2(a);
     let a = i128x2::from_fn(|i| {
         let tmp = IMM8 % 256;
-        let tmp = tmp % 16;
-        ((a[i] as u128) >> (tmp * 8)) as i128
+        if tmp > 15 {0} else {
+            ((a[i] as u128) >> (tmp * 8)) as i128
+	}
     });
     BitVec::from_i128x2(a)
 }