Branch elimination in LLVM's intermediate representation

Bachelor Thesis