30 lines · plain
1; RUN: opt %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s2;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 420 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 %out25 26out:27 %0 = load i32, ptr %v, align 428 ret i32 %029}30