| #!/usr/bin/awk -f |
#!/usr/bin/awk -f |
| |
|
| |
BEGIN { |
| |
offset["stream"] = 1; |
| |
offset["40"] = 2; |
| |
offset["576"] = 3; |
| |
offset["1500"] = 4; |
| |
offset["imix"] = 5; |
| |
offset["agility"] = 6; |
| |
offset["key"] = 7; |
| |
offset["IV"] = 8; |
| |
|
| |
if (!sort) |
| |
sort = "stream"; |
| |
} |
| |
|
| { sub(/\r/, ""); } |
{ sub(/\r/, ""); } |
| |
|
| /^Primitive Name:/ { |
/^Primitive Name:/ { |
| sub("_", " ", filename); |
sub("_", " ", filename); |
| split(filename, comp); |
split(filename, comp); |
| |
|
| print cycles["stream"] " " keysize "-" ivsize "-" macsize ";" \ |
printf("%.10f ", log(1 + cycles[sort] / 1000000) / 100 + offset[sort]); |
| |
print keysize "-" ivsize "-" macsize ";" \ |
| "<tr>" \ |
"<tr>" \ |
| "<td class='name'><a href='index.html'>" name "</a></td>" \ |
"<td class='name'><a href='index.html'>" name "</a></td>" \ |
| "<td class='profile'>" profile "</td>" \ |
"<td class='profile'>" profile "</td>" \ |
