Skip to main content

SIMD - Single Instruction Multiple Data


Hi! Today’s lecture, we learned SIMD - Single Instruction Multiple Data. This is a great tool to process data in a bulk fashion. So, instead of doing one by one, based on the variable size, we can do 16, 8, 4 or 2 at the time. This technique is called auto-vectorization resources, and it falls into the category of machine instruction optimization that I mentioned in my last post.

If the machine is SIMD enabled, the compiler can use it when translating a sum loop, for example. If we are summing 8 bits numbers, using SIMD, it will be 16 times faster. However, the compiler can figure that it is not safe to use SIMD due to overlapping or non-aligned data. In fact, the compiler will not apply SIMD in most cases, so we need to get our hands dirty and inject some assembly. I’ll show you how to do it in a second.

Here are the lanes of the 128-bit AArch64 Advanced SIMD:
16 x 8 bits
8 x 16 bits
4 x 32 bits
2 x 64 bits
1 x 128 bits

Reading the ARM manual, we can find a lot of SIMD functions. Bringing back the volume example, we can process 8 values each time, and not worry about the overflow. The magic instruction is SQDMULH – Signed Integer Saturating Doubling Multiply returning High Half. With that name, it must make coffee too! Well, no. It multiplies the first parameter with the second. It puts the result into the third, discarding the fraction portion and not overflowing – on overflow, it will keep the minimum or maximum value. It is precisely what we need to deal with the volume in one instruction.

Now let’s mix some C and Assembly, shall we?

The syntax is:
__asm__ ("assembly code" : outputs : inputs : clobbers);

Warning: this will break the portability. It is a good idea to have compiler flags to “pick” the right portion of the code based on the architecture being compiled. Here we are not doing that.

This is the code provided by our instructor. Do you see the loop in C and the ASM instruction inside? The line 52 is doing 8 values per iteration using the magic single instruction SQDMULH. It is fast! The code, as it is, will only work on Arch64, though.


If you don’t like assembly like me, intrinsics will help. The GCC compiler has some sort of functions representations of the assembly instructions. I think that it helps, but it also has its limitations. Here is the same example, but using intrinsics. Take a look at line 42.


This is it for today. I’m working on profiling my awk build. Stay tuned!

Comments

Popular posts from this blog

Two-digit Numeric Display

Photo by  Nick Hillier  on  Unsplash Hi! I'm continuing my blog about my SPO classes. After a brief introduction in Assembly, we are good to hit Lab3. Our instructor kindly let us choose one project out of five. And of course, we decided to go with the easiest! We had to do a two-digit numeric display where the numbers are incremented or decremented by pressing plus and minus key in the keyboard. Soon the challenges were reviled as we dive into how to code it. Should we treat every digit separated or together? How to print them into the display? After a moment of reflection, we decided to handle the digits independently to facilitate the printing display. Also, we had to add a bit-map representation of the numbers because the 6502 chip doesn’t know any font. In this post, I’ll show you the code with the logic to increment and decrement without displaying anything. You can monitor the address $13 and $14 to make sure that it is working. Le...

Profiling

Photo by  Jack Millard  on  Unsplash Hi! Do you want to know which part of the code is taking more time to run? Profiling is the technique to collect runtime data that shows exactly that. We did that manually in the previous labs by adding the elapsed time for the function under analysis – this is called instrumentation. The other way is to interrupt the execution multiple times, taking snapshots along the way – this is called sampling. Sampling doesn’t change the binary, but it might not get all data. Let’s say that if a task starts and finishes between the snapshots, we won’t get it in the report. On the other hand, the instrumentation will get everything, but it has to change the executable. As a result, we will not test the final version. We have to keep that in mind to use the right tool for the situation. Speaking about tools, here they are gprof and perf. The gprof does sampling and instrumentation, while perf only does sampling. To use gprof, ...