Does Jax's JIT compiler unroll for loops inside if statements that are not executed?

In Jax, will the JIT compiler unroll for loops inside an if statement that is not executed? For example,

def f(x): if False: for i in range(100): do something rest of function... jax.jit(f)

Unrolling the loop would be undesirable because it could massively increase the compile time.

From some internet searches and asking AI, it seems that the answer should be no. I.e., the compiler will not see the code in this if statement, so the loop will not be unrolled. However, there is some conflicting information out there suggesting that one should use jax conditionals just to be safe. What is the definitive answer?

---

The example above is quite contrived to illustrate the idea. In general, I'm looking for an answer for the case where the condition of the if statement can be fully determined based on static arguments of the function. E.g.,

def f(x, do_the_loop): if do_the_loop: for i in range(100): do something rest of function... jax.jit(f, static_argnums=1) f(x, False)