<div dir="ltr">Hi all,<div><br></div><div><br></div><div> I've just finished updating my EDL frontend from LLVM3.0 to LLVM3.4, it wasn't too painful, however many of my programs are failing to verify after construction. Basically I get an error from the verifier e.g. :<br>
<br><div>Attribute after last parameter!</div><div>i1 ()* @PinGettest</div><div>Broken module found, compilation aborted!<br><br> After some digging, I've narrowed it down to the following :<br><br> <span class="" style="white-space:pre">        </span>function->setOnlyReadsMemory(true);<br>
<br> which is used for functions that are tied to reads on PINs, (EDL is a form of description language for emulators - a kind of hardware abstraction for chips).<br><br> If I comment out the setOnlyReadsMemory, then the verifier completes fine. The call is made just after creating the function.<br>
<br> I`m guessing the attribute changes between 3.1 and 3.4 are to blame, perhaps there is now an alternate way to specify this?</div></div><div><br></div><div> Lee</div></div>