1 ; RUN: opt -S -adce < %s | FileCheck %s 2 3 ; While it is normally okay to DCE out calls to @readonly_function and 4 ; @readnone_function, we cannot do that if they're carrying operand 5 ; bundles since the presence of unknown operand bundles implies 6 ; arbitrary memory effects. 7 8 declare void @readonly_function() readonly nounwind 9 declare void @readnone_function() readnone nounwind 10 11 define void @test0() { 12 ; CHECK-LABEL: @test0( 13 entry: 14 call void @readonly_function() [ "tag"() ] 15 ; CHECK: call void @readonly_function 16 ret void 17 } 18 19 define void @test1() { 20 ; CHECK-LABEL: @test1( 21 entry: 22 call void @readnone_function() [ "tag"() ] 23 ; CHECK: call void @readnone_function 24 ret void 25 } 26 27 define void @test2() { 28 ; CHECK-LABEL: @test2( 29 entry: 30 ; CHECK-NOT: @readonly_function( 31 call void @readonly_function() readonly [ "tag"() ] 32 ret void 33 } 34 35 define void @test3() { 36 ; CHECK-LABEL: @test3( 37 entry: 38 ; CHECK-NOT: @readnone_function( 39 call void @readnone_function() readnone [ "tag"() ] 40 ret void 41 } 42 43 define void @test4() { 44 ; CHECK-LABEL: @test4( 45 entry: 46 ; CHECK-NOT: @readonly_function() 47 call void @readonly_function() [ "deopt"() ] 48 ret void 49 } 50
