search for: then113

I found a case where GVN seems to miscompile an OpenCL program. What I am trying to figure out is given a bitcode file, how can I reduce it to a simpler case with bugpoint when I don't have a valid reference compiler available. Thanks for any tips, Micah -------------- next part -------------- An HTML attachment was scrubbed... URL:

...4 if.then104: ; preds = %if.end90 %cmp108 = icmp eq i16 %r.2, %15 br i1 %cmp108, label %if.then110, label %if.end130 if.then110: ; preds = %if.then104 %cmp111 = icmp eq i32 %lost.addr.1, 0 br i1 %cmp111, label %if.then113, label %if.else124 if.then113: ; preds = %if.then110 %re114 = getelementptr inbounds %struct.LDPARMS* %ldp, i32 0, i32 3 %16 = load i32* %re114, align 4, !tbaa !3 %arrayidx115 = getelementptr inbounds i16* %s, i32 %16 %17 = load i16* %arrayidx115, alig...