llvm/test/Analysis/BasicAA/pr52735.ll

   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
  12 target 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
  17 define dso_local i32 @foo() {
  18 entry:
  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
  23 asm.fallthrough:
  24   br label %out
  25
  26 out:
  27   %0 = load i32, ptr %v, align 4
  28   ret i32 %0
  29 }