1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -scoped-noalias -aa-eval -evaluate-aa-metadata -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s 2*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 3*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine void @foo2(float* nocapture %a, float* nocapture %b, float* nocapture readonly %c) #0 { 6*9880d681SAndroid Build Coastguard Workerentry: 7*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Function: foo2 8*9880d681SAndroid Build Coastguard Worker %0 = load float, float* %c, align 4, !alias.scope !0 9*9880d681SAndroid Build Coastguard Worker %arrayidx.i = getelementptr inbounds float, float* %a, i64 5 10*9880d681SAndroid Build Coastguard Worker store float %0, float* %arrayidx.i, align 4, !alias.scope !5, !noalias !4 11*9880d681SAndroid Build Coastguard Worker %arrayidx1.i = getelementptr inbounds float, float* %b, i64 8 12*9880d681SAndroid Build Coastguard Worker store float %0, float* %arrayidx1.i, align 4, !alias.scope !0, !noalias !5 13*9880d681SAndroid Build Coastguard Worker %1 = load float, float* %c, align 4 14*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds float, float* %a, i64 7 15*9880d681SAndroid Build Coastguard Worker store float %1, float* %arrayidx, align 4 16*9880d681SAndroid Build Coastguard Worker ret void 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %0, float* %arrayidx.i, align 4, !alias.scope !4, !noalia 19*9880d681SAndroid Build Coastguard Worker; CHECK: s !5 20*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %0, float* %arrayidx1.i, align 4, !alias.scope !0, !noali 21*9880d681SAndroid Build Coastguard Worker; CHECK: as !4 22*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %1, float* %arrayidx, align 4 23*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: %1 = load float, float* %c, align 4 <-> store float %0, float* %arrayidx.i, align 4, !alias.scope !4, !noalias !5 24*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: %1 = load float, float* %c, align 4 <-> store float %0, float* %arrayidx1.i, align 4, !alias.scope !0, !noalias !4 25*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: %1 = load float, float* %c, align 4 <-> store float %1, float* %arrayidx, align 4 26*9880d681SAndroid Build Coastguard Worker; CHECK: NoAlias: store float %0, float* %arrayidx1.i, align 4, !alias.scope !0, !noalias !4 <-> store float %0, float* %arrayidx.i, align 27*9880d681SAndroid Build Coastguard Worker; CHECK: 4, !alias.scope !4, !noalias !5 28*9880d681SAndroid Build Coastguard Worker; CHECK: NoAlias: store float %1, float* %arrayidx, align 4 <-> store float %0, float* %arrayidx.i, align 4, !alias.scope !4, !noalias !5 29*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: store float %1, float* %arrayidx, align 4 <-> store float %0, float* %arrayidx1.i, align 4, !alias.scope !0, !noalias ! 30*9880d681SAndroid Build Coastguard Worker; CHECK: 4 31*9880d681SAndroid Build Coastguard Worker} 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Workerattributes #0 = { nounwind uwtable } 34*9880d681SAndroid Build Coastguard Worker 35*9880d681SAndroid Build Coastguard Worker!0 = !{!1, !3} 36*9880d681SAndroid Build Coastguard Worker!1 = !{!1, !2, !"some scope"} 37*9880d681SAndroid Build Coastguard Worker!2 = !{!2, !"some domain"} 38*9880d681SAndroid Build Coastguard Worker!3 = !{!3, !2, !"some other scope"} 39*9880d681SAndroid Build Coastguard Worker!4 = !{!1} 40*9880d681SAndroid Build Coastguard Worker!5 = !{!3} 41*9880d681SAndroid Build Coastguard Worker 42