• 0 Posts
  • 7 Comments
Joined 1 year ago
cake
Cake day: July 10th, 2024

help-circle
  • Good question! I have read a bit more about it and this does indeed heavily depend on the respective compiler implementation. Depending on the compiler, it may prefer default if-else ladders for few cases. For more, dense cases, LUTs may play a larger role. For less dense cases binary search might be chosen.

    I inspected the generated assembler code of your (slightly extended) example via https://godbolt.org/

    The code I used:

    void check_uv();
    void check_holograph();
    void check_stripe();
    void check_watermark();
    
    void switch_test(int banknoteValue) {
    
        switch (banknoteValue) {
            case 5000:
                check_uv();
                check_holograph();
            case 2000:
                check_stripe();
            case 1000:
                check_watermark();
        }
    
    }
    

    Using x86-64 gcc 15.2 this leads to a couple of cmp followed by je instructions, so “compare” and “jump to label if equal” which basically is a typical if-else ladder. I get the same for x64 msvc v19.43.
    Changing the cases to 1, 2 and 3 instead of 5000, 2000 and 1000 does not change the outcome.

    Increasing to 23 different but incrementally increasing cases (cases 1 to 23) does not change the outcome as well for gcc. But here msvc has introduced a performance optimization: it decreased the input value by one to get a range of 0 to 22 and then created a jump table, so a LUT with execution addresses. (I am not going to detail the assembler commands logic here, but you can use the C++ code below and take a look yourself. :) )

    So even in this simple example we can already see how different compilers may implement switch cases differently depending on its structure. Even though gcc chose the apparently less efficient solution here, usually one may trust on the compiler choosing the most efficient switch implementation. ;)

    As far as I know, we would not even get the chance of similar optimizations if choosing if-else ladders directly instead of a switch-case structure. It would be interesting to put this to a test though and see whether some compilers translate if-else ladders equivalently with the performance benefits that can currently come with switch structures.

    The inflated code:

    void check_uv();
    void check_holograph();
    void check_stripe();
    void check_watermark();
    
    void switch_test(int banknoteValue) {
    
        switch (banknoteValue) {
            case 1:
                check_uv();
                check_holograph();
            case 2:
                check_stripe();
            case 3:
                check_watermark();
            case 4:
                check_watermark();
            case 5:
                check_watermark();
            case 6:
                check_watermark();
            case 7:
                check_watermark();
            case 8:
                check_watermark();
            case 9:
                check_watermark();
            case 10:
                check_watermark();
            case 11:
                check_watermark();
            case 12:
                check_watermark();
            case 13:
                check_watermark();
            case 14:
                check_watermark();
            case 15:
                check_watermark();
            case 16:
                check_watermark();
            case 17:
                check_watermark();
            case 18:
                check_watermark();
            case 19:
                check_watermark();
            case 20:
                check_watermark();
            case 21:
                check_watermark();
            case 22:
                check_watermark();
            case 23:
                check_watermark();
        }
    
    }
    

  • That falls into the “very desparate” part. As long as there are companies that have better recruitement processes it will help if most people prefer those over others. If all of these companies reject an applicant then this applicant might become “desparate” and turn towards worse companies. So it’s more the mass of people that influence the market and can therefore improve its conditions.





  • switch case structures are very efficient in c and c++. They work similarly like an offset into memory. Compute the offset once (any expression in the ‘case’ lines), then jump. Using primitives directly, like here with chars, is directly the offset. Contrary to if-else branches, where each case must be evaluated first and the CPU has basically no-op cycles in the pipeline until the result of the branch is known. If it fails, it proceeds with the next one, waits again etc… (Some CPU architectures might have stuff like speculative branch execution, which can speed this up.)

    However, code-style wise this is really not elegant and something like your proposal or similar would be much better.