reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40

; RUN: opt -codegenprepare -S < %s | FileCheck %s

@tmp = global i8 0

; CHECK-LABEL: define void @foo() {
define void @foo() {
enter:
  ; CHECK-NOT: !invariant.group
  ; CHECK-NOT: @llvm.launder.invariant.group.p0i8(
  ; CHECK: %val = load i8, i8* @tmp{{$}}
  %val = load i8, i8* @tmp, !invariant.group !0
  %ptr = call i8* @llvm.launder.invariant.group.p0i8(i8* @tmp)
  
  ; CHECK: store i8 42, i8* @tmp{{$}}
  store i8 42, i8* %ptr, !invariant.group !0
  
  ret void
}
; CHECK-LABEL: }

; CHECK-LABEL: define void @foo2() {
define void @foo2() {
enter:
  ; CHECK-NOT: !invariant.group
  ; CHECK-NOT: @llvm.strip.invariant.group.p0i8(
  ; CHECK: %val = load i8, i8* @tmp{{$}}
  %val = load i8, i8* @tmp, !invariant.group !0
  %ptr = call i8* @llvm.strip.invariant.group.p0i8(i8* @tmp)

  ; CHECK: store i8 42, i8* @tmp{{$}}
  store i8 42, i8* %ptr, !invariant.group !0

  ret void
}
; CHECK-LABEL: }


declare i8* @llvm.launder.invariant.group.p0i8(i8*)
declare i8* @llvm.strip.invariant.group.p0i8(i8*)
!0 = !{}