test/Other/invariant.group.barrier.ll

   1 ; RUN: opt -S -early-cse < %s | FileCheck %s
   2 ; RUN: opt -S -gvn < %s | FileCheck %s
   3 ; RUN: opt -S -newgvn < %s | FileCheck %s
   4 ; RUN: opt -S -O3 < %s | FileCheck %s
   5
   6 ; These tests checks if passes with CSE functionality can do CSE on
   7 ; invariant.group.barrier, that is prohibited if there is a memory clobber
   8 ; between barriers call.
   9
  10 ; CHECK-LABEL: define i8 @optimizable()
  11 define i8 @optimizable() {
  12 entry:
  13     %ptr = alloca i8
  14     store i8 42, i8* %ptr, !invariant.group !0
  15 ; CHECK: call i8* @llvm.invariant.group.barrier
  16     %ptr2 = call i8* @llvm.invariant.group.barrier(i8* %ptr)
  17 ; CHECK-NOT: call i8* @llvm.invariant.group.barrier
  18     %ptr3 = call i8* @llvm.invariant.group.barrier(i8* %ptr)
  19 ; CHECK: call void @clobber(i8* {{.*}}%ptr)
  20     call void @clobber(i8* %ptr)
  21
  22 ; CHECK: call void @use(i8* {{.*}}%ptr2)
  23     call void @use(i8* %ptr2)
  24 ; CHECK: call void @use(i8* {{.*}}%ptr2)
  25     call void @use(i8* %ptr3)
  26 ; CHECK: load i8, i8* %ptr2, {{.*}}!invariant.group
  27     %v = load i8, i8* %ptr3, !invariant.group !0
  28
  29     ret i8 %v
  30 }
  31
  32 ; CHECK-LABEL: define i8 @unoptimizable()
  33 define i8 @unoptimizable() {
  34 entry:
  35     %ptr = alloca i8
  36     store i8 42, i8* %ptr, !invariant.group !0
  37 ; CHECK: call i8* @llvm.invariant.group.barrier
  38     %ptr2 = call i8* @llvm.invariant.group.barrier(i8* %ptr)
  39     call void @clobber(i8* %ptr)
  40 ; CHECK: call i8* @llvm.invariant.group.barrier
  41     %ptr3 = call i8* @llvm.invariant.group.barrier(i8* %ptr)
  42 ; CHECK: call void @clobber(i8* {{.*}}%ptr)
  43     call void @clobber(i8* %ptr)
  44 ; CHECK: call void @use(i8* {{.*}}%ptr2)
  45     call void @use(i8* %ptr2)
  46 ; CHECK: call void @use(i8* {{.*}}%ptr3)
  47     call void @use(i8* %ptr3)
  48 ; CHECK: load i8, i8* %ptr3, {{.*}}!invariant.group
  49     %v = load i8, i8* %ptr3, !invariant.group !0
  50
  51     ret i8 %v
  52 }
  53
  54 declare void @use(i8* readonly)
  55
  56 declare void @clobber(i8*)
  57 ; CHECK: Function Attrs: argmemonly nounwind readonly
  58 ; CHECK-NEXT: declare i8* @llvm.invariant.group.barrier(i8*)
  59 declare i8* @llvm.invariant.group.barrier(i8*)
  60
  61 !0 = !{}
  62