f11731ff35
This was bug https://github.com/tinygo-org/tinygo/issues/3890. See the diff for details. Essentially, it means that `copy` in the interpreter was copying data that wasn't known yet, or copying data into a slice that could be read externally after the interp pass.
106 строки
4,6 КиБ
LLVM
106 строки
4,6 КиБ
LLVM
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64--linux"
|
|
|
|
@main.uint8SliceSrc.buf = internal global [2 x i8] c"\03d"
|
|
@main.uint8SliceSrc = internal unnamed_addr global { ptr, i64, i64 } { ptr @main.uint8SliceSrc.buf, i64 2, i64 2 }
|
|
@main.uint8SliceDst = internal unnamed_addr global { ptr, i64, i64 } zeroinitializer
|
|
@main.int16SliceSrc.buf = internal global [3 x i16] [i16 5, i16 123, i16 1024]
|
|
@main.int16SliceSrc = internal unnamed_addr global { ptr, i64, i64 } { ptr @main.int16SliceSrc.buf, i64 3, i64 3 }
|
|
@main.int16SliceDst = internal unnamed_addr global { ptr, i64, i64 } zeroinitializer
|
|
@main.sliceSrcUntaint.buf = internal global [2 x i8] c"ab"
|
|
@main.sliceDstUntaint.buf = internal global [2 x i8] zeroinitializer
|
|
@main.sliceSrcTaint.buf = internal global [2 x i8] c"cd"
|
|
@main.sliceDstTaint.buf = internal global [2 x i8] zeroinitializer
|
|
|
|
declare i64 @runtime.sliceCopy(ptr %dst, ptr %src, i64 %dstLen, i64 %srcLen, i64 %elemSize) unnamed_addr
|
|
|
|
declare ptr @runtime.alloc(i64, ptr) unnamed_addr
|
|
|
|
declare void @runtime.printuint8(i8)
|
|
|
|
declare void @runtime.printint16(i16)
|
|
|
|
declare void @use(ptr)
|
|
|
|
define void @runtime.initAll() unnamed_addr {
|
|
entry:
|
|
call void @main.init()
|
|
ret void
|
|
}
|
|
|
|
define void @main() unnamed_addr {
|
|
entry:
|
|
; print(uintSliceSrc[0])
|
|
%uint8SliceSrc.buf = load ptr, ptr @main.uint8SliceSrc
|
|
%uint8SliceSrc.val = load i8, ptr %uint8SliceSrc.buf
|
|
call void @runtime.printuint8(i8 %uint8SliceSrc.val)
|
|
|
|
; print(uintSliceDst[0])
|
|
%uint8SliceDst.buf = load ptr, ptr @main.uint8SliceDst
|
|
%uint8SliceDst.val = load i8, ptr %uint8SliceDst.buf
|
|
call void @runtime.printuint8(i8 %uint8SliceDst.val)
|
|
|
|
; print(int16SliceSrc[0])
|
|
%int16SliceSrc.buf = load ptr, ptr @main.int16SliceSrc
|
|
%int16SliceSrc.val = load i16, ptr %int16SliceSrc.buf
|
|
call void @runtime.printint16(i16 %int16SliceSrc.val)
|
|
|
|
; print(int16SliceDst[0])
|
|
%int16SliceDst.buf = load ptr, ptr @main.int16SliceDst
|
|
%int16SliceDst.val = load i16, ptr %int16SliceDst.buf
|
|
call void @runtime.printint16(i16 %int16SliceDst.val)
|
|
|
|
; print(sliceDstUntaint[0])
|
|
%sliceDstUntaint.val = load i8, ptr getelementptr inbounds (i8, ptr @main.sliceDstUntaint.buf, i32 0)
|
|
call void @runtime.printuint8(i8 %sliceDstUntaint.val)
|
|
|
|
; print(sliceDstTaint[0])
|
|
%sliceDstTaint.val = load i8, ptr getelementptr inbounds (i8, ptr @main.sliceDstTaint.buf, i32 0)
|
|
call void @runtime.printuint8(i8 %sliceDstTaint.val)
|
|
|
|
ret void
|
|
}
|
|
|
|
define internal void @main.init() unnamed_addr {
|
|
entry:
|
|
; equivalent of:
|
|
; uint8SliceDst = make([]uint8, len(uint8SliceSrc))
|
|
%uint8SliceSrc = load { ptr, i64, i64 }, ptr @main.uint8SliceSrc
|
|
%uint8SliceSrc.len = extractvalue { ptr, i64, i64 } %uint8SliceSrc, 1
|
|
%uint8SliceDst.buf = call ptr @runtime.alloc(i64 %uint8SliceSrc.len, ptr null)
|
|
%0 = insertvalue { ptr, i64, i64 } undef, ptr %uint8SliceDst.buf, 0
|
|
%1 = insertvalue { ptr, i64, i64 } %0, i64 %uint8SliceSrc.len, 1
|
|
%2 = insertvalue { ptr, i64, i64 } %1, i64 %uint8SliceSrc.len, 2
|
|
store { ptr, i64, i64 } %2, ptr @main.uint8SliceDst
|
|
|
|
; equivalent of:
|
|
; copy(uint8SliceDst, uint8SliceSrc)
|
|
%uint8SliceSrc.buf = extractvalue { ptr, i64, i64 } %uint8SliceSrc, 0
|
|
%copy.n = call i64 @runtime.sliceCopy(ptr %uint8SliceDst.buf, ptr %uint8SliceSrc.buf, i64 %uint8SliceSrc.len, i64 %uint8SliceSrc.len, i64 1)
|
|
|
|
; equivalent of:
|
|
; int16SliceDst = make([]int16, len(int16SliceSrc))
|
|
%int16SliceSrc = load { ptr, i64, i64 }, ptr @main.int16SliceSrc
|
|
%int16SliceSrc.len = extractvalue { ptr, i64, i64 } %int16SliceSrc, 1
|
|
%int16SliceSrc.len.bytes = mul i64 %int16SliceSrc.len, 2
|
|
%int16SliceDst.buf = call ptr @runtime.alloc(i64 %int16SliceSrc.len.bytes, ptr null)
|
|
%3 = insertvalue { ptr, i64, i64 } undef, ptr %int16SliceDst.buf, 0
|
|
%4 = insertvalue { ptr, i64, i64 } %3, i64 %int16SliceSrc.len, 1
|
|
%5 = insertvalue { ptr, i64, i64 } %4, i64 %int16SliceSrc.len, 2
|
|
store { ptr, i64, i64 } %5, ptr @main.int16SliceDst
|
|
|
|
; equivalent of:
|
|
; copy(int16SliceDst, int16SliceSrc)
|
|
%int16SliceSrc.buf = extractvalue { ptr, i64, i64 } %int16SliceSrc, 0
|
|
%copy.n2 = call i64 @runtime.sliceCopy(ptr %int16SliceDst.buf, ptr %int16SliceSrc.buf, i64 %int16SliceSrc.len, i64 %int16SliceSrc.len, i64 2)
|
|
|
|
; Copy slice that has a known value.
|
|
%copy.n3 = call i64 @runtime.sliceCopy(ptr @main.sliceDstUntaint.buf, ptr @main.sliceSrcUntaint.buf, i64 2, i64 2, i64 1)
|
|
|
|
; Copy slice that might have been modified by the external @use call.
|
|
; This is a fix for https://github.com/tinygo-org/tinygo/issues/3890.
|
|
call void @use(ptr @main.sliceSrcTaint.buf)
|
|
%copy.n4 = call i64 @runtime.sliceCopy(ptr @main.sliceDstTaint.buf, ptr @main.sliceSrcTaint.buf, i64 2, i64 2, i64 1)
|
|
|
|
ret void
|
|
}
|