rsc | 0a61c07 | 2004-04-19 18:18:37 +0000 | [diff] [blame] | 1 | // Coverage library |
| 2 | |
| 3 | defn coverage() |
| 4 | { |
| 5 | local lmap, lp, e, pc, n, l; |
| 6 | |
| 7 | new(); |
| 8 | |
| 9 | bblock = {}; |
| 10 | |
| 11 | // find the first location in the text |
| 12 | e = (map()[0][1])\i; |
| 13 | |
| 14 | while e < etext-4 do { |
| 15 | l = follow(e); |
| 16 | if tail l != {} then { |
| 17 | if match(l[0], bblock) < 0 then |
| 18 | bblock = append bblock, l[0]; |
| 19 | if match(l[1], bblock) < 0 then |
| 20 | bblock = append bblock, l[1]; |
| 21 | } |
| 22 | e++; |
| 23 | } |
| 24 | |
| 25 | l = bblock; |
| 26 | while l != {} do { |
| 27 | *fmt(head l, bpfmt) = bpinst; |
| 28 | l = tail l; |
| 29 | } |
| 30 | |
| 31 | while 1 do { |
| 32 | cont(); |
| 33 | pc = *PC; |
| 34 | n = match(pc, bblock); |
| 35 | if n >= 0 then { |
| 36 | pc = fmt(pc, bpfmt); |
| 37 | *pc = @pc; |
| 38 | bblock = delete bblock, n; |
| 39 | } |
| 40 | else { |
| 41 | pstop(pid); |
| 42 | return {}; |
| 43 | } |
| 44 | } |
| 45 | } |
| 46 | |
| 47 | defn eblock(addr) |
| 48 | { |
| 49 | addr = addr\i; |
| 50 | |
| 51 | while addr < etext do { |
| 52 | if (tail follow(addr)) != {} then |
| 53 | return pcline(addr); |
| 54 | addr++; |
| 55 | } |
| 56 | return 0; |
| 57 | } |
| 58 | |
| 59 | defn basic(stsrc, ensrc, file) |
| 60 | { |
| 61 | local src, text; |
| 62 | |
| 63 | if stsrc >= ensrc then |
| 64 | return {}; |
| 65 | |
| 66 | print(file, ":", stsrc, ",", ensrc, "\n"); |
| 67 | src = match(file, srcfiles); |
| 68 | |
| 69 | if src >= 0 then |
| 70 | src = srctext[src]; |
| 71 | else |
| 72 | src = findsrc(file); |
| 73 | |
| 74 | if src == {} then |
| 75 | print("no source for ", file, "\n"); |
| 76 | else { |
| 77 | while stsrc <= ensrc do { |
| 78 | text = src[stsrc]; |
| 79 | if text != {} then |
| 80 | print("\t", stsrc, ":", text, "\n"); |
| 81 | stsrc = stsrc+1; |
| 82 | } |
| 83 | } |
| 84 | } |
| 85 | |
| 86 | defn analyse(fnaddr) |
| 87 | { |
| 88 | local addr, l, tfn; |
| 89 | |
| 90 | new(); |
| 91 | |
| 92 | tfn = fnbound(fnaddr); |
| 93 | |
| 94 | l = bblock; |
| 95 | while l do { |
| 96 | addr = head l; |
| 97 | |
| 98 | if addr >= tfn[0] && addr < tfn[1] then |
| 99 | basic(pcline(addr), eblock(addr), pcfile(addr)); |
| 100 | |
| 101 | l = tail l; |
| 102 | } |
| 103 | kill(pid); |
| 104 | } |
| 105 | |
| 106 | defn report() |
| 107 | { |
| 108 | local addr, l; |
| 109 | |
| 110 | new(); |
| 111 | |
| 112 | l = bblock; |
| 113 | while l do { |
| 114 | addr = head l; |
| 115 | |
| 116 | basic(pcline(addr), eblock(addr), pcfile(addr)); |
| 117 | |
| 118 | l = tail l; |
| 119 | } |
| 120 | kill(pid); |
| 121 | } |
| 122 | |
| 123 | defn stopped(pid) |
| 124 | { |
| 125 | return {}; |
| 126 | } |
| 127 | |
| 128 | print(acidfile); |