If loop bounds are compile-time constants, they are reported in Code Analyzer;
Otherwise, if a tripcount pragma is provided, this value is used by Code Analyzer;
Otherwise, the tripcount value is measured when running the C-testbench.
In any case, the reported tripcounts account for the loop unrolling: loop tripcounts are divided by unrolling factors. Fully unrolled loops will always have a reported tripcount of 1.