llvm/test/Transforms/Attributor/norecurse.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=7 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=7 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; 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
   5 ; 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
   6
   7 define i32 @leaf() {
   8 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
   9 ; IS__TUNIT____-LABEL: define {{[^@]+}}@leaf
  10 ; IS__TUNIT____-SAME: () #[[ATTR0:[0-9]+]] {
  11 ; IS__TUNIT____-NEXT:    ret i32 1
  12 ;
  13 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  14 ; IS__CGSCC____-LABEL: define {{[^@]+}}@leaf
  15 ; IS__CGSCC____-SAME: () #[[ATTR0:[0-9]+]] {
  16 ; IS__CGSCC____-NEXT:    ret i32 1
  17 ;
  18   ret i32 1
  19 }
  20
  21 define i32 @self_rec() {
  22 ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone willreturn
  23 ; IS__TUNIT____-LABEL: define {{[^@]+}}@self_rec
  24 ; IS__TUNIT____-SAME: () #[[ATTR1:[0-9]+]] {
  25 ; IS__TUNIT____-NEXT:    unreachable
  26 ;
  27 ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn
  28 ; IS__CGSCC____-LABEL: define {{[^@]+}}@self_rec
  29 ; IS__CGSCC____-SAME: () #[[ATTR1:[0-9]+]] {
  30 ; IS__CGSCC____-NEXT:    unreachable
  31 ;
  32   %a = call i32 @self_rec()
  33   ret i32 4
  34 }
  35
  36 define i32 @indirect_rec() {
  37 ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone willreturn
  38 ; IS__TUNIT____-LABEL: define {{[^@]+}}@indirect_rec
  39 ; IS__TUNIT____-SAME: () #[[ATTR1]] {
  40 ; IS__TUNIT____-NEXT:    unreachable
  41 ;
  42 ; IS__CGSCC_OPM: Function Attrs: nofree noreturn nosync nounwind readnone willreturn
  43 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@indirect_rec
  44 ; IS__CGSCC_OPM-SAME: () #[[ATTR2:[0-9]+]] {
  45 ; IS__CGSCC_OPM-NEXT:    unreachable
  46 ;
  47 ; IS__CGSCC_NPM: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn
  48 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@indirect_rec
  49 ; IS__CGSCC_NPM-SAME: () #[[ATTR1]] {
  50 ; IS__CGSCC_NPM-NEXT:    unreachable
  51 ;
  52   %a = call i32 @indirect_rec2()
  53   ret i32 %a
  54 }
  55 define i32 @indirect_rec2() {
  56 ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone willreturn
  57 ; IS__TUNIT____-LABEL: define {{[^@]+}}@indirect_rec2
  58 ; IS__TUNIT____-SAME: () #[[ATTR1]] {
  59 ; IS__TUNIT____-NEXT:    unreachable
  60 ;
  61 ; IS__CGSCC_OPM: Function Attrs: nofree noreturn nosync nounwind readnone willreturn
  62 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@indirect_rec2
  63 ; IS__CGSCC_OPM-SAME: () #[[ATTR2]] {
  64 ; IS__CGSCC_OPM-NEXT:    unreachable
  65 ;
  66 ; IS__CGSCC_NPM: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn
  67 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@indirect_rec2
  68 ; IS__CGSCC_NPM-SAME: () #[[ATTR1]] {
  69 ; IS__CGSCC_NPM-NEXT:    unreachable
  70 ;
  71   %a = call i32 @indirect_rec()
  72   ret i32 %a
  73 }
  74
  75 define i32 @extern() {
  76 ; NOT_CGSCC_OPM: Function Attrs: nosync readnone
  77 ; NOT_CGSCC_OPM-LABEL: define {{[^@]+}}@extern
  78 ; NOT_CGSCC_OPM-SAME: () #[[ATTR2:[0-9]+]] {
  79 ; NOT_CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @k()
  80 ; NOT_CGSCC_OPM-NEXT:    ret i32 [[A]]
  81 ;
  82 ; IS__CGSCC_OPM: Function Attrs: nosync readnone
  83 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@extern
  84 ; IS__CGSCC_OPM-SAME: () #[[ATTR3:[0-9]+]] {
  85 ; IS__CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @k()
  86 ; IS__CGSCC_OPM-NEXT:    ret i32 [[A]]
  87 ;
  88   %a = call i32 @k()
  89   ret i32 %a
  90 }
  91
  92 ; CHECK: Function Attrs
  93 ; CHECK-NEXT: declare i32 @k()
  94 declare i32 @k() readnone
  95
  96 define void @intrinsic(i8* %dest, i8* %src, i32 %len) {
  97 ; NOT_CGSCC_OPM: Function Attrs: argmemonly nofree nosync nounwind willreturn
  98 ; NOT_CGSCC_OPM-LABEL: define {{[^@]+}}@intrinsic
  99 ; NOT_CGSCC_OPM-SAME: (i8* nocapture nofree writeonly [[DEST:%.*]], i8* nocapture nofree readonly [[SRC:%.*]], i32 [[LEN:%.*]]) #[[ATTR4:[0-9]+]] {
 100 ; NOT_CGSCC_OPM-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* noalias nocapture nofree writeonly [[DEST]], i8* noalias nocapture nofree readonly [[SRC]], i32 [[LEN]], i1 noundef false) #[[ATTR10:[0-9]+]]
 101 ; NOT_CGSCC_OPM-NEXT:    ret void
 102 ;
 103 ; IS__CGSCC_OPM: Function Attrs: argmemonly nofree nosync nounwind willreturn
 104 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@intrinsic
 105 ; IS__CGSCC_OPM-SAME: (i8* nocapture nofree writeonly [[DEST:%.*]], i8* nocapture nofree readonly [[SRC:%.*]], i32 [[LEN:%.*]]) #[[ATTR5:[0-9]+]] {
 106 ; IS__CGSCC_OPM-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* noalias nocapture nofree writeonly [[DEST]], i8* noalias nocapture nofree readonly [[SRC]], i32 [[LEN]], i1 noundef false) #[[ATTR11:[0-9]+]]
 107 ; IS__CGSCC_OPM-NEXT:    ret void
 108 ;
 109   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, i32 %len, i1 false)
 110   ret void
 111 }
 112
 113 ; CHECK: Function Attrs
 114 ; CHECK-NEXT: declare void @llvm.memcpy.p0i8.p0i8.i32
 115 declare void @llvm.memcpy.p0i8.p0i8.i32(i8*, i8*, i32, i1)
 116
 117 define internal i32 @called_by_norecurse() {
 118 ; IS__TUNIT____: Function Attrs: nosync readnone
 119 ; IS__TUNIT____-LABEL: define {{[^@]+}}@called_by_norecurse
 120 ; IS__TUNIT____-SAME: () #[[ATTR2]] {
 121 ; IS__TUNIT____-NEXT:    [[A:%.*]] = call i32 @k()
 122 ; IS__TUNIT____-NEXT:    ret i32 undef
 123 ;
 124 ; IS__CGSCC_OPM: Function Attrs: norecurse nosync readnone
 125 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@called_by_norecurse
 126 ; IS__CGSCC_OPM-SAME: () #[[ATTR7:[0-9]+]] {
 127 ; IS__CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @k()
 128 ; IS__CGSCC_OPM-NEXT:    ret i32 undef
 129 ;
 130 ; IS__CGSCC_NPM: Function Attrs: norecurse nosync readnone
 131 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@called_by_norecurse
 132 ; IS__CGSCC_NPM-SAME: () #[[ATTR6:[0-9]+]] {
 133 ; IS__CGSCC_NPM-NEXT:    [[A:%.*]] = call i32 @k()
 134 ; IS__CGSCC_NPM-NEXT:    ret i32 undef
 135 ;
 136   %a = call i32 @k()
 137   ret i32 %a
 138 }
 139 define void @m() norecurse {
 140 ; IS__TUNIT____: Function Attrs: norecurse nosync readnone
 141 ; IS__TUNIT____-LABEL: define {{[^@]+}}@m
 142 ; IS__TUNIT____-SAME: () #[[ATTR6:[0-9]+]] {
 143 ; IS__TUNIT____-NEXT:    [[A:%.*]] = call i32 @called_by_norecurse() #[[ATTR2]]
 144 ; IS__TUNIT____-NEXT:    ret void
 145 ;
 146 ; IS__CGSCC_OPM: Function Attrs: norecurse nosync readnone
 147 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@m
 148 ; IS__CGSCC_OPM-SAME: () #[[ATTR7]] {
 149 ; IS__CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @called_by_norecurse()
 150 ; IS__CGSCC_OPM-NEXT:    ret void
 151 ;
 152 ; IS__CGSCC_NPM: Function Attrs: norecurse nosync readnone
 153 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@m
 154 ; IS__CGSCC_NPM-SAME: () #[[ATTR6]] {
 155 ; IS__CGSCC_NPM-NEXT:    [[A:%.*]] = call i32 @called_by_norecurse()
 156 ; IS__CGSCC_NPM-NEXT:    ret void
 157 ;
 158   %a = call i32 @called_by_norecurse()
 159   ret void
 160 }
 161
 162 define internal i32 @called_by_norecurse_indirectly() {
 163 ; NOT_CGSCC_OPM: Function Attrs: nosync readnone
 164 ; NOT_CGSCC_OPM-LABEL: define {{[^@]+}}@called_by_norecurse_indirectly
 165 ; NOT_CGSCC_OPM-SAME: () #[[ATTR2]] {
 166 ; NOT_CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @k()
 167 ; NOT_CGSCC_OPM-NEXT:    ret i32 [[A]]
 168 ;
 169 ; IS__CGSCC_OPM: Function Attrs: nosync readnone
 170 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@called_by_norecurse_indirectly
 171 ; IS__CGSCC_OPM-SAME: () #[[ATTR3]] {
 172 ; IS__CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @k()
 173 ; IS__CGSCC_OPM-NEXT:    ret i32 [[A]]
 174 ;
 175   %a = call i32 @k()
 176   ret i32 %a
 177 }
 178 define internal i32 @o() {
 179 ; IS__TUNIT____: Function Attrs: nosync readnone
 180 ; IS__TUNIT____-LABEL: define {{[^@]+}}@o
 181 ; IS__TUNIT____-SAME: () #[[ATTR2]] {
 182 ; IS__TUNIT____-NEXT:    [[A:%.*]] = call i32 @called_by_norecurse_indirectly() #[[ATTR2]]
 183 ; IS__TUNIT____-NEXT:    ret i32 [[A]]
 184 ;
 185 ; IS__CGSCC_OPM: Function Attrs: norecurse nosync readnone
 186 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@o
 187 ; IS__CGSCC_OPM-SAME: () #[[ATTR7]] {
 188 ; IS__CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @called_by_norecurse_indirectly()
 189 ; IS__CGSCC_OPM-NEXT:    ret i32 [[A]]
 190 ;
 191 ; IS__CGSCC_NPM: Function Attrs: norecurse nosync readnone
 192 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@o
 193 ; IS__CGSCC_NPM-SAME: () #[[ATTR6]] {
 194 ; IS__CGSCC_NPM-NEXT:    [[A:%.*]] = call i32 @called_by_norecurse_indirectly()
 195 ; IS__CGSCC_NPM-NEXT:    ret i32 [[A]]
 196 ;
 197   %a = call i32 @called_by_norecurse_indirectly()
 198   ret i32 %a
 199 }
 200 define i32 @p() norecurse {
 201 ; IS__TUNIT____: Function Attrs: norecurse nosync readnone
 202 ; IS__TUNIT____-LABEL: define {{[^@]+}}@p
 203 ; IS__TUNIT____-SAME: () #[[ATTR6]] {
 204 ; IS__TUNIT____-NEXT:    [[A:%.*]] = call i32 @o() #[[ATTR2]]
 205 ; IS__TUNIT____-NEXT:    ret i32 [[A]]
 206 ;
 207 ; IS__CGSCC_OPM: Function Attrs: norecurse nosync readnone
 208 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@p
 209 ; IS__CGSCC_OPM-SAME: () #[[ATTR7]] {
 210 ; IS__CGSCC_OPM-NEXT:    [[A:%.*]] = call i32 @o()
 211 ; IS__CGSCC_OPM-NEXT:    ret i32 [[A]]
 212 ;
 213 ; IS__CGSCC_NPM: Function Attrs: norecurse nosync readnone
 214 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@p
 215 ; IS__CGSCC_NPM-SAME: () #[[ATTR6]] {
 216 ; IS__CGSCC_NPM-NEXT:    [[A:%.*]] = call i32 @o()
 217 ; IS__CGSCC_NPM-NEXT:    ret i32 [[A]]
 218 ;
 219   %a = call i32 @o()
 220   ret i32 %a
 221 }
 222
 223 define void @f(i32 %x)  {
 224 ; NOT_CGSCC_OPM: Function Attrs: nofree nosync nounwind readnone
 225 ; NOT_CGSCC_OPM-LABEL: define {{[^@]+}}@f
 226 ; NOT_CGSCC_OPM-SAME: (i32 [[X:%.*]]) #[[ATTR7:[0-9]+]] {
 227 ; NOT_CGSCC_OPM-NEXT:  entry:
 228 ; NOT_CGSCC_OPM-NEXT:    [[X_ADDR:%.*]] = alloca i32, align 4
 229 ; NOT_CGSCC_OPM-NEXT:    store i32 [[X]], i32* [[X_ADDR]], align 4
 230 ; NOT_CGSCC_OPM-NEXT:    [[TOBOOL:%.*]] = icmp ne i32 [[X]], 0
 231 ; NOT_CGSCC_OPM-NEXT:    br i1 [[TOBOOL]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 232 ; NOT_CGSCC_OPM:       if.then:
 233 ; NOT_CGSCC_OPM-NEXT:    call void @g() #[[ATTR8:[0-9]+]]
 234 ; NOT_CGSCC_OPM-NEXT:    br label [[IF_END]]
 235 ; NOT_CGSCC_OPM:       if.end:
 236 ; NOT_CGSCC_OPM-NEXT:    ret void
 237 ;
 238 ; IS__CGSCC_OPM: Function Attrs: nofree nosync nounwind readnone
 239 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@f
 240 ; IS__CGSCC_OPM-SAME: (i32 [[X:%.*]]) #[[ATTR8:[0-9]+]] {
 241 ; IS__CGSCC_OPM-NEXT:  entry:
 242 ; IS__CGSCC_OPM-NEXT:    [[X_ADDR:%.*]] = alloca i32, align 4
 243 ; IS__CGSCC_OPM-NEXT:    store i32 [[X]], i32* [[X_ADDR]], align 4
 244 ; IS__CGSCC_OPM-NEXT:    [[TOBOOL:%.*]] = icmp ne i32 [[X]], 0
 245 ; IS__CGSCC_OPM-NEXT:    br i1 [[TOBOOL]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 246 ; IS__CGSCC_OPM:       if.then:
 247 ; IS__CGSCC_OPM-NEXT:    call void @g() #[[ATTR9:[0-9]+]]
 248 ; IS__CGSCC_OPM-NEXT:    br label [[IF_END]]
 249 ; IS__CGSCC_OPM:       if.end:
 250 ; IS__CGSCC_OPM-NEXT:    ret void
 251 ;
 252 entry:
 253   %x.addr = alloca i32, align 4
 254   store i32 %x, i32* %x.addr, align 4
 255   %0 = load i32, i32* %x.addr, align 4
 256   %tobool = icmp ne i32 %0, 0
 257   br i1 %tobool, label %if.then, label %if.end
 258
 259 if.then:
 260   call void @g() norecurse
 261   br label %if.end
 262
 263 if.end:
 264   ret void
 265 }
 266
 267 define void @g() norecurse {
 268 ; NOT_CGSCC_OPM: Function Attrs: nofree norecurse nosync nounwind readnone
 269 ; NOT_CGSCC_OPM-LABEL: define {{[^@]+}}@g
 270 ; NOT_CGSCC_OPM-SAME: () #[[ATTR8]] {
 271 ; NOT_CGSCC_OPM-NEXT:  entry:
 272 ; NOT_CGSCC_OPM-NEXT:    call void @f(i32 noundef 0) #[[ATTR7]]
 273 ; NOT_CGSCC_OPM-NEXT:    ret void
 274 ;
 275 ; IS__CGSCC_OPM: Function Attrs: nofree norecurse nosync nounwind readnone
 276 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@g
 277 ; IS__CGSCC_OPM-SAME: () #[[ATTR9]] {
 278 ; IS__CGSCC_OPM-NEXT:  entry:
 279 ; IS__CGSCC_OPM-NEXT:    call void @f(i32 noundef 0) #[[ATTR8]]
 280 ; IS__CGSCC_OPM-NEXT:    ret void
 281 ;
 282 entry:
 283   call void @f(i32 0)
 284   ret void
 285 }
 286
 287 define linkonce_odr i32 @leaf_redefinable() {
 288 ; CHECK-LABEL: define {{[^@]+}}@leaf_redefinable() {
 289 ; CHECK-NEXT:    ret i32 1
 290 ;
 291   ret i32 1
 292 }
 293
 294 ; Call through a function pointer
 295 define i32 @eval_func1(i32 (i32)* , i32) local_unnamed_addr {
 296 ; CHECK-LABEL: define {{[^@]+}}@eval_func1
 297 ; CHECK-SAME: (i32 (i32)* nocapture nofree noundef nonnull [[TMP0:%.*]], i32 [[TMP1:%.*]]) local_unnamed_addr {
 298 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 [[TMP0]](i32 [[TMP1]])
 299 ; CHECK-NEXT:    ret i32 [[TMP3]]
 300 ;
 301   %3 = tail call i32 %0(i32 %1) #2
 302   ret i32 %3
 303 }
 304
 305 define i32 @eval_func2(i32 (i32)* , i32) local_unnamed_addr null_pointer_is_valid{
 306 ; NOT_CGSCC_OPM: Function Attrs: null_pointer_is_valid
 307 ; NOT_CGSCC_OPM-LABEL: define {{[^@]+}}@eval_func2
 308 ; NOT_CGSCC_OPM-SAME: (i32 (i32)* nocapture nofree noundef [[TMP0:%.*]], i32 [[TMP1:%.*]]) local_unnamed_addr #[[ATTR9:[0-9]+]] {
 309 ; NOT_CGSCC_OPM-NEXT:    [[TMP3:%.*]] = tail call i32 [[TMP0]](i32 [[TMP1]])
 310 ; NOT_CGSCC_OPM-NEXT:    ret i32 [[TMP3]]
 311 ;
 312 ; IS__CGSCC_OPM: Function Attrs: null_pointer_is_valid
 313 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@eval_func2
 314 ; IS__CGSCC_OPM-SAME: (i32 (i32)* nocapture nofree noundef [[TMP0:%.*]], i32 [[TMP1:%.*]]) local_unnamed_addr #[[ATTR10:[0-9]+]] {
 315 ; IS__CGSCC_OPM-NEXT:    [[TMP3:%.*]] = tail call i32 [[TMP0]](i32 [[TMP1]])
 316 ; IS__CGSCC_OPM-NEXT:    ret i32 [[TMP3]]
 317 ;
 318   %3 = tail call i32 %0(i32 %1) #2
 319   ret i32 %3
 320 }
 321
 322 ; Call an unknown function in a dead block.
 323 declare void @unknown()
 324 define i32 @call_unknown_in_dead_block() local_unnamed_addr {
 325 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 326 ; IS__TUNIT____-LABEL: define {{[^@]+}}@call_unknown_in_dead_block
 327 ; IS__TUNIT____-SAME: () local_unnamed_addr #[[ATTR0]] {
 328 ; IS__TUNIT____-NEXT:    ret i32 0
 329 ; IS__TUNIT____:       Dead:
 330 ; IS__TUNIT____-NEXT:    unreachable
 331 ;
 332 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 333 ; IS__CGSCC____-LABEL: define {{[^@]+}}@call_unknown_in_dead_block
 334 ; IS__CGSCC____-SAME: () local_unnamed_addr #[[ATTR0]] {
 335 ; IS__CGSCC____-NEXT:    ret i32 0
 336 ; IS__CGSCC____:       Dead:
 337 ; IS__CGSCC____-NEXT:    unreachable
 338 ;
 339   ret i32 0
 340 Dead:
 341   tail call void @unknown()
 342   ret i32 1
 343 }
 344
 345 ;.
 346 ; IS__TUNIT____: attributes #[[ATTR0]] = { nofree nosync nounwind readnone willreturn }
 347 ; IS__TUNIT____: attributes #[[ATTR1]] = { nofree noreturn nosync nounwind readnone willreturn }
 348 ; IS__TUNIT____: attributes #[[ATTR2]] = { nosync readnone }
 349 ; IS__TUNIT____: attributes #[[ATTR3:[0-9]+]] = { readnone }
 350 ; IS__TUNIT____: attributes #[[ATTR4]] = { argmemonly nofree nosync nounwind willreturn }
 351 ; IS__TUNIT____: attributes #[[ATTR5:[0-9]+]] = { argmemonly nofree nounwind willreturn }
 352 ; IS__TUNIT____: attributes #[[ATTR6]] = { norecurse nosync readnone }
 353 ; IS__TUNIT____: attributes #[[ATTR7]] = { nofree nosync nounwind readnone }
 354 ; IS__TUNIT____: attributes #[[ATTR8]] = { nofree norecurse nosync nounwind readnone }
 355 ; IS__TUNIT____: attributes #[[ATTR9]] = { null_pointer_is_valid }
 356 ; IS__TUNIT____: attributes #[[ATTR10]] = { willreturn }
 357 ;.
 358 ; IS__CGSCC_OPM: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn }
 359 ; IS__CGSCC_OPM: attributes #[[ATTR1]] = { nofree norecurse noreturn nosync nounwind readnone willreturn }
 360 ; IS__CGSCC_OPM: attributes #[[ATTR2]] = { nofree noreturn nosync nounwind readnone willreturn }
 361 ; IS__CGSCC_OPM: attributes #[[ATTR3]] = { nosync readnone }
 362 ; IS__CGSCC_OPM: attributes #[[ATTR4:[0-9]+]] = { readnone }
 363 ; IS__CGSCC_OPM: attributes #[[ATTR5]] = { argmemonly nofree nosync nounwind willreturn }
 364 ; IS__CGSCC_OPM: attributes #[[ATTR6:[0-9]+]] = { argmemonly nofree nounwind willreturn }
 365 ; IS__CGSCC_OPM: attributes #[[ATTR7]] = { norecurse nosync readnone }
 366 ; IS__CGSCC_OPM: attributes #[[ATTR8]] = { nofree nosync nounwind readnone }
 367 ; IS__CGSCC_OPM: attributes #[[ATTR9]] = { nofree norecurse nosync nounwind readnone }
 368 ; IS__CGSCC_OPM: attributes #[[ATTR10]] = { null_pointer_is_valid }
 369 ; IS__CGSCC_OPM: attributes #[[ATTR11]] = { willreturn }
 370 ;.
 371 ; IS__CGSCC_NPM: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn }
 372 ; IS__CGSCC_NPM: attributes #[[ATTR1]] = { nofree norecurse noreturn nosync nounwind readnone willreturn }
 373 ; IS__CGSCC_NPM: attributes #[[ATTR2]] = { nosync readnone }
 374 ; IS__CGSCC_NPM: attributes #[[ATTR3:[0-9]+]] = { readnone }
 375 ; IS__CGSCC_NPM: attributes #[[ATTR4]] = { argmemonly nofree nosync nounwind willreturn }
 376 ; IS__CGSCC_NPM: attributes #[[ATTR5:[0-9]+]] = { argmemonly nofree nounwind willreturn }
 377 ; IS__CGSCC_NPM: attributes #[[ATTR6]] = { norecurse nosync readnone }
 378 ; IS__CGSCC_NPM: attributes #[[ATTR7]] = { nofree nosync nounwind readnone }
 379 ; IS__CGSCC_NPM: attributes #[[ATTR8]] = { nofree norecurse nosync nounwind readnone }
 380 ; IS__CGSCC_NPM: attributes #[[ATTR9]] = { null_pointer_is_valid }
 381 ; IS__CGSCC_NPM: attributes #[[ATTR10]] = { willreturn }
 382 ;.