Hi, LLVMers,<br><br>    I am a CS student in my final year, and I would like to use LLVM in my final course project. So, I just download LLVM and VMKit, and I have been playing with both. I can produce llvm bytecodes from java programs, and now my idea is to remove redundant type checks from the code. For instance, if we consider a program like this:<br>
<br>if (o instanceof A) {<br>  A a = (A) o;<br>  // do something with a<br>}<br><br>we see that Java will put a type test before the cast, but this test is unnecessary, as we already know that we have passed the instanceof test. So, as my project I would like to remove these redundant tests. My questions:<br>
<br>1) Has this already been done by some of the VMKit optimizing passes?<br>2) If not, is this feasible?<br>3) Is this the right list to ask questions about VMKit?<br><br>All the best,<br><br>Alysson<br>