Lines Matching full:nounwind
14 define void @list_DeleteElement(i32 (i8*, i8*)* nocapture %Test) nounwind ssp {
16 %0 = call i32 %Test(i8* null, i8* undef) nounwind
21 define void @list_DeleteDuplicates(i32 (i8*, i8*)* nocapture %Test) nounwind ssp {
23 call void @list_DeleteElement(i32 (i8*, i8*)* %Test) nounwind ssp
24 call fastcc void @list_Rplacd1284() nounwind ssp
29 define internal i32 @inf_LiteralsHaveSameSubtermAndAreFromSameClause(i32* nocapture %L1, i32* nocapture %L2) nounwind readonly ssp {
35 define internal fastcc void @inf_GetBackwardPartnerLits(i32* nocapture %Flags) nounwind ssp {
37 call void @list_DeleteDuplicates(i32 (i8*, i8*)* bitcast (i32 (i32*, i32*)* @inf_LiteralsHaveSameSubtermAndAreFromSameClause to i32 (i8*, i8*)*)) nounwind
42 define void @inf_BackwardEmptySortPlusPlus() nounwind ssp {
44 call fastcc void @inf_GetBackwardPartnerLits(i32* null) nounwind ssp
48 define void @inf_BackwardWeakening() nounwind ssp {
50 call fastcc void @inf_GetBackwardPartnerLits(i32* null) nounwind ssp
54 declare fastcc void @list_Rplacd1284() nounwind ssp
