LLVM is Infinite!

I have been busy writing my dissertation, which is why I have not had much time to blog. Sorry :P

Heres some fun anyway, my first infinite loop in LLVM IR:


loop_check: ; preds = %entry, %loop_body
br i1 false, label %loop_exit, label %loop_body

loop_body: ; preds = %loop_check
br label %loop_check

loop_exit: ; preds = %loop_check
ret i32 0


Can you spot why?