The my_global_function I included in my previous mail was missing a terminating "ret void" instruction. This has been added, and verifyFunction() is now happy with my function. The problem with my module not being linked remains though.