aviatesk / JET.jl

An experimental code analyzer for Julia. No need for additional type annotations.
https://aviatesk.github.io/JET.jl/dev/
MIT License
708 stars 29 forks source link

JETAnalyzer: enable the `assume_bindings_static` option #603

Closed aviatesk closed 5 months ago

aviatesk commented 5 months ago

To finish the analysis a bit earlier when there are undefined bindings.

codecov[bot] commented 5 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (6bac54e) 91.55% compared to head (f54a24e) 89.51%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #603 +/- ## ========================================== - Coverage 91.55% 89.51% -2.05% ========================================== Files 10 10 Lines 3009 3003 -6 ========================================== - Hits 2755 2688 -67 - Misses 254 315 +61 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

github-actions[bot] commented 5 months ago
JET Benchmark Result # Judge result # Benchmark Report for */home/runner/work/JET.jl/JET.jl* ## Job Properties * Time of benchmarks: - Target: 30 Jan 2024 - 07:07 - Baseline: 30 Jan 2024 - 07:18 * Package commits: - Target: aa1900 - Baseline: 6bac54 * Julia commits: - Target: 8cb585 - Baseline: 8cb585 * Julia command flags: - Target: None - Baseline: None * Environment variables: - Target: None - Baseline: None ## Results A ratio greater than `1.0` denotes a possible regression (marked with :x:), while a ratio less than `1.0` denotes a possible improvement (marked with :white_check_mark:). Only significant results - results that indicate possible regressions or improvements - are shown below (thus, an empty table means that all benchmark results remained invariant between builds). | ID | time ratio | memory ratio | |-------------------------------------------------------------|------------------------------|------------------------------| | `["First-Time-To-JET", "package loading"]` | 1.12 (5%) :x: | 1.00 (1%) | | `["JETAnalyzer{BasicPass} top-level", "demo"]` | 0.98 (5%) | 0.98 (1%) :white_check_mark: | | `["JETAnalyzer{SoundPass}", "identity(nothing)"]` | 1.23 (5%) :x: | 1.00 (1%) | | `["OptAnalyzer", "identity(nothing)"]` | 0.86 (5%) :white_check_mark: | 1.00 (1%) | | `["show(::IO, ::JETCallResult)", "report_opt"]` | 0.93 (5%) :white_check_mark: | 1.00 (1%) | ## Benchmark Group List Here's a list of all the benchmark groups executed by this job: - `["First-Time-To-JET"]` - `["JETAnalyzer{BasicPass} top-level"]` - `["JETAnalyzer{BasicPass}"]` - `["JETAnalyzer{SoundPass}"]` - `["OptAnalyzer"]` - `["show(::IO, ::JETCallResult)"]` ## Julia versioninfo ### Target ``` Julia Version 1.11.0-DEV.1410 Commit 8cb585404ea (2024-01-30 02:42 UTC) Build Info: Official https://julialang.org/ release Platform Info: OS: Linux (x86_64-linux-gnu) Ubuntu 22.04.3 LTS uname: Linux 6.2.0-1018-azure #18~22.04.1-Ubuntu SMP Tue Nov 21 19:25:02 UTC 2023 x86_64 x86_64 CPU: AMD EPYC 7763 64-Core Processor: speed user nice sys idle irq #1 2786 MHz 2008 s 0 s 163 s 7532 s 0 s #2 2445 MHz 2387 s 0 s 173 s 7154 s 0 s #3 3270 MHz 2858 s 0 s 171 s 6679 s 0 s #4 3242 MHz 2539 s 0 s 176 s 6981 s 0 s Memory: 15.60690689086914 GB (11413.203125 MB free) Uptime: 974.99 sec Load Avg: 1.0 1.05 0.75 WORD_SIZE: 64 LLVM: libLLVM-16.0.6 (ORCJIT, znver3) Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores) ``` ### Baseline ``` Julia Version 1.11.0-DEV.1410 Commit 8cb585404ea (2024-01-30 02:42 UTC) Build Info: Official https://julialang.org/ release Platform Info: OS: Linux (x86_64-linux-gnu) Ubuntu 22.04.3 LTS uname: Linux 6.2.0-1018-azure #18~22.04.1-Ubuntu SMP Tue Nov 21 19:25:02 UTC 2023 x86_64 x86_64 CPU: AMD EPYC 7763 64-Core Processor: speed user nice sys idle irq #1 2445 MHz 4311 s 0 s 257 s 11997 s 0 s #2 3242 MHz 4086 s 0 s 292 s 12196 s 0 s #3 3184 MHz 4928 s 0 s 276 s 11367 s 0 s #4 2611 MHz 4313 s 0 s 279 s 11966 s 0 s Memory: 15.60690689086914 GB (11555.9140625 MB free) Uptime: 1662.41 sec Load Avg: 1.09 1.11 1.0 WORD_SIZE: 64 LLVM: libLLVM-16.0.6 (ORCJIT, znver3) Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores) ``` --- # Target result # Benchmark Report for */home/runner/work/JET.jl/JET.jl* ## Job Properties * Time of benchmark: 30 Jan 2024 - 7:7 * Package commit: aa1900 * Julia commit: 8cb585 * Julia command flags: None * Environment variables: None ## Results Below is a table of this job's results, obtained by running the benchmarks. The values listed in the `ID` column have the structure `[parent_group, child_group, ..., key]`, and can be used to index into the BaseBenchmarks suite to retrieve the corresponding benchmarks. The percentages accompanying time and memory values in the below table are noise tolerances. The "true" time/memory value for a given benchmark is expected to fall within this percentage of the reported value. An empty cell means that the value was zero. | ID | time | GC time | memory | allocations | |-------------------------------------------------------------|----------------:|-----------:|----------------:|------------:| | `["First-Time-To-JET", "package loading"]` | 86.612 s (5%) | | 199.84 KiB (1%) | 2646 | | `["First-Time-To-JET", "rand(Bool)"]` | 560.292 ms (5%) | | 65.26 KiB (1%) | 24 | | `["First-Time-To-JET", "sum(\"julia\")"]` | 190.758 ms (5%) | | 65.26 KiB (1%) | 24 | | `["JETAnalyzer{BasicPass} top-level", "demo"]` | 31.985 ms (5%) | | 1.98 MiB (1%) | 42552 | | `["JETAnalyzer{BasicPass} top-level", "self analysis"]` | 6.885 s (5%) | 351.653 ms | 1.26 GiB (1%) | 27802058 | | `["JETAnalyzer{BasicPass} top-level", "simple"]` | 8.019 ms (5%) | | 1.99 MiB (1%) | 46138 | | `["JETAnalyzer{BasicPass}", "identity(nothing)"]` | 81.351 μs (5%) | | 7.58 KiB (1%) | 146 | | `["JETAnalyzer{BasicPass}", "println(QuoteNode(nothing))"]` | 108.260 ms (5%) | | 37.48 MiB (1%) | 881414 | | `["JETAnalyzer{BasicPass}", "rand(Bool)"]` | 48.467 ms (5%) | | 17.30 MiB (1%) | 404152 | | `["JETAnalyzer{BasicPass}", "sum(\"julia\") (cached)"]` | 128.458 μs (5%) | | 15.08 KiB (1%) | 258 | | `["JETAnalyzer{BasicPass}", "sum(\"julia\")"]` | 5.408 ms (5%) | | 1.86 MiB (1%) | 43309 | | `["JETAnalyzer{SoundPass}", "identity(nothing)"]` | 82.454 μs (5%) | | 7.58 KiB (1%) | 146 | | `["JETAnalyzer{SoundPass}", "println(QuoteNode(nothing))"]` | 128.526 ms (5%) | | 51.28 MiB (1%) | 980003 | | `["JETAnalyzer{SoundPass}", "rand(Bool)"]` | 53.512 ms (5%) | | 19.40 MiB (1%) | 426578 | | `["JETAnalyzer{SoundPass}", "sum(\"julia\") (cached)"]` | 132.687 μs (5%) | | 17.70 KiB (1%) | 291 | | `["JETAnalyzer{SoundPass}", "sum(\"julia\")"]` | 5.564 ms (5%) | | 1.92 MiB (1%) | 44463 | | `["OptAnalyzer", "identity(nothing)"]` | 63.016 μs (5%) | | 6.25 KiB (1%) | 136 | | `["OptAnalyzer", "println(QuoteNode(nothing))"]` | 416.859 ms (5%) | | 259.19 MiB (1%) | 5251579 | | `["OptAnalyzer", "rand(Bool)"]` | 28.441 ms (5%) | | 18.13 MiB (1%) | 381945 | | `["OptAnalyzer", "sum(\"julia\") (cached)"]` | 207.725 μs (5%) | | 63.14 KiB (1%) | 1108 | | `["OptAnalyzer", "sum(\"julia\")"]` | 11.900 ms (5%) | | 8.05 MiB (1%) | 166690 | | `["show(::IO, ::JETCallResult)", "report_call"]` | 3.683 ms (5%) | | 1.14 MiB (1%) | 9482 | | `["show(::IO, ::JETCallResult)", "report_opt"]` | 12.994 μs (5%) | | 728 bytes (1%) | 19 | ## Benchmark Group List Here's a list of all the benchmark groups executed by this job: - `["First-Time-To-JET"]` - `["JETAnalyzer{BasicPass} top-level"]` - `["JETAnalyzer{BasicPass}"]` - `["JETAnalyzer{SoundPass}"]` - `["OptAnalyzer"]` - `["show(::IO, ::JETCallResult)"]` ## Julia versioninfo ``` Julia Version 1.11.0-DEV.1410 Commit 8cb585404ea (2024-01-30 02:42 UTC) Build Info: Official https://julialang.org/ release Platform Info: OS: Linux (x86_64-linux-gnu) Ubuntu 22.04.3 LTS uname: Linux 6.2.0-1018-azure #18~22.04.1-Ubuntu SMP Tue Nov 21 19:25:02 UTC 2023 x86_64 x86_64 CPU: AMD EPYC 7763 64-Core Processor: speed user nice sys idle irq #1 2786 MHz 2008 s 0 s 163 s 7532 s 0 s #2 2445 MHz 2387 s 0 s 173 s 7154 s 0 s #3 3270 MHz 2858 s 0 s 171 s 6679 s 0 s #4 3242 MHz 2539 s 0 s 176 s 6981 s 0 s Memory: 15.60690689086914 GB (11413.203125 MB free) Uptime: 974.99 sec Load Avg: 1.0 1.05 0.75 WORD_SIZE: 64 LLVM: libLLVM-16.0.6 (ORCJIT, znver3) Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores) ``` --- # Baseline result # Benchmark Report for */home/runner/work/JET.jl/JET.jl* ## Job Properties * Time of benchmark: 30 Jan 2024 - 7:18 * Package commit: 6bac54 * Julia commit: 8cb585 * Julia command flags: None * Environment variables: None ## Results Below is a table of this job's results, obtained by running the benchmarks. The values listed in the `ID` column have the structure `[parent_group, child_group, ..., key]`, and can be used to index into the BaseBenchmarks suite to retrieve the corresponding benchmarks. The percentages accompanying time and memory values in the below table are noise tolerances. The "true" time/memory value for a given benchmark is expected to fall within this percentage of the reported value. An empty cell means that the value was zero. | ID | time | GC time | memory | allocations | |-------------------------------------------------------------|----------------:|-----------:|----------------:|------------:| | `["First-Time-To-JET", "package loading"]` | 77.645 s (5%) | | 199.84 KiB (1%) | 2646 | | `["First-Time-To-JET", "rand(Bool)"]` | 551.842 ms (5%) | | 65.26 KiB (1%) | 24 | | `["First-Time-To-JET", "sum(\"julia\")"]` | 188.692 ms (5%) | | 65.26 KiB (1%) | 24 | | `["JETAnalyzer{BasicPass} top-level", "demo"]` | 32.629 ms (5%) | | 2.02 MiB (1%) | 43668 | | `["JETAnalyzer{BasicPass} top-level", "self analysis"]` | 6.692 s (5%) | 325.093 ms | 1.26 GiB (1%) | 27816164 | | `["JETAnalyzer{BasicPass} top-level", "simple"]` | 8.120 ms (5%) | | 1.99 MiB (1%) | 46137 | | `["JETAnalyzer{BasicPass}", "identity(nothing)"]` | 83.756 μs (5%) | | 7.55 KiB (1%) | 145 | | `["JETAnalyzer{BasicPass}", "println(QuoteNode(nothing))"]` | 109.286 ms (5%) | | 37.48 MiB (1%) | 881407 | | `["JETAnalyzer{BasicPass}", "rand(Bool)"]` | 49.610 ms (5%) | | 17.30 MiB (1%) | 404145 | | `["JETAnalyzer{BasicPass}", "sum(\"julia\") (cached)"]` | 127.217 μs (5%) | | 15.05 KiB (1%) | 257 | | `["JETAnalyzer{BasicPass}", "sum(\"julia\")"]` | 5.558 ms (5%) | | 1.86 MiB (1%) | 43308 | | `["JETAnalyzer{SoundPass}", "identity(nothing)"]` | 67.155 μs (5%) | | 7.55 KiB (1%) | 145 | | `["JETAnalyzer{SoundPass}", "println(QuoteNode(nothing))"]` | 128.676 ms (5%) | | 51.47 MiB (1%) | 980028 | | `["JETAnalyzer{SoundPass}", "rand(Bool)"]` | 54.134 ms (5%) | | 19.42 MiB (1%) | 426583 | | `["JETAnalyzer{SoundPass}", "sum(\"julia\") (cached)"]` | 126.825 μs (5%) | | 17.67 KiB (1%) | 290 | | `["JETAnalyzer{SoundPass}", "sum(\"julia\")"]` | 5.539 ms (5%) | | 1.92 MiB (1%) | 44462 | | `["OptAnalyzer", "identity(nothing)"]` | 73.376 μs (5%) | | 6.25 KiB (1%) | 136 | | `["OptAnalyzer", "println(QuoteNode(nothing))"]` | 416.799 ms (5%) | | 259.19 MiB (1%) | 5251579 | | `["OptAnalyzer", "rand(Bool)"]` | 28.391 ms (5%) | | 18.13 MiB (1%) | 381939 | | `["OptAnalyzer", "sum(\"julia\") (cached)"]` | 205.923 μs (5%) | | 63.14 KiB (1%) | 1108 | | `["OptAnalyzer", "sum(\"julia\")"]` | 12.117 ms (5%) | | 8.07 MiB (1%) | 166692 | | `["show(::IO, ::JETCallResult)", "report_call"]` | 3.635 ms (5%) | | 1.14 MiB (1%) | 9482 | | `["show(::IO, ::JETCallResult)", "report_opt"]` | 13.976 μs (5%) | | 728 bytes (1%) | 19 | ## Benchmark Group List Here's a list of all the benchmark groups executed by this job: - `["First-Time-To-JET"]` - `["JETAnalyzer{BasicPass} top-level"]` - `["JETAnalyzer{BasicPass}"]` - `["JETAnalyzer{SoundPass}"]` - `["OptAnalyzer"]` - `["show(::IO, ::JETCallResult)"]` ## Julia versioninfo ``` Julia Version 1.11.0-DEV.1410 Commit 8cb585404ea (2024-01-30 02:42 UTC) Build Info: Official https://julialang.org/ release Platform Info: OS: Linux (x86_64-linux-gnu) Ubuntu 22.04.3 LTS uname: Linux 6.2.0-1018-azure #18~22.04.1-Ubuntu SMP Tue Nov 21 19:25:02 UTC 2023 x86_64 x86_64 CPU: AMD EPYC 7763 64-Core Processor: speed user nice sys idle irq #1 2445 MHz 4311 s 0 s 257 s 11997 s 0 s #2 3242 MHz 4086 s 0 s 292 s 12196 s 0 s #3 3184 MHz 4928 s 0 s 276 s 11367 s 0 s #4 2611 MHz 4313 s 0 s 279 s 11966 s 0 s Memory: 15.60690689086914 GB (11555.9140625 MB free) Uptime: 1662.41 sec Load Avg: 1.09 1.11 1.0 WORD_SIZE: 64 LLVM: libLLVM-16.0.6 (ORCJIT, znver3) Threads: 1 default, 0 interactive, 1 GC (on 4 virtual cores) ``` --- # Runtime information | Runtime Info | | |:--|:--| | BLAS #threads | 2 | | `BLAS.vendor()` | `lbt` | | `Sys.CPU_THREADS` | 4 | `lscpu` output: Architecture: x86_64 CPU op-mode(s): 32-bit, 64-bit Address sizes: 48 bits physical, 48 bits virtual Byte Order: Little Endian CPU(s): 4 On-line CPU(s) list: 0-3 Vendor ID: AuthenticAMD Model name: AMD EPYC 7763 64-Core Processor CPU family: 25 Model: 1 Thread(s) per core: 2 Core(s) per socket: 2 Socket(s): 1 Stepping: 1 BogoMIPS: 4890.85 Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl tsc_reliable nonstop_tsc cpuid extd_apicid aperfmperf pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm cmp_legacy svm cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw topoext invpcid_single vmmcall fsgsbase bmi1 avx2 smep bmi2 erms invpcid rdseed adx smap clflushopt clwb sha_ni xsaveopt xsavec xgetbv1 xsaves clzero xsaveerptr rdpru arat npt nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold v_vmsave_vmload umip vaes vpclmulqdq rdpid fsrm Virtualization: AMD-V Hypervisor vendor: Microsoft Virtualization type: full L1d cache: 64 KiB (2 instances) L1i cache: 64 KiB (2 instances) L2 cache: 1 MiB (2 instances) L3 cache: 32 MiB (1 instance) NUMA node(s): 1 NUMA node0 CPU(s): 0-3 Vulnerability Gather data sampling: Not affected Vulnerability Itlb multihit: Not affected Vulnerability L1tf: Not affected Vulnerability Mds: Not affected Vulnerability Meltdown: Not affected Vulnerability Mmio stale data: Not affected Vulnerability Retbleed: Not affected Vulnerability Spec rstack overflow: Mitigation; safe RET, no microcode Vulnerability Spec store bypass: Vulnerable Vulnerability Spectre v1: Mitigation; usercopy/swapgs barriers and __user pointer sanitization Vulnerability Spectre v2: Mitigation; Retpolines, STIBP disabled, RSB filling, PBRSB-eIBRS Not affected Vulnerability Srbds: Not affected Vulnerability Tsx async abort: Not affected | Cpu Property | Value | |:------------------ |:---------------------------------------------------------- | | Brand | AMD EPYC 7763 64-Core Processor | | Vendor | :AMD | | Architecture | :Unknown | | Model | Family: 0xaf, Model: 0x01, Stepping: 0x01, Type: 0x00 | | Cores | 16 physical cores, 16 logical cores (on executing CPU) | | | No Hyperthreading hardware capability detected | | Clock Frequencies | Not supported by CPU | | Data Cache | Level 1:3 : (32, 512, 32768) kbytes | | | 64 byte cache line size | | Address Size | 48 bits virtual, 48 bits physical | | SIMD | 256 bit = 32 byte max. SIMD vector size | | Time Stamp Counter | TSC is accessible via `rdtsc` | | | TSC runs at constant rate (invariant from clock frequency) | | Perf. Monitoring | Performance Monitoring Counters (PMC) are not supported | | Hypervisor | Yes, Microsoft |