Lines Matching refs:noalias
1 ; RUN: opt -inline -enable-noalias-to-md-conversion -S < %s | FileCheck %s
5 define void @hello(float* noalias nocapture %a, float* noalias nocapture readonly %c) #0 {
13 define void @foo(float* noalias nocapture %a, float* noalias nocapture readonly %c) #0 {
22 ; CHECK: define void @foo(float* noalias nocapture %a, float* noalias nocapture readonly %c) #0 {
24 ; CHECK: %0 = load float, float* %c, align 4, !alias.scope !0, !noalias !3
26 ; CHECK: store float %0, float* %arrayidx.i, align 4, !alias.scope !3, !noalias !0
33 define void @hello2(float* noalias nocapture %a, float* noalias nocapture %b, float* nocapture read…
44 ; foo2(), the noalias scopes are properly concatenated.
57 ; CHECK: %0 = load float, float* %c, align 4, !alias.scope !5, !noalias !10
59 ; CHECK: store float %0, float* %arrayidx.i.i, align 4, !alias.scope !10, !noalias !5
60 ; CHECK: %1 = load float, float* %c, align 4, !alias.scope !13, !noalias !14
62 ; CHECK: store float %1, float* %arrayidx.i, align 4, !alias.scope !14, !noalias !13
63 ; CHECK: %2 = load float, float* %c, align 4, !noalias !15
65 ; CHECK: store float %2, float* %arrayidx.i1, align 4, !alias.scope !19, !noalias !20
67 ; CHECK: store float %2, float* %arrayidx1.i, align 4, !alias.scope !20, !noalias !19