<p><br>
On Nov 2, 2011 6:31 AM, "Semion Prihodko" <<a href="mailto:semion.ababo@gmail.com">semion.ababo@gmail.com</a>> wrote:<br>
><br>
> Hi, guys!<br>
><br>
> I write a virtual machine which uses LLVM as back-end code generator. The following function code causes strange "UNREACHABLE executed!" error:<br>
><br>
> define void @p1(%1*) {<br>
> %2 = call i8* @llvm.stacksave()<br>
> %3 = alloca %0<br>
> %4 = getelementptr %0* %3, i64 1<br>
> %5 = ptrtoint %0* %3 to i64<br>
> %6 = ptrtoint %0* %4 to i64<br>
> %7 = sub i64 %6, %5<br>
> %8 = bitcast %0* %3 to i8*<br>
> call void @llvm.memset.p0i8.i64(i8* %8, i8 0, i64 %7, i32 0, i1 false)<br>
> %9 = bitcast %1* %0 to [8 x i8]*<br>
> %10 = bitcast %0* %3 to [8 x i8]*<br>
> %11 = load [8 x i8]* %9<br>
> store [8 x i8] %11, [8 x i8]* %10<br>
> %12 = call i8* @llvm.stacksave()<br>
> %13 = alloca %0<br>
> %14 = getelementptr %0* %13, i64 1<br>
> %15 = ptrtoint %0* %13 to i64<br>
> %16 = ptrtoint %0* %14 to i64<br>
> %17 = sub i64 %16, %15<br>
> %18 = bitcast %0* %13 to i8*<br>
> call void @llvm.memset.p0i8.i64(i8* %18, i8 0, i64 %17, i32 0, i1 false)<br>
> %19 = getelementptr %1* %0, i64 0, i32 0, i32 8<br>
> %20 = bitcast i8* %19 to [8 x i8]*<br>
> %21 = bitcast %0* %13 to [8 x i8]*<br>
> %22 = load [8 x i8]* %20<br>
> store [8 x i8] %22, [8 x i8]* %21<br>
> %23 = bitcast %0* %13 to i64*<br>
> %24 = bitcast %0* %3 to i64*<br>
> %25 = load i64* %23<br>
> %26 = load i64* %24<br>
> %27 = icmp sgt i64 %25, %26<br>
> br i1 %27, label %29, label %28<br>
><br>
> ; <label>:28 ; preds = %1<br>
> ret void<br>
><br>
> ; <label>:29 ; preds = %1<br>
> %30 = call i8* @llvm.stacksave()<br>
> %31 = alloca %0*<br>
> store %0* zeroinitializer, %0** %31<br>
> %32 = getelementptr %1* %0, i64 0, i32 0, i32 0<br>
> %33 = bitcast i8* %32 to %0**<br>
> %34 = load %0** %33<br>
> %35 = ptrtoint %0* %34 to i64<br>
> %36 = icmp ne i64 %35, 0<br>
> br i1 %36, label %37, label %42<br>
><br>
> ; <label>:37 ; preds = %29<br>
> %38 = bitcast %0* %34 to i64*<br>
> %39 = getelementptr i64* %38, i32 -1<br>
> %40 = load i64* %39<br>
> %41 = add i64 %40, 1<br>
> store i64 %41, i64* %39<br>
> br label %42<br>
><br>
> ; <label>:42 ; preds = %37, %29<br>
> %43 = load %0** %31<br>
> %44 = ptrtoint %0* %43 to i64<br>
> %45 = icmp ne i64 %44, 0<br>
> br i1 %45, label %46, label %52<br>
><br>
> ; <label>:46 ; preds = %42<br>
> %47 = bitcast %0* %43 to i64*<br>
> %48 = getelementptr i64* %47, i32 -1<br>
> %49 = load i64* %48<br>
> %50 = sub i64 %49, 1<br>
> store i64 %50, i64* %48<br>
> %51 = icmp ne i64 %50, 0<br>
> br i1 %51, label %70, label %52<br>
><br>
> ; <label>:52 ; preds = %70, %46, %42<br>
> store %0* %34, %0** %31<br>
> %53 = call i8* @llvm.stacksave()<br>
> %54 = alloca %1<br>
> %55 = getelementptr %1* %54, i64 1<br>
> %56 = ptrtoint %1* %54 to i64<br>
> %57 = ptrtoint %1* %55 to i64<br>
> %58 = sub i64 %57, %56<br>
> %59 = bitcast %1* %54 to i8*<br>
> call void @llvm.memset.p0i8.i64(i8* %59, i8 0, i64 %58, i32 0, i1 false)<br>
> %60 = bitcast %0* %3 to [8 x i8]*<br>
> %61 = bitcast %1* %54 to [8 x i8]*<br>
> %62 = load [8 x i8]* %60<br>
> store [8 x i8] %62, [8 x i8]* %61<br>
> %63 = bitcast %0* %13 to [8 x i8]*<br>
> %64 = getelementptr %1* %54, i64 0, i32 0, i32 8<br>
> %65 = bitcast i8* %64 to [8 x i8]*<br>
> %66 = load [8 x i8]* %63<br>
> store [8 x i8] %66, [8 x i8]* %65<br>
> %67 = load %0** %31<br>
> %68 = ptrtoint %0* %67 to i64<br>
> %69 = icmp ne i64 %68, 0<br>
> br i1 %69, label %72, label %77<br>
><br>
> ; <label>:70 ; preds = %46<br>
> %71 = bitcast %0* %43 to i8*<br>
> call void @destroy(i8* inttoptr (i64 161025200 to i8*), i8* inttoptr (i64 161028240 to i8*), i8* %71)<br>
> br label %52<br>
><br>
> ; <label>:72 ; preds = %52<br>
> %73 = bitcast %0* %67 to i64*<br>
> %74 = getelementptr i64* %73, i32 -1<br>
> %75 = load i64* %74<br>
> %76 = add i64 %75, 1<br>
> store i64 %76, i64* %74<br>
> br label %77<br>
><br>
> ; <label>:77 ; preds = %72, %52<br>
> %78 = getelementptr %1* %54, i64 0, i32 0, i32 0<br>
> %79 = bitcast i8* %78 to %0**<br>
> %80 = load %0** %79<br>
> %81 = ptrtoint %0* %80 to i64<br>
> %82 = icmp ne i64 %81, 0<br>
> br i1 %82, label %83, label %89<br>
><br>
> ; <label>:83 ; preds = %77<br>
> %84 = bitcast %0* %80 to i64*<br>
> %85 = getelementptr i64* %84, i32 -1<br>
> %86 = load i64* %85<br>
> %87 = sub i64 %86, 1<br>
> store i64 %87, i64* %85<br>
> %88 = icmp ne i64 %87, 0<br>
> br i1 %88, label %109, label %89<br>
><br>
> ; <label>:89 ; preds = %109, %83, %77<br>
> store %0* %67, %0** %79<br>
> call void @p0(%1* %54)<br>
> %90 = bitcast %1* %54 to [8 x i8]*<br>
> %91 = bitcast %0* %13 to [8 x i8]*<br>
> %92 = load [8 x i8]* %90<br>
> store [8 x i8] %92, [8 x i8]* %91<br>
> %93 = bitcast %1* %54 to i64*<br>
> %94 = load i64* %93<br>
> %95 = add i64 %94, 1<br>
> store i64 %95, i64* %93<br>
> call void @p1(%1* %54)<br>
> %96 = bitcast %0* %3 to [8 x i8]*<br>
> %97 = bitcast %1* %54 to [8 x i8]*<br>
> %98 = load [8 x i8]* %96<br>
> store [8 x i8] %98, [8 x i8]* %97<br>
> %99 = bitcast %0* %13 to i64*<br>
> %100 = load i64* %99<br>
> %101 = sub i64 %100, 1<br>
> store i64 %101, i64* %99<br>
> %102 = bitcast %0* %13 to [8 x i8]*<br>
> %103 = getelementptr %1* %54, i64 0, i32 0, i32 8<br>
> %104 = bitcast i8* %103 to [8 x i8]*<br>
> %105 = load [8 x i8]* %102<br>
> store [8 x i8] %105, [8 x i8]* %104<br>
> call void @p1(%1* %54)<br>
> call void @llvm.stackrestore(i8* %53)<br>
> %106 = load %0** %31<br>
> %107 = ptrtoint %0* %106 to i64<br>
> %108 = icmp ne i64 %107, 0<br>
> br i1 %108, label %111, label %117<br>
><br>
> ; <label>:109 ; preds = %83<br>
> %110 = bitcast %0* %80 to i8*<br>
> call void @destroy(i8* inttoptr (i64 161025200 to i8*), i8* inttoptr (i64 160883800 to i8*), i8* %110)<br>
> br label %89<br>
><br>
> ; <label>:111 ; preds = %89<br>
> %112 = bitcast %0* %106 to i64*<br>
> %113 = getelementptr i64* %112, i32 -1<br>
> %114 = load i64* %113<br>
> %115 = sub i64 %114, 1<br>
> store i64 %115, i64* %113<br>
> %116 = icmp ne i64 %115, 0<br>
> br i1 %116, label %118, label %117<br>
><br>
> ; <label>:117 ; preds = %118, %111, %89<br>
> call void @llvm.stackrestore(i8* %30)<br>
> call void @llvm.stackrestore(i8* %12)<br>
> call void @llvm.stackrestore(i8* %2)<br>
> ret void<br>
><br>
> ; <label>:118 ; preds = %111<br>
> %119 = bitcast %0* %106 to i8*<br>
> call void @destroy(i8* inttoptr (i64 161025200 to i8*), i8* inttoptr (i64 161028240 to i8*), i8* %119)<br>
> br label %117<br>
> }<br>
><br>
> UNREACHABLE executed!<br>
> Stack dump:<br>
> 0. Running pass 'X86 DAG->DAG Instruction Selection' on function '@p1'<br>
> Aborted<br>
><br>
> I know this code is bulky and complicated, but can you just suggest me possible causes of such error? Thanks.<br>
></p>
<p>Is your copy of LLVM built with assertions enabled? If not, you may want to try rebuilding LLVM with assertions to see if you get any assertion failures which may give more information about the problem.</p>
<p>> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu">http://llvm.cs.uiuc.edu</a><br>
> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
><br>
</p>