search for: 61a24895

Hello, I am currently writing my Master's Thesis on a topic regarding the analysis of memory safety and termination of LLVM programs. This includes alignments in LLVM IR, but I am not sure if I understand their semantics correctly. I have written a program (see attachment) which uses the instruction store i32 1, i32* %7, align 4 to store an integer at an address that I forced to be