Annotation of previous/src/debug/breakcond.c, revision 1.1.1.1

1.1       root        1: /*
                      2:   Hatari - breakcond.c
                      3: 
                      4:   Copyright (c) 2009-2010 by Eero Tamminen
                      5: 
                      6:   This file is distributed under the GNU Public License, version 2 or at
                      7:   your option any later version. Read the file gpl.txt for details.
                      8: 
                      9:   breakcond.c - code for breakpoint conditions that can check variable
                     10:   and memory values against each other, mask them etc. before deciding
                     11:   whether the breakpoint should be triggered.  See BreakCond_Help()
                     12:   for the syntax.
                     13: */
                     14: const char BreakCond_fileid[] = "Hatari breakcond.c : " __DATE__ " " __TIME__;
                     15: 
                     16: #include <ctype.h>
                     17: #include <stdlib.h>
                     18: #include "config.h"
                     19: #include "main.h"
                     20: #include "m68000.h"
                     21: #include "memorySnapShot.h"
                     22: #include "nextMemory.h"
                     23: #include "str.h"
                     24: #include "video.h"     /* for Hatari video variable addresses */
                     25: 
                     26: #include "debug_priv.h"
                     27: #include "breakcond.h"
                     28: #include "debugcpu.h"
                     29: #include "evaluate.h"
                     30: #include "symbols.h"
                     31: 
                     32: 
                     33: /* set to 1 to enable parsing function tracing / debug output */
                     34: #define DEBUG 0
                     35: 
                     36: /* needs to go through long long to handle x=32 */
                     37: #define BITMASK(x)      ((Uint32)(((unsigned long long)1<<(x))-1))
                     38: 
                     39: #define BC_MAX_CONDITION_BREAKPOINTS 16
                     40: #define BC_MAX_CONDITIONS_PER_BREAKPOINT 4
                     41: 
                     42: #define BC_DEFAULT_DSP_SPACE 'P'
                     43: 
                     44: enum { 
                     45:        /* plain number */
                     46:        VALUE_TYPE_NUMBER     = 0,
                     47: 
                     48:        /* functions to call to get value */
                     49:        VALUE_TYPE_FUNCTION32 = 2,
                     50: 
                     51:        /* internal Hatari value variables */
                     52:        VALUE_TYPE_VAR32      = 4,
                     53: 
                     54:        /* size must match register size used in BreakCond_ParseRegister() */
                     55:        VALUE_TYPE_REG16      = 16,
                     56:        VALUE_TYPE_REG32      = 32
                     57: } typedef value_t;
                     58: 
                     59: static inline bool is_register_type(value_t vtype) {
                     60:        /* type used for CPU/DSP registers */
                     61:        return (vtype == VALUE_TYPE_REG16 || vtype == VALUE_TYPE_REG32);
                     62: }
                     63: 
                     64: typedef struct {
                     65:        bool is_indirect;
                     66:        char dsp_space; /* DSP has P, X, Y address spaces, zero if not DSP */
                     67:        value_t valuetype;      /* Hatari value variable type */
                     68:        union {
                     69:                Uint32 number;
                     70:                Uint16 (*func16)(void);
                     71:                Uint32 (*func32)(void);
                     72:                Uint16 *reg16;
                     73:                Uint32 *reg32;
                     74:        } value;
                     75:        Uint32 bits;    /* CPU has 8/16/32 bit address widths */
                     76:        Uint32 mask;    /* <width mask> && <value mask> */
                     77: } bc_value_t;
                     78: 
                     79: typedef struct {
                     80:        bc_value_t lvalue;
                     81:        bc_value_t rvalue;
                     82:        char comparison;
                     83:        bool track;     /* track value changes */
                     84: } bc_condition_t;
                     85: 
                     86: typedef struct {
                     87:        char *expression;
                     88:        bc_condition_t conditions[BC_MAX_CONDITIONS_PER_BREAKPOINT];
                     89:        int ccount;     /* condition count */
                     90:        int hits;       /* how many times breakpoint hit */
                     91:        int skip;       /* how many times to hit before breaking */
                     92:        bool once;      /* remove after hit&break */
                     93:        bool trace;     /* trace mode, don't break */
                     94: } bc_breakpoint_t;
                     95: 
                     96: static bc_breakpoint_t BreakPointsCpu[BC_MAX_CONDITION_BREAKPOINTS];
                     97: static bc_breakpoint_t BreakPointsDsp[BC_MAX_CONDITION_BREAKPOINTS];
                     98: static int BreakPointCpuCount;
                     99: static int BreakPointDspCount;
                    100: 
                    101: 
                    102: /* forward declarations */
                    103: static bool BreakCond_Remove(int position, bool bForDsp);
                    104: static void BreakCond_Print(bc_breakpoint_t *bp);
                    105: 
                    106: 
                    107: /**
                    108:  * Save breakpoints as debugger input file
                    109:  * return true for success, false for failure
                    110:  */
                    111: bool BreakCond_Save(const char *filename)
                    112: {
                    113:        FILE *fp;
                    114:        int i;
                    115: 
                    116:        if (!(BreakPointCpuCount || BreakPointDspCount)) {
                    117:                if (remove(filename)) {
                    118:                        perror("ERROR");
                    119:                        return false;
                    120:                }
                    121:                return true;
                    122:        }
                    123: 
                    124:        fprintf(stderr, "Saving breakpoints to '%s'...\n", filename);
                    125:        fp = fopen(filename, "w");
                    126:        if (!fp) {
                    127:                perror("ERROR");
                    128:                return false;
                    129:        }
                    130:        /* save conditional breakpoints as debugger input file */
                    131:        for (i = 0; i < BreakPointCpuCount; i++) {
                    132:                fprintf(fp, "b %s\n", BreakPointsCpu[i].expression);
                    133:        }
                    134:        for (i = 0; i < BreakPointDspCount; i++) {
                    135:                fprintf(fp, "db %s\n", BreakPointsDsp[i].expression);
                    136:        }
                    137:        fclose(fp);
                    138:        return true;
                    139: }
                    140: 
                    141: 
                    142: /* --------------------- debugging code ------------------- */
                    143: 
                    144: #if DEBUG
                    145: /* see parsing code for usage examples */
                    146: static int _traceIndent;
                    147: static void _spaces(void)
                    148: {
                    149:        int spaces = _traceIndent;
                    150:        while(spaces-- > 0) {
                    151:                putchar(' ');   /* fputc(' ',stdout); */
                    152:        }
                    153: }
                    154: #define ENTERFUNC(args) { _traceIndent += 2; _spaces(); printf args ; fflush(stdout); }
                    155: #define EXITFUNC(args) { _spaces(); printf args ; fflush(stdout); _traceIndent -= 2; }
                    156: #else
                    157: #define ENTERFUNC(args)
                    158: #define EXITFUNC(args)
                    159: #endif
                    160: 
                    161: 
                    162: /* ------------- breakpoint condition checking, internals ------------- */
                    163: 
                    164: /**
                    165:  * Return value from given DSP memory space/address
                    166:  */
                    167: static Uint32 BreakCond_ReadDspMemory(Uint32 addr, const bc_value_t *bc_value)
                    168: {
                    169:        return 0;
                    170: }
                    171: 
                    172: /**
                    173:  * Return value of given size read from given ST memory address
                    174:  */
                    175: static Uint32 BreakCond_ReadSTMemory(Uint32 addr, const bc_value_t *bc_value)
                    176: {
                    177:        switch (bc_value->bits) {
                    178:        case 32:
                    179:                return NEXTMemory_ReadLong(addr);
                    180:        case 16:
                    181:                return NEXTMemory_ReadWord(addr);
                    182:        case 8:
                    183:                return NEXTMemory_ReadByte(addr);
                    184:        default:
                    185:                fprintf(stderr, "ERROR: unknown ST address size %d!\n", bc_value->bits);
                    186:                abort();
                    187:        }
                    188: }
                    189: 
                    190: 
                    191: /**
                    192:  * Return Uint32 value according to given bc_value_t specification
                    193:  */
                    194: static Uint32 BreakCond_GetValue(const bc_value_t *bc_value)
                    195: {
                    196:        Uint32 value;
                    197: 
                    198:        switch (bc_value->valuetype) {
                    199:        case VALUE_TYPE_NUMBER:
                    200:                value = bc_value->value.number;
                    201:                break;
                    202:        case VALUE_TYPE_FUNCTION32:
                    203:                value = bc_value->value.func32();
                    204:                break;
                    205:        case VALUE_TYPE_REG16:
                    206:                value = *(bc_value->value.reg16);
                    207:                break;
                    208:        case VALUE_TYPE_VAR32:
                    209:        case VALUE_TYPE_REG32:
                    210:                value = *(bc_value->value.reg32);
                    211:                break;
                    212:        default:
                    213:                fprintf(stderr, "ERROR: unknown condition value size/type %d!\n", bc_value->valuetype);
                    214:                abort();
                    215:        }
                    216:        if (bc_value->is_indirect) {
                    217:                        value = BreakCond_ReadSTMemory(value, bc_value);
                    218:        }
                    219:        return (value & bc_value->mask);
                    220: }
                    221: 
                    222: 
                    223: /**
                    224:  * Return true if all of the given breakpoint's conditions match
                    225:  */
                    226: static bool BreakCond_MatchConditions(const bc_condition_t *condition, int count)
                    227: {
                    228:        Uint32 lvalue, rvalue;
                    229:        bool hit = false;
                    230:        int i;
                    231:        
                    232:        for (i = 0; i < count; condition++, i++) {
                    233: 
                    234:                lvalue = BreakCond_GetValue(&(condition->lvalue));
                    235:                rvalue = BreakCond_GetValue(&(condition->rvalue));
                    236: 
                    237:                switch (condition->comparison) {
                    238:                case '<':
                    239:                        hit = (lvalue < rvalue);
                    240:                        break;
                    241:                case '>':
                    242:                        hit = (lvalue > rvalue);
                    243:                        break;
                    244:                case '=':
                    245:                        hit = (lvalue == rvalue);
                    246:                        break;
                    247:                case '!':
                    248:                        hit = (lvalue != rvalue);
                    249:                        break;
                    250:                default:
                    251:                        fprintf(stderr, "ERROR: Unknown breakpoint value comparison operator '%c'!\n",
                    252:                                condition->comparison);
                    253:                        abort();
                    254:                }
                    255:                if (!hit) {
                    256:                        return false;
                    257:                }
                    258:        }
                    259:        /* all conditions matched */
                    260:        return true;
                    261: }
                    262: 
                    263: 
                    264: /**
                    265:  * Show values for the tracked breakpoint conditions
                    266:  */
                    267: static void BreakCond_ShowTracked(bc_condition_t *condition, int count)
                    268: {
                    269:        Uint32 addr, value;
                    270:        char sep;
                    271:        int i;
                    272:        
                    273:        sep = ' ';
                    274:        for (i = 0; i < count; condition++, i++) {
                    275:                if (!condition->track) {
                    276:                        continue;
                    277:                }
                    278: 
                    279:                /* get the new value in address */
                    280:                value = BreakCond_GetValue(&(condition->lvalue));
                    281:                /* next monitor changes to this new value */
                    282:                condition->rvalue.value.number = value;
                    283:                
                    284:                if (condition->lvalue.is_indirect &&
                    285:                    condition->lvalue.valuetype == VALUE_TYPE_NUMBER) {
                    286:                        /* simple memory address */
                    287:                        addr = condition->lvalue.value.number;
                    288:                        fprintf(stderr, "%c $%x = $%x", sep, addr, value);
                    289:                } else {
                    290:                        /* register tms. */
                    291:                        fprintf(stderr, "%c $%x", sep, value);
                    292:                }
                    293:                sep = ',';
                    294:        }
                    295:        fprintf(stderr, "\n");
                    296: }
                    297: 
                    298: 
                    299: /**
                    300:  * Return which of the given condition breakpoints match
                    301:  * or zero if none matched
                    302:  */
                    303: static int BreakCond_MatchBreakPoints(bc_breakpoint_t *bp, int count, const char *name)
                    304: {
                    305:        int i;
                    306:        
                    307:        for (i = 0; i < count; bp++, i++) {
                    308:                if (BreakCond_MatchConditions(bp->conditions, bp->ccount)) {
                    309:                        BreakCond_ShowTracked(bp->conditions, bp->ccount);
                    310:                        bp->hits++;
                    311:                        if (bp->skip && (bp->hits % bp->skip) == 0) {
                    312:                                return 0;
                    313:                        }
                    314:                        fprintf(stderr, "%d. %s breakpoint condition(s) matched %d times.\n",
                    315:                                i+1, name, bp->hits);
                    316:                        if (bp->trace) {
                    317:                                return 0;
                    318:                        }
                    319:                        BreakCond_Print(bp);
                    320:                        if (bp->once) {
                    321:                                BreakCond_Remove(i+1, (bp-i == BreakPointsDsp));
                    322:                        }
                    323:                        /* indexes for BreakCond_Remove() start from 1 */
                    324:                        return i + 1;
                    325:                }
                    326:        }
                    327:        return 0;
                    328: }
                    329: 
                    330: /* ------------- breakpoint condition checking, public API ------------- */
                    331: 
                    332: /**
                    333:  * Return matched CPU breakpoint index or zero for an error.
                    334:  */
                    335: int BreakCond_MatchCpu(void)
                    336: {
                    337:        return BreakCond_MatchBreakPoints(BreakPointsCpu, BreakPointCpuCount, "CPU");
                    338: }
                    339: 
                    340: /**
                    341:  * Return matched DSP breakpoint index or zero for an error.
                    342:  */
                    343: int BreakCond_MatchDsp(void)
                    344: {
                    345:        return BreakCond_MatchBreakPoints(BreakPointsDsp, BreakPointDspCount, "DSP");
                    346: }
                    347: 
                    348: /**
                    349:  * Return number of condition breakpoints
                    350:  */
                    351: int BreakCond_BreakPointCount(bool bForDsp)
                    352: {
                    353:        if (bForDsp) {
                    354:                return BreakPointDspCount;
                    355:        } else {
                    356:                return BreakPointCpuCount;
                    357:        }
                    358: }
                    359: 
                    360: 
                    361: /* -------------- breakpoint condition parsing, internals ------------- */
                    362: 
                    363: /* struct for passing around breakpoint conditions parsing state */
                    364: typedef struct {
                    365:        int arg;                /* current arg */
                    366:        int argc;               /* arg count */
                    367:        const char **argv;      /* arg pointer array (+ strings) */
                    368:        const char *error;      /* error from parsing args */
                    369: } parser_state_t;
                    370: 
                    371: 
                    372: /* Hatari variable name & address array items */
                    373: typedef struct {
                    374:        const char *name;
                    375:        Uint32 *addr;
                    376:        value_t vtype;
                    377:        size_t bits;
                    378:        const char *constraints;
                    379: } var_addr_t;
                    380: 
                    381: /* Accessor functions for calculated Hatari values */
                    382: static Uint32 GetLineCycles(void)
                    383: {
                    384:        int dummy1, dummy2, lcycles;
                    385:        Video_GetPosition(&dummy1, &dummy2 , &lcycles);
                    386:        return lcycles;
                    387: }
                    388: static Uint32 GetFrameCycles(void)
                    389: {
                    390:        int dummy1, dummy2, fcycles;
                    391:        Video_GetPosition(&fcycles, &dummy1, &dummy2);
                    392:        return fcycles;
                    393: }
                    394: 
                    395: 
                    396: /* sorted by variable name so that this can be bisected */
                    397: static const var_addr_t hatari_vars[] = {
                    398:        { "FrameCycles", (Uint32*)GetFrameCycles, VALUE_TYPE_FUNCTION32, 0, NULL },
                    399:        { "LineCycles", (Uint32*)GetLineCycles, VALUE_TYPE_FUNCTION32, 0, "is always divisable by 4" }
                    400: };
                    401: 
                    402: 
                    403: /**
                    404:  * Readline match callback for CPU variable/symbol name completion.
                    405:  * STATE = 0 -> different text from previous one.
                    406:  * Return next match or NULL if no matches.
                    407:  */
                    408: char *BreakCond_MatchCpuVariable(const char *text, int state)
                    409: {
                    410:        static int i, len;
                    411:        const char *name;
                    412:        
                    413:        if (!state) {
                    414:                /* first match */
                    415:                len = strlen(text);
                    416:                i = 0;
                    417:        }
                    418:        /* next match */
                    419:        while (i < ARRAYSIZE(hatari_vars)) {
                    420:                name = hatari_vars[i++].name;
                    421:                if (strncasecmp(name, text, len) == 0)
                    422:                        return (strdup(name));
                    423:        }
                    424:        /* no variable match, check all CPU symbols */
                    425:        return Symbols_MatchCpuAddress(text, state);
                    426: }
                    427: 
                    428: /**
                    429:  * Readline match callback for DSP variable/symbol name completion.
                    430:  * STATE = 0 -> different text from previous one.
                    431:  * Return next match or NULL if no matches.
                    432:  */
                    433: char *BreakCond_MatchDspVariable(const char *text, int state)
                    434: {
                    435:        /* currently no DSP variables, check all DSP symbols */
                    436:        return Symbols_MatchDspAddress(text, state);
                    437: }
                    438: 
                    439: 
                    440: /**
                    441:  * If given string is a Hatari variable name, set bc_value
                    442:  * fields accordingly and return true, otherwise return false.
                    443:  */
                    444: static bool BreakCond_ParseVariable(const char *name, bc_value_t *bc_value)
                    445: {
                    446:        /* left, right, middle, direction */
                    447:         int l, r, m, dir;
                    448: 
                    449:        ENTERFUNC(("BreakCond_ParseVariable('%s')\n", name));
                    450:        /* bisect */
                    451:        l = 0;
                    452:        r = ARRAYSIZE(hatari_vars) - 1;
                    453:        do {
                    454:                m = (l+r) >> 1;
                    455:                dir = strcasecmp(name, hatari_vars[m].name);
                    456:                if (dir == 0) {
                    457:                        bc_value->value.reg32 = hatari_vars[m].addr;
                    458:                        bc_value->valuetype = hatari_vars[m].vtype;
                    459:                        bc_value->bits = hatari_vars[m].bits;
                    460:                        assert(bc_value->bits == 32 || bc_value->valuetype !=  VALUE_TYPE_VAR32);
                    461:                        EXITFUNC(("-> true\n"));
                    462:                        return true;
                    463:                }
                    464:                if (dir < 0) {
                    465:                        r = m-1;
                    466:                } else {
                    467:                        l = m+1;
                    468:                }
                    469:        } while (l <= r);
                    470:        EXITFUNC(("-> false\n"));
                    471:        return false;
                    472: }
                    473: 
                    474: 
                    475: /**
                    476:  * If given string matches a suitable symbol, set bc_value
                    477:  * fields accordingly and return true, otherwise return false.
                    478:  */
                    479: static bool BreakCond_ParseSymbol(const char *name, bc_value_t *bc_value)
                    480: {
                    481:        symtype_t symtype;
                    482:        Uint32 addr;
                    483: 
                    484:        ENTERFUNC(("BreakCond_ParseSymbol('%s')\n", name));
                    485:        if (bc_value->is_indirect) {
                    486:                /* indirect use of address makes sense only for data */
                    487:                symtype = SYMTYPE_DATA|SYMTYPE_BSS;
                    488:        } else {
                    489:                /* direct value can be compared for anything */
                    490:                symtype = SYMTYPE_ALL;
                    491:        }
                    492:        
                    493:        if (bc_value->dsp_space) {
                    494:                if (!Symbols_GetDspAddress(symtype, name, &addr)) {
                    495:                        EXITFUNC(("-> false (DSP)\n"));
                    496:                        return false;
                    497:                }
                    498:                /* all DSP memory values are 24-bits */
                    499:                bc_value->bits = 24;
                    500:                bc_value->value.number = addr;
                    501:                bc_value->valuetype = VALUE_TYPE_NUMBER;
                    502:                EXITFUNC(("-> true (DSP)\n"));
                    503:                return true;
                    504:        }
                    505:        
                    506:        if (!Symbols_GetCpuAddress(symtype, name, &addr)) {
                    507:                EXITFUNC(("-> false (CPU)\n"));
                    508:                return false;
                    509:        }
                    510:        if (addr & 1) {
                    511:                /* only bytes can be at odd addresses */
                    512:                bc_value->bits = 8;
                    513:        } else {
                    514:                bc_value->bits = 32;
                    515:        }
                    516:        bc_value->value.number = addr;
                    517:        bc_value->valuetype = VALUE_TYPE_NUMBER;
                    518:        EXITFUNC(("-> true (CPU)\n"));
                    519:        return true;
                    520: }
                    521: 
                    522: 
                    523: /**
                    524:  * Helper function to get CPU PC register value with static inline as Uint32
                    525:  */
                    526: static Uint32 GetCpuPC(void)
                    527: {
                    528:        return M68000_GetPC();
                    529: }
                    530: /**
                    531:  * Helper function to get CPU SR register value with static inline as Uint32
                    532:  */
                    533: static Uint32 GetCpuSR(void)
                    534: {
                    535:        return M68000_GetSR();
                    536: }
                    537: 
                    538: /**
                    539:  * If given string is register name (for DSP or CPU), set bc_value
                    540:  * fields accordingly and return true, otherwise return false.
                    541:  */
                    542: static bool BreakCond_ParseRegister(const char *regname, bc_value_t *bc_value)
                    543: {
                    544:        int regsize;
                    545:        ENTERFUNC(("BreakCond_ParseRegister('%s')\n", regname));
                    546:        regsize = DebugCpu_GetRegisterAddress(regname, &(bc_value->value.reg32));
                    547:        if (regsize) {
                    548:                bc_value->bits = regsize;
                    549:                /* valuetypes for registers are 16 & 32 */
                    550:                bc_value->valuetype = regsize;
                    551:                EXITFUNC(("-> true (CPU)\n"));
                    552:                return true;
                    553:        }
                    554:        /* Exact UAE core 32-bit PC & 16-bit SR register values
                    555:         * can be gotten only through AUE accessors, not directly
                    556:         */
                    557:        if (strcasecmp(regname, "PC") == 0) {
                    558:                bc_value->bits = 32;
                    559:                bc_value->value.func32 = GetCpuPC;
                    560:                bc_value->valuetype = VALUE_TYPE_FUNCTION32;
                    561:                EXITFUNC(("-> true (CPU)\n"));
                    562:                return true;
                    563:        }
                    564:        if (strcasecmp(regname, "SR") == 0) {
                    565:                bc_value->bits = 16;
                    566:                bc_value->value.func32 = GetCpuSR;
                    567:                bc_value->valuetype = VALUE_TYPE_FUNCTION32;
                    568:                EXITFUNC(("-> true (CPU)\n"));
                    569:                return true;
                    570:        }
                    571:        EXITFUNC(("-> false (CPU)\n"));
                    572:        return false;
                    573: }
                    574: 
                    575: /**
                    576:  * If given address is valid (for DSP or CPU), return true.
                    577:  */
                    578: static bool BreakCond_CheckAddress(bc_value_t *bc_value)
                    579: {
                    580:        Uint32 highbyte, bit23, addr = bc_value->value.number;
                    581: 
                    582:        ENTERFUNC(("BreakCond_CheckAddress(%x)\n", addr));
                    583: 
                    584:        bit23 = (addr >> 23) & 1;
                    585:        highbyte = (addr >> 24) & 0xff;
                    586:        if ((bit23 == 0 && highbyte != 0) ||
                    587:            (bit23 == 1 && highbyte != 0xff)) {
                    588:                fprintf(stderr, "WARNING: address 0x%x 23th bit isn't extended to bits 24-31.\n", addr);
                    589:        }
                    590:        EXITFUNC(("-> true (CPU)\n"));
                    591:        return true;
                    592: }
                    593: 
                    594: 
                    595: /**
                    596:  * Check for and parse a condition value address space/width modifier.
                    597:  * Modify pstate according to parsing (arg index and error string).
                    598:  * Return false for error and true for no or successfully parsed modifier.
                    599:  */
                    600: static bool BreakCond_ParseAddressModifier(parser_state_t *pstate, bc_value_t *bc_value)
                    601: {
                    602:        char mode;
                    603: 
                    604:        ENTERFUNC(("BreakCond_ParseAddressModifier()\n"));
                    605:        if (pstate->arg+2 > pstate->argc ||
                    606:            strcmp(pstate->argv[pstate->arg], ".") != 0) {
                    607:                if (bc_value->dsp_space && bc_value->is_indirect) {
                    608:                        pstate->error = "DSP memory addresses need to specify address space";
                    609:                        EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    610:                        return false;
                    611:                }
                    612:                EXITFUNC(("arg:%d -> true (missing)\n", pstate->arg));
                    613:                return true;
                    614:        }
                    615:        if (!bc_value->is_indirect) {
                    616:                pstate->error = "space/width modifier makes sense only for an address (register)";
                    617:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    618:                return false;
                    619:        }
                    620:        pstate->arg++;
                    621:        if (bc_value->dsp_space) {
                    622:                switch (pstate->argv[pstate->arg][0]) {
                    623:                case 'p':
                    624:                case 'x':
                    625:                case 'y':
                    626:                        mode = toupper(pstate->argv[pstate->arg][0]);
                    627:                        break;
                    628:                default:
                    629:                        pstate->error = "invalid address space modifier";
                    630:                        EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    631:                        return false;
                    632:                }
                    633:        } else {
                    634:                switch (pstate->argv[pstate->arg][0]) {
                    635:                case 'l':
                    636:                        mode = 32;
                    637:                        break;
                    638:                case 'w':
                    639:                        mode = 16;
                    640:                        break;
                    641:                case 'b':
                    642:                        mode = 8;
                    643:                        break;
                    644:                default:
                    645:                        pstate->error = "invalid address width modifier";
                    646:                        EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    647:                        return false;
                    648:                }
                    649:        }
                    650:        if (pstate->argv[pstate->arg][1]) {
                    651:                pstate->error = "invalid address space/width modifier";
                    652:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    653:                return false;
                    654:        }
                    655:        if (bc_value->dsp_space) {
                    656:                bc_value->dsp_space = mode;
                    657:                EXITFUNC(("arg:%d -> space:%c, true\n", pstate->arg, mode));
                    658:        } else {
                    659:                bc_value->bits = mode;
                    660:                EXITFUNC(("arg:%d -> width:%d, true\n", pstate->arg, mode));
                    661:        }
                    662:        pstate->arg++;
                    663:        return true;
                    664: }
                    665: 
                    666: 
                    667: /**
                    668:  * Check for and parse a condition value mask.
                    669:  * Modify pstate according to parsing (arg index and error string).
                    670:  * Return false for error and true for no or successfully parsed modifier.
                    671:  */
                    672: static bool BreakCond_ParseMaskModifier(parser_state_t *pstate, bc_value_t *bc_value)
                    673: {
                    674:        ENTERFUNC(("BreakCond_ParseMaskModifier()\n"));
                    675:        if (pstate->arg+2 > pstate->argc ||
                    676:            strcmp(pstate->argv[pstate->arg], "&") != 0) {
                    677:                EXITFUNC(("arg:%d -> true (missing)\n", pstate->arg));
                    678:                return true;
                    679:        }
                    680:        if (bc_value->valuetype == VALUE_TYPE_NUMBER &&
                    681:            !bc_value->is_indirect) {
                    682:                fprintf(stderr, "WARNING: plain numbers shouldn't need masks.\n");
                    683:        }
                    684:        pstate->arg++;
                    685:        if (!Eval_Number(pstate->argv[pstate->arg], &(bc_value->mask))) {
                    686:                pstate->error = "invalid dec/hex/bin value";
                    687:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    688:                return false;
                    689:        }
                    690:        if (bc_value->mask == 0 ||
                    691:            (bc_value->valuetype == VALUE_TYPE_NUMBER && !bc_value->is_indirect &&
                    692:             bc_value->value.number && !(bc_value->value.number & bc_value->mask))) {
                    693:                pstate->error = "mask zeroes value";
                    694:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    695:                return false;
                    696:        }
                    697:        EXITFUNC(("arg:%d -> true (%x)\n", pstate->arg, bc_value->mask));
                    698:        pstate->arg++;
                    699:        return true;
                    700: }
                    701: 
                    702: 
                    703: /**
                    704:  * Parse a breakpoint condition value.
                    705:  * Modify pstate according to parsing (arg index and error string).
                    706:  * Return true for success and false for error.
                    707:  */
                    708: static bool BreakCond_ParseValue(parser_state_t *pstate, bc_value_t *bc_value)
                    709: {
                    710:        const char *str;
                    711:        int skip = 1;
                    712: 
                    713:        ENTERFUNC(("BreakCond_Value()\n"));
                    714:        if (pstate->arg >= pstate->argc) {
                    715:                pstate->error = "value missing";
                    716:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    717:                return false;
                    718:        }
                    719:        /* parse indirection */
                    720:        if (pstate->arg+3 <= pstate->argc) {
                    721:                if (strcmp(pstate->argv[pstate->arg+0], "(") == 0 &&
                    722:                    strcmp(pstate->argv[pstate->arg+2], ")") == 0) {
                    723:                        bc_value->is_indirect = true;
                    724:                        pstate->arg++;
                    725:                        skip = 2;
                    726:                }
                    727:        }
                    728:        
                    729:        str = pstate->argv[pstate->arg];
                    730:        if (isalpha(*str) || *str == '_') {
                    731:                /* parse direct or indirect variable/register/symbol name */
                    732:                if (bc_value->is_indirect) {
                    733:                        /* a valid register or data symbol name? */
                    734:                        if (!BreakCond_ParseRegister(str, bc_value) &&
                    735:                            !BreakCond_ParseSymbol(str, bc_value)) {
                    736:                                pstate->error = "invalid register/symbol name for indirection";
                    737:                                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    738:                                return false;
                    739:                        }
                    740:                } else {
                    741:                        /* a valid Hatari variable or register name?
                    742:                         * variables cannot be used for ST memory indirection.
                    743:                         */
                    744:                        if (!BreakCond_ParseVariable(str, bc_value) &&
                    745:                            !BreakCond_ParseRegister(str, bc_value) &&
                    746:                            !BreakCond_ParseSymbol(str, bc_value)) {
                    747:                                pstate->error = "invalid variable/register/symbol name";
                    748:                                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    749:                                return false;
                    750:                        }
                    751:                }
                    752:        } else {
                    753:                /* a number */
                    754:                if (!Eval_Number(str, &(bc_value->value.number))) {
                    755:                        pstate->error = "invalid dec/hex/bin value";
                    756:                        EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    757:                        return false;
                    758:                }
                    759:        }
                    760:        /* memory address (indirect value) -> OK as address? */
                    761:        if (bc_value->is_indirect &&
                    762:            bc_value->valuetype == VALUE_TYPE_NUMBER &&
                    763:            !BreakCond_CheckAddress(bc_value)) {
                    764:                pstate->error = "invalid address";
                    765:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    766:                return false;
                    767:        }
                    768:        pstate->arg += skip;
                    769: 
                    770:        /* parse modifiers */
                    771:        if (!BreakCond_ParseAddressModifier(pstate, bc_value)) {
                    772:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    773:                return false;
                    774:        }
                    775:        if (!BreakCond_ParseMaskModifier(pstate, bc_value)) {
                    776:                EXITFUNC(("arg:%d -> false\n", pstate->arg));
                    777:                return false;
                    778:        }
                    779:        EXITFUNC(("arg:%d -> true (%s value)\n", pstate->arg,
                    780:                  (bc_value->is_indirect ? "indirect" : "direct")));
                    781:        return true;
                    782: }
                    783: 
                    784: 
                    785: /**
                    786:  * Parse a breakpoint comparison character.
                    787:  * Modify pstate according to parsing (arg index and error string).
                    788:  * Return the character or nil for an error.
                    789:  */
                    790: static char BreakCond_ParseComparison(parser_state_t *pstate)
                    791: {
                    792:        const char *comparison;
                    793:        
                    794:        ENTERFUNC(("BreakCond_ParseComparison(), arg:%d\n", pstate->arg));
                    795:        if (pstate->arg >= pstate->argc) {
                    796:                pstate->error = "breakpoint comparison missing";
                    797:                EXITFUNC(("-> false\n"));
                    798:                return false;
                    799:        }
                    800:        comparison = pstate->argv[pstate->arg];
                    801:        switch (comparison[0]) {
                    802:        case '<':
                    803:        case '>':
                    804:        case '=':
                    805:        case '!':
                    806:                break;
                    807:        default:
                    808:                pstate->error = "invalid comparison character";
                    809:                EXITFUNC(("-> false\n"));
                    810:                return false;
                    811:        }
                    812:        if (comparison[1]) {
                    813:                pstate->error = "trailing comparison character(s)";
                    814:                EXITFUNC(("-> false\n"));
                    815:                return false;
                    816:        }
                    817: 
                    818:        pstate->arg++;
                    819:        if (pstate->arg >= pstate->argc) {
                    820:                pstate->error = "right side missing";
                    821:                EXITFUNC(("-> false\n"));
                    822:                return false;
                    823:        }
                    824:        EXITFUNC(("-> '%c'\n", *comparison));
                    825:        return *comparison;
                    826: }
                    827: 
                    828: 
                    829: /**
                    830:  * If no value, use the other value, if that also missing, use default
                    831:  */
                    832: static void BreakCond_InheritDefault(Uint32 *value1, Uint32 value2, Uint32 defvalue)
                    833: {
                    834:        if (!*value1) {
                    835:                if (value2) {
                    836:                        *value1 = value2;
                    837:                } else {
                    838:                        *value1 = defvalue;
                    839:                }
                    840:        }
                    841: }
                    842: 
                    843: /**
                    844:  * Check & ensure that the masks and address sizes are sane
                    845:  * and allow comparison with the other side.
                    846:  * If yes, return true, otherwise false.
                    847:  */
                    848: static bool BreakCond_CrossCheckValues(parser_state_t *pstate,
                    849:                                       bc_value_t *bc_value1,
                    850:                                       bc_value_t *bc_value2)
                    851: {
                    852:        Uint32 mask1, mask2, defbits;
                    853:        ENTERFUNC(("BreakCond_CrossCheckValues()\n"));
                    854: 
                    855:        /* make sure there're valid bit widths and that masks have some value */
                    856:        if (bc_value1->dsp_space) {
                    857:                defbits = 24;
                    858:        } else {
                    859:                defbits = 32;
                    860:        }
                    861:        BreakCond_InheritDefault(&(bc_value1->bits), bc_value2->bits, defbits);
                    862:        BreakCond_InheritDefault(&(bc_value2->bits), bc_value1->bits, defbits);
                    863:        BreakCond_InheritDefault(&(bc_value1->mask), bc_value2->mask, BITMASK(bc_value1->bits));
                    864:        BreakCond_InheritDefault(&(bc_value2->mask), bc_value1->mask, BITMASK(bc_value2->bits));
                    865: 
                    866:        /* check first value mask & bit width */
                    867:        mask1 = BITMASK(bc_value1->bits) & bc_value1->mask;
                    868:        
                    869:        if (mask1 != bc_value1->mask) {
                    870:                fprintf(stderr, "WARNING: mask 0x%x doesn't fit into %d address/register bits.\n",
                    871:                        bc_value1->mask, bc_value1->bits);
                    872:        }
                    873:        if (!bc_value1->dsp_space &&
                    874:            bc_value1->is_indirect &&
                    875:            (bc_value1->value.number & 1) && bc_value1->bits > 8) {
                    876:                fprintf(stderr, "WARNING: odd CPU address 0x%x given without using byte (.b) width.\n",
                    877:                        bc_value1->value.number);
                    878:        }
                    879:        
                    880:        /* cross-check both values masks */
                    881:        mask2 = BITMASK(bc_value2->bits) & bc_value2->mask;
                    882: 
                    883:        if ((mask1 & mask2) == 0) {
                    884:                pstate->error = "values masks cancel each other";
                    885:                EXITFUNC(("-> false\n"));
                    886:                return false;
                    887:        }
                    888:        if (bc_value2->is_indirect ||
                    889:            bc_value2->value.number == 0 ||
                    890:            bc_value2->valuetype != VALUE_TYPE_NUMBER) {
                    891:                EXITFUNC(("-> true (no problematic direct types)\n"));
                    892:                return true;
                    893:        }
                    894:        if ((bc_value2->value.number & mask1) != bc_value2->value.number) {
                    895:                pstate->error = "number doesn't fit the other side address width&mask";
                    896:                EXITFUNC(("-> false\n"));
                    897:                return false;
                    898:        }
                    899:        EXITFUNC(("-> true\n"));
                    900:        return true;
                    901: }
                    902: 
                    903: 
                    904: /**
                    905:  * Parse given breakpoint conditions and append them to breakpoints.
                    906:  * Modify pstate according to parsing (arg index and error string).
                    907:  * Return number of added conditions or zero for failure.
                    908:  */
                    909: static int BreakCond_ParseCondition(parser_state_t *pstate, bool bForDsp,
                    910:                                    bc_condition_t *conditions, int ccount)
                    911: {
                    912:        bc_condition_t condition;
                    913: 
                    914:        ENTERFUNC(("BreakCond_ParseCondition(...)\n"));
                    915:        if (ccount >= BC_MAX_CONDITIONS_PER_BREAKPOINT) {
                    916:                pstate->error = "max number of conditions exceeded";
                    917:                EXITFUNC(("-> 0 (no conditions free)\n"));
                    918:                return 0;
                    919:        }
                    920: 
                    921:        /* setup condition */
                    922:        memset(&condition, 0, sizeof(bc_condition_t));
                    923:        if (bForDsp) {
                    924:                /* used also for checking whether value is for DSP */
                    925:                condition.lvalue.dsp_space = BC_DEFAULT_DSP_SPACE;
                    926:                condition.rvalue.dsp_space = BC_DEFAULT_DSP_SPACE;
                    927:        }
                    928: 
                    929:        /* parse condition */
                    930:        if (!BreakCond_ParseValue(pstate, &(condition.lvalue))) {
                    931:                EXITFUNC(("-> 0\n"));
                    932:                return 0;
                    933:        }
                    934:        condition.comparison = BreakCond_ParseComparison(pstate);
                    935:        if (!condition.comparison) {
                    936:                EXITFUNC(("-> 0\n"));
                    937:                return 0;
                    938:        }
                    939:        if (!BreakCond_ParseValue(pstate, &(condition.rvalue))) {
                    940:                EXITFUNC(("-> 0\n"));
                    941:                return 0;
                    942:        }
                    943:        if (!(BreakCond_CrossCheckValues(pstate, &(condition.lvalue), &(condition.rvalue)) &&
                    944:              BreakCond_CrossCheckValues(pstate, &(condition.rvalue), &(condition.lvalue)))) {
                    945:                EXITFUNC(("-> 0\n"));
                    946:                return 0;
                    947:        }
                    948:        /* new condition */
                    949:        conditions[ccount++] = condition;
                    950: 
                    951:        /* continue with next condition? */
                    952:        if (pstate->arg == pstate->argc) {
                    953:                EXITFUNC(("-> %d (conditions)\n", ccount-1));
                    954:                return ccount;
                    955:        }
                    956:        if (strcmp(pstate->argv[pstate->arg], "&&") != 0) {
                    957:                pstate->error = "trailing content for breakpoint condition";
                    958:                EXITFUNC(("-> 0\n"));
                    959:                return 0;
                    960:        }
                    961:        pstate->arg++;
                    962: 
                    963:        /* recurse conditions parsing */
                    964:        ccount = BreakCond_ParseCondition(pstate, bForDsp, conditions, ccount);
                    965:        if (!ccount) {
                    966:                EXITFUNC(("-> 0\n"));
                    967:                return 0;
                    968:        }
                    969:        EXITFUNC(("-> %d (conditions)\n", ccount-1));
                    970:        return ccount;
                    971: }
                    972: 
                    973: 
                    974: /**
                    975:  * Tokenize given breakpoint expression to given parser struct.
                    976:  * Return normalized expression string that corresponds to tokenization
                    977:  * or NULL on error. On error, pstate->error contains the error message
                    978:  * and pstate->arg index to invalid character (instead of to token like
                    979:  * after parsing).
                    980:  */
                    981: static char *BreakCond_TokenizeExpression(const char *expression,
                    982:                                          parser_state_t *pstate)
                    983: {
                    984:        char separator[] = {
                    985:                '=', '!', '<', '>',  /* comparison operators */
                    986:                '(', ')', '.', '&',  /* other separators */
                    987:                '\0'                 /* terminator */
                    988:        };
                    989:        bool is_separated, has_comparison;
                    990:        char sep, *dst, *normalized;
                    991:        const char *src;
                    992:        int i, tokens;
                    993: 
                    994:        memset(pstate, 0, sizeof(parser_state_t));
                    995: 
                    996:        /* _minimum_ safe size for normalized expression is 2x+1 */
                    997:        normalized = malloc(2*strlen(expression)+1);
                    998:        if (!normalized) {
                    999:                pstate->error = "alloc failed";
                   1000:                return NULL;
                   1001:        }
                   1002: 
                   1003:        /* check characters & normalize string */
                   1004:        dst = normalized;
                   1005:        is_separated = false;
                   1006:        has_comparison = false;
                   1007:        for (src = expression; *src; src++) {
                   1008:                /* discard white space in source */
                   1009:                if (isspace(*src)) {
                   1010:                        continue;
                   1011:                }
                   1012:                /* separate tokens with single space in destination */
                   1013:                for (i = 0; (sep = separator[i]); i++) {
                   1014:                        if (*src == sep) {
                   1015:                                if (dst > normalized) {
                   1016:                                        /* don't separate boolean AND '&&' */
                   1017:                                        if (*src == '&' && *(src-1) == '&') {
                   1018:                                                dst--;
                   1019:                                        } else {
                   1020:                                                if (!is_separated) {
                   1021:                                                        *dst++ = ' ';
                   1022:                                                }
                   1023:                                        }
                   1024:                                }
                   1025:                                *dst++ = *src;
                   1026:                                *dst++ = ' ';
                   1027:                                is_separated = true;
                   1028:                                if (i < 4) {
                   1029:                                        has_comparison = true;
                   1030:                                }
                   1031:                                break;
                   1032:                        }
                   1033:                }
                   1034:                /* validate & copy other characters */
                   1035:                if (!sep) {
                   1036:                        /* variable/register/symbol or number prefix? */
                   1037:                        if (!(isalnum(*src) || *src == '_' ||
                   1038:                              *src == '$' || *src == '#' || *src == '%')) {
                   1039:                                pstate->error = "invalid character";
                   1040:                                pstate->arg = src-expression;
                   1041:                                free(normalized);
                   1042:                                return NULL;
                   1043:                        }
                   1044:                        *dst++ = *src;
                   1045:                        is_separated = false;
                   1046:                }
                   1047:        }
                   1048:        if (is_separated) {
                   1049:                dst--;  /* no trailing space */
                   1050:        }
                   1051:        *dst = '\0';
                   1052: 
                   1053:        if (!has_comparison) {
                   1054:                pstate->error = "condition comparison missing";
                   1055:                pstate->arg = strlen(expression)/2;
                   1056:                free(normalized);
                   1057:                return NULL;
                   1058:        }
                   1059: 
                   1060:        /* allocate exact space for tokenized string array + strings */
                   1061:        tokens = 1;
                   1062:        for (dst = normalized; *dst; dst++) {
                   1063:                if (*dst == ' ') {
                   1064:                        tokens++;
                   1065:                }
                   1066:        }
                   1067:        pstate->argv = malloc(tokens*sizeof(char*)+strlen(normalized)+1);
                   1068:        if (!pstate->argv) {
                   1069:                pstate->error = "alloc failed";
                   1070:                free(normalized);
                   1071:                return NULL;
                   1072:        }
                   1073:        /* and copy/tokenize... */
                   1074:        dst = (char*)(pstate->argv) + tokens*sizeof(char*);
                   1075:        strcpy(dst, normalized);
                   1076:        pstate->argv[0] = strtok(dst, " ");
                   1077:        for (i = 1; (dst = strtok(NULL, " ")); i++) {
                   1078:                pstate->argv[i] = dst;
                   1079:        }
                   1080:        assert(i == tokens);
                   1081:        pstate->argc = tokens;
                   1082: #if DEBUG
                   1083:        fprintf(stderr, "args->");
                   1084:        for (i = 0; i < tokens; i++) {
                   1085:                fprintf(stderr, " %d: %s,", i, pstate->argv[i]);
                   1086:        }
                   1087:        fprintf(stderr, "\n");
                   1088: #endif
                   1089:        return normalized;
                   1090: }
                   1091: 
                   1092: 
                   1093: /**
                   1094:  * Helper to set corrent breakpoint list and type name to given variables.
                   1095:  * Return pointer to breakpoint list count
                   1096:  */
                   1097: static int* BreakCond_GetListInfo(bc_breakpoint_t **bp,
                   1098:                                  const char **name, bool bForDsp)
                   1099: {
                   1100:        int *bcount;
                   1101:        if (bForDsp) {
                   1102:                bcount = &BreakPointDspCount;
                   1103:                *bp = BreakPointsDsp;
                   1104:                *name = "DSP";
                   1105:        } else {
                   1106:                bcount = &BreakPointCpuCount;
                   1107:                *bp = BreakPointsCpu;
                   1108:                *name = "CPU";
                   1109:        }
                   1110:        return bcount;
                   1111: }
                   1112: 
                   1113: 
                   1114: /**
                   1115:  * Check whether any of the breakpoint conditions is such that it's
                   1116:  * intended for tracking given value changes (inequality comparison
                   1117:  * on identical values) or for retrieving the current value to break
                   1118:  * on next value change (other comparisons on identical values).
                   1119:  *
                   1120:  * On former case, mark it for tracking, on other cases, just
                   1121:  * retrieve the value.
                   1122:  */
                   1123: static void BreakCond_CheckTracking(bc_breakpoint_t *bp)
                   1124: {
                   1125:        bc_condition_t *condition;
                   1126:        bool track = false;
                   1127:        Uint32 value;
                   1128:        int i;
                   1129: 
                   1130:        condition = bp->conditions;
                   1131:        for (i = 0; i < bp->ccount; condition++, i++) {
                   1132:                
                   1133:                if (memcmp(&(condition->lvalue), &(condition->rvalue), sizeof(bc_value_t)) == 0) {
                   1134:                        /* set current value to right side */
                   1135:                        value = BreakCond_GetValue(&(condition->rvalue));
                   1136:                        condition->rvalue.value.number = value;
                   1137:                        condition->rvalue.valuetype = VALUE_TYPE_NUMBER;
                   1138:                        condition->rvalue.is_indirect = false;
                   1139:                        if (condition->comparison == '!') {
                   1140:                                /* which changes will be traced */
                   1141:                                condition->track = true;
                   1142:                                track = true;
                   1143:                        } else {
                   1144:                                fprintf(stderr, "\t%d. condition: %c $%x\n",
                   1145:                                        i+1, condition->comparison, value);
                   1146:                        }
                   1147:                }
                   1148:        }
                   1149:        if (track) {
                   1150:                fprintf(stderr, "-> Track value changes, show value(s) when matched.\n");
                   1151:        }
                   1152: }
                   1153: 
                   1154: 
                   1155: /**
                   1156:  * Parse given breakpoint expression and store it.
                   1157:  * Return true for success and false for failure.
                   1158:  */
                   1159: static bool BreakCond_Parse(const char *expression, bool bForDsp, bool trace, bool once, int skip)
                   1160: {
                   1161:        parser_state_t pstate;
                   1162:        bc_breakpoint_t *bp;
                   1163:        const char *name;
                   1164:        char *normalized;
                   1165:        int *bcount;
                   1166:        int ccount;
                   1167: 
                   1168:        bcount = BreakCond_GetListInfo(&bp, &name, bForDsp);
                   1169:        if (*bcount >= BC_MAX_CONDITION_BREAKPOINTS) {
                   1170:                fprintf(stderr, "ERROR: no free %s condition breakpoints left.\n", name);
                   1171:                return false;
                   1172:        }
                   1173:        bp += *bcount;
                   1174:        memset(bp, 0, sizeof(bc_breakpoint_t));
                   1175: 
                   1176:        normalized = BreakCond_TokenizeExpression(expression, &pstate);
                   1177:        if (normalized) {
                   1178:                bp->expression = normalized;
                   1179:                ccount = BreakCond_ParseCondition(&pstate, bForDsp,
                   1180:                                                  bp->conditions, 0);
                   1181:                bp->ccount = ccount;
                   1182:        } else {
                   1183:                ccount = 0;
                   1184:        }
                   1185:        if (pstate.argv) {
                   1186:                free(pstate.argv);
                   1187:        }
                   1188:        if (ccount > 0) {
                   1189:                (*bcount)++;
                   1190:                fprintf(stderr, "%s condition breakpoint %d with %d condition(s) added:\n\t%s\n",
                   1191:                        name, *bcount, ccount, bp->expression);
                   1192:                BreakCond_CheckTracking(bp);
                   1193:                if (skip) {
                   1194:                        fprintf(stderr, "-> Break only on every %d hit.\n", skip);
                   1195:                        bp->skip = skip;
                   1196:                }
                   1197:                if (once) {
                   1198:                        fprintf(stderr, "-> Once, delete after breaking.\n");
                   1199:                        bp->once = once;
                   1200:                }
                   1201:                if (trace) {
                   1202:                        fprintf(stderr, "-> Trace instead of breaking, but show still hits.\n");
                   1203:                        bp->trace = trace;
                   1204:                }
                   1205:        } else {
                   1206:                if (normalized) {
                   1207:                        int offset, i = 0;
                   1208:                        char *s = normalized;
                   1209:                        while (*s && i < pstate.arg) {
                   1210:                                if (*s++ == ' ') {
                   1211:                                        i++;
                   1212:                                }
                   1213:                        }
                   1214:                        offset = s - normalized;
                   1215:                        /* show tokenized string and point out
                   1216:                         * the token where the error was encountered
                   1217:                         */
                   1218:                        fprintf(stderr, "ERROR in tokenized string:\n'%s'\n%*c-%s\n",
                   1219:                                normalized, offset+2, '^', pstate.error);
                   1220:                        free(normalized);
                   1221:                        bp->expression = NULL;
                   1222:                } else {
                   1223:                        /* show original string and point out the character
                   1224:                         * where the error was encountered
                   1225:                         */
                   1226:                        fprintf(stderr, "ERROR in parsed string:\n'%s'\n%*c-%s\n",
                   1227:                                expression, pstate.arg+2, '^', pstate.error);
                   1228:                }
                   1229:        }
                   1230:        return (ccount > 0);
                   1231: }
                   1232: 
                   1233: 
                   1234: /**
                   1235:  * print single breakpoint
                   1236:  */
                   1237: static void BreakCond_Print(bc_breakpoint_t *bp)
                   1238: {
                   1239:                fprintf(stderr, "\t%s", bp->expression);
                   1240:                if (bp->skip) {
                   1241:                        fprintf(stderr, " :%d", bp->skip);
                   1242:                }
                   1243:                if (bp->once) {
                   1244:                        fprintf(stderr, " :once");
                   1245:                }
                   1246:                if (bp->trace) {
                   1247:                        fprintf(stderr, " :trace");
                   1248:                }
                   1249:                fprintf(stderr, "\n");
                   1250: }
                   1251: 
                   1252: /**
                   1253:  * List condition breakpoints
                   1254:  */
                   1255: static void BreakCond_List(bool bForDsp)
                   1256: {
                   1257:        const char *name;
                   1258:        bc_breakpoint_t *bp;
                   1259:        int i, bcount;
                   1260:        
                   1261:        bcount = *BreakCond_GetListInfo(&bp, &name, bForDsp);
                   1262:        if (!bcount) {
                   1263:                fprintf(stderr, "No conditional %s breakpoints.\n", name);
                   1264:                return;
                   1265:        }
                   1266: 
                   1267:        fprintf(stderr, "%d conditional %s breakpoints:\n", bcount, name);
                   1268:        for (i = 1; i <= bcount; bp++, i++) {
                   1269:                fprintf(stderr, "%4d:", i);
                   1270:                BreakCond_Print(bp);
                   1271:        }
                   1272: }
                   1273: 
                   1274: 
                   1275: /**
                   1276:  * Remove condition breakpoint at given position
                   1277:  */
                   1278: static bool BreakCond_Remove(int position, bool bForDsp)
                   1279: {
                   1280:        const char *name;
                   1281:        bc_breakpoint_t *bp;
                   1282:        int *bcount, offset;
                   1283:        
                   1284:        bcount = BreakCond_GetListInfo(&bp, &name, bForDsp);
                   1285:        if (!*bcount) {
                   1286:                fprintf(stderr, "No (more) breakpoints to remove.\n");
                   1287:                return false;
                   1288:        }
                   1289:        if (position < 1 || position > *bcount) {
                   1290:                fprintf(stderr, "ERROR: No such %s breakpoint.\n", name);
                   1291:                return false;
                   1292:        }
                   1293:        offset = position - 1;
                   1294:        fprintf(stderr, "Removed %s breakpoint %d:\n", name, position);
                   1295:        BreakCond_Print(&(bp[offset]));
                   1296:        free(bp[offset].expression);
                   1297:        bp[offset].expression = NULL;
                   1298: 
                   1299:        if (position < *bcount) {
                   1300:                memmove(bp+offset, bp+position,
                   1301:                        (*bcount-position)*sizeof(bc_breakpoint_t));
                   1302:        }
                   1303:        (*bcount)--;
                   1304:        return true;
                   1305: }
                   1306: 
                   1307: 
                   1308: /**
                   1309:  * Remove all condition breakpoints
                   1310:  */
                   1311: static void BreakCond_RemoveAll(bool bForDsp)
                   1312: {
                   1313:        while (BreakCond_Remove(1, bForDsp))
                   1314:                ;
                   1315: }
                   1316: 
                   1317: 
                   1318: /**
                   1319:  * Return true if given CPU breakpoint has given CPU expression.
                   1320:  * Used by the test code.
                   1321:  */
                   1322: int BreakCond_MatchCpuExpression(int position, const char *expression)
                   1323: {
                   1324:        if (position < 1 || position > BreakPointCpuCount) {
                   1325:                return false;
                   1326:        }
                   1327:        if (strcmp(expression, BreakPointsCpu[position-1].expression)) {
                   1328:                return false;
                   1329:        }
                   1330:        return true;
                   1331: }
                   1332: 
                   1333: 
                   1334: /**
                   1335:  * help
                   1336:  */
                   1337: static void BreakCond_Help(void)
                   1338: {
                   1339:        Uint32 value;
                   1340:        int i;
                   1341:        fputs(
                   1342: "  breakpoint = <condition> [ && <condition> ... ] [option]\n"
                   1343: "  condition = <value>[.mode] [& <number>] <comparison> <value>[.mode]\n"
                   1344: "\n"
                   1345: "  where:\n"
                   1346: "      value = [(] <register/symbol/variable name | number> [)]\n"
                   1347: "      number = [#|$|%]<digits>\n"
                   1348: "      comparison = '<' | '>' | '=' | '!'\n"
                   1349: "      addressing mode (width) = 'b' | 'w' | 'l'\n"
                   1350: "      addressing mode (space) = 'p' | 'x' | 'y'\n"
                   1351: "      option = : <count> | 'once' | 'trace'\n"
                   1352: "\n"
                   1353: "  If the value is in parenthesis like in '($ff820)' or '(a0)', then\n"
                   1354: "  the used value will be read from the memory address pointed by it.\n"
                   1355: "\n"
                   1356: "  If the value expressions on both sides of the comparison are exactly\n"
                   1357: "  the same, right side is replaced with its current value and for\n"
                   1358: "  inequality ('!') comparison, the breakpoint tracks all further changes\n"
                   1359: "  for the given address/register expression.  'trace' option for continuing\n"
                   1360: "  without breaking can be useful with this. 'once' option removes breakpoint\n"
                   1361: "  after hit and giving count as option will break only on every <count> hit.\n"
                   1362: "\n"
                   1363: "  M68k addresses can have byte (b), word (w) or long (l, default) width.\n"
                   1364: "  DSP addresses belong to different address spaces: P, X or Y. Note that\n"
                   1365: "  on DSP only R0-R7 registers can be used for memory addressing.\n"
                   1366: "\n"
                   1367: "  Valid Hatari variable names (and their current values) are:\n", stderr);
                   1368:        for (i = 0; i < ARRAYSIZE(hatari_vars); i++) {
                   1369:                switch (hatari_vars[i].vtype) {
                   1370:                case VALUE_TYPE_FUNCTION32:
                   1371:                        value = ((Uint32(*)(void))(hatari_vars[i].addr))();
                   1372:                        break;
                   1373:                case VALUE_TYPE_VAR32:
                   1374:                        value = *(hatari_vars[i].addr);
                   1375:                        break;
                   1376:                default:
                   1377:                        fprintf(stderr, "ERROR: variable '%s' has unsupported type '%d'\n",
                   1378:                                hatari_vars[i].name, hatari_vars[i].vtype);
                   1379:                        continue;
                   1380:                }
                   1381:                fprintf(stderr, "  - %s (%d)", hatari_vars[i].name, value);
                   1382:                if (hatari_vars[i].constraints) {
                   1383:                        fprintf(stderr, ", %s\n", hatari_vars[i].constraints);
                   1384:                } else {
                   1385:                        fprintf(stderr, "\n");
                   1386:                }
                   1387:        }
                   1388:        fputs(
                   1389: "\n"
                   1390: "  Examples:\n"
                   1391: "      pc = $64543  &&  ($ff820).w & 3 = (a0)  &&  d0 = %1100\n"
                   1392: "       ($ffff9202).w ! ($ffff9202).w :trace\n"
                   1393: "      (r0).x = 1 && (r0).y = 2\n", stderr);
                   1394: }
                   1395: 
                   1396: 
                   1397: /* ------------- breakpoint condition parsing, public API ------------ */
                   1398: 
                   1399: const char BreakCond_Description[] =
                   1400:        "[ <condition> [:<count>|once|trace] | <index> | help | all ]\n"
                   1401:        "\tSet breakpoint with given <condition>, remove breakpoint with\n"
                   1402:        "\tgiven <index> or list all breakpoints when no args are given.\n"
                   1403:        "\tAdding ':trace' to end of condition causes breakpoint match\n"
                   1404:        "\tjust to be printed, not break.  Adding ':once' will delete\n"
                   1405:        "\tthe breakpoint after it's hit.  Adding ':<count>' will break\n"
                   1406:        "\tonly on every <count> hit.  'help' outputs breakpoint condition\n"
                   1407:        "\tsyntax help, 'all' removes all breakpoints.";
                   1408: 
                   1409: /**
                   1410:  * Parse given command expression to set/remove/list
                   1411:  * conditional breakpoints for CPU or DSP.
                   1412:  * Return true for success and false for failure.
                   1413:  */
                   1414: bool BreakCond_Command(const char *args, bool bForDsp)
                   1415: {
                   1416:        bool trace, once, ret = true;
                   1417:        char *cut, *expression, *argscopy;
                   1418:        unsigned int position;
                   1419:        const char *end;
                   1420:        int skip;
                   1421:        
                   1422:        if (!args) {
                   1423:                BreakCond_List(bForDsp);
                   1424:                return true;
                   1425:        }
                   1426:        argscopy = strdup(args);
                   1427:        assert(argscopy);
                   1428:        
                   1429:        expression = Str_Trim(argscopy);
                   1430:        
                   1431:        /* subcommands */
                   1432:        if (strncmp(expression, "help", 4) == 0) {
                   1433:                BreakCond_Help();
                   1434:                goto cleanup;
                   1435:        }
                   1436:        if (strcmp(expression, "all") == 0) {
                   1437:                BreakCond_RemoveAll(bForDsp);
                   1438:                goto cleanup;
                   1439:        }
                   1440: 
                   1441: 
                   1442:        /* postfix options */
                   1443:        skip = 0;
                   1444:        once = false;
                   1445:        trace = false;
                   1446:        if ((cut = strchr(expression, ':'))) {
                   1447:                *cut = '\0';
                   1448:                cut = Str_Trim(cut+1);
                   1449:                if (strcmp(cut, "trace") == 0) {
                   1450:                        trace = true;
                   1451:                } else if (strcmp(cut, "once") == 0) {
                   1452:                        once = true;
                   1453:                } else {
                   1454:                        skip = atoi(cut);
                   1455:                        if (skip < 2) {
                   1456:                                ret = false;
                   1457:                                fprintf(stderr, "ERROR: invalid breakpoint skip count '%s'!\n", cut);
                   1458:                                goto cleanup;
                   1459:                        }
                   1460:                }
                   1461:        }
                   1462: 
                   1463:        /* index (for removal) */
                   1464:        end = expression;
                   1465:        while (isdigit(*end)) {
                   1466:                end++;
                   1467:        }
                   1468:        if (end > expression && *end == '\0' &&
                   1469:            sscanf(expression, "%u", &position) == 1) {
                   1470:                ret = BreakCond_Remove(position, bForDsp);
                   1471:        } else {
                   1472:                /* add breakpoint? */
                   1473:                ret = BreakCond_Parse(expression, bForDsp, trace, once, skip);
                   1474:        }
                   1475: cleanup:
                   1476:        free(argscopy);
                   1477:        return ret;
                   1478: }
                   1479: 
                   1480: 
                   1481: const char BreakAddr_Description[] =
                   1482:        "<address> [:<count>|once|trace]\n"
                   1483:        "\tCreate conditional breakpoint for given PC <address>.\n"
                   1484:        "\tAdding ':trace' causes breakpoint match just to be printed,\n"
                   1485:        "\tnot break. Adding ':once' will delete the breakpoint after\n"
                   1486:        "\tit's hit.  Adding ':<count>' will break only on every <count>\n"
                   1487:        "\thit.  Use conditional breakpoint commands to manage the created\n"
                   1488:        "\tbreakpoints.";
                   1489: 
                   1490: /**
                   1491:  * Set CPU & DSP program counter address breakpoints by converting
                   1492:  * them to conditional breakpoints.
                   1493:  * Return true for success and false for failure.
                   1494:  */
                   1495: bool BreakAddr_Command(char *args, bool bForDsp)
                   1496: {
                   1497:        const char *errstr, *expression = (const char *)args;
                   1498:        char *cut, command[32];
                   1499:        Uint32 addr;
                   1500:        int offset;
                   1501: 
                   1502:        /* split options */
                   1503:        if ((cut = strchr(args, ':'))) {
                   1504:                *cut = '\0';
                   1505:                cut = Str_Trim(cut+1);
                   1506:                if (strlen(cut) > 8) {
                   1507:                        cut[8] = '\0';
                   1508:                }
                   1509:        }
                   1510: 
                   1511:        /* evaluate address expression */
                   1512:        errstr = Eval_Expression(expression, &addr, &offset, bForDsp);
                   1513:        if (errstr) {
                   1514:                fprintf(stderr, "ERROR in the address expression:\n'%s'\n%*c-%s\n",
                   1515:                        expression, offset+2, '^', errstr);
                   1516:                return false;
                   1517:        }
                   1518: 
                   1519:        /* add the address breakpoint with optional option */
                   1520:        sprintf(command, "pc=$%x %c%s", addr, cut?':':' ', cut?cut:"");
                   1521:        if (!BreakCond_Command(command, bForDsp)) {
                   1522:                return false;
                   1523:        }
                   1524: 
                   1525:        /* on success, show on what instruction it was added */
                   1526:                uaecptr dummy;
                   1527:                m68k_disasm(stderr, (uaecptr)addr, &dummy, 1);
                   1528:        return true;
                   1529: }

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.