H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 1 | /* sync.c the Netwide Disassembler synchronisation processing module |
| 2 | * |
| 3 | * The Netwide Assembler is copyright (C) 1996 Simon Tatham and |
| 4 | * Julian Hall. All rights reserved. The software is |
| 5 | * redistributable under the licence given in the file "Licence" |
| 6 | * distributed in the NASM archive. |
| 7 | */ |
| 8 | |
| 9 | #include <stdio.h> |
H. Peter Anvin | 6768eb7 | 2002-04-30 20:52:26 +0000 | [diff] [blame] | 10 | #include <stdlib.h> |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 11 | #include <limits.h> |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 12 | #include <inttypes.h> |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 13 | |
H. Peter Anvin | 8d024e7 | 2007-09-19 21:41:02 -0700 | [diff] [blame] | 14 | #include "nasmlib.h" |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 15 | #include "sync.h" |
| 16 | |
H. Peter Anvin | 8d024e7 | 2007-09-19 21:41:02 -0700 | [diff] [blame] | 17 | #define SYNC_MAX 4096 /* max # of sync points (initial) */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 18 | |
H. Peter Anvin | d7ed89e | 2002-04-30 20:52:08 +0000 | [diff] [blame] | 19 | /* |
| 20 | * This lot manages the current set of sync points by means of a |
| 21 | * heap (priority queue) structure. |
| 22 | */ |
| 23 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 24 | static struct Sync { |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 25 | uint32_t pos; |
| 26 | uint32_t length; |
H. Peter Anvin | 6768eb7 | 2002-04-30 20:52:26 +0000 | [diff] [blame] | 27 | } *synx; |
H. Peter Anvin | 8d024e7 | 2007-09-19 21:41:02 -0700 | [diff] [blame] | 28 | static int max_synx, nsynx; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 29 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 30 | void init_sync(void) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 31 | { |
H. Peter Anvin | 8d024e7 | 2007-09-19 21:41:02 -0700 | [diff] [blame] | 32 | max_synx = SYNC_MAX-1; |
| 33 | synx = nasm_malloc(SYNC_MAX * sizeof(*synx)); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 34 | nsynx = 0; |
| 35 | } |
| 36 | |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 37 | void add_sync(uint32_t pos, uint32_t length) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 38 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 39 | int i; |
| 40 | |
H. Peter Anvin | 8d024e7 | 2007-09-19 21:41:02 -0700 | [diff] [blame] | 41 | if (nsynx >= max_synx) { |
| 42 | max_synx = (max_synx << 1)+1; |
| 43 | synx = nasm_realloc(synx, (max_synx+1) * sizeof(*synx)); |
| 44 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 45 | |
| 46 | nsynx++; |
| 47 | synx[nsynx].pos = pos; |
| 48 | synx[nsynx].length = length; |
| 49 | |
| 50 | for (i = nsynx; i > 1; i /= 2) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 51 | if (synx[i / 2].pos > synx[i].pos) { |
| 52 | struct Sync t; |
| 53 | t = synx[i / 2]; /* structure copy */ |
| 54 | synx[i / 2] = synx[i]; /* structure copy again */ |
| 55 | synx[i] = t; /* another structure copy */ |
| 56 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 57 | } |
| 58 | } |
| 59 | |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 60 | uint32_t next_sync(uint32_t position, uint32_t *length) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 61 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 62 | while (nsynx > 0 && synx[1].pos + synx[1].length <= position) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 63 | int i, j; |
| 64 | struct Sync t; |
| 65 | t = synx[nsynx]; /* structure copy */ |
| 66 | synx[nsynx] = synx[1]; /* structure copy */ |
| 67 | synx[1] = t; /* ditto */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 68 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 69 | nsynx--; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 70 | |
| 71 | i = 1; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 72 | while (i * 2 <= nsynx) { |
| 73 | j = i * 2; |
| 74 | if (synx[j].pos < synx[i].pos && |
| 75 | (j + 1 > nsynx || synx[j + 1].pos > synx[j].pos)) { |
| 76 | t = synx[j]; /* structure copy */ |
| 77 | synx[j] = synx[i]; /* lots of these... */ |
| 78 | synx[i] = t; /* ...aren't there? */ |
| 79 | i = j; |
| 80 | } else if (j + 1 <= nsynx && synx[j + 1].pos < synx[i].pos) { |
| 81 | t = synx[j + 1]; /* structure copy */ |
| 82 | synx[j + 1] = synx[i]; /* structure <yawn> copy */ |
| 83 | synx[i] = t; /* structure copy <zzzz....> */ |
| 84 | i = j + 1; |
| 85 | } else |
| 86 | break; |
| 87 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | if (nsynx > 0) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 91 | if (length) |
| 92 | *length = synx[1].length; |
| 93 | return synx[1].pos; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 94 | } else { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 95 | if (length) |
| 96 | *length = 0L; |
H. Peter Anvin | fc91888 | 2007-08-20 20:10:04 +0000 | [diff] [blame] | 97 | return UINT32_MAX; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 98 | } |
| 99 | } |