danog/ir
1
0
Fork 0
mirror of https://github.com/danog/ir.git synced 2024-11-30 04:39:43 +01:00
Code Issues Packages Projects Releases Wiki Activity

Limit Alias Analyses (search above address doesn't make sense)

Browse Source
This commit is contained in:
Dmitry Stogov 2023-04-25 14:35:20 +03:00
parent 342be9c5c6
commit 7441eb2171
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
ir.c
View File

@ -1392,10 +1392,11 @@ static ir_alias ir_check_partial_aliasing(const ir_ctx *ctx, ir_ref addr1, ir_re
static ir_ref ir_find_aliasing_load(ir_ctx *ctx, ir_ref ref, ir_type type, ir_ref addr) static ir_ref ir_find_aliasing_load(ir_ctx *ctx, ir_ref ref, ir_type type, ir_ref addr)
{ {
ir_ref limit = (addr > 0) ? addr : 1;
ir_insn *insn; ir_insn *insn;
uint32_t modified_regset = 0; uint32_t modified_regset = 0;
while (1) { while (ref > limit) {
insn = &ctx->ir_base[ref]; insn = &ctx->ir_base[ref];
if (insn->op == IR_LOAD) { if (insn->op == IR_LOAD) {
if (insn->type == type && insn->op2 == addr) { if (insn->type == type && insn->op2 == addr) {
@ -1428,6 +1429,7 @@ static ir_ref ir_find_aliasing_load(ir_ctx *ctx, ir_ref ref, ir_type type, ir_re
} }
ref = insn->op1; ref = insn->op1;
} }
return IR_UNUSED;
} }
/* IR Construction API */ /* IR Construction API */
@ -2037,6 +2039,7 @@ ir_ref _ir_LOAD(ir_ctx *ctx, ir_type type, ir_ref addr)
void _ir_STORE(ir_ctx *ctx, ir_ref addr, ir_ref val) void _ir_STORE(ir_ctx *ctx, ir_ref addr, ir_ref val)
{ {
ir_ref limit = (addr > 0) ? addr : 1;
ir_ref ref = ctx->control; ir_ref ref = ctx->control;
ir_ref prev = IR_UNUSED; ir_ref prev = IR_UNUSED;
ir_insn *insn; ir_insn *insn;
@ -2045,7 +2048,7 @@ void _ir_STORE(ir_ctx *ctx, ir_ref addr, ir_ref val)
bool guarded = 0; bool guarded = 0;
IR_ASSERT(ctx->control); IR_ASSERT(ctx->control);
while (1) { while (ref > limit) {
insn = &ctx->ir_base[ref]; insn = &ctx->ir_base[ref];
if (insn->op == IR_STORE) { if (insn->op == IR_STORE) {
if (insn->op2 == addr) { if (insn->op2 == addr) {