1; RUN: opt -S -basicaa -objc-arc-aa -gvn < %s | FileCheck %s 2 3@x = common global i8* null, align 8 4 5declare i8* @objc_retain(i8*) 6declare i32 @objc_sync_enter(i8*) 7declare i32 @objc_sync_exit(i8*) 8 9; GVN should be able to eliminate this redundant load, with ARC-specific 10; alias analysis. 11 12; CHECK: define i8* @test0(i32 %n) 13; CHECK-NEXT: entry: 14; CHECK-NEXT: %s = load i8*, i8** @x 15; CHECK-NOT: load 16; CHECK: ret i8* %s 17; CHECK-NEXT: } 18define i8* @test0(i32 %n) nounwind { 19entry: 20 %s = load i8*, i8** @x 21 %0 = tail call i8* @objc_retain(i8* %s) nounwind 22 %t = load i8*, i8** @x 23 ret i8* %t 24} 25 26; GVN should not be able to eliminate this redundant load, with ARC-specific 27; alias analysis. 28 29; CHECK-LABEL: define i8* @test1( 30; CHECK: load 31; CHECK: load 32; CHECK: ret i8* %t 33; CHECK: } 34define i8* @test1(i32 %n) nounwind { 35entry: 36 %s = load i8*, i8** @x 37 %0 = call i32 @objc_sync_enter(i8* %s) 38 %t = load i8*, i8** @x 39 %1 = call i32 @objc_sync_exit(i8* %s) 40 ret i8* %t 41} 42