| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals --version 2 |
| ; RUN: opt -passes=function-attrs -S < %s | FileCheck --check-prefixes=COMMON,FNATTRS %s |
| ; RUN: opt -passes=attributor-light -S < %s | FileCheck --check-prefixes=COMMON,ATTRIBUTOR %s |
| |
| declare i32 @get_val() |
| |
| declare void @cold0() cold |
| declare void @cold1() cold |
| declare void @cold_at_cb() |
| |
| declare void @not_cold0() |
| declare void @not_cold1() |
| declare void @not_cold2() |
| |
| define void @test_no_exit_fail() { |
| ; COMMON: Function Attrs: nofree norecurse noreturn nosync nounwind memory(none) |
| ; COMMON-LABEL: define void @test_no_exit_fail |
| ; COMMON-SAME: () #[[ATTR1:[0-9]+]] { |
| ; COMMON-NEXT: entry: |
| ; COMMON-NEXT: br label [[WHILE_BODY:%.*]] |
| ; COMMON: while.body: |
| ; COMMON-NEXT: br label [[WHILE_BODY]] |
| ; |
| entry: |
| br label %while.body |
| |
| while.body: |
| br label %while.body |
| } |
| |
| define void @test_no_exit_fail2() { |
| ; COMMON: Function Attrs: noreturn |
| ; COMMON-LABEL: define void @test_no_exit_fail2 |
| ; COMMON-SAME: () #[[ATTR2:[0-9]+]] { |
| ; COMMON-NEXT: entry: |
| ; COMMON-NEXT: br label [[WHILE_BODY:%.*]] |
| ; COMMON: while.body: |
| ; COMMON-NEXT: call void @not_cold0() |
| ; COMMON-NEXT: br label [[WHILE_BODY2:%.*]] |
| ; COMMON: while.body2: |
| ; COMMON-NEXT: call void @not_cold1() |
| ; COMMON-NEXT: br label [[WHILE_BODY]] |
| ; |
| entry: |
| br label %while.body |
| |
| while.body: |
| call void @not_cold0() |
| br label %while.body2 |
| |
| while.body2: |
| call void @not_cold1() |
| br label %while.body |
| } |
| |
| define void @test_no_exit() { |
| ; FNATTRS: Function Attrs: cold noreturn |
| ; FNATTRS-LABEL: define void @test_no_exit |
| ; FNATTRS-SAME: () #[[ATTR3:[0-9]+]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: br label [[WHILE_BODY:%.*]] |
| ; FNATTRS: while.body: |
| ; FNATTRS-NEXT: call void @cold0() |
| ; FNATTRS-NEXT: br label [[WHILE_BODY]] |
| ; |
| ; ATTRIBUTOR: Function Attrs: noreturn |
| ; ATTRIBUTOR-LABEL: define void @test_no_exit |
| ; ATTRIBUTOR-SAME: () #[[ATTR2]] { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: br label [[WHILE_BODY:%.*]] |
| ; ATTRIBUTOR: while.body: |
| ; ATTRIBUTOR-NEXT: call void @cold0() |
| ; ATTRIBUTOR-NEXT: br label [[WHILE_BODY]] |
| ; |
| entry: |
| br label %while.body |
| |
| while.body: |
| call void @cold0() |
| br label %while.body |
| } |
| |
| define void @test_no_exit2() { |
| ; FNATTRS: Function Attrs: cold noreturn |
| ; FNATTRS-LABEL: define void @test_no_exit2 |
| ; FNATTRS-SAME: () #[[ATTR3]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: br label [[WHILE_BODY:%.*]] |
| ; FNATTRS: while.body: |
| ; FNATTRS-NEXT: call void @not_cold0() |
| ; FNATTRS-NEXT: br label [[WHILE_BODY2:%.*]] |
| ; FNATTRS: while.body2: |
| ; FNATTRS-NEXT: call void @cold1() |
| ; FNATTRS-NEXT: br label [[WHILE_BODY]] |
| ; |
| ; ATTRIBUTOR: Function Attrs: noreturn |
| ; ATTRIBUTOR-LABEL: define void @test_no_exit2 |
| ; ATTRIBUTOR-SAME: () #[[ATTR2]] { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: br label [[WHILE_BODY:%.*]] |
| ; ATTRIBUTOR: while.body: |
| ; ATTRIBUTOR-NEXT: call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: br label [[WHILE_BODY2:%.*]] |
| ; ATTRIBUTOR: while.body2: |
| ; ATTRIBUTOR-NEXT: call void @cold1() |
| ; ATTRIBUTOR-NEXT: br label [[WHILE_BODY]] |
| ; |
| entry: |
| br label %while.body |
| |
| while.body: |
| call void @not_cold0() |
| br label %while.body2 |
| |
| while.body2: |
| call void @cold1() |
| br label %while.body |
| } |
| |
| define dso_local void @test_entry(i32 noundef %x) { |
| ; FNATTRS: Function Attrs: cold |
| ; FNATTRS-LABEL: define dso_local void @test_entry |
| ; FNATTRS-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] |
| ; FNATTRS: if.then: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: br label [[IF_END]] |
| ; FNATTRS: if.end: |
| ; FNATTRS-NEXT: tail call void @not_cold1() |
| ; FNATTRS-NEXT: ret void |
| ; |
| ; ATTRIBUTOR-LABEL: define dso_local void @test_entry |
| ; ATTRIBUTOR-SAME: (i32 noundef [[X:%.*]]) { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] |
| ; ATTRIBUTOR: if.then: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END]] |
| ; ATTRIBUTOR: if.end: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold1() |
| ; ATTRIBUTOR-NEXT: ret void |
| ; |
| entry: |
| tail call void @cold0() |
| %tobool.not = icmp eq i32 %x, 0 |
| br i1 %tobool.not, label %if.end, label %if.then |
| |
| if.then: |
| tail call void @not_cold0() |
| br label %if.end |
| |
| if.end: |
| tail call void @not_cold1() |
| ret void |
| } |
| |
| define dso_local void @test_hot_fail(i32 noundef %x) hot { |
| ; FNATTRS: Function Attrs: hot |
| ; FNATTRS-LABEL: define dso_local void @test_hot_fail |
| ; FNATTRS-SAME: (i32 noundef [[X:%.*]]) #[[ATTR4:[0-9]+]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: ret void |
| ; |
| ; ATTRIBUTOR: Function Attrs: hot |
| ; ATTRIBUTOR-LABEL: define dso_local void @test_hot_fail |
| ; ATTRIBUTOR-SAME: (i32 noundef [[X:%.*]]) #[[ATTR3:[0-9]+]] { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: ret void |
| ; |
| entry: |
| tail call void @cold0() |
| ret void |
| } |
| |
| define dso_local void @test_br2(i32 noundef %x) { |
| ; FNATTRS: Function Attrs: cold |
| ; FNATTRS-LABEL: define dso_local void @test_br2 |
| ; FNATTRS-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]] |
| ; FNATTRS: if.then: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: br label [[IF_END:%.*]] |
| ; FNATTRS: if.else: |
| ; FNATTRS-NEXT: tail call void @cold1() |
| ; FNATTRS-NEXT: br label [[IF_END]] |
| ; FNATTRS: if.end: |
| ; FNATTRS-NEXT: ret void |
| ; |
| ; ATTRIBUTOR-LABEL: define dso_local void @test_br2 |
| ; ATTRIBUTOR-SAME: (i32 noundef [[X:%.*]]) { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]] |
| ; ATTRIBUTOR: if.then: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END:%.*]] |
| ; ATTRIBUTOR: if.else: |
| ; ATTRIBUTOR-NEXT: tail call void @cold1() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END]] |
| ; ATTRIBUTOR: if.end: |
| ; ATTRIBUTOR-NEXT: ret void |
| ; |
| entry: |
| %tobool.not = icmp eq i32 %x, 0 |
| br i1 %tobool.not, label %if.else, label %if.then |
| |
| if.then: |
| tail call void @cold0() |
| br label %if.end |
| |
| if.else: |
| tail call void @cold1() |
| br label %if.end |
| |
| if.end: |
| ret void |
| } |
| |
| define dso_local void @test_exit(i32 noundef %x) { |
| ; FNATTRS: Function Attrs: cold |
| ; FNATTRS-LABEL: define dso_local void @test_exit |
| ; FNATTRS-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]] |
| ; FNATTRS: if.then: |
| ; FNATTRS-NEXT: tail call void @not_cold1() |
| ; FNATTRS-NEXT: br label [[IF_END:%.*]] |
| ; FNATTRS: if.else: |
| ; FNATTRS-NEXT: tail call void @not_cold2() |
| ; FNATTRS-NEXT: br label [[IF_END]] |
| ; FNATTRS: if.end: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: ret void |
| ; |
| ; ATTRIBUTOR-LABEL: define dso_local void @test_exit |
| ; ATTRIBUTOR-SAME: (i32 noundef [[X:%.*]]) { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]] |
| ; ATTRIBUTOR: if.then: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold1() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END:%.*]] |
| ; ATTRIBUTOR: if.else: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold2() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END]] |
| ; ATTRIBUTOR: if.end: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: ret void |
| ; |
| entry: |
| tail call void @not_cold0() |
| %tobool.not = icmp eq i32 %x, 0 |
| br i1 %tobool.not, label %if.else, label %if.then |
| |
| if.then: |
| tail call void @not_cold1() |
| br label %if.end |
| |
| if.else: |
| tail call void @not_cold2() |
| br label %if.end |
| |
| if.end: |
| tail call void @cold0() |
| ret void |
| } |
| |
| define dso_local void @test_complex(i32 noundef %x) { |
| ; FNATTRS: Function Attrs: cold |
| ; FNATTRS-LABEL: define dso_local void @test_complex |
| ; FNATTRS-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE11:%.*]], label [[IF_THEN:%.*]] |
| ; FNATTRS: if.then: |
| ; FNATTRS-NEXT: [[CALL:%.*]] = tail call i32 @get_val() |
| ; FNATTRS-NEXT: [[TOBOOL1_NOT:%.*]] = icmp eq i32 [[CALL]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL1_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN2:%.*]] |
| ; FNATTRS: if.then2: |
| ; FNATTRS-NEXT: tail call void @cold1() |
| ; FNATTRS-NEXT: br label [[IF_END12:%.*]] |
| ; FNATTRS: if.else: |
| ; FNATTRS-NEXT: [[CALL3:%.*]] = tail call i32 @get_val() |
| ; FNATTRS-NEXT: [[TOBOOL4_NOT:%.*]] = icmp eq i32 [[CALL3]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL4_NOT]], label [[IF_ELSE6:%.*]], label [[IF_THEN5:%.*]] |
| ; FNATTRS: if.then5: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: br label [[IF_END12]] |
| ; FNATTRS: if.else6: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: [[CALL7:%.*]] = tail call i32 @get_val() |
| ; FNATTRS-NEXT: switch i32 [[CALL7]], label [[SW_DEFAULT:%.*]] [ |
| ; FNATTRS-NEXT: i32 0, label [[SW_BB:%.*]] |
| ; FNATTRS-NEXT: i32 1, label [[SW_BB8:%.*]] |
| ; FNATTRS-NEXT: i32 2, label [[SW_BB9:%.*]] |
| ; FNATTRS-NEXT: ] |
| ; FNATTRS: sw.bb: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: br label [[CALL_COLD:%.*]] |
| ; FNATTRS: sw.bb8: |
| ; FNATTRS-NEXT: tail call void @not_cold1() |
| ; FNATTRS-NEXT: br label [[CALL_COLD]] |
| ; FNATTRS: sw.bb9: |
| ; FNATTRS-NEXT: tail call void @not_cold2() |
| ; FNATTRS-NEXT: br label [[CALL_COLD]] |
| ; FNATTRS: sw.default: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: br label [[IF_END12]] |
| ; FNATTRS: call_cold: |
| ; FNATTRS-NEXT: tail call void @cold_at_cb() #[[ATTR0]] |
| ; FNATTRS-NEXT: br label [[IF_END12]] |
| ; FNATTRS: if.else11: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: br label [[IF_END12]] |
| ; FNATTRS: if.end12: |
| ; FNATTRS-NEXT: ret void |
| ; |
| ; ATTRIBUTOR-LABEL: define dso_local void @test_complex |
| ; ATTRIBUTOR-SAME: (i32 noundef [[X:%.*]]) { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE11:%.*]], label [[IF_THEN:%.*]] |
| ; ATTRIBUTOR: if.then: |
| ; ATTRIBUTOR-NEXT: [[CALL:%.*]] = tail call i32 @get_val() |
| ; ATTRIBUTOR-NEXT: [[TOBOOL1_NOT:%.*]] = icmp eq i32 [[CALL]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL1_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN2:%.*]] |
| ; ATTRIBUTOR: if.then2: |
| ; ATTRIBUTOR-NEXT: tail call void @cold1() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END12:%.*]] |
| ; ATTRIBUTOR: if.else: |
| ; ATTRIBUTOR-NEXT: [[CALL3:%.*]] = tail call i32 @get_val() |
| ; ATTRIBUTOR-NEXT: [[TOBOOL4_NOT:%.*]] = icmp eq i32 [[CALL3]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL4_NOT]], label [[IF_ELSE6:%.*]], label [[IF_THEN5:%.*]] |
| ; ATTRIBUTOR: if.then5: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END12]] |
| ; ATTRIBUTOR: if.else6: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: [[CALL7:%.*]] = tail call i32 @get_val() |
| ; ATTRIBUTOR-NEXT: switch i32 [[CALL7]], label [[SW_DEFAULT:%.*]] [ |
| ; ATTRIBUTOR-NEXT: i32 0, label [[SW_BB:%.*]] |
| ; ATTRIBUTOR-NEXT: i32 1, label [[SW_BB8:%.*]] |
| ; ATTRIBUTOR-NEXT: i32 2, label [[SW_BB9:%.*]] |
| ; ATTRIBUTOR-NEXT: ] |
| ; ATTRIBUTOR: sw.bb: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: br label [[CALL_COLD:%.*]] |
| ; ATTRIBUTOR: sw.bb8: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold1() |
| ; ATTRIBUTOR-NEXT: br label [[CALL_COLD]] |
| ; ATTRIBUTOR: sw.bb9: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold2() |
| ; ATTRIBUTOR-NEXT: br label [[CALL_COLD]] |
| ; ATTRIBUTOR: sw.default: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END12]] |
| ; ATTRIBUTOR: call_cold: |
| ; ATTRIBUTOR-NEXT: tail call void @cold_at_cb() #[[ATTR0:[0-9]+]] |
| ; ATTRIBUTOR-NEXT: br label [[IF_END12]] |
| ; ATTRIBUTOR: if.else11: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END12]] |
| ; ATTRIBUTOR: if.end12: |
| ; ATTRIBUTOR-NEXT: ret void |
| ; |
| entry: |
| tail call void @not_cold0() |
| %tobool.not = icmp eq i32 %x, 0 |
| br i1 %tobool.not, label %if.else11, label %if.then |
| |
| if.then: |
| %call = tail call i32 @get_val() |
| %tobool1.not = icmp eq i32 %call, 0 |
| br i1 %tobool1.not, label %if.else, label %if.then2 |
| |
| if.then2: |
| tail call void @cold1() |
| br label %if.end12 |
| |
| if.else: |
| %call3 = tail call i32 @get_val() |
| %tobool4.not = icmp eq i32 %call3, 0 |
| br i1 %tobool4.not, label %if.else6, label %if.then5 |
| |
| if.then5: |
| tail call void @cold0() |
| br label %if.end12 |
| |
| if.else6: |
| tail call void @not_cold0() |
| %call7 = tail call i32 @get_val() |
| switch i32 %call7, label %sw.default [ |
| i32 0, label %sw.bb |
| i32 1, label %sw.bb8 |
| i32 2, label %sw.bb9 |
| ] |
| |
| sw.bb: |
| tail call void @not_cold0() |
| br label %call_cold |
| |
| sw.bb8: |
| tail call void @not_cold1() |
| br label %call_cold |
| |
| sw.bb9: |
| tail call void @not_cold2() |
| br label %call_cold |
| |
| sw.default: |
| tail call void @cold0() |
| br label %if.end12 |
| |
| call_cold: |
| tail call void @cold_at_cb() cold |
| br label %if.end12 |
| |
| if.else11: |
| tail call void @cold0() |
| br label %if.end12 |
| |
| if.end12: |
| ret void |
| } |
| |
| define dso_local void @test_complex2(i32 noundef %x) { |
| ; FNATTRS: Function Attrs: cold |
| ; FNATTRS-LABEL: define dso_local void @test_complex2 |
| ; FNATTRS-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0]] { |
| ; FNATTRS-NEXT: entry: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; FNATTRS-NEXT: [[CALL12:%.*]] = tail call i32 @get_val() |
| ; FNATTRS-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE11:%.*]], label [[IF_THEN:%.*]] |
| ; FNATTRS: if.then: |
| ; FNATTRS-NEXT: [[TOBOOL1_NOT:%.*]] = icmp eq i32 [[CALL12]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL1_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN2:%.*]] |
| ; FNATTRS: if.then2: |
| ; FNATTRS-NEXT: tail call void @cold1() |
| ; FNATTRS-NEXT: br label [[IF_END16:%.*]] |
| ; FNATTRS: if.else: |
| ; FNATTRS-NEXT: [[CALL3:%.*]] = tail call i32 @get_val() |
| ; FNATTRS-NEXT: [[TOBOOL4_NOT:%.*]] = icmp eq i32 [[CALL3]], 0 |
| ; FNATTRS-NEXT: br i1 [[TOBOOL4_NOT]], label [[IF_ELSE6:%.*]], label [[IF_THEN5:%.*]] |
| ; FNATTRS: if.then5: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: br label [[IF_END16]] |
| ; FNATTRS: if.else6: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: [[CALL7:%.*]] = tail call i32 @get_val() |
| ; FNATTRS-NEXT: switch i32 [[CALL7]], label [[SW_DEFAULT:%.*]] [ |
| ; FNATTRS-NEXT: i32 0, label [[SW_BB:%.*]] |
| ; FNATTRS-NEXT: i32 1, label [[SW_BB8:%.*]] |
| ; FNATTRS-NEXT: i32 2, label [[SW_BB9:%.*]] |
| ; FNATTRS-NEXT: ] |
| ; FNATTRS: sw.bb: |
| ; FNATTRS-NEXT: tail call void @not_cold0() |
| ; FNATTRS-NEXT: br label [[CALL_COLD:%.*]] |
| ; FNATTRS: sw.bb8: |
| ; FNATTRS-NEXT: tail call void @not_cold1() |
| ; FNATTRS-NEXT: br label [[CALL_COLD]] |
| ; FNATTRS: sw.bb9: |
| ; FNATTRS-NEXT: tail call void @not_cold2() |
| ; FNATTRS-NEXT: br label [[CALL_COLD]] |
| ; FNATTRS: sw.default: |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: br label [[IF_END16]] |
| ; FNATTRS: call_cold: |
| ; FNATTRS-NEXT: tail call void @cold_at_cb() #[[ATTR0]] |
| ; FNATTRS-NEXT: br label [[IF_END16]] |
| ; FNATTRS: if.else11: |
| ; FNATTRS-NEXT: [[CMP:%.*]] = icmp slt i32 [[CALL12]], 1 |
| ; FNATTRS-NEXT: br i1 [[CMP]], label [[IF_END14:%.*]], label [[FOR_BODY:%.*]] |
| ; FNATTRS: if.end14: |
| ; FNATTRS-NEXT: tail call void @cold1() |
| ; FNATTRS-NEXT: br label [[IF_END16]] |
| ; FNATTRS: for.body: |
| ; FNATTRS-NEXT: [[I_021:%.*]] = phi i32 [ [[INC:%.*]], [[FOR_BODY]] ], [ 0, [[IF_ELSE11]] ] |
| ; FNATTRS-NEXT: tail call void @cold0() |
| ; FNATTRS-NEXT: [[INC]] = add nuw nsw i32 [[I_021]], 1 |
| ; FNATTRS-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i32 [[INC]], [[CALL12]] |
| ; FNATTRS-NEXT: br i1 [[EXITCOND_NOT]], label [[IF_END16]], label [[FOR_BODY]] |
| ; FNATTRS: if.end16: |
| ; FNATTRS-NEXT: ret void |
| ; |
| ; ATTRIBUTOR-LABEL: define dso_local void @test_complex2 |
| ; ATTRIBUTOR-SAME: (i32 noundef [[X:%.*]]) { |
| ; ATTRIBUTOR-NEXT: entry: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; ATTRIBUTOR-NEXT: [[CALL12:%.*]] = tail call i32 @get_val() |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE11:%.*]], label [[IF_THEN:%.*]] |
| ; ATTRIBUTOR: if.then: |
| ; ATTRIBUTOR-NEXT: [[TOBOOL1_NOT:%.*]] = icmp eq i32 [[CALL12]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL1_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN2:%.*]] |
| ; ATTRIBUTOR: if.then2: |
| ; ATTRIBUTOR-NEXT: tail call void @cold1() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END16:%.*]] |
| ; ATTRIBUTOR: if.else: |
| ; ATTRIBUTOR-NEXT: [[CALL3:%.*]] = tail call i32 @get_val() |
| ; ATTRIBUTOR-NEXT: [[TOBOOL4_NOT:%.*]] = icmp eq i32 [[CALL3]], 0 |
| ; ATTRIBUTOR-NEXT: br i1 [[TOBOOL4_NOT]], label [[IF_ELSE6:%.*]], label [[IF_THEN5:%.*]] |
| ; ATTRIBUTOR: if.then5: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END16]] |
| ; ATTRIBUTOR: if.else6: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: [[CALL7:%.*]] = tail call i32 @get_val() |
| ; ATTRIBUTOR-NEXT: switch i32 [[CALL7]], label [[SW_DEFAULT:%.*]] [ |
| ; ATTRIBUTOR-NEXT: i32 0, label [[SW_BB:%.*]] |
| ; ATTRIBUTOR-NEXT: i32 1, label [[SW_BB8:%.*]] |
| ; ATTRIBUTOR-NEXT: i32 2, label [[SW_BB9:%.*]] |
| ; ATTRIBUTOR-NEXT: ] |
| ; ATTRIBUTOR: sw.bb: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold0() |
| ; ATTRIBUTOR-NEXT: br label [[CALL_COLD:%.*]] |
| ; ATTRIBUTOR: sw.bb8: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold1() |
| ; ATTRIBUTOR-NEXT: br label [[CALL_COLD]] |
| ; ATTRIBUTOR: sw.bb9: |
| ; ATTRIBUTOR-NEXT: tail call void @not_cold2() |
| ; ATTRIBUTOR-NEXT: br label [[CALL_COLD]] |
| ; ATTRIBUTOR: sw.default: |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END16]] |
| ; ATTRIBUTOR: call_cold: |
| ; ATTRIBUTOR-NEXT: tail call void @cold_at_cb() #[[ATTR0]] |
| ; ATTRIBUTOR-NEXT: br label [[IF_END16]] |
| ; ATTRIBUTOR: if.else11: |
| ; ATTRIBUTOR-NEXT: [[CMP:%.*]] = icmp slt i32 [[CALL12]], 1 |
| ; ATTRIBUTOR-NEXT: br i1 [[CMP]], label [[IF_END14:%.*]], label [[FOR_BODY:%.*]] |
| ; ATTRIBUTOR: if.end14: |
| ; ATTRIBUTOR-NEXT: tail call void @cold1() |
| ; ATTRIBUTOR-NEXT: br label [[IF_END16]] |
| ; ATTRIBUTOR: for.body: |
| ; ATTRIBUTOR-NEXT: [[I_021:%.*]] = phi i32 [ [[INC:%.*]], [[FOR_BODY]] ], [ 0, [[IF_ELSE11]] ] |
| ; ATTRIBUTOR-NEXT: tail call void @cold0() |
| ; ATTRIBUTOR-NEXT: [[INC]] = add nuw nsw i32 [[I_021]], 1 |
| ; ATTRIBUTOR-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i32 [[INC]], [[CALL12]] |
| ; ATTRIBUTOR-NEXT: br i1 [[EXITCOND_NOT]], label [[IF_END16]], label [[FOR_BODY]] |
| ; ATTRIBUTOR: if.end16: |
| ; ATTRIBUTOR-NEXT: ret void |
| ; |
| entry: |
| tail call void @not_cold0() |
| %tobool.not = icmp eq i32 %x, 0 |
| %call12 = tail call i32 @get_val() |
| br i1 %tobool.not, label %if.else11, label %if.then |
| |
| if.then: |
| %tobool1.not = icmp eq i32 %call12, 0 |
| br i1 %tobool1.not, label %if.else, label %if.then2 |
| |
| if.then2: |
| tail call void @cold1() |
| br label %if.end16 |
| |
| if.else: |
| %call3 = tail call i32 @get_val() |
| %tobool4.not = icmp eq i32 %call3, 0 |
| br i1 %tobool4.not, label %if.else6, label %if.then5 |
| |
| if.then5: |
| tail call void @cold0() |
| br label %if.end16 |
| |
| if.else6: |
| tail call void @not_cold0() |
| %call7 = tail call i32 @get_val() |
| switch i32 %call7, label %sw.default [ |
| i32 0, label %sw.bb |
| i32 1, label %sw.bb8 |
| i32 2, label %sw.bb9 |
| ] |
| |
| sw.bb: |
| tail call void @not_cold0() |
| br label %call_cold |
| |
| sw.bb8: |
| tail call void @not_cold1() |
| br label %call_cold |
| |
| sw.bb9: |
| tail call void @not_cold2() |
| br label %call_cold |
| |
| sw.default: |
| tail call void @cold0() |
| br label %if.end16 |
| |
| call_cold: |
| tail call void @cold_at_cb() cold |
| br label %if.end16 |
| |
| if.else11: |
| %cmp = icmp slt i32 %call12, 1 |
| br i1 %cmp, label %if.end14, label %for.body |
| |
| if.end14: |
| tail call void @cold1() |
| br label %if.end16 |
| |
| for.body: |
| %i.021 = phi i32 [ %inc, %for.body ], [ 0, %if.else11 ] |
| tail call void @cold0() |
| %inc = add nuw nsw i32 %i.021, 1 |
| %exitcond.not = icmp eq i32 %inc, %call12 |
| br i1 %exitcond.not, label %if.end16, label %for.body |
| |
| if.end16: |
| ret void |
| } |
| |
| define dso_local void @test_complex_fail(i32 noundef %x) { |
| ; COMMON-LABEL: define dso_local void @test_complex_fail |
| ; COMMON-SAME: (i32 noundef [[X:%.*]]) { |
| ; COMMON-NEXT: entry: |
| ; COMMON-NEXT: tail call void @not_cold0() |
| ; COMMON-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; COMMON-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE11:%.*]], label [[IF_THEN:%.*]] |
| ; COMMON: if.then: |
| ; COMMON-NEXT: [[CALL:%.*]] = tail call i32 @get_val() |
| ; COMMON-NEXT: [[TOBOOL1_NOT:%.*]] = icmp eq i32 [[CALL]], 0 |
| ; COMMON-NEXT: br i1 [[TOBOOL1_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN2:%.*]] |
| ; COMMON: if.then2: |
| ; COMMON-NEXT: tail call void @cold1() |
| ; COMMON-NEXT: br label [[IF_END12:%.*]] |
| ; COMMON: if.else: |
| ; COMMON-NEXT: [[CALL3:%.*]] = tail call i32 @get_val() |
| ; COMMON-NEXT: [[TOBOOL4_NOT:%.*]] = icmp eq i32 [[CALL3]], 0 |
| ; COMMON-NEXT: br i1 [[TOBOOL4_NOT]], label [[IF_ELSE6:%.*]], label [[IF_THEN5:%.*]] |
| ; COMMON: if.then5: |
| ; COMMON-NEXT: tail call void @cold0() |
| ; COMMON-NEXT: br label [[IF_END12]] |
| ; COMMON: if.else6: |
| ; COMMON-NEXT: tail call void @not_cold0() |
| ; COMMON-NEXT: [[CALL7:%.*]] = tail call i32 @get_val() |
| ; COMMON-NEXT: switch i32 [[CALL7]], label [[SW_DEFAULT:%.*]] [ |
| ; COMMON-NEXT: i32 0, label [[SW_BB:%.*]] |
| ; COMMON-NEXT: i32 1, label [[SW_BB8:%.*]] |
| ; COMMON-NEXT: i32 2, label [[SW_BB9:%.*]] |
| ; COMMON-NEXT: ] |
| ; COMMON: sw.bb: |
| ; COMMON-NEXT: tail call void @not_cold0() |
| ; COMMON-NEXT: br label [[CALL_COLD:%.*]] |
| ; COMMON: sw.bb8: |
| ; COMMON-NEXT: tail call void @not_cold1() |
| ; COMMON-NEXT: br label [[CALL_COLD]] |
| ; COMMON: sw.bb9: |
| ; COMMON-NEXT: tail call void @not_cold2() |
| ; COMMON-NEXT: br label [[IF_END12]] |
| ; COMMON: sw.default: |
| ; COMMON-NEXT: tail call void @cold0() |
| ; COMMON-NEXT: br label [[IF_END12]] |
| ; COMMON: call_cold: |
| ; COMMON-NEXT: tail call void @cold_at_cb() #[[ATTR0:[0-9]+]] |
| ; COMMON-NEXT: br label [[IF_END12]] |
| ; COMMON: if.else11: |
| ; COMMON-NEXT: tail call void @cold0() |
| ; COMMON-NEXT: br label [[IF_END12]] |
| ; COMMON: if.end12: |
| ; COMMON-NEXT: ret void |
| ; |
| entry: |
| tail call void @not_cold0() |
| %tobool.not = icmp eq i32 %x, 0 |
| br i1 %tobool.not, label %if.else11, label %if.then |
| |
| if.then: |
| %call = tail call i32 @get_val() |
| %tobool1.not = icmp eq i32 %call, 0 |
| br i1 %tobool1.not, label %if.else, label %if.then2 |
| |
| if.then2: |
| tail call void @cold1() |
| br label %if.end12 |
| |
| if.else: |
| %call3 = tail call i32 @get_val() |
| %tobool4.not = icmp eq i32 %call3, 0 |
| br i1 %tobool4.not, label %if.else6, label %if.then5 |
| |
| if.then5: |
| tail call void @cold0() |
| br label %if.end12 |
| |
| if.else6: |
| tail call void @not_cold0() |
| %call7 = tail call i32 @get_val() |
| switch i32 %call7, label %sw.default [ |
| i32 0, label %sw.bb |
| i32 1, label %sw.bb8 |
| i32 2, label %sw.bb9 |
| ] |
| |
| sw.bb: |
| tail call void @not_cold0() |
| br label %call_cold |
| |
| sw.bb8: |
| tail call void @not_cold1() |
| br label %call_cold |
| |
| sw.bb9: |
| tail call void @not_cold2() |
| br label %if.end12 |
| |
| sw.default: |
| tail call void @cold0() |
| br label %if.end12 |
| |
| call_cold: |
| tail call void @cold_at_cb() cold |
| br label %if.end12 |
| |
| if.else11: |
| tail call void @cold0() |
| br label %if.end12 |
| |
| if.end12: |
| ret void |
| } |
| |
| define dso_local void @test_complex2_fail(i32 noundef %x) { |
| ; COMMON-LABEL: define dso_local void @test_complex2_fail |
| ; COMMON-SAME: (i32 noundef [[X:%.*]]) { |
| ; COMMON-NEXT: entry: |
| ; COMMON-NEXT: tail call void @not_cold0() |
| ; COMMON-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[X]], 0 |
| ; COMMON-NEXT: [[CALL12:%.*]] = tail call i32 @get_val() |
| ; COMMON-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_ELSE11:%.*]], label [[IF_THEN:%.*]] |
| ; COMMON: if.then: |
| ; COMMON-NEXT: [[TOBOOL1_NOT:%.*]] = icmp eq i32 [[CALL12]], 0 |
| ; COMMON-NEXT: br i1 [[TOBOOL1_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN2:%.*]] |
| ; COMMON: if.then2: |
| ; COMMON-NEXT: tail call void @cold1() |
| ; COMMON-NEXT: br label [[IF_END16:%.*]] |
| ; COMMON: if.else: |
| ; COMMON-NEXT: [[CALL3:%.*]] = tail call i32 @get_val() |
| ; COMMON-NEXT: [[TOBOOL4_NOT:%.*]] = icmp eq i32 [[CALL3]], 0 |
| ; COMMON-NEXT: br i1 [[TOBOOL4_NOT]], label [[IF_ELSE6:%.*]], label [[IF_THEN5:%.*]] |
| ; COMMON: if.then5: |
| ; COMMON-NEXT: tail call void @cold0() |
| ; COMMON-NEXT: br label [[IF_END16]] |
| ; COMMON: if.else6: |
| ; COMMON-NEXT: tail call void @not_cold0() |
| ; COMMON-NEXT: [[CALL7:%.*]] = tail call i32 @get_val() |
| ; COMMON-NEXT: switch i32 [[CALL7]], label [[SW_DEFAULT:%.*]] [ |
| ; COMMON-NEXT: i32 0, label [[SW_BB:%.*]] |
| ; COMMON-NEXT: i32 1, label [[SW_BB8:%.*]] |
| ; COMMON-NEXT: i32 2, label [[SW_BB9:%.*]] |
| ; COMMON-NEXT: ] |
| ; COMMON: sw.bb: |
| ; COMMON-NEXT: tail call void @not_cold0() |
| ; COMMON-NEXT: br label [[CALL_COLD:%.*]] |
| ; COMMON: sw.bb8: |
| ; COMMON-NEXT: tail call void @not_cold1() |
| ; COMMON-NEXT: br label [[CALL_COLD]] |
| ; COMMON: sw.bb9: |
| ; COMMON-NEXT: tail call void @not_cold2() |
| ; COMMON-NEXT: br label [[CALL_COLD]] |
| ; COMMON: sw.default: |
| ; COMMON-NEXT: tail call void @cold0() |
| ; COMMON-NEXT: br label [[IF_END16]] |
| ; COMMON: call_cold: |
| ; COMMON-NEXT: tail call void @cold_at_cb() #[[ATTR0]] |
| ; COMMON-NEXT: br label [[IF_END16]] |
| ; COMMON: if.else11: |
| ; COMMON-NEXT: [[CMP:%.*]] = icmp slt i32 [[CALL12]], 1 |
| ; COMMON-NEXT: br i1 [[CMP]], label [[IF_END14:%.*]], label [[FOR_BODY:%.*]] |
| ; COMMON: if.end14: |
| ; COMMON-NEXT: tail call void @not_cold1() |
| ; COMMON-NEXT: br label [[IF_END16]] |
| ; COMMON: for.body: |
| ; COMMON-NEXT: [[I_021:%.*]] = phi i32 [ [[INC:%.*]], [[FOR_BODY]] ], [ 0, [[IF_ELSE11]] ] |
| ; COMMON-NEXT: tail call void @cold0() |
| ; COMMON-NEXT: [[INC]] = add nuw nsw i32 [[I_021]], 1 |
| ; COMMON-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i32 [[INC]], [[CALL12]] |
| ; COMMON-NEXT: br i1 [[EXITCOND_NOT]], label [[IF_END16]], label [[FOR_BODY]] |
| ; COMMON: if.end16: |
| ; COMMON-NEXT: ret void |
| ; |
| entry: |
| tail call void @not_cold0() |
| %tobool.not = icmp eq i32 %x, 0 |
| %call12 = tail call i32 @get_val() |
| br i1 %tobool.not, label %if.else11, label %if.then |
| |
| if.then: |
| %tobool1.not = icmp eq i32 %call12, 0 |
| br i1 %tobool1.not, label %if.else, label %if.then2 |
| |
| if.then2: |
| tail call void @cold1() |
| br label %if.end16 |
| |
| if.else: |
| %call3 = tail call i32 @get_val() |
| %tobool4.not = icmp eq i32 %call3, 0 |
| br i1 %tobool4.not, label %if.else6, label %if.then5 |
| |
| if.then5: |
| tail call void @cold0() |
| br label %if.end16 |
| |
| if.else6: |
| tail call void @not_cold0() |
| %call7 = tail call i32 @get_val() |
| switch i32 %call7, label %sw.default [ |
| i32 0, label %sw.bb |
| i32 1, label %sw.bb8 |
| i32 2, label %sw.bb9 |
| ] |
| |
| sw.bb: |
| tail call void @not_cold0() |
| br label %call_cold |
| |
| sw.bb8: |
| tail call void @not_cold1() |
| br label %call_cold |
| |
| sw.bb9: |
| tail call void @not_cold2() |
| br label %call_cold |
| |
| sw.default: |
| tail call void @cold0() |
| br label %if.end16 |
| |
| call_cold: |
| tail call void @cold_at_cb() cold |
| br label %if.end16 |
| |
| if.else11: |
| %cmp = icmp slt i32 %call12, 1 |
| br i1 %cmp, label %if.end14, label %for.body |
| |
| if.end14: |
| tail call void @not_cold1() |
| br label %if.end16 |
| |
| for.body: |
| %i.021 = phi i32 [ %inc, %for.body ], [ 0, %if.else11 ] |
| tail call void @cold0() |
| %inc = add nuw nsw i32 %i.021, 1 |
| %exitcond.not = icmp eq i32 %inc, %call12 |
| br i1 %exitcond.not, label %if.end16, label %for.body |
| |
| if.end16: |
| ret void |
| } |
| |
| ;. |
| ; FNATTRS: attributes #[[ATTR0]] = { cold } |
| ; FNATTRS: attributes #[[ATTR1]] = { nofree norecurse noreturn nosync nounwind memory(none) } |
| ; FNATTRS: attributes #[[ATTR2]] = { noreturn } |
| ; FNATTRS: attributes #[[ATTR3]] = { cold noreturn } |
| ; FNATTRS: attributes #[[ATTR4]] = { hot } |
| ;. |
| ; ATTRIBUTOR: attributes #[[ATTR0]] = { cold } |
| ; ATTRIBUTOR: attributes #[[ATTR1]] = { nofree norecurse noreturn nosync nounwind memory(none) } |
| ; ATTRIBUTOR: attributes #[[ATTR2]] = { noreturn } |
| ; ATTRIBUTOR: attributes #[[ATTR3]] = { hot } |
| ;. |
