1; RUN: opt -objc-arc-contract -S < %s | FileCheck %s 2; rdar://9511608 3 4%0 = type opaque 5%1 = type opaque 6%2 = type { i64, i64 } 7%4 = type opaque 8 9declare %0* @"\01-[NSAttributedString(Terminal) pathAtIndex:effectiveRange:]"(%1*, i8* nocapture, i64, %2*) optsize 10declare i8* @objc_retainAutoreleasedReturnValue(i8*) 11declare i8* @objc_msgSend_fixup(i8*, i8*, ...) 12declare i8* @objc_msgSend(i8*, i8*, ...) 13declare void @objc_release(i8*) 14declare %2 @NSUnionRange(i64, i64, i64, i64) optsize 15declare i8* @objc_autoreleaseReturnValue(i8*) 16declare i8* @objc_autorelease(i8*) 17declare i32 @__gxx_personality_sj0(...) 18 19; Don't get in trouble on bugpointed code. 20 21; CHECK: define void @test0( 22define void @test0() { 23bb: 24 %tmp = bitcast %4* undef to i8* 25 %tmp1 = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %tmp) nounwind 26 br label %bb3 27 28bb3: ; preds = %bb2 29 br i1 undef, label %bb6, label %bb4 30 31bb4: ; preds = %bb3 32 switch i64 undef, label %bb5 [ 33 i64 9223372036854775807, label %bb6 34 i64 0, label %bb6 35 ] 36 37bb5: ; preds = %bb4 38 br label %bb6 39 40bb6: ; preds = %bb5, %bb4, %bb4, %bb3 41 %tmp7 = phi %4* [ undef, %bb5 ], [ undef, %bb4 ], [ undef, %bb3 ], [ undef, %bb4 ] 42 unreachable 43} 44 45; When rewriting operands for a phi which has multiple operands 46; for the same block, use the exactly same value in each block. 47 48; CHECK: define void @test1( 49; CHECK: %0 = bitcast i8* %tmp3 to %0* 50; CHECK: br i1 undef, label %bb7, label %bb7 51; CHECK: bb7: 52; CHECK: %tmp8 = phi %0* [ %0, %bb ], [ %0, %bb ] 53define void @test1() { 54bb: 55 %tmp = tail call %0* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to %0* ()*)() 56 %tmp2 = bitcast %0* %tmp to i8* 57 %tmp3 = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %tmp2) nounwind 58 br i1 undef, label %bb7, label %bb7 59 60bb7: ; preds = %bb6, %bb6, %bb5 61 %tmp8 = phi %0* [ %tmp, %bb ], [ %tmp, %bb ] 62 unreachable 63} 64 65; When looking for the defining instruction for an objc_retainAutoreleasedReturnValue 66; call, handle the case where it's an invoke in a different basic block. 67; rdar://11714057 68 69; CHECK: define void @_Z6doTestP8NSString() { 70; CHECK: invoke.cont: ; preds = %entry 71; CHECK-NEXT: call void asm sideeffect "mov\09r7, r7\09\09@ marker for objc_retainAutoreleaseReturnValue", ""() 72; CHECK-NEXT: %tmp = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %call) nounwind 73define void @_Z6doTestP8NSString() { 74entry: 75 %call = invoke i8* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8* ()*)() 76 to label %invoke.cont unwind label %lpad 77 78invoke.cont: ; preds = %entry 79 %tmp = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %call) nounwind 80 unreachable 81 82lpad: ; preds = %entry 83 %tmp1 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*) 84 cleanup 85 resume { i8*, i32 } undef 86} 87 88!clang.arc.retainAutoreleasedReturnValueMarker = !{!0} 89 90!0 = metadata !{metadata !"mov\09r7, r7\09\09@ marker for objc_retainAutoreleaseReturnValue"} 91