paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-04-06 07:47:59 +02:00
Code Issues Packages Projects Releases Wiki Activity
71,842 Commits 100 Branches 75 Tags 314 MiB
main
Commit Graph

60 Commits

Author SHA1 Message Date
Nikolay Nikolov
79b240ec81 * WebAssembly goto support: skip unused labels in resolve_labels_via_state_machine. Fixes #41093 2025-02-24 16:57:26 +02:00
Nikolay Nikolov
1a08d76ccb + WebAssembly: insert a tai_local directive also for assembler functions 2024-09-15 02:12:48 +03:00
Nikolay Nikolov
b9ca30165c * WebAssembly: refactored tai_local, so that it is a single directive, 
containing multiple locals, instead of creating multiple tai_local directives,
  each containing a single local. No functional changes.
 2024-09-15 00:49:05 +03:00
Nikolay Nikolov
7cbf18c6f3 * don't create block..end_block around WebAssembly inline asm routines 2024-07-16 16:53:55 +03:00
Nikolay Nikolov
65d4319dc2 * don't do anything in postprocess_code for WebAssembly inline asm routines 2024-07-16 16:28:32 +03:00
Nikolay Nikolov
f2d739b93a + perform WebAssembly validation, if the compiler is compiled with the 
DEBUG_WASM_VALIDATION defined
 2024-02-26 12:13:59 +02:00
Nikolay Nikolov
f65e4f2385 * fixed bug in the handling of WebAssembly goto 2024-01-16 08:44:06 +02:00
Nikolay Nikolov
3defa34470 + check whether all br instructions, generated by goto point to a pascal goto label 2023-10-22 05:23:04 +03:00
Nikolay Nikolov
31dff18a61 * refactored the taicpu_wasm_structured_instruction descendants to use a wstyp enum variable, instead of using the 'is' operator to determine the class type 2023-10-22 04:33:29 +03:00
Nikolay Nikolov
cf21365a21 * fixed and enabled the is_pascal_goto_target check 2023-10-22 04:01:37 +03:00
Nikolay Nikolov
84e2613ca8 * refactor: wasm_convert_to_flat_asmlist and wasm_convert_to_structured_asmlist now accept a single var parameter 2023-10-22 03:11:28 +03:00
Nikolay Nikolov
545978b290 * fixed the label resolution for asmlists with WebAssembly native exceptions 2023-10-22 01:29:50 +03:00
Nikolay Nikolov
5e9cf637d3 * fixed branch ordering in resolve_labels_via_state_machine 2023-10-21 23:54:40 +03:00
Nikolay Nikolov
6f942996a5 * fixes to the mangling of the entry and exit code during the state machine label resolution 2023-10-21 23:46:00 +03:00
Nikolay Nikolov
f9ecc12e5b + added label resolution via state machine 2023-10-21 23:33:09 +03:00
Nikolay Nikolov
fc9719f5f9 + add the extra allocated locals before inserting the locals list in wasm32 tcpuprocinfo.postprocess_code 2023-10-18 03:54:37 +03:00
Nikolay Nikolov
d50ef3381f * strip block instructions 2023-10-18 03:47:58 +03:00
Nikolay Nikolov
ce742b5b4d * convert loop..end_loop blocks to flat list + branch instruction 2023-10-18 03:45:02 +03:00
Nikolay Nikolov
0f07c966b6 * convert if structured instructions to br_if + labels 2023-10-18 02:31:58 +03:00
Nikolay Nikolov
8b00598cab * set the last=true property of the last tai_local in the locals list in the 
beginning of insert_localslist, instead of in the end of prepare_locals
 2023-10-18 01:52:44 +03:00
Nikolay Nikolov
5b64e5b957 * insert the wasm locals asm list after resolve_labels_complex, since it will (in the future) be able to allocate more locals, in order to resolve the branches and goto 2023-10-18 01:51:11 +03:00
Nikolay Nikolov
e81cff0408 * moved the insertion of the wasm locals asmlist to a local subroutine 2023-10-18 01:50:31 +03:00
Nikolay Nikolov
0e39e7c12d * moved the preparation of the locals asm list in tcpuprocinfo.postprocess_code to a local subroutine 2023-10-18 01:47:42 +03:00
Nikolay Nikolov
db23f54f8c * Local var templist renamed localslist. No functional changes. 2023-10-18 01:41:25 +03:00
Nikolay Nikolov
edabca1447 + added and implemented tcpuprocinfo.AllocWasmLocal 2023-10-18 00:48:45 +03:00
Nikolay Nikolov
bc7b113e09 + convert wasm structured list to flat list 2023-10-17 00:14:12 +03:00
Nikolay Nikolov
3c19adda78 * moved the code that converts branch numbers to labels in the cpupi unit and call it from resolve_labels_complex 2023-10-16 23:09:56 +03:00
Nikolay Nikolov
3892bb265e + always call resolve_labels_complex, if DEBUG_WASM_GOTO is defined. 
+ define DEBUG_WASM_GOTO in ppcwasm32.lpi (but not in the makefiles)
 2023-10-16 23:04:11 +03:00
Nikolay Nikolov
6aa1f3686e + in case of unresolved labels, call resolve_labels_complex, which will eventually implement the stackifier algorithm. Currently, it converts the asmlist to structured. 2023-10-16 22:57:56 +03:00
Nikolay Nikolov
e74797d411 * replaced several internal errors, related to the WebAssembly labels 
resolution with more meaningful error messages, in order to ease the
  debugging of the compiler. Based on patch by Pierre.
 2022-05-24 11:44:15 +03:00
Nikolay Nikolov
7f1050464a + added 'else' tracking for the if..end_if blocks 2021-10-23 11:56:25 +03:00
Nikolay Nikolov
7bef4d827d * keep track of the block stack, when resolving labels and check whether the 
blocks match (i.e. block..end_block, if..end_if, loop..end_loop, try..end_try)
 2021-10-23 11:25:44 +03:00
Nikolay Nikolov
12a2c56461 - removed thlcgwasm.incblock, .decblock and br_blocks, as branching is now done 
entirely with labels
 2021-10-22 17:42:29 +03:00
Nikolay Nikolov
6fe647ee3d * moved the default procedure CurrRaiseLabel to the end of the procedure, not 
at the exit label. This fixes problems when using units with finalization
  code that contain classes with class destructors in branchful WebAssembly
  exceptions mode.
 2021-10-22 13:54:55 +03:00
Nikolay Nikolov
470e77a572 + added sanity check when resolving labels to ensure we don't get any jumps with 
negative nesting depth
 2021-10-22 13:54:55 +03:00
Nikolay Nikolov
5a0956d805 * use WebAssembly asm labels for the raise branch instruction in branchful 
exceptions mode
 2021-10-22 13:54:55 +03:00
Nikolay Nikolov
4e3a6aa5a8 * match the label to the wider block, if it is adjacent to both the brevious 
and the next instruction
 2021-10-20 14:35:52 +03:00
Nikolay Nikolov
c96e203780 * moved the 'end_block' WebAssembly instruction before the 'exit' label right 
before the procedure finalization code. This fixes compilation errors in
  procedures with implicit finalization code (e.g. for ansistring local vars,
  etc).
 2021-10-20 14:35:52 +03:00
Nikolay Nikolov
703ae75ba6 * if a label cannot be associated with the previous block instruction, try 
matching it with the next instruction
 2021-10-20 14:35:51 +03:00
Nikolay Nikolov
9f077d4ac0 * leave unresolved branches in the asm output, when the compiler is compiled with -dEXTDEBUG 2021-10-20 14:35:51 +03:00
Nikolay Nikolov
b3a9c36cbb * fixed some warnings 2021-10-20 10:03:14 +03:00
Nikolay Nikolov
01dc62b127 + introduced the use of asm labels for WebAssembly. Resolve them in 
tcpuprocinfo.postprocess_code. Use them when generating code for the
  'continue' label jumps.
 2021-10-20 09:39:44 +03:00
Nikolay Nikolov
fab4ca449b * twasmexceptionstatehandler_nativeexceptions.handle_nested_exception and 
twasmexceptionstatehandler_bfexceptions.handle_nested_exception should not be
  called, so now they cause an internal error
 2021-10-05 07:54:57 +03:00
Nikolay Nikolov
5124ab2521 * cloned the WebAssembly native exceptions code generation and rtl support into 
the branchful exceptions (which will be modified later, but we're using this
  as their starting point, because we can get a snapshot built, without compiler
  internal errors)
 2021-10-05 00:37:20 +03:00
Nikolay Nikolov
6e6c946e0f * the fpc_Catches result test code was inverted 2021-09-29 00:17:17 +03:00
Nikolay Nikolov
6e7f0744ca + implemented the 'on' node for WebAssembly in native exceptions mode 2021-09-28 23:55:10 +03:00
Nikolay Nikolov
ec0bdfbdd9 * fill exceptstate variables and update flowcontrol in 
twasmexceptionstatehandler_nativeexceptions.new_exception
- removed the TODO comment, generated in the asm output by
  twasmexceptionstatehandler_nativeexceptions.free_exception
 2021-09-28 00:19:13 +03:00
Nikolay Nikolov
45e53ddc16 * cloned the WASM no exceptions mode code generation for try..finally blocks 
for the native WASM exceptions mode. Eventually, it is going to be changed
  to support exceptions fully, and it's going to evolve separately, so this
  code is only used as a starting point
 2021-09-17 21:01:00 +03:00
Nikolay Nikolov
848098c63b * improvements to the handling of try..finally in WebAssembly no exceptions 
mode - even though exceptions aren't supported in this mode, the finally
  section is now executed in case of exit, break or continue
 2021-09-17 15:54:03 +03:00
Nikolay Nikolov
2bcc8d65ff + introduced twasmexceptionstatehandler_nativeexceptions and 
twasmexceptionstatehandler_jsexceptions
 2021-09-17 13:12:34 +03:00