Check disp range for memory in x86-64 pattern_match_p.

vnmakarov · vnmakarov · commit 761fc31cb1f9 · 2022-05-19T16:42:24.000-04:00
diff --git a/mir-gen-x86_64.c b/mir-gen-x86_64.c
@@ -1861,6 +1861,7 @@ static int pattern_match_p (gen_ctx_t gen_ctx, const struct pattern *pat, MIR_in
           && op.u.hard_reg_mem.scale != 2 && op.u.hard_reg_mem.scale != 4
           && op.u.hard_reg_mem.scale != 8)
         return FALSE;
+      if (!int32_p (op.u.hard_reg_mem.disp)) return FALSE;
       break;
     }
     case 'l':

Original file line number	Diff line number	Diff line change
`@@ -1861,6 +1861,7 @@ static int pattern_match_p (gen_ctx_t gen_ctx, const struct pattern *pat, MIR_in`
`1861`	`1861`	`&& op.u.hard_reg_mem.scale != 2 && op.u.hard_reg_mem.scale != 4`
`1862`	`1862`	`&& op.u.hard_reg_mem.scale != 8)`
`1863`	`1863`	`return FALSE;`
	`1864`	`+ if (!int32_p (op.u.hard_reg_mem.disp)) return FALSE;`
`1864`	`1865`	`break;`
`1865`	`1866`	`}`
`1866`	`1867`	`case 'l':`