define ptr @src_inbounds(ptr %p, i8 %a, i8 %b) {
%gep1 = getelementptr inbounds i8, ptr %p, i8 %a
%gep2 = getelementptr inbounds i8, ptr %gep1, i8 %b
ret ptr %gep2
}
define ptr @tgt_inbounds(ptr %p, i8 %a, i8 %b) {
%add = add i8 %a, %b
%gep = getelementptr inbounds i8, ptr %p, i8 %add
ret ptr %gep
}