| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals |
| ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM |
| ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM |
| ; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM |
| ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM |
| ; |
| ; Test cases specifically designed for the "no-return" function attribute. |
| ; We use FIXME's to indicate problems and missing attributes. |
| |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| |
| |
| ; TEST 1, singleton SCC void return type |
| ; |
| ; void srec0() { |
| ; return srec0(); |
| ; } |
| ; |
| define void @srec0() #0 { |
| ; IS__TUNIT____: Function Attrs: nofree noinline noreturn nosync nounwind readnone uwtable willreturn |
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@srec0 |
| ; IS__TUNIT____-SAME: () #[[ATTR0:[0-9]+]] { |
| ; IS__TUNIT____-NEXT: entry: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; |
| ; IS__CGSCC____: Function Attrs: nofree noinline norecurse noreturn nosync nounwind readnone uwtable willreturn |
| ; IS__CGSCC____-LABEL: define {{[^@]+}}@srec0 |
| ; IS__CGSCC____-SAME: () #[[ATTR0:[0-9]+]] { |
| ; IS__CGSCC____-NEXT: entry: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; |
| entry: |
| call void @srec0() |
| ret void |
| } |
| |
| |
| ; TEST 2: singleton SCC int return type with a lot of recursive calls |
| ; |
| ; int srec16(int a) { |
| ; return srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(srec16(a)))))))))))))))); |
| ; } |
| ; |
| define i32 @srec16(i32 %a) #0 { |
| ; IS__TUNIT____: Function Attrs: nofree noinline noreturn nosync nounwind readnone uwtable willreturn |
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@srec16 |
| ; IS__TUNIT____-SAME: (i32 [[A:%.*]]) #[[ATTR0]] { |
| ; IS__TUNIT____-NEXT: entry: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; IS__TUNIT____: exit: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; |
| ; IS__CGSCC____: Function Attrs: nofree noinline norecurse noreturn nosync nounwind readnone uwtable willreturn |
| ; IS__CGSCC____-LABEL: define {{[^@]+}}@srec16 |
| ; IS__CGSCC____-SAME: (i32 [[A:%.*]]) #[[ATTR0]] { |
| ; IS__CGSCC____-NEXT: entry: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; IS__CGSCC____: exit: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; |
| entry: |
| %call = call i32 @srec16(i32 %a) |
| %call1 = call i32 @srec16(i32 %call) |
| %call2 = call i32 @srec16(i32 %call1) |
| %call3 = call i32 @srec16(i32 %call2) |
| %call4 = call i32 @srec16(i32 %call3) |
| %call5 = call i32 @srec16(i32 %call4) |
| %call6 = call i32 @srec16(i32 %call5) |
| %call7 = call i32 @srec16(i32 %call6) |
| %call8 = call i32 @srec16(i32 %call7) |
| %call9 = call i32 @srec16(i32 %call8) |
| %call10 = call i32 @srec16(i32 %call9) |
| %call11 = call i32 @srec16(i32 %call10) |
| %call12 = call i32 @srec16(i32 %call11) |
| %call13 = call i32 @srec16(i32 %call12) |
| %call14 = call i32 @srec16(i32 %call13) |
| %call15 = call i32 @srec16(i32 %call14) |
| br label %exit |
| |
| exit: |
| ret i32 %call15 |
| } |
| |
| |
| ; TEST 3: endless loop, no return instruction |
| ; |
| ; int endless_loop(int a) { |
| ; while (1); |
| ; } |
| ; |
| define i32 @endless_loop(i32 %a) #0 { |
| ; IS__TUNIT____: Function Attrs: nofree noinline noreturn nosync nounwind readnone uwtable |
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@endless_loop |
| ; IS__TUNIT____-SAME: (i32 [[A:%.*]]) #[[ATTR1:[0-9]+]] { |
| ; IS__TUNIT____-NEXT: entry: |
| ; IS__TUNIT____-NEXT: br label [[WHILE_BODY:%.*]] |
| ; IS__TUNIT____: while.body: |
| ; IS__TUNIT____-NEXT: br label [[WHILE_BODY]] |
| ; |
| ; IS__CGSCC____: Function Attrs: nofree noinline norecurse noreturn nosync nounwind readnone uwtable |
| ; IS__CGSCC____-LABEL: define {{[^@]+}}@endless_loop |
| ; IS__CGSCC____-SAME: (i32 [[A:%.*]]) #[[ATTR1:[0-9]+]] { |
| ; IS__CGSCC____-NEXT: entry: |
| ; IS__CGSCC____-NEXT: br label [[WHILE_BODY:%.*]] |
| ; IS__CGSCC____: while.body: |
| ; IS__CGSCC____-NEXT: br label [[WHILE_BODY]] |
| ; |
| entry: |
| br label %while.body |
| |
| while.body: ; preds = %entry, %while.body |
| br label %while.body |
| } |
| |
| |
| ; TEST 4: endless loop, dead return instruction |
| ; |
| ; int endless_loop(int a) { |
| ; while (1); |
| ; return a; |
| ; } |
| ; |
| ; FIXME: no-return missing (D65243 should fix this) |
| define i32 @dead_return(i32 %a) #0 { |
| ; IS__TUNIT____: Function Attrs: nofree noinline noreturn nosync nounwind readnone uwtable |
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@dead_return |
| ; IS__TUNIT____-SAME: (i32 [[A:%.*]]) #[[ATTR1]] { |
| ; IS__TUNIT____-NEXT: entry: |
| ; IS__TUNIT____-NEXT: br label [[WHILE_BODY:%.*]] |
| ; IS__TUNIT____: while.body: |
| ; IS__TUNIT____-NEXT: br label [[WHILE_BODY]] |
| ; IS__TUNIT____: return: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; |
| ; IS__CGSCC____: Function Attrs: nofree noinline norecurse noreturn nosync nounwind readnone uwtable |
| ; IS__CGSCC____-LABEL: define {{[^@]+}}@dead_return |
| ; IS__CGSCC____-SAME: (i32 [[A:%.*]]) #[[ATTR1]] { |
| ; IS__CGSCC____-NEXT: entry: |
| ; IS__CGSCC____-NEXT: br label [[WHILE_BODY:%.*]] |
| ; IS__CGSCC____: while.body: |
| ; IS__CGSCC____-NEXT: br label [[WHILE_BODY]] |
| ; IS__CGSCC____: return: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; |
| entry: |
| br label %while.body |
| |
| while.body: ; preds = %entry, %while.body |
| br label %while.body |
| |
| return: ; No predecessors! |
| ret i32 %a |
| } |
| |
| |
| ; TEST 5: all paths contain a no-return function call |
| ; |
| ; int multiple_noreturn_calls(int a) { |
| ; return a == 0 ? endless_loop(a) : srec16(a); |
| ; } |
| ; |
| define i32 @multiple_noreturn_calls(i32 %a) #0 { |
| ; IS__TUNIT____: Function Attrs: nofree noinline noreturn nosync nounwind readnone uwtable willreturn |
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@multiple_noreturn_calls |
| ; IS__TUNIT____-SAME: (i32 [[A:%.*]]) #[[ATTR0]] { |
| ; IS__TUNIT____-NEXT: entry: |
| ; IS__TUNIT____-NEXT: [[CMP:%.*]] = icmp eq i32 [[A]], 0 |
| ; IS__TUNIT____-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] |
| ; IS__TUNIT____: cond.true: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; IS__TUNIT____: cond.false: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; IS__TUNIT____: cond.end: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; |
| ; IS__CGSCC____: Function Attrs: nofree noinline norecurse noreturn nosync nounwind readnone uwtable willreturn |
| ; IS__CGSCC____-LABEL: define {{[^@]+}}@multiple_noreturn_calls |
| ; IS__CGSCC____-SAME: (i32 [[A:%.*]]) #[[ATTR0]] { |
| ; IS__CGSCC____-NEXT: entry: |
| ; IS__CGSCC____-NEXT: [[CMP:%.*]] = icmp eq i32 [[A]], 0 |
| ; IS__CGSCC____-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] |
| ; IS__CGSCC____: cond.true: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; IS__CGSCC____: cond.false: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; IS__CGSCC____: cond.end: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; |
| entry: |
| %cmp = icmp eq i32 %a, 0 |
| br i1 %cmp, label %cond.true, label %cond.false |
| |
| cond.true: ; preds = %entry |
| %call = call i32 @endless_loop(i32 %a) |
| br label %cond.end |
| |
| cond.false: ; preds = %entry |
| %call1 = call i32 @srec16(i32 %a) |
| br label %cond.end |
| |
| cond.end: ; preds = %cond.false, %cond.true |
| %cond = phi i32 [ %call, %cond.true ], [ %call1, %cond.false ] |
| ret i32 %cond |
| } |
| |
| |
| ; TEST 6a: willreturn means *not* no-return or UB |
| ; FIXME: we should derive "UB" as an argument and report it to the user on request. |
| |
| define i32 @endless_loop_but_willreturn() willreturn { |
| ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone willreturn |
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@endless_loop_but_willreturn |
| ; IS__TUNIT____-SAME: () #[[ATTR2:[0-9]+]] { |
| ; IS__TUNIT____-NEXT: entry: |
| ; IS__TUNIT____-NEXT: br label [[WHILE_BODY:%.*]] |
| ; IS__TUNIT____: while.body: |
| ; IS__TUNIT____-NEXT: br label [[WHILE_BODY]] |
| ; |
| ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn |
| ; IS__CGSCC____-LABEL: define {{[^@]+}}@endless_loop_but_willreturn |
| ; IS__CGSCC____-SAME: () #[[ATTR2:[0-9]+]] { |
| ; IS__CGSCC____-NEXT: entry: |
| ; IS__CGSCC____-NEXT: br label [[WHILE_BODY:%.*]] |
| ; IS__CGSCC____: while.body: |
| ; IS__CGSCC____-NEXT: br label [[WHILE_BODY]] |
| ; |
| entry: |
| br label %while.body |
| |
| while.body: ; preds = %entry, %while.body |
| br label %while.body |
| } |
| |
| ; TEST 6b: willreturn means *not* no-return or UB |
| define i32 @UB_and_willreturn() willreturn { |
| ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone willreturn |
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@UB_and_willreturn |
| ; IS__TUNIT____-SAME: () #[[ATTR2]] { |
| ; IS__TUNIT____-NEXT: entry: |
| ; IS__TUNIT____-NEXT: unreachable |
| ; |
| ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn |
| ; IS__CGSCC____-LABEL: define {{[^@]+}}@UB_and_willreturn |
| ; IS__CGSCC____-SAME: () #[[ATTR2]] { |
| ; IS__CGSCC____-NEXT: entry: |
| ; IS__CGSCC____-NEXT: unreachable |
| ; |
| entry: |
| unreachable |
| } |
| |
| attributes #0 = { noinline nounwind uwtable } |
| ;. |
| ; IS__TUNIT____: attributes #[[ATTR0]] = { nofree noinline noreturn nosync nounwind readnone uwtable willreturn } |
| ; IS__TUNIT____: attributes #[[ATTR1]] = { nofree noinline noreturn nosync nounwind readnone uwtable } |
| ; IS__TUNIT____: attributes #[[ATTR2]] = { nofree noreturn nosync nounwind readnone willreturn } |
| ;. |
| ; IS__CGSCC____: attributes #[[ATTR0]] = { nofree noinline norecurse noreturn nosync nounwind readnone uwtable willreturn } |
| ; IS__CGSCC____: attributes #[[ATTR1]] = { nofree noinline norecurse noreturn nosync nounwind readnone uwtable } |
| ; IS__CGSCC____: attributes #[[ATTR2]] = { nofree norecurse noreturn nosync nounwind readnone willreturn } |
| ;. |
