[skiplang/skc] Update bootstrap. (#970)

beauby · web-flow · commit db5c65d62e70 · 2025-07-11T21:28:50.000+03:00
diff --git a/skiplang/compiler/bootstrap b/skiplang/compiler/bootstrap
@@ -1 +1 @@
-Subproject commit fbf82d0c7cf5c2498bff071c0a84b37600afd6ae
+Subproject commit 5abe29cdd1e96bea01377b357cdfaa10c455e143
diff --git a/skiplang/prelude/preamble/preamble32.ll b/skiplang/prelude/preamble/preamble32.ll
@@ -10,13 +10,19 @@ declare ptr @SKIP_llvm_memcpy(ptr, ptr, i64)
 
 ; LLVM intrinsics
 
-declare void @llvm.lifetime.start(i64, ptr nocapture) argmemonly nounwind
-declare void @llvm.lifetime.end(i64, ptr nocapture) argmemonly nounwind
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
+declare void @llvm.lifetime.start(i64 immarg, ptr nocapture)
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
+declare void @llvm.lifetime.end(i64 immarg, ptr nocapture)
 
-declare i32 @llvm.eh.typeid.for(ptr) nounwind readnone
+; Function Attrs: nounwind readnone
+declare i32 @llvm.eh.typeid.for(ptr)
 
+; Function Attrs: nounwind readnone
 declare i64 @llvm.ctlz.i64(i64, i1)
+; Function Attrs: nounwind readnone
 declare i64 @llvm.cttz.i64(i64, i1)
+; Function Attrs: nounwind readnone
 declare i64 @llvm.ctpop.i64(i64)
 
 declare i32 @__gxx_personality_v0(...)
diff --git a/skiplang/prelude/preamble/preamble64.ll b/skiplang/prelude/preamble/preamble64.ll
@@ -9,13 +9,19 @@ declare ptr @SKIP_llvm_memcpy(ptr, ptr, i64)
 
 ; LLVM intrinsics
 
-declare void @llvm.lifetime.start(i64, ptr nocapture) argmemonly nounwind
-declare void @llvm.lifetime.end(i64, ptr nocapture) argmemonly nounwind
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
+declare void @llvm.lifetime.start(i64 immarg, ptr nocapture)
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
+declare void @llvm.lifetime.end(i64 immarg, ptr nocapture)
 
-declare i32 @llvm.eh.typeid.for(ptr) nounwind readnone
+; Function Attrs: nounwind readnone
+declare i32 @llvm.eh.typeid.for(ptr)
 
+; Function Attrs: nounwind readnone
 declare i64 @llvm.ctlz.i64(i64, i1)
+; Function Attrs: nounwind readnone
 declare i64 @llvm.cttz.i64(i64, i1)
+; Function Attrs: nounwind readnone
 declare i64 @llvm.ctpop.i64(i64)
 
 declare i32 @__gxx_personality_v0(...)
diff --git a/skiplang/prelude/runtime/runtime64_specific.cpp b/skiplang/prelude/runtime/runtime64_specific.cpp
@@ -231,8 +231,7 @@ char* SKIP_getArgN(int64_t n) {
 
 int64_t SKIP_get_envc() {
   char** p = nullptr;
-  for (p = environ; *p != nullptr; ++p)
-    ;
+  for (p = environ; *p != nullptr; ++p);
   return (int)(p - environ);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -231,8 +231,7 @@ char* SKIP_getArgN(int64_t n) {`
`231`	`231`
`232`	`232`	`int64_t SKIP_get_envc() {`
`233`	`233`	`char** p = nullptr;`
`234`		`- for (p = environ; *p != nullptr; ++p)`
`235`		`- ;`
	`234`	`+ for (p = environ; *p != nullptr; ++p);`
`236`	`235`	`return (int)(p - environ);`
`237`	`236`	`}`
`238`	`237`