Mercurial > hg > CbC > CbC_llvm

view llvm/test/Transforms/CodeGenPrepare/X86/invariant.group.ll @ 173:0572611fdcc8 llvm10 llvm12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children 1f2b6ac9f198
line wrap: on
line source

; RUN: opt -codegenprepare -S -mtriple=x86_64 < %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, align 1{{$}}
  %val = load i8, i8* @tmp, !invariant.group !0
  %ptr = call i8* @llvm.launder.invariant.group.p0i8(i8* @tmp)
  
  ; CHECK: store i8 42, i8* @tmp, align 1{{$}}
  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, align 1{{$}}
  %val = load i8, i8* @tmp, !invariant.group !0
  %ptr = call i8* @llvm.strip.invariant.group.p0i8(i8* @tmp)

  ; CHECK: store i8 42, i8* @tmp, align 1{{$}}
  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 = !{}