Fixes to native backtrace.

test/test_suite/abi/darwin64_avx.c3t

@@ -110,9 +110,9 @@ fn void f61(SAtwo256 s) {
 
 
 declare void @f38(<8 x float>) #0
-; Function Attrs: nounwind
+
 declare void @f37(<8 x float>) #0
-; Function Attrs: nounwind
+
 define void @test.f39() #0 {
 entry:
   %0 = load <8 x float>, ptr @test.x38, align 32
@@ -121,25 +121,25 @@ entry:
   call void @f37(<8 x float> %1)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @func40(ptr byval(%Two128) align 16) #0
-; Function Attrs: nounwind
+
 define void @test.func41(ptr byval(%Two128) align 16 %0) #0 {
 entry:
   call void @func40(ptr byval(%Two128) align 16 %0)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @func42(ptr byval(%Sa) align 16) #0
-; Function Attrs: nounwind
+
 define void @test.func43(ptr byval(%Sa) align 16 %0) #0 {
 entry:
   call void @func42(ptr byval(%Sa) align 16 %0)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @f46(double, double, double, double, double, double, double, double, ptr byval(<2 x float>) align 8, ptr byval(<2 x float>) align 8) #0
-; Function Attrs: nounwind
+
 define void @test.test46() #0 {
 entry:
   %x = alloca <2 x float>, align 8
@@ -155,9 +155,9 @@ entry:
   call void @f46(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, ptr byval(<2 x float>) align 8 %x, ptr byval(<2 x float>) align 8 %x)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @f47(i32, i32, i32, i32, i32, i32, i32) #0
-; Function Attrs: nounwind
+
 define void @test.test47(i32 %0, i32 %1) #0 {
 entry:
   %b = alloca %Vec47, align 4
@@ -166,17 +166,17 @@ entry:
   call void @f47(i32 %0, i32 %0, i32 %0, i32 %0, i32 %0, i32 %0, i32 %2)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @test49_helper(double, ...) #0
-; Function Attrs: nounwind
+
 define void @test.test49(double %0, double %1) #0 {
 entry:
   call void (double, ...) @test49_helper(double %0, double %1)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @test52_helper(i32, ...) #0
-; Function Attrs: nounwind
+
 define void @test.test52() #0 {
 entry:
   %literal = alloca %Complex, align 8
@@ -189,9 +189,9 @@ entry:
   call void (i32, ...) @test52_helper(i32 0, <8 x float> %0, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double %lo, double %hi)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @test54_helper(<8 x float>, ...) #0
-; Function Attrs: nounwind
+
 define void @test.test54() #0 {
 entry:
   %literal = alloca %Complex, align 8
@@ -210,28 +210,28 @@ entry:
   call void (<8 x float>, ...) @test54_helper(<8 x float> %4, <8 x float> %5, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, ptr byval(%Complex) align 8 %literal1)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @f55(ptr byval(%St512) align 64) #0
-; Function Attrs: nounwind
+
 declare void @f56(ptr byval(<16 x float>) align 64) #0
-; Function Attrs: nounwind
+
 define void @test.f57() #0 {
 entry:
   call void @f55(ptr byval(%St512) align 64 @test.x55)
   call void @f56(ptr byval(<16 x float>) align 64 @test.x56)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @f58(ptr byval(%Two256) align 32) #0
-; Function Attrs: nounwind
+
 define void @test.f59(ptr byval(%Two256) align 32 %0) #0 {
 entry:
   call void @f58(ptr byval(%Two256) align 32 %0)
   ret void
 }
-; Function Attrs: nounwind
+
 declare void @f60(ptr byval(%SAtwo256) align 32) #0
-; Function Attrs: nounwind
+
 define void @test.f61(ptr byval(%SAtwo256) align 32 %0) #0 {
 entry:
   call void @f60(ptr byval(%SAtwo256) align 32 %0)

test/test_suite/abi/darwin64_avx512.c3t

@@ -61,10 +61,10 @@ fn void f64() {
 
 declare void @f55(<16 x float>) #0
 
-; Function Attrs: nounwind
+
 declare void @f56(<16 x float>) #0
 
-; Function Attrs: nounwind
+
 define void @test.f57() #0 {
 entry:
   %0 = load <16 x float>, ptr @test.x55, align 64
@@ -74,30 +74,30 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare void @f58(ptr byval(%Two256) align 32) #0
 
-; Function Attrs: nounwind
+
 define void @test.f59(ptr byval(%Two256) align 32 %0) #0 {
 entry:
   call void @f58(ptr byval(%Two256) align 32 %0)
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare void @f60(ptr byval(%SAtwo256) align 32) #0
 
-; Function Attrs: nounwind
+
 define void @test.f61(ptr byval(%SAtwo256) align 32 %0) #0 {
 entry:
   call void @f60(ptr byval(%SAtwo256) align 32 %0)
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare void @f62_helper(i32, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.f62() #0 {
 entry:
   %literal = alloca %Complex, align 8
@@ -111,10 +111,10 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare void @f64_helper(<16 x float>, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.f64() #0 {
 entry:
   %literal = alloca %Complex, align 8

test/test_suite/abi/riscv32-ilp32-ilp32f-ilp32d-abi-1.c3t

@@ -218,17 +218,17 @@ define float @test.f_fp_scalar_1(float %0) #0 {
 entry:
   ret float %0
 }
-; Function Attrs: nounwind
+
 define double @test.f_fp_scalar_2(double %0) #0 {
 entry:
   ret double %0
 }
-; Function Attrs: nounwind
+
 define fp128 @test.f_fp_scalar_3(fp128 %0) #0 {
 entry:
   ret fp128 %0
 }
-; Function Attrs: nounwind
+
 define void @test.f_agg_tiny(i32 %0) #0 {
 entry:
   %x = alloca %Tiny, align 1
@@ -255,7 +255,7 @@ entry:
   %0 = load i32, ptr %literal, align 1
   ret i32 %0
 }
-; Function Attrs: nounwind
+
 define void @test.f_vec_tiny_v4i8(i32 %0) #0 {
 entry:
   %x = alloca <4 x i8>, align 4
@@ -272,7 +272,7 @@ entry:
   store <4 x i8> %elemset1, ptr %x, align 4
   ret void
 }
-; Function Attrs: nounwind
+
 define i32 @test.f_vec_tiny_v4i8_ret() #0 {
 entry:
   %taddr = alloca <4 x i8>, align 4
@@ -280,7 +280,7 @@ entry:
   %0 = load i32, ptr %taddr, align 4
   ret i32 %0
 }
-; Function Attrs: nounwind
+
 define void @test.f_vec_tiny_v1i32(i32 %0) #0 {
 entry:
   %x = alloca <1 x i32>, align 4
@@ -290,7 +290,7 @@ entry:
   store <1 x i32> %elemset, ptr %x, align 4
   ret void
 }
-; Function Attrs: nounwind
+
 define i32 @test.f_vec_tiny_v1i32_ret() #0 {
 entry:
   %taddr = alloca <1 x i32>, align 4
@@ -298,7 +298,7 @@ entry:
   %0 = load i32, ptr %taddr, align 4
   ret i32 %0
 }
-; Function Attrs: nounwind
+
 define void @test.f_agg_small([2 x i32] %0) #0 {
 entry:
   %x = alloca %Small, align 4
@@ -315,7 +315,7 @@ entry:
   store ptr %7, ptr %6, align 4
   ret void
 }
-; Function Attrs: nounwind
+
 define [2 x i32] @test.f_agg_small_ret() #0 {
 entry:
   %literal = alloca %Small, align 4
@@ -323,7 +323,7 @@ entry:
   %0 = load [2 x i32], ptr %literal, align 4
   ret [2 x i32] %0
 }
-; Function Attrs: nounwind
+
 define void @test.f_vec_small_v8i8(i64 %0) #0 {
 entry:
   %x = alloca <8 x i8>, align 8
@@ -335,7 +335,7 @@ entry:
   store <8 x i8> %elemset, ptr %x, align 8
   ret void
 }
-; Function Attrs: nounwind
+
 define i64 @test.f_vec_small_v8i8_ret() #0 {
 entry:
   %taddr = alloca <8 x i8>, align 8
@@ -343,7 +343,7 @@ entry:
   %0 = load i64, ptr %taddr, align 8
   ret i64 %0
 }
-; Function Attrs: nounwind
+
 define void @test.f_vec_small_v1i64(i64 %0) #0 {
 entry:
   %x = alloca <1 x i64>, align 8
@@ -353,7 +353,7 @@ entry:
   store <1 x i64> %elemset, ptr %x, align 8
   ret void
 }
-; Function Attrs: nounwind
+
 define i64 @test.f_vec_small_v1i64_ret() #0 {
 entry:
   %taddr = alloca <1 x i64>, align 8
@@ -361,7 +361,7 @@ entry:
   %0 = load i64, ptr %taddr, align 8
   ret i64 %0
 }
-; Function Attrs: nounwind
+
 define void @test.f_agg_small_aligned(i64 %0) #0 {
 entry:
   %x = alloca %Small_aligned, align 8
@@ -374,7 +374,7 @@ entry:
   store i64 %add, ptr %1, align 8
   ret void
 }
-; Function Attrs: nounwind
+
 define i64 @test.f_agg_small_aligned_ret(i64 %0) #0 {
 entry:
   %x = alloca %Small_aligned, align 8
@@ -384,7 +384,7 @@ entry:
   %1 = load i64, ptr %literal, align 8
   ret i64 %1
 }
-; Function Attrs: nounwind
+
 define void @test.f_agg_large(ptr align 4 %0) #0 {
 entry:
   %1 = getelementptr inbounds %Large, ptr %0, i32 0, i32 0
@@ -399,7 +399,7 @@ entry:
   store i32 %add1, ptr %1, align 4
   ret void
 }
-; Function Attrs: nounwind
+
 define void @test.f_agg_large_ret(ptr noalias sret(%Large) align 4 %0, i32 %1, i8 signext %2) #0 {
 entry:
   %literal = alloca %Large, align 4
@@ -407,7 +407,7 @@ entry:
   call void @llvm.memcpy.p0.p0.i32(ptr align 4 %0, ptr align 4 %literal, i32 16, i1 false)
   ret void
 }
-; Function Attrs: nounwind
+
 define void @test.f_vec_large_v16i8(ptr align 16 %0) #0 {
 entry:
   %1 = load <16 x i8>, ptr %0, align 16
@@ -417,13 +417,13 @@ entry:
   store <16 x i8> %elemset, ptr %0, align 16
   ret void
 }
-; Function Attrs: nounwind
+
 define void @test.f_vec_large_v16i8_ret(ptr noalias sret(<16 x i8>) align 16 %0) #0 {
 entry:
   store <16 x i8> <i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8>, ptr %0, align 16
   ret void
 }
-; Function Attrs: nounwind
+
 define i32 @test.f_scalar_stack_1(i32 %0, [2 x i32] %1, i64 %2, ptr align 4 %3, i8 zeroext %4, i8 signext %5, i8 %6, i8 %7) #0 {
 entry:
   %a = alloca %Tiny, align 1
@@ -437,7 +437,7 @@ entry:
   %add = add i32 %zext, %sext
   ret i32 %add
 }
-; Function Attrs: nounwind
+
 define void @test.f_scalar_stack_2(ptr noalias sret(%Large) align 4 %0, i32 %1, i64 %2, i64 %3, fp128 %4, i8 zeroext %5, i8 %6, i8 %7) #0 {
 entry:
   %literal = alloca %Large, align 4
@@ -455,17 +455,17 @@ entry:
   call void @llvm.memcpy.p0.p0.i32(ptr align 4 %0, ptr align 4 %literal, i32 16, i1 false)
   ret void
 }
-; Function Attrs: nounwind
+
 define fp128 @test.f_scalar_stack_4(i32 %0, i64 %1, i64 %2, fp128 %3, i8 zeroext %4, i8 %5, i8 %6) #0 {
 entry:
   ret fp128 %3
 }
-; Function Attrs: nounwind
+
 define void @test.f_scalar_stack_5(double %0, i64 %1, double %2, i64 %3, i32 %4, i64 %5, float %6, double %7, fp128 %8) #0 {
 entry:
   ret void
 }
-; Function Attrs: nounwind
+
 define void @test.f_agg_stack(double %0, i64 %1, double %2, i64 %3, i32 %4, [2 x i32] %5, i64 %6, ptr align 4 %7) #0 {
 entry:
   %e = alloca %Tiny, align 1
@@ -476,9 +476,9 @@ entry:
   store i64 %6, ptr %g, align 8
   ret void
 }
-; Function Attrs: nounwind
+
 declare i32 @f_va_callee(i32, ...) #0
-; Function Attrs: nounwind
+
 define void @test.f_va_caller() #0 {
 entry:
   %literal = alloca %Tiny, align 1

test/test_suite/abi/riscv32-ilp32-ilp32f-ilp32d-abi-2.c3t

@@ -182,55 +182,55 @@ fn void f_va_caller() {
 
 define void @test.f_void()
 
-; Function Attrs: nounwind
+
 define signext i8 @test.f_scalar_1(i8 signext %0) #0 {
 entry:
   ret i8 %0
 }
 
-; Function Attrs: nounwind
+
 define zeroext i8 @test.f_scalar_2(i8 zeroext %0) #0 {
 entry:
   ret i8 %0
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.f_scalar_3(i32 %0) #0 {
 entry:
   ret i32 %0
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_scalar_4(i64 %0) #0 {
 entry:
   ret i64 %0
 }
 
-; Function Attrs: nounwind
+
 define i128 @test.f_scalar_5(i128 %0) #0 {
 entry:
   ret i128 %0
 }
 
-; Function Attrs: nounwind
+
 define float @test.f_fp_scalar_1(float %0) #0 {
 entry:
   ret float %0
 }
 
-; Function Attrs: nounwind
+
 define double @test.f_fp_scalar_2(double %0) #0 {
 entry:
   ret double %0
 }
 
-; Function Attrs: nounwind
+
 define fp128 @test.f_fp_scalar_3(fp128 %0) #0 {
 entry:
   ret fp128 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_agg_tiny(i32 %0) #0 {
 entry:
   %x = alloca %Tiny, align 1
@@ -250,7 +250,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.f_agg_tiny_ret() #0 {
 entry:
   %literal = alloca %Tiny, align 1
@@ -259,7 +259,7 @@ entry:
   ret i32 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_vec_tiny_v4i8(i32 %0) #0 {
 entry:
   %x = alloca <4 x i8>, align 4
@@ -277,7 +277,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.f_vec_tiny_v4i8_ret() #0 {
 entry:
   %taddr = alloca <4 x i8>, align 4
@@ -286,7 +286,7 @@ entry:
   ret i32 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_vec_tiny_v1i32(i32 %0) #0 {
 entry:
   %x = alloca <1 x i32>, align 4
@@ -297,7 +297,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.f_vec_tiny_v1i32_ret() #0 {
 entry:
   %taddr = alloca <1 x i32>, align 4
@@ -306,7 +306,7 @@ entry:
   ret i32 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_agg_small([2 x i32] %0) #0 {
 entry:
   %x = alloca %Small, align 4
@@ -324,7 +324,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define [2 x i32] @test.f_agg_small_ret() #0 {
 entry:
   %literal = alloca %Small, align 4
@@ -333,7 +333,7 @@ entry:
   ret [2 x i32] %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_vec_small_v8i8(i64 %0) #0 {
 entry:
   %x = alloca <8 x i8>, align 8
@@ -346,7 +346,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_vec_small_v8i8_ret() #0 {
 entry:
   %taddr = alloca <8 x i8>, align 8
@@ -355,7 +355,7 @@ entry:
   ret i64 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_vec_small_v1i64(i64 %0) #0 {
 entry:
   %x = alloca <1 x i64>, align 8
@@ -366,7 +366,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_vec_small_v1i64_ret() #0 {
 entry:
   %taddr = alloca <1 x i64>, align 8
@@ -375,7 +375,7 @@ entry:
   ret i64 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_agg_small_aligned(i64 %0) #0 {
 entry:
   %x = alloca %Small_aligned, align 8
@@ -389,7 +389,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_agg_small_aligned_ret(i64 %0) #0 {
 entry:
   %x = alloca %Small_aligned, align 8
@@ -400,7 +400,7 @@ entry:
   ret i64 %1
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_agg_large(ptr align 4 %0) #0 {
 entry:
   %1 = getelementptr inbounds %Large, ptr %0, i32 0, i32 0
@@ -416,7 +416,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_agg_large_ret(ptr noalias sret(%Large) align 4 %0, i32 %1, i8 signext %2) #0 {
 entry:
   %literal = alloca %Large, align 4
@@ -425,7 +425,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_vec_large_v16i8(ptr align 16 %0) #0 {
 entry:
   %1 = load <16 x i8>, ptr %0, align 16
@@ -436,14 +436,14 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_vec_large_v16i8_ret(ptr noalias sret(<16 x i8>) align 16 %0) #0 {
 entry:
   store <16 x i8> <i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8>, ptr %0, align 16
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.f_scalar_stack_1(i32 %0, [2 x i32] %1, i64 %2, ptr align 4 %3, i8 zeroext %4, i8 signext %5, i8 %6, i8 %7) #0 {
 entry:
   %a = alloca %Tiny, align 1
@@ -458,7 +458,7 @@ entry:
   ret i32 %add
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_scalar_stack_2(ptr noalias sret(%Large) align 4 %0, i32 %1, i64 %2, i64 %3, fp128 %4, i8 zeroext %5, i8 %6, i8 %7) #0 {
 entry:
   %literal = alloca %Large, align 4
@@ -477,19 +477,19 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define fp128 @test.f_scalar_stack_4(i32 %0, i64 %1, i64 %2, fp128 %3, i8 zeroext %4, i8 %5, i8 %6) #0 {
 entry:
   ret fp128 %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_scalar_stack_5(double %0, i64 %1, double %2, i64 %3, i32 %4, i64 %5, float %6, double %7, fp128 %8) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_agg_stack(double %0, i64 %1, double %2, i64 %3, i32 %4, [2 x i32] %5, i64 %6, ptr align 4 %7) #0 {
 entry:
   %e = alloca %Tiny, align 1
@@ -501,10 +501,10 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare i32 @f_va_callee(i32, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.f_va_caller() #0 {
 entry:
   %literal = alloca %Tiny, align 1

test/test_suite/abi/riscv32-ilp32d-abi.c3t

@@ -180,7 +180,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_s_arg(double %0) #0 {
 entry:
   %a = alloca %Double_s, align 8
@@ -188,7 +188,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define double @test.f_ret_double_s() #0 {
 entry:
   %literal = alloca %Double_s, align 8
@@ -197,7 +197,7 @@ entry:
   ret double %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_double_s_arg(double %0, double %1) #0 {
 entry:
   %a = alloca %Double_double_s, align 8
@@ -207,7 +207,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { double, double } @test.f_ret_double_double_s() #0 {
 entry:
   %literal = alloca %Double_double_s, align 8
@@ -220,7 +220,7 @@ entry:
   ret { double, double } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_float_s_arg(double %0, float %1) #0 {
 entry:
   %a = alloca %Double_float_s, align 8
@@ -230,7 +230,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { double, float } @test.f_ret_double_float_s() #0 {
 entry:
   %literal = alloca %Double_float_s, align 8
@@ -243,13 +243,13 @@ entry:
   ret { double, float } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_double_s_arg_insufficient_fprs(float %0, double %1, double %2, double %3, double %4, double %5, double %6, ptr align 8 %7) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_int8_s_arg(double %0, i8 %1) #0 {
 entry:
   %a = alloca %Double_int8_s, align 8
@@ -259,7 +259,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { double, i8 } @test.f_ret_double_int8_s() #0 {
 entry:
   %literal = alloca %Double_int8_s, align 8
@@ -272,7 +272,7 @@ entry:
   ret { double, i8 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_uint8_s_arg(double %0, i8 %1) #0 {
 entry:
   %a = alloca %Double_uint8_s, align 8
@@ -282,7 +282,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { double, i8 } @test.f_ret_double_uint8_s() #0 {
 entry:
   %literal = alloca %Double_uint8_s, align 8
@@ -295,7 +295,7 @@ entry:
   ret { double, i8 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_int32_s_arg(double %0, i32 %1) #0 {
 entry:
   %a = alloca %Double_int32_s, align 8
@@ -305,7 +305,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { double, i32 } @test.f_ret_double_int32_s() #0 {
 entry:
   %literal = alloca %Double_int32_s, align 8
@@ -318,13 +318,13 @@ entry:
   ret { double, i32 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_int64_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_double_int64_s(ptr noalias sret(%Double_int64_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Double_int64_s, align 8
@@ -333,19 +333,19 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_int8_s_arg_insufficient_gprs(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, ptr align 8 %8) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_struct_double_int8_insufficient_fprs(float %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, ptr align 8 %8) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_doublearr1_s_arg(double %0) #0 {
 entry:
   %a = alloca %Doublearr1_s, align 8
@@ -353,7 +353,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define double @test.f_ret_doublearr1_s() #0 {
 entry:
   %literal = alloca %Doublearr1_s, align 8
@@ -362,7 +362,7 @@ entry:
   ret double %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_doublearr2_s_arg(double %0, double %1) #0 {
 entry:
   %a = alloca %Doublearr2_s, align 8
@@ -372,7 +372,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { double, double } @test.f_ret_doublearr2_s() #0 {
 entry:
   %literal = alloca %Doublearr2_s, align 8
@@ -385,7 +385,7 @@ entry:
   ret { double, double } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_doublearr2_tricky1_s_arg(double %0, double %1) #0 {
 entry:
   %a = alloca %Doublearr2_tricky1_s, align 8
@@ -395,7 +395,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { double, double } @test.f_ret_doublearr2_tricky1_s() #0 {
 entry:
   %literal = alloca %Doublearr2_tricky1_s, align 8
@@ -408,13 +408,13 @@ entry:
   ret { double, double } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_int_double_int_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_int_double_int_s(ptr noalias sret(%Int_double_int_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Int_double_int_s, align 8
@@ -423,13 +423,13 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_int64_double_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_int64_double_s(ptr noalias sret(%Int64_double_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Int64_double_s, align 8
@@ -438,13 +438,13 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_char_char_double_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_char_char_double_s(ptr noalias sret(%Char_char_double_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Char_char_double_s, align 8
@@ -453,7 +453,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_u_arg(i64 %0) #0 {
 entry:
   %a = alloca %Double_u, align 8
@@ -461,7 +461,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_ret_double_u() #0 {
 entry:
   %literal = alloca %Double_u, align 8
@@ -470,7 +470,7 @@ entry:
   ret i64 %0
 }
 
-; Function Attrs: nounwind
+
 define { double, i32 } @test.f_ret_double_int32_s_double_int32_s_just_sufficient_gprs(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, double %7, i32 %8) #0 {
 entry:
   %h = alloca %Double_int32_s, align 8
@@ -487,7 +487,7 @@ entry:
   ret { double, i32 } %12
 }
 
-; Function Attrs: nounwind
+
 define { double, double } @test.f_ret_double_double_s_double_int32_s_just_sufficient_gprs(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, double %7, i32 %8) #0 {
 entry:
   %h = alloca %Double_int32_s, align 8

test/test_suite/abi/riscv32-ilp32f-abi.c3t

@@ -40,7 +40,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_s_arg(i64 %0) #0 {
 entry:
   %a = alloca %Double_s, align 8
@@ -48,7 +48,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_ret_double_s() #0 {
 entry:
   %literal = alloca %Double_s, align 8
@@ -57,13 +57,13 @@ entry:
   ret i64 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_double_double_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_double_double_s(ptr noalias sret(%Double_double_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Double_double_s, align 8
@@ -72,13 +72,13 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_int_double_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_int_double_s(ptr noalias sret(%Int_double_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Int_double_s, align 8

test/test_suite/abi/riscv32-ilp32f-ilp32d-abi-2.c3t

@@ -194,7 +194,7 @@ entry:
   ret { float, float } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_float_s_arg_insufficient_fprs(float %0, float %1, float %2, float %3, float %4, float %5, float %6, [2 x i32] %7) #0 {
 entry:
   %h = alloca %Float_float_s, align 4
@@ -202,7 +202,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int8_s_arg(float %0, i8 %1) #0 {
 entry:
   %a = alloca %Float_int8_s, align 4
@@ -212,7 +212,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, i8 } @test.f_ret_float_int8_s() #0 {
 entry:
   %literal = alloca %Float_int8_s, align 4
@@ -225,7 +225,7 @@ entry:
   ret { float, i8 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_uint8_s_arg(float %0, i8 %1) #0 {
 entry:
   %a = alloca %Float_uint8_s, align 4
@@ -235,7 +235,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, i8 } @test.f_ret_float_uint8_s() #0 {
 entry:
   %literal = alloca %Float_uint8_s, align 4
@@ -248,7 +248,7 @@ entry:
   ret { float, i8 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int32_s_arg(float %0, i32 %1) #0 {
 entry:
   %a = alloca %Float_int32_s, align 4
@@ -258,7 +258,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, i32 } @test.f_ret_float_int32_s() #0 {
 entry:
   %literal = alloca %Float_int32_s, align 4
@@ -271,13 +271,13 @@ entry:
   ret { float, i32 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int64_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_float_int64_s(ptr noalias sret(%Float_int64_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Float_int64_s, align 8
@@ -286,7 +286,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int8_s_arg_insufficient_gprs(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, [2 x i32] %8) #0 {
 entry:
   %i = alloca %Float_int8_s, align 4
@@ -294,7 +294,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_struct_float_int8_insufficient_fprs(float %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7, [2 x i32] %8) #0 {
 entry:
   %i = alloca %Float_int8_s, align 4
@@ -302,7 +302,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_floatarr1_s_arg(float %0) #0 {
 entry:
   %a = alloca %Floatarr1_s, align 4
@@ -310,7 +310,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define float @test.f_ret_floatarr1_s() #0 {
 entry:
   %literal = alloca %Floatarr1_s, align 4
@@ -319,7 +319,7 @@ entry:
   ret float %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_floatarr2_s_arg(float %0, float %1) #0 {
 entry:
   %a = alloca %Floatarr2_s, align 4
@@ -329,7 +329,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, float } @test.f_ret_floatarr2_s() #0 {
 entry:
   %literal = alloca %Floatarr2_s, align 4
@@ -342,7 +342,7 @@ entry:
   ret { float, float } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_floatarr2_tricky1_s_arg(float %0, float %1) #0 {
 entry:
   %a = alloca %Floatarr2_tricky1_s, align 4
@@ -352,7 +352,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, float } @test.f_ret_floatarr2_tricky1_s() #0 {
 entry:
   %literal = alloca %Floatarr2_tricky1_s, align 4
@@ -365,13 +365,13 @@ entry:
   ret { float, float } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_int_float_int_s_arg(ptr align 4 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_int_float_int_s(ptr noalias sret(%Int_float_int_s) align 4 %0) #0 {
 entry:
   %literal = alloca %Int_float_int_s, align 4
@@ -380,13 +380,13 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_int64_float_s_arg(ptr align 8 %0) #0 {
 entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_ret_int64_float_s(ptr noalias sret(%Int64_float_s) align 8 %0) #0 {
 entry:
   %literal = alloca %Int64_float_s, align 8
@@ -395,7 +395,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_char_char_float_s_arg([2 x i32] %0) #0 {
 entry:
   %a = alloca %Char_char_float_s, align 4
@@ -403,7 +403,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define [2 x i32] @test.f_ret_char_char_float_s() #0 {
 entry:
   %literal = alloca %Char_char_float_s, align 4
@@ -412,7 +412,7 @@ entry:
   ret [2 x i32] %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_u_arg(i32 %0) #0 {
 entry:
   %a = alloca %Float_u, align 4
@@ -420,7 +420,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.f_ret_float_u() #0 {
 entry:
   %literal = alloca %Float_u, align 4

test/test_suite/abi/riscv64-lp64f-lp64d-abi-2.c3t

@@ -144,7 +144,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define float @test.f_ret_float_s() #0 {
 entry:
   %literal = alloca %Float_s, align 4
@@ -153,7 +153,7 @@ entry:
   ret float %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_float_s_arg(float %0, float %1) #0 {
 entry:
   %a = alloca %Float_float_s, align 4
@@ -163,7 +163,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, float } @test.f_ret_float_float_s() #0 {
 entry:
   %literal = alloca %Float_float_s, align 4
@@ -176,7 +176,7 @@ entry:
   ret { float, float } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_float_s_arg_insufficient_fprs(float %0, float %1, float %2, float %3, float %4, float %5, float %6, i64 %7) #0 {
 entry:
   %h = alloca %Float_float_s, align 4
@@ -184,7 +184,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int8_s_arg(float %0, i8 %1) #0 {
 entry:
   %a = alloca %Float_int8_s, align 4
@@ -194,7 +194,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, i8 } @test.f_ret_float_int8_s() #0 {
 entry:
   %literal = alloca %Float_int8_s, align 4
@@ -207,7 +207,7 @@ entry:
   ret { float, i8 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_uint8_s_arg(float %0, i8 %1) #0 {
 entry:
   %a = alloca %Float_uint8_s, align 4
@@ -217,7 +217,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, i8 } @test.f_ret_float_uint8_s() #0 {
 entry:
   %literal = alloca %Float_uint8_s, align 4
@@ -230,7 +230,7 @@ entry:
   ret { float, i8 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int32_s_arg(float %0, i32 %1) #0 {
 entry:
   %a = alloca %Float_int32_s, align 4
@@ -240,7 +240,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, i32 } @test.f_ret_float_int32_s() #0 {
 entry:
   %literal = alloca %Float_int32_s, align 4
@@ -253,7 +253,7 @@ entry:
   ret { float, i32 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int64_s_arg(float %0, i64 %1) #0 {
 entry:
   %a = alloca %Float_int64_s, align 8
@@ -263,7 +263,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, i64 } @test.f_ret_float_int64_s() #0 {
 entry:
   %literal = alloca %Float_int64_s, align 8
@@ -276,7 +276,7 @@ entry:
   ret { float, i64 } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_int8_s_arg_insufficient_gprs(i32 signext %0, i32 signext %1, i32 signext %2, i32 signext %3, i32 signext %4, i32 signext %5, i32 signext %6, i32 signext %7, i64 %8) #0 {
 entry:
   %i = alloca %Float_int8_s, align 4
@@ -284,7 +284,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_struct_float_int8_insufficient_fprs(float %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7, i64 %8) #0 {
 entry:
   %i = alloca %Float_int8_s, align 4
@@ -292,7 +292,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_floatarr1_s_arg(float %0) #0 {
 entry:
   %a = alloca %Floatarr1_s, align 4
@@ -300,7 +300,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define float @test.f_ret_floatarr1_s() #0 {
 entry:
   %literal = alloca %Floatarr1_s, align 4
@@ -309,7 +309,7 @@ entry:
   ret float %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_floatarr2_s_arg(float %0, float %1) #0 {
 entry:
   %a = alloca %Floatarr2_s, align 4
@@ -319,7 +319,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, float } @test.f_ret_floatarr2_s() #0 {
 entry:
   %literal = alloca %Floatarr2_s, align 4
@@ -332,7 +332,7 @@ entry:
   ret { float, float } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_floatarr2_tricky1_s_arg(float %0, float %1) #0 {
 entry:
   %a = alloca %Floatarr2_tricky1_s, align 4
@@ -342,7 +342,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define { float, float } @test.f_ret_floatarr2_tricky1_s() #0 {
 entry:
   %literal = alloca %Floatarr2_tricky1_s, align 4
@@ -355,7 +355,7 @@ entry:
   ret { float, float } %3
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_int_float_int_s_arg([2 x i64] %0) #0 {
 entry:
   %a = alloca %Int_float_int_s, align 4
@@ -365,7 +365,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define [2 x i64] @test.f_ret_int_float_int_s() #0 {
 entry:
   %literal = alloca %Int_float_int_s, align 4
@@ -376,7 +376,7 @@ entry:
   ret [2 x i64] %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_char_char_float_s_arg(i64 %0) #0 {
 entry:
   %a = alloca %Char_char_float_s, align 4
@@ -384,7 +384,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_ret_char_char_float_s() #0 {
 entry:
   %literal = alloca %Char_char_float_s, align 4
@@ -393,7 +393,7 @@ entry:
   ret i64 %0
 }
 
-; Function Attrs: nounwind
+
 define void @test.f_float_u_arg(i64 %0) #0 {
 entry:
   %a = alloca %Float_u, align 4
@@ -403,7 +403,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.f_ret_float_u() #0 {
 entry:
   %literal = alloca %Float_u, align 4

test/test_suite/abi/small_struct_x64.c3t

@@ -25,7 +25,7 @@ fn Foo getFoo(Foo f)
 
 @"$ct.test.Foo" = linkonce global %.introspect { i8 10, i64 0, ptr null, i64 3, i64 0, i64 3, [0 x i64] zeroinitializer }, align 8
 
-; Function Attrs: nounwind
+
 define i32 @test.testing() #0 {
 entry:
   %y = alloca %Foo, align 1
@@ -50,7 +50,7 @@ entry:
   ret i32 %add
 }
 
-; Function Attrs: nounwind
+
 define i24 @test.getFoo(i24 %0) #0 {
 entry:
   %f = alloca %Foo, align 1

test/test_suite/abi/wasm_extern.c3t

@@ -13,5 +13,5 @@ target triple = "wasm32-unknown-unknown"
 declare i32 @get_abc() #0
 define i32 @fgh() #1
 
-attributes #0 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "wasm-import-name"="get_abc" }
-attributes #1 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "wasm-export-name"="fgh" }
+attributes #0 = { nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" "wasm-import-name"="get_abc" }
+attributes #1 = { nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" "wasm-export-name"="fgh" }

test/test_suite/any/variant_assign.c3t

@@ -144,7 +144,7 @@ switch.exit:                                      ; preds = %switch.default, %sw
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.test2(i64 %0, ptr %1) #0 {
 entry:
   %y = alloca %"any*", align 8
@@ -234,7 +234,7 @@ switch.exit:                                      ; preds = %switch.default, %sw
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.test3(i64 %0, ptr %1) #0 {
 entry:
   %y = alloca %"any*", align 8

test/test_suite/any/variant_switch.c3t

@@ -131,7 +131,7 @@ if.exit:                                          ; preds = %if.then, %switch.ex
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @main() #0 {
 entry:
   %taddr = alloca double, align 8

test/test_suite/any/variant_test.c3t

@@ -163,7 +163,7 @@ switch.default:                                   ; preds = %next_if21
 switch.exit:                                      ; preds = %switch.default, %switch.case20, %switch.case13, %switch.case6, %switch.case
   ret void
 }
-; Function Attrs: nounwind
+
 define void @foo.test_all(ptr %0, i64 %1) #0 {
 entry:
   %y = alloca %"any*[]", align 8
@@ -201,7 +201,7 @@ loop.body:                                        ; preds = %loop.cond
 loop.exit:                                        ; preds = %loop.cond
   ret void
 }
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %x = alloca %"any*", align 8

test/test_suite/attributes/user_defined_attributes.c3t

@@ -53,6 +53,7 @@ entry:
   call void @test.testme()
   ret void
 }
-attributes #0 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
-attributes #1 = { noinline nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
-attributes #2 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
+
+attributes #0 = { noreturn nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
+attributes #1 = { noinline nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
+attributes #2 = { nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" }

test/test_suite/bitstruct/bitstruct_arrays.c3t

@@ -332,7 +332,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.test2() #0 {
 entry:
   %xx = alloca [3 x i8], align 1
@@ -729,7 +729,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.test3() #0 {
 entry:
   %xx = alloca [3 x i8], align 1

test/test_suite/bitstruct/bitstruct_initializer.c3t

@@ -452,7 +452,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   call void @test.hello(i32 12)

test/test_suite/bitstruct/bitstruct_to_int.c3t

@@ -75,7 +75,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.test2() #0 {
 entry:
   %b = alloca [4 x i8], align 1

test/test_suite/clang/2002-01_02.c3t

@@ -200,7 +200,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.do_merge(ptr %0, ptr %1) #0 {
 entry:
   %lvalid = alloca i32, align 4

test/test_suite/compile_time/compile_time_array.c3t

@@ -17,7 +17,7 @@ fn void test()
 
 @.str = private unnamed_addr constant [2 x i8] c"a\00", align 1
 
-; Function Attrs: nounwind
+
 define void @test.test() #0 {
 entry:
   %x = alloca i32, align 4

test/test_suite/compile_time/ct_builtin_time_date.c3t

@@ -256,7 +256,7 @@ noerr_block91:                                    ; preds = %after_check89
 voiderr93:                                        ; preds = %noerr_block91, %guard_block90, %guard_block84, %guard_block78
   ret void
 }
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %is_def2 = alloca i8, align 1

test/test_suite/compile_time/ct_memberof.c3t

@@ -113,7 +113,7 @@ entry:
   store i64 %5, ptr %ptroffset1, align 8
   ret void
 }
-; Function Attrs: nounwind
+
 define void @test.test(i32 %0) #0 {
 entry:
   %len = alloca i64, align 8
@@ -723,7 +723,7 @@ voiderr151:                                       ; preds = %noerr_block149, %gu
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %varargslots = alloca [1 x %"any*"], align 16

test/test_suite/compile_time/ct_switch.c3t

@@ -50,10 +50,10 @@ fn void main()
 @.str.8 = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
 @.str.9 = private unnamed_addr constant [14 x i8] c"donnowifprime\00", align 1
 
-; Function Attrs: nounwind
+
 declare void @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   call void (ptr, ...) @printf(ptr @.str, ptr @.str.1)

test/test_suite/compile_time/ct_switch_type_check.c3t

@@ -33,10 +33,10 @@ fn void main()
 @.str.4 = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
 @.str.5 = private unnamed_addr constant [10 x i8] c"any other\00", align 1
 
-; Function Attrs: nounwind
+
 declare void @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   call void (ptr, ...) @printf(ptr @.str, ptr @.str.1)

test/test_suite/compile_time/untyped_conversions.c3t

@@ -47,7 +47,7 @@ fn void main()
 @.__const.6 = private unnamed_addr constant [2 x i32] [i32 3, i32 4], align 4
 @.__const.7 = private unnamed_addr constant [2 x i32] [i32 2, i32 7], align 4
 @.__const.8 = private unnamed_addr constant [2 x i32] [i32 2, i32 7], align 4
-; Function Attrs: nounwind
+
 define void @test.test(i64 %0, ptr %1, i64 %2, double %3) #0 {
 entry:
   %a = alloca [2 x i32], align 4
@@ -75,7 +75,7 @@ entry:
   %13 = call i64 @std.io.printfn(ptr %retparam, ptr @.str, i64 8, ptr %varargslots, i64 3)
   ret void
 }
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %abc = alloca [1 x %Foo], align 4

test/test_suite/concurrency/atomic_load_store_debug.c3t

@@ -64,7 +64,7 @@ entry:
 
 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 
-; Function Attrs: nounwind
+
 declare i64 @std.io.printfn(ptr, ptr, i64, ptr, i64) #0
 
 declare i1 @llvm.expect.i1(i1, i1) #2

test/test_suite/defer/defer_static_var.c3t

@@ -66,7 +66,7 @@ if.exit:                                          ; preds = %entry
   call void (ptr, ...) @printf(ptr @.str.1, i32 %4)
   ret i32 %0
 }
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %i = alloca i32, align 4

test/test_suite/dynamic/overlapping_function.c3t

@@ -39,7 +39,7 @@ fn void main()
 @"$sel.foo" = linkonce_odr constant [4 x i8] c"foo\00", align 1
 @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @.static_initialize.0, ptr null }]
 
-; Function Attrs: nounwind
+
 define void @overlap.main() #0 {
 entry:
   %z = alloca %"any*", align 8

test/test_suite/enumerations/enum_associated_value.c3t

@@ -29,7 +29,7 @@ fn void main()
 @.str.1 = private unnamed_addr constant [9 x i8] c"Number B\00", align 1
 @"test.Foo$testme" = linkonce constant [2 x ptr] [ptr @.str, ptr @.str.1], align 8
 @.str.2 = private unnamed_addr constant [17 x i8] c"%d (%s) %d (%s)\0A\00", align 1
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %x = alloca i32, align 4

test/test_suite/enumerations/enum_conversions.c3t

@@ -38,9 +38,9 @@ panic:                                            ; preds = %entry
   %"$$temp" = insertvalue %"any*[]" %4, i64 1, 1
   store %"any*[]" %"$$temp", ptr %indirectarg, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg, i64 7, ptr @.file, i64 19, ptr @.func, i64 4, i32 7, ptr byval(%"any*[]") align 8 %indirectarg)
-  br label %checkok
+  unreachable
 
-checkok:                                          ; preds = %panic, %entry
+checkok:                                          ; preds = %entry
   %ge = icmp sge i32 %0, 1
   br i1 %ge, label %panic1, label %checkok6
 
@@ -54,9 +54,9 @@ panic1:                                           ; preds = %checkok
   %"$$temp4" = insertvalue %"any*[]" %8, i64 1, 1
   store %"any*[]" %"$$temp4", ptr %indirectarg5, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg.1, i64 87, ptr @.file, i64 19, ptr @.func, i64 4, i32 7, ptr byval(%"any*[]") align 8 %indirectarg5)
-  br label %checkok6
+  unreachable
 
-checkok6:                                         ; preds = %panic1, %checkok
+checkok6:                                         ; preds = %checkok
   %trunc = trunc i32 %0 to i8
   store i8 %trunc, ptr %x, align 1
   store i64 0, ptr %z, align 8
@@ -74,9 +74,9 @@ panic8:                                           ; preds = %checkok6
   %"$$temp11" = insertvalue %"any*[]" %13, i64 1, 1
   store %"any*[]" %"$$temp11", ptr %indirectarg12, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg.2, i64 8, ptr @.file, i64 19, ptr @.func, i64 4, i32 9, ptr byval(%"any*[]") align 8 %indirectarg12)
-  br label %checkok13
+  unreachable
 
-checkok13:                                        ; preds = %panic8, %checkok6
+checkok13:                                        ; preds = %checkok6
   %ge14 = icmp sge i64 %9, 1
   br i1 %ge14, label %panic15, label %checkok20
 
@@ -90,9 +90,9 @@ panic15:                                          ; preds = %checkok13
   %"$$temp18" = insertvalue %"any*[]" %17, i64 1, 1
   store %"any*[]" %"$$temp18", ptr %indirectarg19, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg.1, i64 87, ptr @.file, i64 19, ptr @.func, i64 4, i32 9, ptr byval(%"any*[]") align 8 %indirectarg19)
-  br label %checkok20
+  unreachable
 
-checkok20:                                        ; preds = %panic15, %checkok13
+checkok20:                                        ; preds = %checkok13
   %trunc21 = trunc i64 %9 to i8
   store i8 %trunc21, ptr %y, align 1
   store i32 256, ptr %a, align 4
@@ -110,9 +110,9 @@ panic23:                                          ; preds = %checkok20
   %"$$temp26" = insertvalue %"any*[]" %22, i64 1, 1
   store %"any*[]" %"$$temp26", ptr %indirectarg27, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg.3, i64 62, ptr @.file, i64 19, ptr @.func, i64 4, i32 11, ptr byval(%"any*[]") align 8 %indirectarg27)
-  br label %checkok28
+  unreachable
 
-checkok28:                                        ; preds = %panic23, %checkok20
+checkok28:                                        ; preds = %checkok20
   %ge29 = icmp sge i32 %18, 1
   br i1 %ge29, label %panic30, label %checkok35
 
@@ -126,9 +126,9 @@ panic30:                                          ; preds = %checkok28
   %"$$temp33" = insertvalue %"any*[]" %26, i64 1, 1
   store %"any*[]" %"$$temp33", ptr %indirectarg34, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg.1, i64 87, ptr @.file, i64 19, ptr @.func, i64 4, i32 11, ptr byval(%"any*[]") align 8 %indirectarg34)
-  br label %checkok35
+  unreachable
 
-checkok35:                                        ; preds = %panic30, %checkok28
+checkok35:                                        ; preds = %checkok28
   %trunc36 = trunc i32 %18 to i8
   store i8 %trunc36, ptr %y, align 1
   store i32 -1, ptr %a, align 4
@@ -146,9 +146,9 @@ panic38:                                          ; preds = %checkok35
   %"$$temp41" = insertvalue %"any*[]" %31, i64 1, 1
   store %"any*[]" %"$$temp41", ptr %indirectarg42, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg.3, i64 62, ptr @.file, i64 19, ptr @.func, i64 4, i32 13, ptr byval(%"any*[]") align 8 %indirectarg42)
-  br label %checkok43
+  unreachable
 
-checkok43:                                        ; preds = %panic38, %checkok35
+checkok43:                                        ; preds = %checkok35
   %ge44 = icmp sge i32 %27, 1
   br i1 %ge44, label %panic45, label %checkok50
 
@@ -162,9 +162,9 @@ panic45:                                          ; preds = %checkok43
   %"$$temp48" = insertvalue %"any*[]" %35, i64 1, 1
   store %"any*[]" %"$$temp48", ptr %indirectarg49, align 8
   call void @std.core.builtin.panicf(ptr @.panic_msg.1, i64 87, ptr @.file, i64 19, ptr @.func, i64 4, i32 13, ptr byval(%"any*[]") align 8 %indirectarg49)
-  br label %checkok50
+  unreachable
 
-checkok50:                                        ; preds = %panic45, %checkok43
+checkok50:                                        ; preds = %checkok43
   %trunc51 = trunc i32 %27 to i8
   store i8 %trunc51, ptr %y, align 1
   ret void

test/test_suite/errors/anyfault_void.c3t

@@ -30,15 +30,15 @@ define i64 @anyfault_void.errorThing() #0 {
 entry:
   ret i64 ptrtoint (ptr @"anyfault_void.MyError$BAR" to i64)
 }
-; Function Attrs: nounwind
+
 define i64 @anyfault_void.errorThing2() #0 {
 entry:
   %reterr = alloca i64, align 8
   ret i64 0
 }
-; Function Attrs: nounwind
+
 declare void @printf(ptr, ...) #0
-; Function Attrs: nounwind
+
 define void @anyfault_void.main() #0 {
 entry:
   %z = alloca i64, align 8

test/test_suite/errors/else_checks.c3t

@@ -13,10 +13,10 @@ fn void test()
 
 /* #expect: else_checks.ll
 
-; Function Attrs: nounwind
+
 declare i64 @testError(ptr) #0
 
-; Function Attrs: nounwind
+
 define void @else_checks.test() #0 {
 entry:
   %x = alloca double, align 8

test/test_suite/errors/error_regression_2.c3t

@@ -183,7 +183,7 @@ cond.phi:                                         ; preds = %cond.rhs, %cond.lhs
   ret void
 }
 
-; Function Attrs: nounwind
+
 define zeroext i8 @test.contains(ptr %0, i64 %1, ptr %2, i64 %3) #0 {
 entry:
   %haystack = alloca %"char[]", align 8
@@ -259,7 +259,7 @@ loop.exit:                                        ; preds = %loop.cond
   ret i8 0
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.readDoc(ptr %0, ptr %1, i64 %2) #0 {
 entry:
   %url = alloca %"char[]", align 8
@@ -510,7 +510,7 @@ noerr_block61:                                    ; preds = %if.exit59
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define { ptr, i8 } @test.buildSummary(ptr %0) #0 {
 entry:
   %doc = alloca %Doc, align 8
@@ -545,7 +545,7 @@ cond.phi:                                         ; preds = %cond.rhs, %cond.lhs
   ret { ptr, i8 } %11
 }
 
-; Function Attrs: nounwind
+
 define { ptr, i8 } @test.readAndBuildSummary(ptr %0, i64 %1) #0 {
 entry:
   %url = alloca %"char[]", align 8
@@ -584,7 +584,7 @@ phi_block:                                        ; preds = %else_block, %after_
   ret { ptr, i8 } %10
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.isTitleNonEmpty(ptr %0, ptr %1) #0 {
 entry:
   %doc = alloca %Doc, align 8
@@ -622,7 +622,7 @@ if.exit3:                                         ; preds = %if.exit
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.readWhetherTitleNonEmpty(ptr %0, ptr %1, i64 %2) #0 {
 entry:
   %url = alloca %"char[]", align 8
@@ -666,7 +666,7 @@ err_retblock:                                     ; preds = %assign_optional3, %
   ret i64 %11
 }
 
-; Function Attrs: nounwind
+
 define ptr @test.bool_to_string(i8 zeroext %0) #0 {
 entry:
   %1 = trunc i8 %0 to i1
@@ -675,7 +675,7 @@ entry:
   ret ptr %2
 }
 
-; Function Attrs: nounwind
+
 define ptr @test.nameFromError(i64 %0) #0 {
 entry:
   %switch = alloca i64, align 8
@@ -711,7 +711,7 @@ switch.default:                                   ; preds = %next_if6
   ret ptr @.str.15
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %.anon = alloca i64, align 8

test/test_suite/errors/general_error_regression.c3t

@@ -138,7 +138,7 @@ voiderr:                                          ; preds = %noerr_block13, %gua
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.Bar.hello(ptr %0) #0 {
 entry:
   %len = alloca i64, align 8
@@ -205,7 +205,7 @@ voiderr:                                          ; preds = %noerr_block13, %gua
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.MyEnum.hello(ptr %0) #0 {
 entry:
   %len = alloca i64, align 8
@@ -272,7 +272,7 @@ voiderr:                                          ; preds = %noerr_block13, %gua
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %f = alloca i64, align 8

test/test_suite/errors/macro_err.c3t

@@ -24,7 +24,7 @@ entry:
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %error_var = alloca i64, align 8

test/test_suite/errors/optional_chained_init.c3t

@@ -164,7 +164,7 @@ after_check30:                                    ; preds = %after_check23, %aft
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.test2() #0 {
 entry:
   %x = alloca i32, align 4
@@ -307,7 +307,7 @@ after_check35:                                    ; preds = %after_check28, %aft
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.test3() #0 {
 entry:
   %x = alloca i32, align 4

test/test_suite/errors/optional_inits.c3t

@@ -61,7 +61,7 @@ noerr_block:                                      ; preds = %after_check
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.test2() #0 {
 entry:
   %x = alloca %Bar, align 4
@@ -91,7 +91,7 @@ noerr_block:                                      ; preds = %after_check
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %0 = call i64 @test.test1()

test/test_suite/errors/optional_taddr_and_access.c3t

@@ -34,10 +34,10 @@ fn void main()
 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
 @.str.1 = private unnamed_addr constant [17 x i8] c"Not visible: %d\0A\00", align 1
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %z = alloca i32, align 4

test/test_suite/errors/optional_with_optional.c3t

@@ -268,7 +268,7 @@ expr_block.exit75:                                ; preds = %if.exit74, %if.then
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.get_a(ptr %0, i32 %1) #0 {
 entry:
   %reterr = alloca i64, align 8
@@ -285,7 +285,7 @@ if.exit:                                          ; preds = %entry
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.get_b(ptr %0, i32 %1) #0 {
 entry:
   %reterr = alloca i64, align 8

test/test_suite/errors/or_and_rethrow.c3t

@@ -338,7 +338,7 @@ voiderr96:                                        ; preds = %noerr_block94, %gua
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define i64 @foo.test2(i32 %0) #0 {
 entry:
   %varargslots = alloca [1 x %"any*"], align 16
@@ -510,7 +510,7 @@ voiderr47:                                        ; preds = %noerr_block45, %gua
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %a = alloca i64, align 8
@@ -660,7 +660,7 @@ expr_block.exit33:                                ; preds = %if.exit32, %if.then
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @foo.main()

test/test_suite/errors/printing_errors.c3t

@@ -51,7 +51,7 @@ fn void main()
    ret void
  }
 
- ; Function Attrs: nounwind
+
  define i32 @main(i32 %0, ptr %1) #0 {
  entry:
    call void @test.main()

test/test_suite/errors/try_with_unwrapper.c3t

@@ -42,17 +42,17 @@ fn void test2()
 
 /* #expect: try_with_unwrapper.ll
 
-; Function Attrs: nounwind
+
 define i32 @try_with_unwrapper.hello(i32 %0) #0 {
 entry:
   %add = add i32 %0, 1
   ret i32 %add
 }
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define i64 @try_with_unwrapper.tester(ptr %0) #0 {
 entry:
   %reterr = alloca i64, align 8
@@ -61,7 +61,7 @@ entry:
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define void @try_with_unwrapper.test1() #0 {
 entry:
   %a = alloca i32, align 4
@@ -131,7 +131,7 @@ if.exit:                                          ; preds = %if.then, %end_chain
 }
 
 
-; Function Attrs: nounwind
+
 define void @try_with_unwrapper.test2() #0 {
 entry:
   %a = alloca i32, align 4

test/test_suite/expressions/addr_compiles.c3t

@@ -57,7 +57,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.test() #0 {
 entry:
   %f = alloca i32, align 4
@@ -79,7 +79,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.test2() #0 {
 entry:
   %w = alloca ptr, align 8
@@ -90,7 +90,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.test3() #0 {
 entry:
   %h = alloca %Foo, align 4

test/test_suite/expressions/optional_ternary.c3t

@@ -77,7 +77,7 @@ target triple = "x86_64-apple
 @.zstr.7 = internal constant [20 x i8] c"optional_ternary.c3\00", align 1
 @.zstr.8 = internal constant [5 x i8] c"main\00", align 1
 
-; Function Attrs: nounwind
+
 define i64 @test.test(i32* %0, i32 %1) #0 {
 entry:
   %reterr = alloca i64, align 8
@@ -97,7 +97,7 @@ err_retblock:                                     ; preds = %cond.rhs
   ret i64 %2
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.test2(i32* %0, i32 %1) #0 {
 entry:
   %reterr = alloca i64, align 8
@@ -121,7 +121,7 @@ err_retblock:                                     ; preds = %cond.rhs, %cond.lhs
   ret i64 %2
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.test3(i32* %0, i32 %1) #0 {
 entry:
   %reterr = alloca i64, align 8
@@ -144,7 +144,7 @@ err_retblock:                                     ; preds = %cond.rhs
   ret i64 %2
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.test4(i32* %0, i32 %1) #0 {
 entry:
   %y = alloca i32, align 4
@@ -186,7 +186,7 @@ err_retblock:                                     ; preds = %cond.rhs
   ret i64 %4
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.test5(i32* %0, i32 %1) #0 {
 entry:
   %y = alloca i32, align 4
@@ -232,7 +232,7 @@ err_retblock:                                     ; preds = %cond.rhs, %cond.lhs
   ret i64 %4
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.test6(i32* %0, i32 %1) #0 {
 entry:
   %y = alloca i32, align 4
@@ -277,7 +277,7 @@ err_retblock:                                     ; preds = %cond.rhs
   ret i64 %4
 }
 
-; Function Attrs: nounwind
+
 define i64 @test.test7(i32* %0, i32 %1) #0 {
 entry:
   %y = alloca i32, align 4
@@ -322,7 +322,7 @@ err_retblock:                                     ; preds = %cond.lhs
   ret i64 %4
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %error_var = alloca i64, align 8
@@ -403,7 +403,7 @@ after_assign:                                     ; preds = %after_check18, %ass
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, i8** %1) #0 {
 entry:
   call void @test.main()

test/test_suite/from_docs/examples_defer.c3t

@@ -243,7 +243,7 @@ voiderr78:                                        ; preds = %noerr_block76, %gua
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @defer1.main() #0 {
 entry:
   call void @defer1.test(i32 1)

test/test_suite/from_docs/examples_forswitch.c3t

@@ -114,7 +114,7 @@ loop.exit:                                        ; preds = %loop.cond
   unreachable
 }
 
-; Function Attrs: nounwind
+
 define void @examples.demo_enum(i32 %0) #0 {
 entry:
   %switch = alloca i32, align 4

test/test_suite/functions/naked_function.c3t

@@ -12,4 +12,4 @@ entry:
   ret void
 }
 
-attributes #0 = { naked nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
+attributes #0 = { naked nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" }

test/test_suite/functions/test_regression.c3t

@@ -261,7 +261,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.Foo2.mutate(ptr %0) #0 {
 entry:
   %1 = call i32 (ptr, ...) @printf(ptr @.str.22)
@@ -272,17 +272,17 @@ entry:
   ret i32 %add
 }
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.helloWorld() #0 {
 entry:
   %0 = call i32 (ptr, ...) @printf(ptr @.str)
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.test_static() #0 {
 entry:
   %0 = load i32, ptr @test_static.x, align 4
@@ -294,7 +294,7 @@ entry:
   ret i32 %3
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.helo(double %0, ptr byval(%Bobo) align 8 %1) #0 {
 entry:
   %de = alloca [3 x i32], align 4
@@ -307,7 +307,7 @@ entry:
   ret i32 1
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.test1(i32 %0, i32 %1) #0 {
 entry:
   %a = alloca i32, align 4
@@ -327,7 +327,7 @@ if.exit:                                          ; preds = %entry
   ret i32 %4
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.sum_us(ptr %0, i64 %1) #0 {
 entry:
   %x = alloca %"int[]", align 8
@@ -367,7 +367,7 @@ if.exit:                                          ; preds = %entry
   ret i32 %15
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.sumd(ptr %0, i64 %1) #0 {
 entry:
   %x = alloca %"int[]", align 8
@@ -410,7 +410,7 @@ loop.exit:                                        ; preds = %loop.cond
   ret i32 %11
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %list = alloca %LinkedList, align 8

test/test_suite/functions/test_regression_mingw.c3t

@@ -296,7 +296,7 @@ $"$ct.test.MyEnum" = comdat any
 @.str.21 = private unnamed_addr constant [12 x i8] c"Foo is: %d\0A\00", align 1
 @.str.22 = private unnamed_addr constant [9 x i8] c"Mutating\00", align 1
 
-; Function Attrs: nounwind
+
 define void @test.Foo2.printme(ptr %0) #0 {
 entry:
   %1 = getelementptr inbounds %Foo2, ptr %0, i32 0, i32 0
@@ -305,7 +305,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.Foo2.mutate(ptr %0) #0 {
 entry:
   %1 = call i32 (ptr, ...) @printf(ptr @.str.22)
@@ -316,17 +316,17 @@ entry:
   ret i32 %add
 }
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @test.helloWorld() #0 {
 entry:
   %0 = call i32 (ptr, ...) @printf(ptr @.str)
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.test_static() #0 {
 entry:
   %0 = load i32, ptr @test_static.x, align 4
@@ -338,7 +338,7 @@ entry:
   ret i32 %3
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.helo(double %0, ptr align 4 %1) #0 {
 entry:
   %de = alloca [3 x i32], align 4
@@ -351,7 +351,7 @@ entry:
   ret i32 1
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.test1(i32 %0, i32 %1) #0 {
 entry:
   %a = alloca i32, align 4
@@ -371,7 +371,7 @@ if.exit:                                          ; preds = %entry
   ret i32 %4
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.sum_us(ptr align 8 %0) #0 {
 entry:
   %sum = alloca i32, align 4
@@ -409,7 +409,7 @@ if.exit:                                          ; preds = %entry
   ret i32 %14
 }
 
-; Function Attrs: nounwind
+
 define i32 @test.sumd(ptr align 8 %0) #0 {
 entry:
   %sum = alloca i32, align 4
@@ -448,7 +448,7 @@ loop.exit:                                        ; preds = %loop.cond
   ret i32 %10
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %list = alloca %LinkedList, align 8

test/test_suite/functions/varargs_followed_by_named.c3t

@@ -39,7 +39,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.test2(i32 %0, ptr %1, i64 %2, i32 %3) #0 {
 entry:
   %y = alloca %"any*[]", align 8
@@ -53,7 +53,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %varargslots = alloca [2 x i32], align 4

test/test_suite/generic/generic_lambda_complex.c3t

@@ -170,7 +170,7 @@ fn void! main()
 /* #expect: text_test.ll
 
 
-; Function Attrs: nounwind
+
 define i64 @text_test.main() #0 {
 entry:
   %foo_tmpl = alloca %"char[]", align 8

test/test_suite/generic/generic_over_fn.c3t

@@ -134,7 +134,7 @@ loop.exit:                                        ; preds = %loop.cond
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @sort_test.quicksort_with_value2() #0 {
 entry:
   %tcases = alloca %"int[][]", align 8
@@ -211,6 +211,6 @@ loop.exit:                                        ; preds = %loop.cond
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare void @"test_generic$sa$int$p$fn$int$int$$int$$.sort"(ptr, i64, i64, i64, ptr) #0
 

test/test_suite/initializer_lists/fasta.c3t

@@ -131,7 +131,7 @@ fn int main(int argc, char **argv)
 @.str.15 = private unnamed_addr constant [26 x i8] c">TWO IUB ambiguity codes\0A\00", align 1
 @.str.16 = private unnamed_addr constant [31 x i8] c">THREE Homo sapiens frequency\0A\00", align 1
 
-; Function Attrs: nounwind
+
 define float @fasta.fasta_rand(float %0) #0 {
 entry:
   %1 = load i32, ptr @fasta.seed, align 4
@@ -146,16 +146,16 @@ entry:
   ret float %fdiv
 }
 
-; Function Attrs: nounwind
+
 declare i32 @atoi(ptr) #0
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 declare void @putchar(i32) #0
 
-; Function Attrs: nounwind
+
 define void @fasta.repeat_fasta(ptr %0, i64 %1, i32 %2) #0 {
 entry:
   %seq = alloca %"char[]", align 8
@@ -215,7 +215,7 @@ if.exit5:                                         ; preds = %if.then4, %loop.exi
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @fasta.random_fasta(ptr %0, i64 %1, ptr %2, i64 %3, i32 %4) #0 {
 entry:
   %symb = alloca %"char[]", align 8
@@ -323,7 +323,7 @@ if.exit16:                                        ; preds = %if.then15, %loop.ex
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   %n = alloca i32, align 4

test/test_suite/initializer_lists/general_tests.c3t

@@ -43,7 +43,7 @@ fn int test()
 @test.foo1 = internal unnamed_addr global i32 22, align 4
 @.str = private unnamed_addr constant [7 x i8] c"Hello!\00", align 1
 
-; Function Attrs: nounwind
+
 define i32 @general_tests.test() #0 {
 entry:
   %ffe = alloca %Baz, align 8

test/test_suite/initializer_lists/subarrays.c3t

@@ -64,7 +64,7 @@ fn int main()
 @.str.9 = private unnamed_addr constant [25 x i8] c"Fofeo second element %d\0A\00", align 1
 @.__const.10 = private unnamed_addr constant { i32, [4 x i8] } { i32 1, [4 x i8] undef }, align 8
 @.str.12 = private unnamed_addr constant [3 x i8] c"Ok\00", align 1
-; Function Attrs: nounwind
+
 define i32 @main() #0 {
 entry:
   %w = alloca %Bar, align 4

test/test_suite/lambda/ct_lambda.c3t

@@ -87,7 +87,7 @@ fn int main()
 @init.foo = internal unnamed_addr global ptr @"test.$global$lambda1", align 8
 @init.foo.2 = internal unnamed_addr global ptr @"test.$global$lambda2", align 8
 
-; Function Attrs: nounwind
+
 define void @test.Foo.test(ptr %0, i32 %1) #0 {
 entry:
   %2 = getelementptr inbounds %Foo, ptr %0, i32 0, i32 0
@@ -96,7 +96,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @test.FooTest.init(ptr %0) #0 {
 entry:
   %1 = getelementptr inbounds %FooTest, ptr %0, i32 0, i32 0
@@ -124,7 +124,7 @@ if.exit:                                          ; preds = %entry
   ret void
 }
 
-; Function Attrs: nounwind
+
 define internal void @"test.$global$lambda2"(ptr %0, i32 %1) #0 {
 entry:
   %z = alloca ptr, align 8

test/test_suite/lambda/ct_lambda2.c3t

@@ -33,7 +33,7 @@ fn int main()
 @.str.11 = private unnamed_addr constant [4 x i8] c"int\00", align 1
 @.str.13 = private unnamed_addr constant [4 x i8] c"int\00", align 1
 
-; Function Attrs: nounwind
+
 define i32 @main() #0 {
   store ptr @"main$lambda1", ptr %x, align 8
   %0 = load ptr, ptr %x, align 8

test/test_suite/macros/macro_body_defer.c3t

@@ -85,7 +85,7 @@ loop.body1:                                       ; preds = %loop.exit
   ret i64 0
 }
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   %blockret = alloca i32, align 4

test/test_suite/methods/enum_distinct_err_methods.c3t

@@ -96,7 +96,7 @@ noerr_block13:                                    ; preds = %after_check11
 voiderr:                                          ; preds = %noerr_block13, %guard_block12, %guard_block6, %guard_block
   ret void
 }
-; Function Attrs: nounwind
+
 define void @foo.Bar.hello(ptr %0) #0 {
 entry:
   %len = alloca i64, align 8
@@ -149,7 +149,7 @@ noerr_block13:                                    ; preds = %after_check11
 voiderr:                                          ; preds = %noerr_block13, %guard_block12, %guard_block6, %guard_block
   ret void
 }
-; Function Attrs: nounwind
+
 define void @foo.MyEnum.hello(ptr %0) #0 {
 entry:
   %len = alloca i64, align 8
@@ -202,7 +202,7 @@ noerr_block13:                                    ; preds = %after_check11
 voiderr:                                          ; preds = %noerr_block13, %guard_block12, %guard_block6, %guard_block
   ret void
 }
-; Function Attrs: nounwind
+
 define i32 @main() #0 {
 entry:
   %f = alloca i64, align 8

test/test_suite/pointers/pointer_index.c3t

@@ -44,7 +44,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @pointer_index.test2(ptr %0) #0 {
 entry:
   %a = alloca i8, align 1

test/test_suite/pointers/subarray_variant_to_ptr.c3t

@@ -47,7 +47,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.test2(ptr %0, i64 %1) #0 {
 entry:
   %z = alloca %"int[]", align 8

test/test_suite/safe/deref.c3t

@@ -18,11 +18,13 @@ entry:
   %0 = load ptr, ptr %x, align 8
   %checknull = icmp eq ptr %0, null
   br i1 %checknull, label %panic, label %checkok
+
 panic:                                            ; preds = %entry
   %1 = load ptr, ptr @std.core.builtin.panic, align 8
   call void %1(ptr @.panic_msg, i64 42, ptr @.file, i64 8, ptr @.func, i64 4, i32 6)
-  br label %checkok
-checkok:                                          ; preds = %panic, %entry
+  unreachable
+
+checkok:                                          ; preds = %entry
   %2 = load i32, ptr %0, align 4
   store i32 %2, ptr %y, align 4
   ret void

test/test_suite/slices/slice_assign.c3t

@@ -20,7 +20,7 @@ fn void main()
 
 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
 
-; Function Attrs: nounwind
+
 declare void @printf(ptr, ...) #0
 
 define void @test.main() #0 {
@@ -81,7 +81,7 @@ exit:                                             ; preds = %cond
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @test.main()

test/test_suite/statements/custom_foreach_with_ref.c3t

@@ -103,10 +103,10 @@ fn void main()
 @.str.13 = private unnamed_addr constant [7 x i8] c"%d %d\0A\00", align 1
 @.str.14 = private unnamed_addr constant [7 x i8] c"%d %d\0A\00", align 1
 
-; Function Attrs: nounwind
+
 declare void @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @foo.getFields(ptr noalias sret([5 x i32]) align 4 %0) #0 {
 entry:
   %literal = alloca [5 x i32], align 16
@@ -116,14 +116,14 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define ptr @foo.call(ptr %0) #0 {
 entry:
   call void (ptr, ...) @printf(ptr @.str.1)
   ret ptr %0
 }
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %x = alloca %Foo, align 4

test/test_suite/statements/defer_in_block.c3t

@@ -77,7 +77,7 @@ if.exit6:                                         ; preds = %if.exit3
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   call void @foo.test(i32 123)

test/test_suite/statements/foreach_custom.c3t

@@ -33,7 +33,7 @@ extern fn int printf(char *fmt, ...);
 
 /* #expect: test.ll
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %i = alloca [3 x i32], align 4
@@ -81,10 +81,10 @@ loop.exit:                                        ; preds = %loop.body2, %loop.c
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @test.main()

test/test_suite/statements/foreach_custom_macro.c3t

@@ -39,7 +39,7 @@ extern fn int printf(char *fmt, ...);
 @.__const = private unnamed_addr constant [3 x i32] [i32 1, i32 3, i32 10], align 4
 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %i = alloca [3 x i32], align 4
@@ -87,10 +87,10 @@ loop.exit:                                        ; preds = %loop.body2, %loop.c
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @foo.main()

test/test_suite/statements/foreach_r_break.c3t

@@ -15,7 +15,7 @@ fn void test()
 
 /* #expect: test.ll
 
-; Function Attrs: nounwind
+
 define void @test.test() #0 {
 entry:
   %x = alloca [3 x i32], align 4

test/test_suite/statements/foreach_r_custom.c3t

@@ -33,7 +33,7 @@ extern fn int printf(char *fmt, ...);
 
 /* #expect: test.ll
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %i = alloca [3 x i32], align 4
@@ -81,10 +81,10 @@ loop.exit:                                        ; preds = %loop.body1, %loop.c
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @test.main()

test/test_suite/statements/foreach_r_custom_macro.c3t

@@ -32,7 +32,7 @@ extern fn int printf(char *fmt, ...);
 
 /* #expect: test.ll
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %i = alloca [3 x i32], align 4
@@ -80,10 +80,10 @@ loop.exit:                                        ; preds = %loop.body1, %loop.c
   ret void
 }
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @test.main()

test/test_suite/statements/ranged_switch.c3t

@@ -63,10 +63,10 @@ target triple = "x86_64-apple
 @.str.8 = private unnamed_addr constant [11 x i8] c"Was true!\0A\00", align 1
 @.str.9 = private unnamed_addr constant [12 x i8] c"Was false!\0A\00", align 1
 
-; Function Attrs: nounwind
+
 declare void @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %i = alloca i32, align 4
@@ -220,7 +220,7 @@ switch.exit31:                                    ; preds = %next_if30, %switch.
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @foo.main()

test/test_suite/statements/simple_do.c3t

@@ -34,7 +34,7 @@ target triple = "x86_64-apple
 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
 @.str.1 = private unnamed_addr constant [8 x i8] c"%d, %d\0A\00", align 1
 
-; Function Attrs: nounwind
+
 define i32 @foo.test() #0 {
 entry:
   %0 = load i32, ptr @test.x, align 4
@@ -44,10 +44,10 @@ entry:
   ret i32 %add1
 }
 
-; Function Attrs: nounwind
+
 declare void @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %i = alloca i32, align 4
@@ -104,7 +104,7 @@ loop.exit6:                                       ; preds = %if.then4, %loop.con
   ret void
 }
 
-; Function Attrs: nounwind
+
 define i32 @main(i32 %0, ptr %1) #0 {
 entry:
   call void @foo.main()

test/test_suite/statements/various_switching.c3t

@@ -289,7 +289,7 @@ switch.exit45:                                    ; preds = %switch.default44, %
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @mymodule.main() #0 {
 entry:
   call void @mymodule.test()

test/test_suite/statements/while_switch.c3t

@@ -37,13 +37,13 @@ target triple = "x86_64-apple
 @.str = private unnamed_addr constant [2 x i8] c"3\00", align 1
 @.str.1 = private unnamed_addr constant [2 x i8] c"4\00", align 1
 
-; Function Attrs: nounwind
+
 declare i32 @printf(ptr, ...) #0
 
-; Function Attrs: nounwind
+
 declare i32 @foo() #0
 
-; Function Attrs: nounwind
+
 define i32 @main() #0 {
 entry:
   %switch = alloca i32, align 4

test/test_suite/stdlib/map.c3t

@@ -86,7 +86,7 @@ entry:
   ret { ptr, i64 } %17
 }
 
-; Function Attrs: nounwind
+
 define void @test.main() #0 {
 entry:
   %map = alloca %HashMap, align 8

test/test_suite/strings/literal_to_subarray.c3t

@@ -15,7 +15,7 @@ fn void test()
 @literal_to_subarray.y = local_unnamed_addr global %"char[]" { ptr @.str, i64 5 }, align 8
 @.str.1 = private unnamed_addr constant [6 x i8] c"world\00", align 1
 
-; Function Attrs: nounwind
+
 define void @literal_to_subarray.test() #0 {
 entry:
   %x = alloca %"char[]", align 8

test/test_suite/struct/nested_struct_init.c3t

@@ -48,7 +48,7 @@ fn void main()
 @.__const.8 = private unnamed_addr constant %Matrix2x2_b { %.anon.1 { [4 x float] [float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00] } }, align 4
 @.str = private unnamed_addr constant [13 x i8] c"%f %f %f %f\0A\00", align 1
 
-; Function Attrs: nounwind
+
 define void @foo.main() #0 {
 entry:
   %m = alloca %Matrix2x2, align 4

test/test_suite/switch/switch_in_defer_macro.c3t

@@ -711,7 +711,7 @@ fn void test()
 @"$ct.std.io.ByteReader" = linkonce global %.introspect { i8 10, i64 0, ptr null, i64 24, i64 0, i64 2, [0 x i64] zeroinitializer }, align 8
 @std.core.mem.thread_allocator = external thread_local global %"any*", align 8
 
-; Function Attrs: nounwind
+
 define zeroext i8 @lexer_test.is_ident_char(i64 %0, i8 zeroext %1) #0 {
 entry:
   %eq = icmp eq i64 0, %0
@@ -745,7 +745,7 @@ or.phi:                                           ; preds = %and.phi2, %and.phi
   ret i8 %6
 }
 
-; Function Attrs: nounwind
+
 define i64 @lexer_test.lex_uint() #0 {
 entry:
   %tcases = alloca %"UintTest[]", align 8

test/test_suite/vector/vector_bit.c3t

@@ -59,7 +59,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @vector_bit.testi() #0 {
 entry:
   %y = alloca <4 x i32>, align 16

test/test_suite/vector/vector_incdec.c3t

@@ -112,7 +112,7 @@ entry:
   ret void
 }
 
-; Function Attrs: nounwind
+
 define void @vector_incdec.testi() #0 {
 entry:
   %y = alloca <4 x i32>, align 16

test/test_suite/vector/vector_init.c3t

@@ -16,7 +16,7 @@ fn void main()
 
 @vector_init.baz = local_unnamed_addr global <4 x i32> <i32 1, i32 4, i32 5, i32 7>, align 16
 
-; Function Attrs: nounwind
+
 define void @vector_init.main() #0 {
 entry:
   %foo = alloca <4 x i32>, align 16

test/test_suite/vector/vector_ops2.c3t

@@ -23,7 +23,7 @@ fn void testi()
 
 /* #expect: test.ll
 
-; Function Attrs: nounwind
+
 define void @test.testf() #0 {
 entry:
   %y = alloca <4 x float>, align 16
@@ -45,9 +45,9 @@ entry:
 panic:                                            ; preds = %entry
   %6 = load ptr, ptr @std.core.builtin.panic, align 8
   call void %6(ptr @.panic_msg, i64 17, ptr @.file, i64 14, ptr @.func, i64 5, i32 9)
-  br label %checkok
+  unreachable
 
-checkok:                                          ; preds = %panic, %entry
+checkok:                                          ; preds = %entry
   %fdiv = fdiv <4 x float> %2, %3
   store <4 x float> %fdiv, ptr %w, align 16
   ret void