I want to use LLVM to analyze if a basic block is affected by a control flow of an if(i.e., br instruction). "A basic block BB is NOT affected by br" means that
I'm a bit confused. Does the ⇒ simply denote you going through the CFG step by step ? To use a pretty basic-ish example: sentence ⇒ subject | predicat
Given L={w in {a,b}* | w != w^R} I want to find its CFG. Please do not tell me the answer for that. What is the intuition of solving these kind of questions? I