wasmtime / PR #9969 [DWARF] Add logging to range building · git-wasmtime

Stream: git-wasmtime

Topic: wasmtime / PR #9969 [DWARF] Add logging to range building

Wasmtime GitHub notifications bot (Jan 09 2025 at 21:34):

SingleAccretion opened PR #9969 from SingleAccretion:DI-Var-Log to bytecodealliance:main:

This helps one gain insight into how and why variables ranges end up as they do. #9900 is an example of an investigation using this code.

Sample output:

Building ranges for values in scope: [0..186)
L#0   : %r13@[49..68)
L#2   : %rbx@[59..68) %rbx@[72..145)
L#5   : %rax@[100..105)
L#8   : %rax@[116..121)
L#11  : %rax@[132..142)
L#12  : %r9@[137..142)
L#13  : %rax@[142..157)
VMCTX : %rdi@[49..100) %r14@[100..157)
Intersecting with L#2
Intersecting with VMCTX
Built ranges:
[L#2:%rbx, VMCTX:%rdi]@[59..68)
[L#2:%rbx, VMCTX:%rdi]@[72..100)
[L#2:%rbx, VMCTX:%r14]@[100..145)

Wasmtime GitHub notifications bot (Jan 09 2025 at 21:35):

SingleAccretion submitted PR review.

Wasmtime GitHub notifications bot (Jan 09 2025 at 21:35):

SingleAccretion created PR review comment:

Preferences on doing this in this change?

Wasmtime GitHub notifications bot (Jan 09 2025 at 21:36):

SingleAccretion updated PR #9969.

Wasmtime GitHub notifications bot (Jan 09 2025 at 21:57):

SingleAccretion updated PR #9969.

Wasmtime GitHub notifications bot (Jan 10 2025 at 12:06):

SingleAccretion deleted PR review comment.

Wasmtime GitHub notifications bot (Jan 14 2025 at 19:43):

SingleAccretion updated PR #9969.

Wasmtime GitHub notifications bot (Jan 14 2025 at 19:49):

SingleAccretion updated PR #9969.

Wasmtime GitHub notifications bot (Jan 14 2025 at 20:12):

SingleAccretion has marked PR #9969 as ready for review.

Wasmtime GitHub notifications bot (Jan 14 2025 at 20:12):

SingleAccretion requested cfallin for a review on PR #9969.

Wasmtime GitHub notifications bot (Jan 14 2025 at 20:12):

SingleAccretion requested wasmtime-compiler-reviewers for a review on PR #9969.

Wasmtime GitHub notifications bot (Jan 14 2025 at 20:12):

SingleAccretion requested pchickey for a review on PR #9969.

Wasmtime GitHub notifications bot (Jan 14 2025 at 20:12):

SingleAccretion requested wasmtime-core-reviewers for a review on PR #9969.

Wasmtime GitHub notifications bot (Jan 14 2025 at 20:12):

SingleAccretion edited PR #9969:

This helps one gain insight into how and why variables ranges end up as they do. #9900 is an example of an investigation using this code.

Sample output:

Building ranges for values in scope: [0..186)
L#0   : %r13@[49..68)
L#2   : %rbx@[59..68) %rbx@[72..145)
L#5   : %rax@[100..105)
L#8   : %rax@[116..121)
L#11  : %rax@[132..142)
L#12  : %r9@[137..142)
L#13  : %rax@[142..157)
VMCTX : %rdi@[49..100) %r14@[100..157)
Intersecting with L#2
Intersecting with VMCTX
Built ranges:
[L#2:%rbx, VMCTX:%rdi]@[59..68)
[L#2:%rbx, VMCTX:%rdi]@[72..100)
[L#2:%rbx, VMCTX:%r14]@[100..145)

Wasmtime GitHub notifications bot (Jan 14 2025 at 21:01):

alexcrichton submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Jan 14 2025 at 21:24):

alexcrichton merged PR #9969.

Wasmtime GitHub notifications bot (Jan 15 2025 at 14:54):

SingleAccretion edited PR #9969:

This helps one gain insight into how and why variable ranges end up as they do. #9900 is an example of an investigation using this code.

Sample output:

Building ranges for values in scope: [0..186)
L#0   : %r13@[49..68)
L#2   : %rbx@[59..68) %rbx@[72..145)
L#5   : %rax@[100..105)
L#8   : %rax@[116..121)
L#11  : %rax@[132..142)
L#12  : %r9@[137..142)
L#13  : %rax@[142..157)
VMCTX : %rdi@[49..100) %r14@[100..157)
Intersecting with L#2
Intersecting with VMCTX
Built ranges:
[L#2:%rbx, VMCTX:%rdi]@[59..68)
[L#2:%rbx, VMCTX:%rdi]@[72..100)
[L#2:%rbx, VMCTX:%r14]@[100..145)

Last updated: Jan 24 2025 at 00:11 UTC