llvm/test/Transforms/FunctionAttrs/int_sideeffect.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes
   2 ; RUN: opt -S < %s -passes=function-attrs | FileCheck %s
   3
   4 declare void @llvm.sideeffect()
   5
   6 ; Don't add readnone or similar attributes when an @llvm.sideeffect() intrinsic
   7 ; is present.
   8
   9 define void @test() {
  10 ; CHECK: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(inaccessiblemem: readwrite)
  11 ; CHECK-LABEL: @test(
  12 ; CHECK-NEXT:    call void @llvm.sideeffect()
  13 ; CHECK-NEXT:    ret void
  14 ;
  15   call void @llvm.sideeffect()
  16   ret void
  17 }
  18
  19 define void @loop() {
  20 ; CHECK: Function Attrs: nofree noreturn nosync nounwind memory(inaccessiblemem: readwrite)
  21 ; CHECK-LABEL: @loop(
  22 ; CHECK-NEXT:    br label [[LOOP:%.*]]
  23 ; CHECK:       loop:
  24 ; CHECK-NEXT:    call void @llvm.sideeffect()
  25 ; CHECK-NEXT:    br label [[LOOP]]
  26 ;
  27   br label %loop
  28
  29 loop:
  30   call void @llvm.sideeffect()
  31   br label %loop
  32 }