41 lines · plain
1; RUN: opt -passes='require<profile-summary>,function(codegenprepare)' -S -mtriple=x86_64 < %s | FileCheck %s2 3@tmp = global i8 04 5; CHECK-LABEL: define void @foo() {6define void @foo() {7enter:8 ; CHECK-NOT: !invariant.group9 ; CHECK-NOT: @llvm.launder.invariant.group.p0(10 ; CHECK: %val = load i8, ptr @tmp, align 1{{$}}11 %val = load i8, ptr @tmp, !invariant.group !012 %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 !016 17 ret void18}19; CHECK-LABEL: }20 21; CHECK-LABEL: define void @foo2() {22define void @foo2() {23enter:24 ; CHECK-NOT: !invariant.group25 ; CHECK-NOT: @llvm.strip.invariant.group.p0(26 ; CHECK: %val = load i8, ptr @tmp, align 1{{$}}27 %val = load i8, ptr @tmp, !invariant.group !028 %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 !032 33 ret void34}35; CHECK-LABEL: }36 37 38declare ptr @llvm.launder.invariant.group.p0(ptr)39declare ptr @llvm.strip.invariant.group.p0(ptr)40!0 = !{}41