llvm/test/Transforms/CodeGenPrepare/X86/invariant.group.ll

   1 ; RUN: opt -passes='require<profile-summary>,function(codegenprepare)' -S -mtriple=x86_64 < %s | FileCheck %s
   2
   3 @tmp = global i8 0
   4
   5 ; CHECK-LABEL: define void @foo() {
   6 define void @foo() {
   7 enter:
   8   ; CHECK-NOT: !invariant.group
   9   ; CHECK-NOT: @llvm.launder.invariant.group.p0(
  10   ; CHECK: %val = load i8, ptr @tmp, align 1{{$}}
  11   %val = load i8, ptr @tmp, !invariant.group !0
  12   %ptr = call ptr @llvm.launder.invariant.group.p0(ptr @tmp)
  13
  14   ; CHECK: store i8 42, ptr @tmp, align 1{{$}}
  15   store i8 42, ptr %ptr, !invariant.group !0
  16
  17   ret void
  18 }
  19 ; CHECK-LABEL: }
  20
  21 ; CHECK-LABEL: define void @foo2() {
  22 define void @foo2() {
  23 enter:
  24   ; CHECK-NOT: !invariant.group
  25   ; CHECK-NOT: @llvm.strip.invariant.group.p0(
  26   ; CHECK: %val = load i8, ptr @tmp, align 1{{$}}
  27   %val = load i8, ptr @tmp, !invariant.group !0
  28   %ptr = call ptr @llvm.strip.invariant.group.p0(ptr @tmp)
  29
  30   ; CHECK: store i8 42, ptr @tmp, align 1{{$}}
  31   store i8 42, ptr %ptr, !invariant.group !0
  32
  33   ret void
  34 }
  35 ; CHECK-LABEL: }
  36
  37
  38 declare ptr @llvm.launder.invariant.group.p0(ptr)
  39 declare ptr @llvm.strip.invariant.group.p0(ptr)
  40 !0 = !{}