]>
Commit | Line | Data |
---|---|---|
9ecefc84 RH |
1 | /* |
2 | * TCG Backend Data: load-store optimization only. | |
3 | * | |
4 | * Permission is hereby granted, free of charge, to any person obtaining a copy | |
5 | * of this software and associated documentation files (the "Software"), to deal | |
6 | * in the Software without restriction, including without limitation the rights | |
7 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
8 | * copies of the Software, and to permit persons to whom the Software is | |
9 | * furnished to do so, subject to the following conditions: | |
10 | * | |
11 | * The above copyright notice and this permission notice shall be included in | |
12 | * all copies or substantial portions of the Software. | |
13 | * | |
14 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | |
15 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | |
16 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL | |
17 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | |
18 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | |
19 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN | |
20 | * THE SOFTWARE. | |
21 | */ | |
22 | ||
9ecefc84 | 23 | typedef struct TCGLabelQemuLdst { |
9c53889b | 24 | bool is_ld; /* qemu_ld: true, qemu_st: false */ |
3972ef6f | 25 | TCGMemOpIdx oi; |
9c53889b | 26 | TCGType type; /* result type of a load */ |
9ecefc84 RH |
27 | TCGReg addrlo_reg; /* reg index for low word of guest virtual addr */ |
28 | TCGReg addrhi_reg; /* reg index for high word of guest virtual addr */ | |
29 | TCGReg datalo_reg; /* reg index for low word to be loaded or stored */ | |
30 | TCGReg datahi_reg; /* reg index for high word to be loaded or stored */ | |
1813e175 RH |
31 | tcg_insn_unit *raddr; /* gen code addr of the next IR of qemu_ld/st IR */ |
32 | tcg_insn_unit *label_ptr[2]; /* label pointers to be updated */ | |
6001f772 | 33 | QSIMPLEQ_ENTRY(TCGLabelQemuLdst) next; |
9ecefc84 RH |
34 | } TCGLabelQemuLdst; |
35 | ||
9ecefc84 RH |
36 | |
37 | /* | |
38 | * Generate TB finalization at the end of block | |
39 | */ | |
40 | ||
41 | static void tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l); | |
42 | static void tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l); | |
43 | ||
659ef5cb | 44 | static bool tcg_out_ldst_finalize(TCGContext *s) |
9ecefc84 | 45 | { |
686461c9 | 46 | TCGLabelQemuLdst *lb; |
9ecefc84 RH |
47 | |
48 | /* qemu_ld/st slow paths */ | |
6001f772 | 49 | QSIMPLEQ_FOREACH(lb, &s->ldst_labels, next) { |
686461c9 RH |
50 | if (lb->is_ld) { |
51 | tcg_out_qemu_ld_slow_path(s, lb); | |
9ecefc84 | 52 | } else { |
686461c9 | 53 | tcg_out_qemu_st_slow_path(s, lb); |
9ecefc84 | 54 | } |
23dceda6 RH |
55 | |
56 | /* Test for (pending) buffer overflow. The assumption is that any | |
57 | one operation beginning below the high water mark cannot overrun | |
58 | the buffer completely. Thus we can test for overflow after | |
59 | generating code without having to check during generation. */ | |
60 | if (unlikely((void *)s->code_ptr > s->code_gen_highwater)) { | |
61 | return false; | |
62 | } | |
9ecefc84 | 63 | } |
23dceda6 | 64 | return true; |
9ecefc84 RH |
65 | } |
66 | ||
67 | /* | |
68 | * Allocate a new TCGLabelQemuLdst entry. | |
69 | */ | |
70 | ||
71 | static inline TCGLabelQemuLdst *new_ldst_label(TCGContext *s) | |
72 | { | |
686461c9 | 73 | TCGLabelQemuLdst *l = tcg_malloc(sizeof(*l)); |
9ecefc84 | 74 | |
6001f772 LV |
75 | QSIMPLEQ_INSERT_TAIL(&s->ldst_labels, l, next); |
76 | ||
686461c9 | 77 | return l; |
9ecefc84 | 78 | } |