[type-propagation] Improve analysis correctness · Pull Request !8869 · OpenHarmony/arkcompiler_runtime_core

1. [type-propagation] Improve analysis correctness
---
### **Issue**
https://gitee.com/openharmony/arkcompiler_runtime_core/issues/ICVV0X

### **Reason**
Object type check elimination compiler pass optimizes out `isinstance` instructions, in cases where this would be an incorrect transformation and this changes visible program behavior

### **Description**
Previously, writes to UNKNOWN array indexes were treated like writes to
    any other constant index, but this is incorrect - writing to two UNKNOWN
    indexes shouldn't overwrite the written values. Also, writes to UNKNOWN
    indexes inside a loop were treated as writes to constant index 0. Also,
    writes to fields of potentially aliased values (for example, function
    parameters) could overwrite the field value in all of the aliases.
    So handle these cases correctly.

### **Tests**
```
ninja all tests
```
**All required pre-merge tests passed. Results are available in the internal CI.**

### **[Test Items](https://gitee.com/openharmony/arkcompiler_runtime_core/wikis)**

##### **1. Runtime Core UT(Release/Debug)**
- [ ] Passed
- [ ] Not involved, no verification needed

1. Host

2. Device

##### **2. Verifier Test**
- [ ] Passed
- [ ] Not involved, no verification needed

##### **3. Fuzz Compilation Test**
- [ ] Passed
- [ ] Not involved, no verification needed

##### **4. 64-bit RK Compilation**
- [ ] Passed
- [ ] Not involved, no verification needed

##### **5. Compile Mac Platform SDK**
- [ ] Passed
- [ ] Not involved, no verification needed

##### **6. Command/abc format modification self-check, please contact the email below, synchronize to the relevant field**
**Important: For modifications involving the abc2program, libpandafile and isa directories in the runtime_core repository, you must provide a compiled hap package for the helloworld project to the corresponding domain and contact the email address below.**
- [ ] Involved, already synchronized
- [ ] Not involved

**Email:** wutao185@huawei.com

##### **7. Panda_Guard version number change self-check**
- [ ] Involved, **Please contact email:** wutao185@huawei.com
- [ ] Not involved

##### **8. Compatibility Testing (for instruction generation or file format changes)**
1. Minor Version Compatibility Test 
- [ ] Version number added
- [ ] Passed
- [ ] Not applicable, no need to verify

2. Major Version Compatibility Test 
- [ ] Passed
- [ ] Not applicable, no need to verify

3. es2abc Version Compatibility Test 
**Note: If the PR involves changes to version control test cases, you must also check its impact on other branches and confirm whether updates are needed in those branches.**
- [ ] Affected — Changes impact API/bytecode version and need to be synced to other branches
- [ ] Affected — Changes impact API/bytecode version but do not need to be synced to other branches
- [ ] Not affected — Changes do not involve API/bytecode version

Type	Assign personnel	Status
Reviewer	@egavrin is designated as reviewer by CODEOWNERS line 18	In progress (0/1 )
Reviewer	godmiaozi weng-changcheng dingding ctw-ian peijiajun Ishin Pavel Vyacheslav Cherkashin	In progress (0/1 )
Tester	openharmony_ci	In progress (0/1 )

OpenHarmony/arkcompiler_runtime_coreClosed .gitee-modal { width: 500px !important; }

Search

OpenHarmony/arkcompiler_runtime_core
Closed