mirror of
https://github.com/tinygo-org/tinygo.git
synced 2026-07-31 17:17:47 +00:00
Jake Bailey
047ed57005
The interface lowering pass used a separate formatter for method signatures. Same-named local aliases could therefore make distinct generic methods compare equal. Reuse getTypeCodeName so interface checks preserve type identity.
197 lines
8.7 KiB
LLVM
197 lines
8.7 KiB
LLVM
; ModuleID = 'generics.go'
|
|
source_filename = "generics.go"
|
|
target datalayout = "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-i128:128-n32:64-S128-ni:1:10:20"
|
|
target triple = "wasm32-unknown-wasi"
|
|
|
|
%"main.Point[float32]" = type { float, float }
|
|
%"main.Point[int]" = type { i32, i32 }
|
|
|
|
declare void @runtime.trackPointer(ptr nocapture readonly, ptr, ptr) #0
|
|
|
|
; Function Attrs: nounwind
|
|
define hidden void @main.init(ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
ret void
|
|
}
|
|
|
|
; Function Attrs: nounwind
|
|
define hidden i32 @main.aliasSize32(ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
%0 = call i32 @"main.aliasSize[basic:float32]"(ptr undef)
|
|
ret i32 %0
|
|
}
|
|
|
|
; Function Attrs: nounwind
|
|
define linkonce_odr hidden i32 @"main.aliasSize[basic:float32]"(ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
ret i32 4
|
|
}
|
|
|
|
; Function Attrs: nounwind
|
|
define hidden i32 @main.aliasSize64(ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
%0 = call i32 @"main.aliasSize[basic:float64]"(ptr undef)
|
|
ret i32 %0
|
|
}
|
|
|
|
; Function Attrs: nounwind
|
|
define linkonce_odr hidden i32 @"main.aliasSize[basic:float64]"(ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
ret i32 8
|
|
}
|
|
|
|
; Function Attrs: nounwind
|
|
define hidden void @main.main(ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
%0 = call %"main.Point[float32]" @"main.Add[basic:float32]"(float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, ptr undef)
|
|
%1 = call %"main.Point[int]" @"main.Add[basic:int]"(i32 0, i32 0, i32 0, i32 0, ptr undef)
|
|
%2 = call i32 @main.aliasSize32(ptr undef)
|
|
call void @main.checkSize(i32 %2, ptr undef) #4
|
|
%3 = call i32 @main.aliasSize64(ptr undef)
|
|
call void @main.checkSize(i32 %3, ptr undef) #4
|
|
ret void
|
|
}
|
|
|
|
; Function Attrs: nounwind
|
|
define linkonce_odr hidden %"main.Point[float32]" @"main.Add[basic:float32]"(float %a.X, float %a.Y, float %b.X, float %b.Y, ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
%stackalloc = alloca i8, align 1
|
|
%a = call align 4 dereferenceable(8) ptr @runtime.alloc(i32 8, ptr nonnull inttoptr (i32 3 to ptr), ptr undef) #4
|
|
call void @runtime.trackPointer(ptr nonnull %a, ptr nonnull %stackalloc, ptr undef) #4
|
|
store float %a.X, ptr %a, align 4
|
|
%a.repack5 = getelementptr inbounds nuw i8, ptr %a, i32 4
|
|
store float %a.Y, ptr %a.repack5, align 4
|
|
%b = call align 4 dereferenceable(8) ptr @runtime.alloc(i32 8, ptr nonnull inttoptr (i32 3 to ptr), ptr undef) #4
|
|
call void @runtime.trackPointer(ptr nonnull %b, ptr nonnull %stackalloc, ptr undef) #4
|
|
store float %b.X, ptr %b, align 4
|
|
%b.repack7 = getelementptr inbounds nuw i8, ptr %b, i32 4
|
|
store float %b.Y, ptr %b.repack7, align 4
|
|
call void @main.checkSize(i32 4, ptr undef) #4
|
|
call void @main.checkSize(i32 8, ptr undef) #4
|
|
%complit = call align 4 dereferenceable(8) ptr @runtime.alloc(i32 8, ptr nonnull inttoptr (i32 3 to ptr), ptr undef) #4
|
|
call void @runtime.trackPointer(ptr nonnull %complit, ptr nonnull %stackalloc, ptr undef) #4
|
|
br i1 false, label %deref.throw, label %deref.next
|
|
|
|
deref.next: ; preds = %entry
|
|
br i1 false, label %deref.throw, label %deref.next1
|
|
|
|
deref.next1: ; preds = %deref.next
|
|
%0 = load float, ptr %a, align 4
|
|
%1 = load float, ptr %b, align 4
|
|
%2 = fadd float %0, %1
|
|
br i1 false, label %deref.throw, label %deref.next2
|
|
|
|
deref.next2: ; preds = %deref.next1
|
|
br i1 false, label %deref.throw, label %deref.next3
|
|
|
|
deref.next3: ; preds = %deref.next2
|
|
%3 = getelementptr inbounds nuw i8, ptr %b, i32 4
|
|
%4 = getelementptr inbounds nuw i8, ptr %a, i32 4
|
|
%5 = load float, ptr %4, align 4
|
|
%6 = load float, ptr %3, align 4
|
|
br i1 false, label %deref.throw, label %store.next
|
|
|
|
store.next: ; preds = %deref.next3
|
|
store float %2, ptr %complit, align 4
|
|
br i1 false, label %deref.throw, label %store.next4
|
|
|
|
store.next4: ; preds = %store.next
|
|
%7 = getelementptr inbounds nuw i8, ptr %complit, i32 4
|
|
%8 = fadd float %5, %6
|
|
store float %8, ptr %7, align 4
|
|
%.unpack = load float, ptr %complit, align 4
|
|
%9 = insertvalue %"main.Point[float32]" poison, float %.unpack, 0
|
|
%10 = insertvalue %"main.Point[float32]" %9, float %8, 1
|
|
ret %"main.Point[float32]" %10
|
|
|
|
deref.throw: ; preds = %store.next, %deref.next3, %deref.next2, %deref.next1, %deref.next, %entry
|
|
unreachable
|
|
}
|
|
|
|
; Function Attrs: allockind("alloc,zeroed") allocsize(0)
|
|
declare noalias nonnull ptr @runtime.alloc(i32, ptr, ptr) #2
|
|
|
|
declare void @main.checkSize(i32, ptr) #0
|
|
|
|
declare void @runtime.nilPanic(ptr) #0
|
|
|
|
; Function Attrs: nounwind
|
|
define linkonce_odr hidden %"main.Point[int]" @"main.Add[basic:int]"(i32 %a.X, i32 %a.Y, i32 %b.X, i32 %b.Y, ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
%stackalloc = alloca i8, align 1
|
|
%a = call align 4 dereferenceable(8) ptr @runtime.alloc(i32 8, ptr nonnull inttoptr (i32 3 to ptr), ptr undef) #4
|
|
call void @runtime.trackPointer(ptr nonnull %a, ptr nonnull %stackalloc, ptr undef) #4
|
|
store i32 %a.X, ptr %a, align 4
|
|
%a.repack5 = getelementptr inbounds nuw i8, ptr %a, i32 4
|
|
store i32 %a.Y, ptr %a.repack5, align 4
|
|
%b = call align 4 dereferenceable(8) ptr @runtime.alloc(i32 8, ptr nonnull inttoptr (i32 3 to ptr), ptr undef) #4
|
|
call void @runtime.trackPointer(ptr nonnull %b, ptr nonnull %stackalloc, ptr undef) #4
|
|
store i32 %b.X, ptr %b, align 4
|
|
%b.repack7 = getelementptr inbounds nuw i8, ptr %b, i32 4
|
|
store i32 %b.Y, ptr %b.repack7, align 4
|
|
call void @main.checkSize(i32 4, ptr undef) #4
|
|
call void @main.checkSize(i32 8, ptr undef) #4
|
|
%complit = call align 4 dereferenceable(8) ptr @runtime.alloc(i32 8, ptr nonnull inttoptr (i32 3 to ptr), ptr undef) #4
|
|
call void @runtime.trackPointer(ptr nonnull %complit, ptr nonnull %stackalloc, ptr undef) #4
|
|
br i1 false, label %deref.throw, label %deref.next
|
|
|
|
deref.next: ; preds = %entry
|
|
br i1 false, label %deref.throw, label %deref.next1
|
|
|
|
deref.next1: ; preds = %deref.next
|
|
%0 = load i32, ptr %a, align 4
|
|
%1 = load i32, ptr %b, align 4
|
|
%2 = add i32 %0, %1
|
|
br i1 false, label %deref.throw, label %deref.next2
|
|
|
|
deref.next2: ; preds = %deref.next1
|
|
br i1 false, label %deref.throw, label %deref.next3
|
|
|
|
deref.next3: ; preds = %deref.next2
|
|
%3 = getelementptr inbounds nuw i8, ptr %b, i32 4
|
|
%4 = getelementptr inbounds nuw i8, ptr %a, i32 4
|
|
%5 = load i32, ptr %4, align 4
|
|
%6 = load i32, ptr %3, align 4
|
|
br i1 false, label %deref.throw, label %store.next
|
|
|
|
store.next: ; preds = %deref.next3
|
|
store i32 %2, ptr %complit, align 4
|
|
br i1 false, label %deref.throw, label %store.next4
|
|
|
|
store.next4: ; preds = %store.next
|
|
%7 = getelementptr inbounds nuw i8, ptr %complit, i32 4
|
|
%8 = add i32 %5, %6
|
|
store i32 %8, ptr %7, align 4
|
|
%.unpack = load i32, ptr %complit, align 4
|
|
%9 = insertvalue %"main.Point[int]" poison, i32 %.unpack, 0
|
|
%10 = insertvalue %"main.Point[int]" %9, i32 %8, 1
|
|
ret %"main.Point[int]" %10
|
|
|
|
deref.throw: ; preds = %store.next, %deref.next3, %deref.next2, %deref.next1, %deref.next, %entry
|
|
unreachable
|
|
}
|
|
|
|
declare void @main.checkBool(i1, ptr) #0
|
|
|
|
; Function Attrs: nounwind
|
|
define hidden void @main.aliasMethod32(ptr %x.typecode, ptr %x.value, ptr %context) unnamed_addr #1 {
|
|
entry:
|
|
%0 = call i1 @"interface:{Get:func:{}{named:main.aliasMethodResult[basic:float32]}}.$typeassert"(ptr %x.typecode) #4
|
|
br i1 %0, label %typeassert.ok, label %typeassert.next
|
|
|
|
typeassert.next: ; preds = %typeassert.ok, %entry
|
|
call void @main.checkBool(i1 %0, ptr undef) #4
|
|
ret void
|
|
|
|
typeassert.ok: ; preds = %entry
|
|
br label %typeassert.next
|
|
}
|
|
|
|
declare i1 @"interface:{Get:func:{}{named:main.aliasMethodResult[basic:float32]}}.$typeassert"(ptr) #3
|
|
|
|
attributes #0 = { "target-features"="+bulk-memory,+bulk-memory-opt,+call-indirect-overlong,+mutable-globals,+nontrapping-fptoint,+sign-ext,-multivalue,-reference-types" }
|
|
attributes #1 = { nounwind "target-features"="+bulk-memory,+bulk-memory-opt,+call-indirect-overlong,+mutable-globals,+nontrapping-fptoint,+sign-ext,-multivalue,-reference-types" }
|
|
attributes #2 = { allockind("alloc,zeroed") allocsize(0) "alloc-family"="runtime.alloc" "target-features"="+bulk-memory,+bulk-memory-opt,+call-indirect-overlong,+mutable-globals,+nontrapping-fptoint,+sign-ext,-multivalue,-reference-types" }
|
|
attributes #3 = { "target-features"="+bulk-memory,+bulk-memory-opt,+call-indirect-overlong,+mutable-globals,+nontrapping-fptoint,+sign-ext,-multivalue,-reference-types" "tinygo-methods"="reflect/methods.Get:func:{}{named:main.aliasMethodResult[basic:float32]}" }
|
|
attributes #4 = { nounwind }
|