if
(
f0.host_and_dev_are_null
)
{
rewrite_buffer
(
f0.buffer
,
4
,
0
,
256
,
1
,
0
,
224
,
256
)
}
if
(
!
f0.host_and_dev_are_null
)
{
assert
(
(
int64
(
256
)
<=
int64
(
2147483647
)
)
,
"Total allocation for buffer f0 exceeds 2^31 - 1"
)
assert
(
(
(
int64
(
224
)
*
int64
(
256
)
)
<=
int64
(
2147483647
)
)
,
"Total allocation for buffer f0 exceeds 2^31 - 1"
)
assert
(
(
(
int64
(
224
)
*
int64
(
256
)
)
<=
int64
(
2147483647
)
)
,
"Product of extents for buffer f0 exceeds 2^31 - 1"
)
produce
f0
{
parallel
(
f0.s0.v1
,
0
,
224
)
{
for
(
f0.s0.v0.v0.v0
,
0
,
32
)
{
let
f0.s0.s0.base
=
min
(
(
f0.s0.v0.v0.v0
*
8
)
,
248
)
f0
[
ramp
(
(
f0.s0.s0.base
+
(
f0.s0.v1
*
256
)
)
,
1
,
4
)
]
=
ramp
(
(
f0.s0.s0.base
+
f0.s0.v1
)
,
1
,
4
)
f0
[
ramp
(
(
(
f0.s0.s0.base
+
(
f0.s0.v1
*
256
)
)
+
4
)
,
1
,
4
)
]
=
ramp
(
(
(
f0.s0.s0.base
+
f0.s0.v1
)
+
4
)
,
1
,
4
)
}
}
}
0
}