
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)
| 5.7s | 8 256× | 0 | valid |
ival-mult!: 1.3s (39.0% of total, 68.3 MiB)ival-floor: 346.0ms (10.6% of total, 29.9 MiB)ival-fabs: 322.0ms (9.8% of total, 28.6 MiB)ival-and: 202.0ms (6.2% of total, 37.3 MiB)ival-add!: 185.0ms (5.6% of total, 11.1 MiB)ival-sqrt!: 176.0ms (5.4% of total, 6.2 MiB)ival-if: 174.0ms (5.3% of total, 17.5 MiB)ival-div!: 165.0ms (5.0% of total, 5.6 MiB)ival-<=: 142.0ms (4.3% of total, 13.2 MiB)ival-fmax: 127.0ms (3.9% of total, 8.9 MiB)ival->=: 111.0ms (3.4% of total, 6.6 MiB)adjust: 32.0ms (1.0% of total, 1.3 MiB)ival-assert: 20.0ms (0.6% of total, 4.7 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 350 | 3567 |
| 1 | 1838 | 3423 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 78.9% | %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 %3) (*.f32 %22 %12)) |
(abs dX.v)
(abs dY.v)
(abs maxAniso)
Compiled 2 to 52 computations (-2500.0% saved)
| Inputs |
|---|
| Outputs |
|---|
21 calls:
| Time | Variable | Point |
|---|---|---|
| 10.0ms | dY.u | inf |
| 8.0ms | h | 0 |
| 8.0ms | h | inf |
| 8.0ms | dX.v | inf |
| 8.0ms | w | inf |
| Allocated | Percent | Phase |
|---|---|---|
| 3 707.5 MiB | 74.5% | series |
| 643.1 MiB | 12.9% | analyze |
| 611.7 MiB | 12.3% | sample |
| 12.7 MiB | 0.3% | preprocess |
| 0.5 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | end |
| 4 975.6 MiB | 100.0% | total |
Loading profile data...