85 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --include-generated-funcs2; RUN: opt -passes=hotcoldsplit -hotcoldsplit-threshold=0 -S < %s | FileCheck %s3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-apple-macosx10.14.0"5 6@G = external dso_local global i32, align 47 8define void @foo(i32) {9 %2 = icmp eq i32 %0, 010 tail call void @_Z10sideeffectv()11 br i1 %2, label %sink, label %exit12 13sink:14 tail call void @_Z10sideeffectv()15 call void @llvm.trap()16 unreachable17 18exit:19 ret void20}21 22define void @bar(i32) {23 %2 = icmp eq i32 %0, 024 tail call void @_Z10sideeffectv()25 br i1 %2, label %sink, label %exit26 27sink:28 tail call void @_Z10sideeffectv()29 call void @llvm.trap()30 unreachable31 32exit:33 ret void34}35 36declare void @llvm.trap() noreturn cold memory(inaccessiblemem: write)37declare void @_Z10sideeffectv()38;.39; CHECK: @G = external dso_local global i32, align 440;.41; CHECK-LABEL: @foo(42; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP0:%.*]], 043; CHECK-NEXT: tail call void @_Z10sideeffectv()44; CHECK-NEXT: br i1 [[TMP2]], label [[CODEREPL:%.*]], label [[EXIT:%.*]]45; CHECK: codeRepl:46; CHECK-NEXT: call void @foo.cold.1() #[[ATTR2:[0-9]+]]47; CHECK-NEXT: unreachable48; CHECK: exit:49; CHECK-NEXT: ret void50;51;52; CHECK-LABEL: @bar(53; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP0:%.*]], 054; CHECK-NEXT: tail call void @_Z10sideeffectv()55; CHECK-NEXT: br i1 [[TMP2]], label [[CODEREPL:%.*]], label [[EXIT:%.*]]56; CHECK: codeRepl:57; CHECK-NEXT: call void @bar.cold.1() #[[ATTR2]]58; CHECK-NEXT: unreachable59; CHECK: exit:60; CHECK-NEXT: ret void61;62;63; CHECK-LABEL: @foo.cold.1(64; CHECK-NEXT: newFuncRoot:65; CHECK-NEXT: br label [[SINK:%.*]]66; CHECK: sink:67; CHECK-NEXT: tail call void @_Z10sideeffectv()68; CHECK-NEXT: call void @llvm.trap()69; CHECK-NEXT: unreachable70;71;72; CHECK-LABEL: @bar.cold.1(73; CHECK-NEXT: newFuncRoot:74; CHECK-NEXT: br label [[SINK:%.*]]75; CHECK: sink:76; CHECK-NEXT: tail call void @_Z10sideeffectv()77; CHECK-NEXT: call void @llvm.trap()78; CHECK-NEXT: unreachable79;80;.81; CHECK: attributes #[[ATTR0:[0-9]+]] = { cold noreturn nounwind memory(inaccessiblemem: write) }82; CHECK: attributes #[[ATTR1:[0-9]+]] = { cold minsize noreturn }83; CHECK: attributes #[[ATTR2]] = { noinline }84;.85