m3_mix_h1 function
Implementation
dc.int m3_mix_h1(dc.dynamic h1$1, dc.dynamic k1$1, ){
final dc.int x$8196_$AUTO_$1=((h1$1 as dc.int)^(k1$1 as dc.int));
final dc.int x$8182_$AUTO_$1=((4294967295&(x$8196_$AUTO_$1<<(31&13)))|(x$8196_$AUTO_$1>>(31&((-13)))));
final dc.int $1=(4294967295&((4294967295&((4294901760&x$8182_$AUTO_$1)*5))+((65535&x$8182_$AUTO_$1)*5)));
final dc.int $2=($1+3864292196);
return (4294967295&$2);
}