I don't believe in compiler bugs, but ...

[Chan Rasjid]

Hello,

I don't think I could recall any bug which I encountered in the past which could be attributed to the gcc compliler. I don't believe much in compiler bugs. But I could not see any bug in the codes below.

Code: Select all

    /* In root search; after generate root move list.
     Initialize root moves list  */
    for (move = list; move->move; ++move) {
        ...
        move->score = EVAL_SCORE_BASE;
        ...

        makemove(move->move, side);

        /* now move validated */

        assert(move->score > EVAL_SCORE_BASE - INFI
                && move->score < EVAL_SCORE_BASE + INFI&#41;;/* assert clears */

        if &#40;currstack->fifty < 100&#41; &#123;
            for &#40;i = 4; i <= currstack->fifty; i += 2&#41; &#123;
                if &#40;currstack->hash ^ &#40;currstack - i&#41;->hash&#41;;
                else &#123; /* repetition */
                    move->flag |= rmFlagDraw;
                    move->eval = -INFI; // no eval
                    move->score = EXACT_SCORE_BASE; /* A == draw */
                    if &#40;IS_MOVE_EQ&#40;searchInfo->bestmove, move->move&#41;) &#123;
                        matesearch = 0;
                        if &#40;searchInfo->score < -1&#41; &#123;
                            /* retain bestmove */
                            searchInfo->score = 1;
                            pBestmove = move;
                        &#125; else &#123;
                            searchInfo->bestmove = pv&#91;0&#93;&#91;0&#93; = 0;
                        &#125;
                        best = -INFI;
                        alpha = MAX&#40;-INFI, searchInfo->score - v112Pawn&#41;;
                        beta = MIN&#40;INFI, searchInfo->score + v112Pawn&#41;;
                        sendlog&#40;"!!! best score cancelled - draw\n");
                    &#125;
                    i = 0;
                    unmake&#40;move->move, side&#41;;
                &#125;
            &#125;
            
            if &#40;i == 0&#41;&#123;
                assert&#40;0&#41;;
                continue;
            &#125;
        &#125; else &#123;
            move->flag |= rmFlagDraw;
            move->eval = -INFI;
            move->score = EXACT_SCORE_BASE; // == draw
            if &#40;IS_MOVE_EQ&#40;searchInfo->bestmove, move->move&#41;) &#123;
                matesearch = 0;
                if &#40;searchInfo->score < -1&#41; &#123;
                    /* retain bestmove */
                    searchInfo->score = 1;
                    pBestmove = move;
                &#125; else &#123;
                    searchInfo->bestmove = pv&#91;0&#93;&#91;0&#93; = 0;
                &#125;
                best = -INFI;
                alpha = MAX&#40;-INFI, searchInfo->score - v112Pawn&#41;;
                beta = MIN&#40;INFI, searchInfo->score + v112Pawn&#41;;
                sendlog&#40;"!!! best score cancelled - draw\n");
            &#125;
            unmake&#40;move->move, side&#41;;
            continue;
        &#125;

        assert&#40;move->score > EVAL_SCORE_BASE - INFI
                && move->score < EVAL_SCORE_BASE + INFI&#41;; /* B _fail  */

The first assert was cleared; the assert B was triggered with:
1) currstack->fifty == 3.
2) move->score == EXACT_SCORE_BASE;
Only line that sets it is line A within the repetition loop.

Hopefully, I did not miss something glaringly obvious.


Best Regards,
Rasjid.

[kbhearn]

for clarity, what is EXACT_SCORE_BASE vs EVAL_SCORE_BASE? (i'm having a hard time imagining why EXACT_SCORE_BASE is not between -inf and +inf for you (or if it is outside that range intentionally, why it's asserted as impossible)

[Chan Rasjid]

for clarity, what is EXACT_SCORE_BASE vs EVAL_SCORE_BASE? (i'm having a hard time imagining why EXACT_SCORE_BASE is not between -inf and +inf for you (or if it is outside that range intentionally, why it's asserted as impossible)

Sorry.

#define INF 8000
const u32 EXACT_SCORE_BASE = 0x80000000u;
const u32 EVAL_SCORE_BASE = 8 * INFI;

The code is actually doing the initial ordering using eval() from a base of EVAL_SCORE_BASE. It is intended that after the first root iteration, there may be some exact scores that would be scored from EXACT_SCORE_BASE. Repetition would be scored this way.

Rasjid.

[kbhearn]

when you catch a repetition it appears you unmake the move but then stay in the repetition loop starting with i = 0. This would cause a loop until (i assume) unmake takes the currstack->fifty below where the repetition occurs (say it occurs at i=4), then currstack->fifty = 3, move->score = EXACT_SCORE_BASE, and i = 4 to skip the i==0 condition and assert B should trigger essentially any time a repetition is found...

[Sven]

for clarity, what is EXACT_SCORE_BASE vs EVAL_SCORE_BASE? (i'm having a hard time imagining why EXACT_SCORE_BASE is not between -inf and +inf for you (or if it is outside that range intentionally, why it's asserted as impossible)

Sorry.

#define INF 8000
const u32 EXACT_SCORE_BASE = 0x80000000u;
const u32 EVAL_SCORE_BASE = 8 * INFI;

The code is actually doing the initial ordering using eval() from a base of EVAL_SCORE_BASE. It is intended that after the first root iteration, there may be some exact scores that would be scored from EXACT_SCORE_BASE. Repetition would be scored this way.

Rasjid.

Then which value of move->score triggers your assertion?

Perhaps you need to write something like a RANGE_ASSERT() macro that prints more information before firing the assertion.

Code: Select all

#ifdef USE_RANGE_ASSERT
#define RANGE_ASSERT(expr, minval, maxval) \
if (&#40;expr&#41; < &#40;minval&#41; || &#40;expr&#41; > &#40;maxval&#41;) &#123;\
    printf&#40;"### error&#58; expression "%s" out of range&#58; value=%d, min=%d, max=%d\n", #expr, &#40;expr&#41;, &#40;minval&#41;, &#40;maxval&#41;);\
    assert&#40;&#40;expr&#41; >= &#40;minval&#41; && &#40;expr&#41; <= &#40;maxval&#41;);\
&#125;
#else
#define RANGE_ASSERT&#40;expr, minval, maxval&#41; \
    assert&#40;&#40;expr&#41; >= &#40;minval&#41; && &#40;expr&#41; <= &#40;maxval&#41;)
#endif /* USE_RANGE_ASSERT */

If you have the source of the function that is called by assert() then you can also set a breakpoint and inspect your variables. To avoid such trouble of setting breakpoints in external library code I usually define my own ASSERT() macro.

Sven

[Chan Rasjid]

when you catch a repetition it appears you unmake the move but then stay in the repetition loop starting with i = 0. This would cause a loop until (i assume) unmake takes the currstack->fifty below where the repetition occurs (say it occurs at i=4), then currstack->fifty = 3, move->score = EXACT_SCORE_BASE, and i = 4 to skip the i==0 condition and assert B should trigger essentially any time a repetition is found...

You are right. Now everything runs smoothly.

I wanted to break and continue with the next move and used unmake() with continue; but notice it was within the repetition loop. So I did the i = 0,... and meant to break from the repetition loop. I forgot to add the break... and also failed to see it...

Should I say it is excusable...

Thanks,
Rasjid.