Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

dead_code_removing #25

Merged
Alexander_KS merged 4 commits from dead_code_removing into master 2024-02-02 17:32:49 +00:00
Conversation 1 Commits 4 Files Changed 5 +192 -84
xnpster commented 2024-02-02 13:03:38 +00:00
Collaborator
Copy Link
  • добавлено удаление недостижимого кода, попутно с этим был обнаружен и исправлен баг в подстановщике (есть опасение, что он начнёт работать ощутимо дольше)
  • исправлен баг с тем, что инструкции условного перехода считались мёртвыми и из-за этого переменные, участвующие в условии, не становились живыми
  • добавлена возможность удаления операторов вызова функций и процедур

При удалении функций и процедур используются isPure и FuncParams.isArg[In|Out]. Я заметил, что isPure не учитывает оператор write, а также помечает isPure = false если в функции подключён модуль, но никак не используется, поэтому в этих случаях удаление вызовов процедур даёт результаты, отличные от ожидаемых.

- добавлено удаление недостижимого кода, попутно с этим был обнаружен и исправлен баг в подстановщике (есть опасение, что он начнёт работать ощутимо дольше) - исправлен баг с тем, что инструкции условного перехода считались мёртвыми и из-за этого переменные, участвующие в условии, не становились живыми - добавлена возможность удаления операторов вызова функций и процедур При удалении функций и процедур используются `isPure` и `FuncParams.isArg[In|Out]`. Я заметил, что `isPure` не учитывает оператор `write`, а также помечает `isPure = false` если в функции подключён модуль, но никак не используется, поэтому в этих случаях удаление вызовов процедур даёт результаты, отличные от ожидаемых.
xnpster added 4 commits 2024-02-02 13:03:38 +00:00
dead code removing: unreachable code 3b4af66720
improvements at expression substitution (wrong ifdef directives, bug with substitutions from loops fixed) b4c2f50a41
dead code removing: make jumps always useful 0a423234d2
dead code removing: handle dead call statements 42fe628ce0
xnpster commented 2024-02-02 13:04:46 +00:00
Author
Collaborator
Copy Link

Также пришлось добавить функционал для изменения ГПУ (удаления вершин из графа)

Также пришлось добавить функционал для изменения ГПУ (удаления вершин из графа)
Alexander_KS merged commit 6b02c756c8 into master 2024-02-02 17:32:49 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
abrosim0v Dudarenko EgorMayorov gr_gusev IgorBobrov oleg_nikitin xnpster Alexander_KS
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Alexander_KS/SAPFOR#25
Delete Branch "dead_code_removing"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?