
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 229 to 67 computations (70.7% saved)
| 8.5s | 8 256× | 0 | valid |
ival-mult!: 1.7s (31.0% of total, 87.7 MiB)ival-fabs: 701.0ms (13.1% of total, 50.5 MiB)ival-floor: 556.0ms (10.4% of total, 52.9 MiB)ival-div!: 458.0ms (8.6% of total, 22.6 MiB)ival-log2!: 443.0ms (8.3% of total, 13.2 MiB)ival-and: 359.0ms (6.7% of total, 42.2 MiB)ival-add!: 224.0ms (4.2% of total, 13.8 MiB)ival-fmax: 187.0ms (3.5% of total, 11.8 MiB)ival-sqrt!: 179.0ms (3.3% of total, 8.9 MiB)ival-if: 144.0ms (2.7% of total, 18.9 MiB)ival->: 135.0ms (2.5% of total, 7.7 MiB)ival-sub!: 121.0ms (2.3% of total, 7.1 MiB)ival-<=: 114.0ms (2.1% of total, 14.4 MiB)ival-assert: 48.0ms (0.9% of total, 5.4 MiB)adjust: 18.0ms (0.3% of total, 1.3 MiB)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 485 | 4855 |
| 1 | 2758 | 4855 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 78.6% | %1 = (floor.f32 w) %3 = (*.f32 %1 dX.u) %6 = (floor.f32 h) %8 = (*.f32 %6 dX.v) %12 = (*.f32 %1 dY.u) %15 = (*.f32 %6 dY.v) %18 = (fmax.f32 (+.f32 (*.f32 %3 %3) (*.f32 %8 %8)) (+.f32 (*.f32 %12 %12) (*.f32 %15 %15))) %22 = (fabs.f32 (-.f32 (*.f32 %3 %15) (*.f32 %8 %12))) %25 = (floor.f32 maxAniso) %27 = (sqrt.f32 %18) (log2.f32 (if.f32 (>.f32 (/.f32 %18 %22) %25) (/.f32 %27 %25) (/.f32 %22 %27))) |
Compiled 2 to 64 computations (-3100.0% saved)
| Inputs |
|---|
| Outputs |
|---|
21 calls:
| Time | Variable | Point |
|---|---|---|
| 25.0ms | dY.u | 0 |
| 22.0ms | dX.v | inf |
| 22.0ms | w | 0 |
| 13.0ms | dY.u | inf |
| 12.0ms | dY.v | inf |
| Allocated | Percent | Phase |
|---|---|---|
| 4 934.1 MiB | 79.3% | series |
| 823.5 MiB | 13.2% | sample |
| 443.8 MiB | 7.1% | analyze |
| 18.3 MiB | 0.3% | preprocess |
| 0.3 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | end |
| 6 220.0 MiB | 100.0% | total |
Loading profile data...