search for: end11

In your original file, %6 is defined in if.end11 and is used in cond.end. if.end11 branches to cond.true and cond.false, both of which branch unconditionally to cond.end. Therefore %6 dominates its use. In your second file %18 is defined in end.11 and used in cond.end. However, end.11 no longer dominates cond.end because you have rewritten all b...

...src/ciphers/safer/safer.bc -stats 1. Running pass 'Function Pass Manager' on module 'src/ciphers/safer/safer.bc'. 2. Running pass 'Module Verifier' on function '@safer_k64_setup' make: *** [src/ciphers/safer/safer.o] Aborted So the problem come from the bloc if.end11 and cond.end. I understand the dominate problem, but the thing is that these instruction (in first file): if.end11: ; preds = %if.end8 %6 = load i8** %key.addr, align 8, !dbg !322 %7 = load i8** %key.addr, align 8, !dbg !322 ... cond.end:...

...6.i.i, align 2, !tbaa !5 %incdec.ptr1.8.i.i = getelementptr inbounds [13 x i16]* %y.i, i32 0, i32 9 store i16 %28, i16* %incdec.ptr1.7.i.i, align 2, !tbaa !5 %conv.i = zext i16 %3 to i32 %and.i256 = and i32 %conv.i, 32768 %tobool5.i = icmp eq i32 %and.i256, 0 br i1 %tobool5.i, label %if.end11.i, label %if.then6.i if.then6.i: ; preds = %if.end.i257 %and9.i = and i32 %conv.i, 32767 %conv10.i = trunc i32 %and9.i to i16 br label %if.end11.i if.end11.i: ; preds = %if.then6.i, %if.end.i257 %storemerge.i = ph...