define void @doesnotmodX() {
ret void
}
-
-declare void @InaccessibleMemOnlyFunc( ) #0
-declare void @InaccessibleMemOrArgMemOnlyFunc( ) #1
-
-define i32 @test2(i32* %P) {
-; CHECK: @test2
-; CHECK-NEXT: store i32 12, i32* @X
-; CHECK-NEXT: call void @InaccessibleMemOnlyFunc()
-; CHECK-NEXT: call void @InaccessibleMemOrArgMemOnlyFunc()
-; CHECK-NOT: load i32
-; CHECK-NEXT: ret i32 12
- store i32 12, i32* @X
- call void @InaccessibleMemOnlyFunc( )
- call void @InaccessibleMemOrArgMemOnlyFunc( )
- %V = load i32, i32* @X ; <i32> [#uses=1]
- ret i32 %V
-}
-
-attributes #0 = { inaccessiblememonly }
-attributes #1 = { inaccessiblemem_or_argmemonly }