1; RUN: opt %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s 2; 3; Generated from: 4; 5; int foo() { 6; int v; 7; asm goto("movl $1, %0" : "=m"(v)::: out); 8; out: 9; return v; 10; } 11 12target triple = "x86_64-unknown-linux-gnu" 13 14; CHECK: Both ModRef: Ptr: i32* %v <-> callbr void asm "movl $$1, $0", "=*m,!i,~{dirflag},~{fpsr},~{flags}"(ptr nonnull elementtype(i32) %v) 15 16 17define dso_local i32 @foo() { 18entry: 19 %v = alloca i32, align 4 20 callbr void asm "movl $$1, $0", "=*m,!i,~{dirflag},~{fpsr},~{flags}"(ptr elementtype(i32) nonnull %v) 21 to label %asm.fallthrough [label %out] 22 23asm.fallthrough: 24 br label %out 25 26out: 27 %0 = load i32, ptr %v, align 4 28 ret i32 %0 29} 30