test/Transforms/ObjCARC/gvn.ll

   1 ; RUN: opt -S -basicaa -objc-arc-aa -gvn < %s | FileCheck %s
   2
   3 @x = common global i8* null, align 8
   4
   5 declare i8* @llvm.objc.retain(i8*)
   6 declare i32 @llvm.objc.sync.enter(i8*)
   7 declare i32 @llvm.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: }
  18 define i8* @test0(i32 %n) nounwind {
  19 entry:
  20   %s = load i8*, i8** @x
  21   %0 = tail call i8* @llvm.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: }
  34 define i8* @test1(i32 %n) nounwind {
  35 entry:
  36   %s = load i8*, i8** @x
  37   %0 = call i32 @llvm.objc.sync.enter(i8* %s)
  38   %t = load i8*, i8** @x
  39   %1 = call i32 @llvm.objc.sync.exit(i8* %s)
  40   ret i8* %t
  41 }