| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes |
| ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s |
| |
| ; TEST 1 |
| define i32 @foo1() { |
| ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) |
| ; CHECK-LABEL: define {{[^@]+}}@foo1 |
| ; CHECK-SAME: () #[[ATTR0:[0-9]+]] { |
| ; CHECK-NEXT: ret i32 1 |
| ; |
| ret i32 1 |
| } |
| |
| ; TEST 2 |
| define i32 @scc1_foo() { |
| ; CHECK: Function Attrs: nofree nosync nounwind memory(none) |
| ; CHECK-LABEL: define {{[^@]+}}@scc1_foo |
| ; CHECK-SAME: () #[[ATTR1:[0-9]+]] { |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @scc1_bar() |
| ; CHECK-NEXT: ret i32 1 |
| ; |
| %1 = call i32 @scc1_bar() |
| ret i32 1 |
| } |
| |
| |
| ; TEST 3 |
| define i32 @scc1_bar() { |
| ; CHECK: Function Attrs: nofree nosync nounwind memory(none) |
| ; CHECK-LABEL: define {{[^@]+}}@scc1_bar |
| ; CHECK-SAME: () #[[ATTR1]] { |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @scc1_foo() |
| ; CHECK-NEXT: ret i32 1 |
| ; |
| %1 = call i32 @scc1_foo() |
| ret i32 1 |
| } |
| |
| declare i32 @non_nounwind() |
| |
| ; TEST 4 |
| define void @call_non_nounwind(){ |
| ; CHECK-LABEL: define {{[^@]+}}@call_non_nounwind() { |
| ; CHECK-NEXT: [[TMP1:%.*]] = tail call i32 @non_nounwind() |
| ; CHECK-NEXT: ret void |
| ; |
| tail call i32 @non_nounwind() |
| ret void |
| } |
| |
| ; TEST 5 - throw |
| ; int maybe_throw(bool canThrow) { |
| ; if (canThrow) |
| ; throw; |
| ; else |
| ; return -1; |
| ; } |
| |
| define i32 @maybe_throw(i1 zeroext %0) { |
| ; CHECK-LABEL: define {{[^@]+}}@maybe_throw |
| ; CHECK-SAME: (i1 zeroext [[TMP0:%.*]]) { |
| ; CHECK-NEXT: br i1 [[TMP0]], label [[TMP2:%.*]], label [[TMP3:%.*]] |
| ; CHECK: 2: |
| ; CHECK-NEXT: tail call void @__cxa_rethrow() |
| ; CHECK-NEXT: unreachable |
| ; CHECK: 3: |
| ; CHECK-NEXT: ret i32 -1 |
| ; |
| br i1 %0, label %2, label %3 |
| |
| 2: ; preds = %1 |
| tail call void @__cxa_rethrow() #1 |
| unreachable |
| |
| 3: ; preds = %1 |
| ret i32 -1 |
| } |
| |
| declare void @__cxa_rethrow() |
| |
| ; TEST 6 - catch |
| ; int catch_thing() { |
| ; try { |
| ; int a = doThing(true); |
| ; } |
| ; catch(...) { return -1; } |
| ; return 1; |
| ; } |
| |
| define i32 @catch_thing() personality ptr @__gxx_personality_v0 { |
| ; CHECK-LABEL: define {{[^@]+}}@catch_thing() personality ptr @__gxx_personality_v0 { |
| ; CHECK-NEXT: invoke void @__cxa_rethrow() |
| ; CHECK-NEXT: to label [[TMP1:%.*]] unwind label [[TMP2:%.*]] |
| ; CHECK: 1: |
| ; CHECK-NEXT: unreachable |
| ; CHECK: 2: |
| ; CHECK-NEXT: [[TMP3:%.*]] = landingpad { ptr, i32 } |
| ; CHECK-NEXT: catch ptr null |
| ; CHECK-NEXT: [[TMP4:%.*]] = extractvalue { ptr, i32 } [[TMP3]], 0 |
| ; CHECK-NEXT: [[TMP5:%.*]] = tail call ptr @__cxa_begin_catch(ptr [[TMP4]]) |
| ; CHECK-NEXT: tail call void @__cxa_end_catch() |
| ; CHECK-NEXT: ret i32 -1 |
| ; |
| invoke void @__cxa_rethrow() #1 |
| to label %1 unwind label %2 |
| |
| 1: ; preds = %0 |
| unreachable |
| |
| 2: ; preds = %0 |
| %3 = landingpad { ptr, i32 } |
| catch ptr null |
| %4 = extractvalue { ptr, i32 } %3, 0 |
| %5 = tail call ptr @__cxa_begin_catch(ptr %4) #2 |
| tail call void @__cxa_end_catch() |
| ret i32 -1 |
| } |
| |
| define i32 @catch_thing_user() { |
| ; CHECK-LABEL: define {{[^@]+}}@catch_thing_user() { |
| ; CHECK-NEXT: [[CATCH_THING_CALL:%.*]] = call i32 @catch_thing() |
| ; CHECK-NEXT: ret i32 [[CATCH_THING_CALL]] |
| ; |
| %catch_thing_call = call i32 @catch_thing() |
| ret i32 %catch_thing_call |
| } |
| |
| |
| declare i32 @__gxx_personality_v0(...) |
| |
| declare ptr @__cxa_begin_catch(ptr) |
| |
| declare void @__cxa_end_catch() |