index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
omega
/
floor_bound-4.c
blob: dc6ba0ae941628b98dc5d4f2a8385cc8fd371bce (
plain
)
1
2
3
if (n >= 3 * floord(n + 1, 3)) for (int c0 = m; c0 <= 5 * floord(n + 1, 3); c0 += 1) s0(c0);