I debugged it and found that the main reason was that the alias analysis (TBAA) between the numb_move variable and MustNotAliasInsts (storeInst in the figure below) resulted in MayAlias, making it impossible to optimize.
I haven't thought of a better solution yet. Does anyone have any ideas?:)
Test case from spec2006 sjen, pls see this link: https://godbolt.org/z/hbnKz33r6
I debugged it and found that the main reason was that the alias analysis (TBAA) between the numb_move variable and MustNotAliasInsts (storeInst in the figure below) resulted in MayAlias, making it impossible to optimize.
I haven't thought of a better solution yet. Does anyone have any ideas?:)