@@ -843,7 +843,7 @@ Abc_SopComplement.exit: ; preds = %.preheader, %Abc_So
843
843
844
844
declare i32 @Kit_TruthIsop (ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #1
845
845
846
- ; Function Attrs: nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none ) uwtable
846
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite ) uwtable
847
847
define void @Abc_SopComplement (ptr nocapture noundef %0 ) local_unnamed_addr #5 {
848
848
br label %2
849
849
@@ -1120,7 +1120,7 @@ Vec_IntPush.exit: ; preds = %.Vec_IntGrow.exit10
1120
1120
ret void
1121
1121
}
1122
1122
1123
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1123
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1124
1124
define noundef i32 @Abc_SopGetVarNum (ptr noundef %0 ) local_unnamed_addr #6 {
1125
1125
br label %2
1126
1126
@@ -1149,7 +1149,7 @@ define noundef i32 @Abc_SopGetVarNum(ptr noundef %0) local_unnamed_addr #6 {
1149
1149
ret i32 %.06
1150
1150
}
1151
1151
1152
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1152
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1153
1153
define i32 @Abc_SopGetCubeNum (ptr noundef readonly %0 ) local_unnamed_addr #6 {
1154
1154
%2 = icmp eq ptr %0 , null
1155
1155
br i1 %2 , label %.loopexit , label %.preheader
@@ -1176,7 +1176,7 @@ define i32 @Abc_SopGetCubeNum(ptr noundef readonly %0) local_unnamed_addr #6 {
1176
1176
ret i32 %.08
1177
1177
}
1178
1178
1179
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1179
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1180
1180
define i32 @Abc_SopGetLitNum (ptr noundef readonly %0 ) local_unnamed_addr #6 {
1181
1181
%2 = icmp eq ptr %0 , null
1182
1182
br i1 %2 , label %.loopexit , label %.preheader
@@ -1207,7 +1207,7 @@ define i32 @Abc_SopGetLitNum(ptr noundef readonly %0) local_unnamed_addr #6 {
1207
1207
ret i32 %.011
1208
1208
}
1209
1209
1210
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1210
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1211
1211
define range(i32 -1 , 2 ) i32 @Abc_SopGetPhase (ptr noundef %0 ) local_unnamed_addr #6 {
1212
1212
br label %2
1213
1213
@@ -1255,7 +1255,7 @@ Abc_SopGetVarNum.exit: ; preds = %2, %6
1255
1255
ret i32 %.0
1256
1256
}
1257
1257
1258
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1258
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1259
1259
define range(i32 -176 , 80 ) i32 @Abc_SopGetIthCareLit (ptr noundef %0 , i32 noundef %1 ) local_unnamed_addr #6 {
1260
1260
br label %3
1261
1261
@@ -1313,7 +1313,7 @@ Abc_SopGetVarNum.exit: ; preds = %3, %7
1313
1313
ret i32 %.0
1314
1314
}
1315
1315
1316
- ; Function Attrs: nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none ) uwtable
1316
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite ) uwtable
1317
1317
define void @Abc_SopComplementVar (ptr noundef %0 , i32 noundef %1 ) local_unnamed_addr #5 {
1318
1318
br label %3
1319
1319
@@ -1375,7 +1375,7 @@ Abc_SopGetVarNum.exit: ; preds = %3, %7
1375
1375
ret void
1376
1376
}
1377
1377
1378
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1378
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1379
1379
define range(i32 0 , 2 ) i32 @Abc_SopIsComplement (ptr nocapture noundef readonly %0 ) local_unnamed_addr #6 {
1380
1380
br label %2
1381
1381
@@ -1509,7 +1509,7 @@ define range(i32 0, 2) i32 @Abc_SopIsInv(ptr nocapture noundef readonly %0) loca
1509
1509
ret i32 %.0
1510
1510
}
1511
1511
1512
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1512
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1513
1513
define range(i32 0 , 2 ) i32 @Abc_SopIsAndType (ptr noundef readonly %0 ) local_unnamed_addr #6 {
1514
1514
%2 = icmp eq ptr %0 , null
1515
1515
br i1 %2 , label %Abc_SopGetCubeNum.exit.thread , label %.preheader.i
@@ -1560,7 +1560,7 @@ Abc_SopGetCubeNum.exit.thread: ; preds = %.preheader, %.prehe
1560
1560
ret i32 %.06
1561
1561
}
1562
1562
1563
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1563
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1564
1564
define range(i32 0 , 2 ) i32 @Abc_SopIsOrType (ptr noundef %0 ) local_unnamed_addr #6 {
1565
1565
br label %2
1566
1566
@@ -1654,7 +1654,7 @@ Abc_SopGetCubeNum.exit: ; preds = %.lr.ph.i, %Abc_SopG
1654
1654
ret i32 %.013
1655
1655
}
1656
1656
1657
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
1657
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
1658
1658
define range(i32 0 , 2 ) i32 @Abc_SopIsExorType (ptr nocapture noundef readonly %0 ) local_unnamed_addr #6 {
1659
1659
br label %2
1660
1660
@@ -3762,7 +3762,7 @@ Vec_StrFree.exit: ; preds = %Vec_StrPush.exit32,
3762
3762
ret ptr %.0.i34
3763
3763
}
3764
3764
3765
- ; Function Attrs: nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable
3765
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read ) uwtable
3766
3766
define i64 @Abc_SopToTruth (ptr noundef %0 , i32 noundef %1 ) local_unnamed_addr #6 {
3767
3767
br label %3
3768
3768
@@ -3873,7 +3873,7 @@ Abc_SopIsComplement.exit.thread: ; preds = %34, %Abc_SopIsCompl
3873
3873
ret i64 %44
3874
3874
}
3875
3875
3876
- ; Function Attrs: nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none ) uwtable
3876
+ ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite ) uwtable
3877
3877
define void @Abc_SopToTruth7 (ptr noundef %0 , i32 noundef %1 , ptr nocapture noundef writeonly %2 ) local_unnamed_addr #5 {
3878
3878
br label %4
3879
3879
@@ -4225,8 +4225,8 @@ attributes #1 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protect
4225
4225
attributes #2 = { mustprogress nofree nounwind willreturn memory(argmem: read) "frame-pointer" ="all" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4226
4226
attributes #3 = { mustprogress nofree nounwind willreturn memory(argmem: readwrite) "frame-pointer" ="all" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4227
4227
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
4228
- attributes #5 = { nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none ) uwtable "frame-pointer" ="all" "min-legal-vector-width" ="0" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4229
- attributes #6 = { nofree norecurse nosync nounwind memory(read, inaccessiblemem: none ) uwtable "frame-pointer" ="all" "min-legal-vector-width" ="0" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4228
+ attributes #5 = { nofree norecurse nosync nounwind memory(argmem: readwrite ) uwtable "frame-pointer" ="all" "min-legal-vector-width" ="0" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4229
+ attributes #6 = { nofree norecurse nosync nounwind memory(argmem: read ) uwtable "frame-pointer" ="all" "min-legal-vector-width" ="0" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4230
4230
attributes #7 = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) uwtable "frame-pointer" ="all" "min-legal-vector-width" ="0" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4231
4231
attributes #8 = { nofree nounwind uwtable "frame-pointer" ="all" "min-legal-vector-width" ="0" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
4232
4232
attributes #9 = { nofree nounwind "frame-pointer" ="all" "no-trapping-math" ="true" "stack-protector-buffer-size" ="8" "target-cpu" ="x86-64" "target-features" ="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu" ="generic" }
0 commit comments