blob: eca127fca4a033259d4c7293ba6044f593a9558b [file] [log] [blame]
H. Peter Anvin9e6747c2009-06-28 17:13:04 -07001/* ----------------------------------------------------------------------- *
2 *
3 * Copyright 1996-2009 The NASM Authors - All Rights Reserved
4 * See the file AUTHORS included with the NASM distribution for
5 * the specific copyright holders.
H. Peter Anvinea6e34d2002-04-30 20:51:32 +00006 *
H. Peter Anvin9e6747c2009-06-28 17:13:04 -07007 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following
9 * conditions are met:
10 *
11 * * Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * * Redistributions in binary form must reproduce the above
14 * copyright notice, this list of conditions and the following
15 * disclaimer in the documentation and/or other materials provided
16 * with the distribution.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
19 * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
20 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
21 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
22 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
23 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
25 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
26 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
28 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
29 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
30 * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31 *
32 * ----------------------------------------------------------------------- */
33
34/*
35 * sync.c the Netwide Disassembler synchronisation processing module
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000036 */
37
H. Peter Anvinfe501952007-10-02 21:53:51 -070038#include "compiler.h"
39
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000040#include <stdio.h>
H. Peter Anvin6768eb72002-04-30 20:52:26 +000041#include <stdlib.h>
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000042#include <limits.h>
Keith Kaniosb7a89542007-04-12 02:40:54 +000043#include <inttypes.h>
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000044
H. Peter Anvin8d024e72007-09-19 21:41:02 -070045#include "nasmlib.h"
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000046#include "sync.h"
47
H. Peter Anvin8d024e72007-09-19 21:41:02 -070048#define SYNC_MAX 4096 /* max # of sync points (initial) */
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000049
H. Peter Anvind7ed89e2002-04-30 20:52:08 +000050/*
51 * This lot manages the current set of sync points by means of a
52 * heap (priority queue) structure.
53 */
54
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000055static struct Sync {
Keith Kaniosb7a89542007-04-12 02:40:54 +000056 uint32_t pos;
57 uint32_t length;
H. Peter Anvin6768eb72002-04-30 20:52:26 +000058} *synx;
H. Peter Anvin8d024e72007-09-19 21:41:02 -070059static int max_synx, nsynx;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000060
Cyrill Gorcunov2ec4ad82009-07-11 18:37:08 +040061static inline void swap_sync(uint32_t dst, uint32_t src)
62{
63 struct Sync t = synx[dst];
64 synx[dst] = synx[src];
65 synx[src] = t;
66}
67
H. Peter Anvine2c80182005-01-15 22:15:51 +000068void init_sync(void)
H. Peter Anvineba20a72002-04-30 20:53:55 +000069{
H. Peter Anvin8d024e72007-09-19 21:41:02 -070070 max_synx = SYNC_MAX-1;
71 synx = nasm_malloc(SYNC_MAX * sizeof(*synx));
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000072 nsynx = 0;
73}
74
Keith Kaniosb7a89542007-04-12 02:40:54 +000075void add_sync(uint32_t pos, uint32_t length)
H. Peter Anvineba20a72002-04-30 20:53:55 +000076{
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000077 int i;
78
H. Peter Anvin8d024e72007-09-19 21:41:02 -070079 if (nsynx >= max_synx) {
80 max_synx = (max_synx << 1)+1;
81 synx = nasm_realloc(synx, (max_synx+1) * sizeof(*synx));
82 }
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000083
84 nsynx++;
85 synx[nsynx].pos = pos;
86 synx[nsynx].length = length;
87
88 for (i = nsynx; i > 1; i /= 2) {
Cyrill Gorcunov2ec4ad82009-07-11 18:37:08 +040089 if (synx[i / 2].pos > synx[i].pos)
90 swap_sync(i / 2, i);
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000091 }
92}
93
Keith Kaniosb7a89542007-04-12 02:40:54 +000094uint32_t next_sync(uint32_t position, uint32_t *length)
H. Peter Anvineba20a72002-04-30 20:53:55 +000095{
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000096 while (nsynx > 0 && synx[1].pos + synx[1].length <= position) {
H. Peter Anvine2c80182005-01-15 22:15:51 +000097 int i, j;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +000098
Cyrill Gorcunov2ec4ad82009-07-11 18:37:08 +040099 swap_sync(nsynx, 1);
H. Peter Anvine2c80182005-01-15 22:15:51 +0000100 nsynx--;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000101
102 i = 1;
H. Peter Anvine2c80182005-01-15 22:15:51 +0000103 while (i * 2 <= nsynx) {
104 j = i * 2;
105 if (synx[j].pos < synx[i].pos &&
106 (j + 1 > nsynx || synx[j + 1].pos > synx[j].pos)) {
Cyrill Gorcunov2ec4ad82009-07-11 18:37:08 +0400107 swap_sync(j, i);
H. Peter Anvine2c80182005-01-15 22:15:51 +0000108 i = j;
109 } else if (j + 1 <= nsynx && synx[j + 1].pos < synx[i].pos) {
Cyrill Gorcunov2ec4ad82009-07-11 18:37:08 +0400110 swap_sync(j + 1, i);
H. Peter Anvine2c80182005-01-15 22:15:51 +0000111 i = j + 1;
112 } else
113 break;
114 }
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000115 }
116
117 if (nsynx > 0) {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000118 if (length)
119 *length = synx[1].length;
120 return synx[1].pos;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000121 } else {
H. Peter Anvine2c80182005-01-15 22:15:51 +0000122 if (length)
123 *length = 0L;
H. Peter Anvin49da4682007-11-20 13:22:58 -0800124 return 0;
H. Peter Anvinea6e34d2002-04-30 20:51:32 +0000125 }
126}