| ; RUN: opt -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s |
| |
| declare void @callee(ptr %callee_arg) |
| declare void @nocap_callee(ptr nocapture %nocap_callee_arg) |
| |
| declare ptr @normal_returner() |
| declare noalias ptr @noalias_returner() |
| |
| define void @caller_a(ptr %arg_a0, |
| ptr %arg_a1, |
| ptr noalias %noalias_arg_a0, |
| ptr noalias %noalias_arg_a1, |
| ptr %indirect_a0, |
| ptr %indirect_a1) { |
| %escape_alloca_a0 = alloca double |
| %escape_alloca_a1 = alloca double |
| %noescape_alloca_a0 = alloca double |
| %noescape_alloca_a1 = alloca double |
| |
| %normal_ret_a0 = call ptr @normal_returner() |
| %normal_ret_a1 = call ptr @normal_returner() |
| %noalias_ret_a0 = call ptr @noalias_returner() |
| %noalias_ret_a1 = call ptr @noalias_returner() |
| |
| %loaded_a0 = load ptr, ptr %indirect_a0 |
| %loaded_a1 = load ptr, ptr %indirect_a1 |
| |
| call void @callee(ptr %escape_alloca_a0) |
| call void @callee(ptr %escape_alloca_a1) |
| call void @nocap_callee(ptr %noescape_alloca_a0) |
| call void @nocap_callee(ptr %noescape_alloca_a1) |
| |
| store double 0.0, ptr %loaded_a0 |
| store double 0.0, ptr %loaded_a1 |
| store double 0.0, ptr %arg_a0 |
| store double 0.0, ptr %arg_a1 |
| store double 0.0, ptr %noalias_arg_a0 |
| store double 0.0, ptr %noalias_arg_a1 |
| store double 0.0, ptr %escape_alloca_a0 |
| store double 0.0, ptr %escape_alloca_a1 |
| store double 0.0, ptr %noescape_alloca_a0 |
| store double 0.0, ptr %noescape_alloca_a1 |
| store double 0.0, ptr %normal_ret_a0 |
| store double 0.0, ptr %normal_ret_a1 |
| store double 0.0, ptr %noalias_ret_a0 |
| store double 0.0, ptr %noalias_ret_a1 |
| ret void |
| } |
| |
| ; CHECK: Function: caller_a: 16 pointers, 8 call sites |
| ; CHECK: MayAlias: ptr* %indirect_a0, ptr* %indirect_a1 |
| ; CHECK: MayAlias: ptr* %indirect_a0, double* %loaded_a0 |
| ; CHECK: MayAlias: ptr* %indirect_a1, double* %loaded_a0 |
| ; CHECK: MayAlias: ptr* %indirect_a0, double* %loaded_a1 |
| ; CHECK: MayAlias: ptr* %indirect_a1, double* %loaded_a1 |
| ; CHECK: MayAlias: double* %loaded_a0, double* %loaded_a1 |
| ; CHECK: MayAlias: double* %arg_a0, ptr* %indirect_a0 |
| ; CHECK: MayAlias: double* %arg_a0, ptr* %indirect_a1 |
| ; CHECK: MayAlias: double* %arg_a0, double* %loaded_a0 |
| ; CHECK: MayAlias: double* %arg_a0, double* %loaded_a1 |
| ; CHECK: MayAlias: double* %arg_a1, ptr* %indirect_a0 |
| ; CHECK: MayAlias: double* %arg_a1, ptr* %indirect_a1 |
| ; CHECK: MayAlias: double* %arg_a1, double* %loaded_a0 |
| ; CHECK: MayAlias: double* %arg_a1, double* %loaded_a1 |
| ; CHECK: MayAlias: double* %arg_a0, double* %arg_a1 |
| ; CHECK: NoAlias: ptr* %indirect_a0, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: ptr* %indirect_a1, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: double* %loaded_a0, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: double* %loaded_a1, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: double* %arg_a0, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: double* %arg_a1, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: ptr* %indirect_a0, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: ptr* %indirect_a1, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %loaded_a0, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %loaded_a1, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %arg_a0, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %arg_a1, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %noalias_arg_a0, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, ptr* %indirect_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, ptr* %indirect_a1 |
| ; CHECK: MayAlias: double* %escape_alloca_a0, double* %loaded_a0 |
| ; CHECK: MayAlias: double* %escape_alloca_a0, double* %loaded_a1 |
| ; CHECK: NoAlias: double* %arg_a0, double* %escape_alloca_a0 |
| ; CHECK: NoAlias: double* %arg_a1, double* %escape_alloca_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, ptr* %indirect_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, ptr* %indirect_a1 |
| ; CHECK: MayAlias: double* %escape_alloca_a1, double* %loaded_a0 |
| ; CHECK: MayAlias: double* %escape_alloca_a1, double* %loaded_a1 |
| ; CHECK: NoAlias: double* %arg_a0, double* %escape_alloca_a1 |
| ; CHECK: NoAlias: double* %arg_a1, double* %escape_alloca_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, double* %noalias_arg_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, double* %noalias_arg_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, double* %escape_alloca_a1 |
| ; CHECK: NoAlias: ptr* %indirect_a0, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: ptr* %indirect_a1, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %loaded_a0, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %loaded_a1, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %arg_a0, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %arg_a1, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %noalias_arg_a0, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %noalias_arg_a1, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: ptr* %indirect_a0, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: ptr* %indirect_a1, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %loaded_a0, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %loaded_a1, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %arg_a0, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %arg_a1, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %noalias_arg_a0, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %noalias_arg_a1, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %noescape_alloca_a0, double* %noescape_alloca_a1 |
| ; CHECK: MayAlias: ptr* %indirect_a0, double* %normal_ret_a0 |
| ; CHECK: MayAlias: ptr* %indirect_a1, double* %normal_ret_a0 |
| ; CHECK: MayAlias: double* %loaded_a0, double* %normal_ret_a0 |
| ; CHECK: MayAlias: double* %loaded_a1, double* %normal_ret_a0 |
| ; CHECK: MayAlias: double* %arg_a0, double* %normal_ret_a0 |
| ; CHECK: MayAlias: double* %arg_a1, double* %normal_ret_a0 |
| ; CHECK: NoAlias: double* %noalias_arg_a0, double* %normal_ret_a0 |
| ; CHECK: NoAlias: double* %noalias_arg_a1, double* %normal_ret_a0 |
| ; CHECK: MayAlias: double* %escape_alloca_a0, double* %normal_ret_a0 |
| ; CHECK: MayAlias: double* %escape_alloca_a1, double* %normal_ret_a0 |
| ; CHECK: NoAlias: double* %noescape_alloca_a0, double* %normal_ret_a0 |
| ; CHECK: NoAlias: double* %noescape_alloca_a1, double* %normal_ret_a0 |
| ; CHECK: MayAlias: ptr* %indirect_a0, double* %normal_ret_a1 |
| ; CHECK: MayAlias: ptr* %indirect_a1, double* %normal_ret_a1 |
| ; CHECK: MayAlias: double* %loaded_a0, double* %normal_ret_a1 |
| ; CHECK: MayAlias: double* %loaded_a1, double* %normal_ret_a1 |
| ; CHECK: MayAlias: double* %arg_a0, double* %normal_ret_a1 |
| ; CHECK: MayAlias: double* %arg_a1, double* %normal_ret_a1 |
| ; CHECK: NoAlias: double* %noalias_arg_a0, double* %normal_ret_a1 |
| ; CHECK: NoAlias: double* %noalias_arg_a1, double* %normal_ret_a1 |
| ; CHECK: MayAlias: double* %escape_alloca_a0, double* %normal_ret_a1 |
| ; CHECK: MayAlias: double* %escape_alloca_a1, double* %normal_ret_a1 |
| ; CHECK: NoAlias: double* %noescape_alloca_a0, double* %normal_ret_a1 |
| ; CHECK: NoAlias: double* %noescape_alloca_a1, double* %normal_ret_a1 |
| ; CHECK: MayAlias: double* %normal_ret_a0, double* %normal_ret_a1 |
| ; CHECK: NoAlias: ptr* %indirect_a0, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: ptr* %indirect_a1, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %loaded_a0, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %loaded_a1, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %arg_a0, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %arg_a1, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %noalias_arg_a0, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %noalias_arg_a1, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, double* %noalias_ret_a0 |
| ; CHECK: NoAlias: double* %noalias_ret_a0, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %noalias_ret_a0, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %noalias_ret_a0, double* %normal_ret_a0 |
| ; CHECK: NoAlias: double* %noalias_ret_a0, double* %normal_ret_a1 |
| ; CHECK: NoAlias: ptr* %indirect_a0, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: ptr* %indirect_a1, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %loaded_a0, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %loaded_a1, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %arg_a0, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %arg_a1, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %noalias_arg_a0, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %noalias_arg_a1, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a0, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %escape_alloca_a1, double* %noalias_ret_a1 |
| ; CHECK: NoAlias: double* %noalias_ret_a1, double* %noescape_alloca_a0 |
| ; CHECK: NoAlias: double* %noalias_ret_a1, double* %noescape_alloca_a1 |
| ; CHECK: NoAlias: double* %noalias_ret_a1, double* %normal_ret_a0 |
| ; CHECK: NoAlias: double* %noalias_ret_a1, double* %normal_ret_a1 |
| ; CHECK: NoAlias: double* %noalias_ret_a0, double* %noalias_ret_a1 |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: ptr* %indirect_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: %normal_ret_a0 = call ptr @normal_returner() <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: %normal_ret_a0 = call ptr @normal_returner() <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: %normal_ret_a0 = call ptr @normal_returner() <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: %normal_ret_a0 = call ptr @normal_returner() <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: %normal_ret_a0 = call ptr @normal_returner() <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: %normal_ret_a0 = call ptr @normal_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: %normal_ret_a0 = call ptr @normal_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: %normal_ret_a1 = call ptr @normal_returner() <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: %normal_ret_a1 = call ptr @normal_returner() <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: %normal_ret_a1 = call ptr @normal_returner() <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: %normal_ret_a1 = call ptr @normal_returner() <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: %normal_ret_a1 = call ptr @normal_returner() <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: %normal_ret_a1 = call ptr @normal_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: %normal_ret_a1 = call ptr @normal_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: %noalias_ret_a0 = call ptr @noalias_returner() <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: %noalias_ret_a0 = call ptr @noalias_returner() <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: %noalias_ret_a0 = call ptr @noalias_returner() <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: %noalias_ret_a0 = call ptr @noalias_returner() <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: %noalias_ret_a0 = call ptr @noalias_returner() <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: %noalias_ret_a0 = call ptr @noalias_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: %noalias_ret_a0 = call ptr @noalias_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: %noalias_ret_a1 = call ptr @noalias_returner() <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: %noalias_ret_a1 = call ptr @noalias_returner() <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: %noalias_ret_a1 = call ptr @noalias_returner() <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: %noalias_ret_a1 = call ptr @noalias_returner() <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: %noalias_ret_a1 = call ptr @noalias_returner() <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: %noalias_ret_a1 = call ptr @noalias_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: %noalias_ret_a1 = call ptr @noalias_returner() <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a0) <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a0) <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a0) <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a0) <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a0) <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a0) <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a0) <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a1) <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a1) <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a1) <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a1) <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a1) <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a1) <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: Both ModRef: call void @callee(ptr %escape_alloca_a1) <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a0) <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a0) <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a0) <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a0) <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a0) <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a0) <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a0) <-> call void @nocap_callee(ptr %noescape_alloca_a1) |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a1) <-> %normal_ret_a0 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a1) <-> %normal_ret_a1 = call ptr @normal_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a1) <-> %noalias_ret_a0 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a1) <-> %noalias_ret_a1 = call ptr @noalias_returner() |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a1) <-> call void @callee(ptr %escape_alloca_a0) |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a1) <-> call void @callee(ptr %escape_alloca_a1) |
| ; CHECK: Both ModRef: call void @nocap_callee(ptr %noescape_alloca_a1) <-> call void @nocap_callee(ptr %noescape_alloca_a0) |
| ; CHECK: ===== Alias Analysis Evaluator Report ===== |
| ; CHECK-NEXT: 120 Total Alias Queries Performed |
| ; CHECK-NEXT: 84 no alias responses (70.0%) |
| ; CHECK-NEXT: 36 may alias responses (30.0%) |
| ; CHECK-NEXT: 0 partial alias responses (0.0%) |
| ; CHECK-NEXT: 0 must alias responses (0.0%) |
| ; CHECK-NEXT: Alias Analysis Evaluator Pointer Alias Summary: 70%/30%/0% |
| ; CHECK-NEXT: 184 Total ModRef Queries Performed |
| ; CHECK-NEXT: 44 no mod/ref responses (23.9%) |
| ; CHECK-NEXT: 0 mod responses (0.0%) |
| ; CHECK-NEXT: 0 ref responses (0.0%) |
| ; CHECK-NEXT: 140 mod & ref responses (76.0%) |
| ; CHECK-NEXT: Alias Analysis Evaluator Mod/Ref Summary: 23%/0%/0%/76% |
| |
