new smatch

@@ -55,21 +55,21 @@
  *
  * check-output-start
 bfuu_init:
 .L0:
         <entry-point>
-        cast.9      %r2 <- (32) %arg1
-        shl.32      %r4 <- %r2, $11
-        ret.32      %r4
+        and.32      %r4 <- %arg1, $511
+        shl.32      %r5 <- %r4, $11
+        ret.32      %r5
 
 
 bfus_init:
 .L2:
         <entry-point>
-        scast.9     %r10 <- (32) %arg1
-        shl.32      %r12 <- %r10, $11
-        ret.32      %r12
+        and.32      %r13 <- %arg1, $511
+        shl.32      %r14 <- %r13, $11
+        ret.32      %r14
 
 
 bfu_get0:
 .L4:
         <entry-point>

@@ -77,21 +77,21 @@
 
 
 bfsu_init:
 .L6:
         <entry-point>
-        cast.9      %r23 <- (32) %arg1
-        shl.32      %r25 <- %r23, $11
-        ret.32      %r25
+        and.32      %r27 <- %arg1, $511
+        shl.32      %r28 <- %r27, $11
+        ret.32      %r28
 
 
 bfss_init:
 .L8:
         <entry-point>
-        scast.9     %r31 <- (32) %arg1
-        shl.32      %r33 <- %r31, $11
-        ret.32      %r33
+        and.32      %r36 <- %arg1, $511
+        shl.32      %r37 <- %r36, $11
+        ret.32      %r37
 
 
 bfs_get0:
 .L10:
         <entry-point>