
Time bar (total: 2.5min)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 1 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 2 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 3 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 4 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 5 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 6 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 7 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 8 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 9 |
Compiled 194 to 61 computations (68.6% saved)
| 7.2s | 8 255× | 0 | valid |
| 0.0ms | 1× | 1 | valid |
ival-mult!: 1.5s (37.8% of total, 89.9 MiB)ival-fabs: 496.0ms (12.4% of total, 35.3 MiB)ival-floor: 364.0ms (9.1% of total, 34.4 MiB)ival-and: 292.0ms (7.3% of total, 41.8 MiB)ival-add!: 277.0ms (6.9% of total, 15.1 MiB)ival-if: 271.0ms (6.8% of total, 20.1 MiB)ival-sqrt!: 185.0ms (4.6% of total, 9.3 MiB)ival-<=: 175.0ms (4.4% of total, 15.8 MiB)ival-fmax: 144.0ms (3.6% of total, 11.1 MiB)ival-div!: 137.0ms (3.4% of total, 7.6 MiB)ival->=: 67.0ms (1.7% of total, 7.6 MiB)adjust: 39.0ms (1.0% of total, 1.3 MiB)ival-assert: 36.0ms (0.9% of total, 5.8 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 350 | 3567 |
| 1 | 1838 | 3423 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 78.3% | %1 = (floor.f32 w) %3 = (*.f32 %1 dX.u) %6 = (floor.f32 h) %8 = (*.f32 %6 dX.v) %10 = (+.f32 (*.f32 %3 %3) (*.f32 %8 %8)) %12 = (*.f32 %1 dY.u) %15 = (*.f32 %6 dY.v) %17 = (+.f32 (*.f32 %12 %12) (*.f32 %15 %15)) %22 = (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 %10 %17))) (if.f32 (>=.f32 %10 %17) (*.f32 %22 %8) (*.f32 %22 %15)) |
(abs dX.u)
(abs dY.u)
(abs maxAniso)
Compiled 2 to 52 computations (-2500.0% saved)
| Inputs |
|---|
| Outputs |
|---|
21 calls:
| Time | Variable | Point |
|---|---|---|
| 41.0ms | w | -inf |
| 14.0ms | h | inf |
| 12.0ms | dY.u | inf |
| 11.0ms | dX.u | inf |
| 11.0ms | dY.v | inf |
| Allocated | Percent | Phase |
|---|---|---|
| 4 907.5 MiB | 81.5% | series |
| 727.1 MiB | 12.1% | sample |
| 372.7 MiB | 6.2% | analyze |
| 16.1 MiB | 0.3% | preprocess |
| 0.3 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | end |
| 6 023.7 MiB | 100.0% | total |
Loading profile data...