冗余iread消除

epre后存在冗余iread。epre 后 iread A 与 iread B存在冗余
```
LOC 49 440
  dassign  **%ptr_427_3**  0 (regread ptr  **%1** ) <=== %ptr_427_3 与 %1 值相同
  regassign ptr %2 ( **iread ptr <* <$bitmap_element_def>> 2 (regread ptr %1)** ) <=== iread A
LOC 49 441
  brtrue @shortCircuit_label_10506 (ne u32 ptr (regread ptr %2, constval ptr 0))
@@m23   regassign ptr %4 ( **iread ptr <* <$bitmap_element_def>> 2 (dread ptr %ptr_427_3)** )  <=== iread B
  goto @@5
```

```
@@11 LOC 49 571
  dassign  **%element_556_3**  0 (regread ptr  **%7** )  <=== %7 与 %element_556_3 值相同
LOC 49 570
  brfalse @@19 (ne u32 ptr (
     **iread ptr <* <$bitmap_element_def>> 1 (regread ptr %7)** , <===iread A
    constval ptr 0))
@@m23 @shortCircuit_label_10520   brtrue @@m22 (lt u32 u32 (
    iread u32 <* <$bitmap_element_def>> 3 (dread ptr %element_556_3),
    regread u32 %3))
@@10   goto @@19
...
@@m22 LOC 49 571
  dassign %element_556_3 0 ( **iread ptr <* <$bitmap_element_def>> 1 (dread ptr %element_556_3)** ) <===iread B, 与前面iread A值相同，是全冗余
LOC 49 570
  brtrue @shortCircuit_label_10520 (ne u32 ptr (
    iread ptr <* <$bitmap_element_def>> 1 (dread ptr %element_556_3),
    constval ptr 0))
  goto @@19
```

GVP 方舟编译器/OpenArkCompiler

内容风险标识

评论 (1)

GVP方舟编译器/OpenArkCompiler

内容风险标识