blob: 5b0a5f7ef16adbe7297ae580e58159dca961a60d [file] [log] [blame]
Eli Friedman6d7cfd72010-07-16 00:55:21 +00001// RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm %s -o - | FileCheck %s
2// PR3800
3int *foo(void);
4
5// CHECK: @test1
6void test1() {
7 // CHECK: [[REGCALLRESULT:%[a-zA-Z0-9\.]+]] = call i32* @foo()
8 // CHECK: call void asm "foobar", "=*m,*m,~{dirflag},~{fpsr},~{flags}"(i32* [[REGCALLRESULT]], i32* [[REGCALLRESULT]])
9 asm ("foobar" : "+m"(*foo()));
10}
11
12// CHECK: @test2
13void test2() {
14 // CHECK: [[REGCALLRESULT:%[a-zA-Z0-9\.]+]] = call i32* @foo()
15 // CHECK: load i32* [[REGCALLRESULT]]
16 // CHECK: call i32 asm
17 // CHECK: store i32 {{%[a-zA-Z0-9\.]+}}, i32* [[REGCALLRESULT]]
18 asm ("foobar" : "+r"(*foo()));
19}
John Thompson2f474ea2010-09-18 01:15:13 +000020
21// PR7338
22void test3(int *vout, int vin)
23{
24 // CHECK: call void asm "opr $0,$1", "=*r|m|r,r|m|r,~{di},~{dirflag},~{fpsr},~{flags}"
25asm(
26 "opr %[vout],%[vin]"
27 : [vout] "=r,=m,=r" (*vout)
28 : [vin] "r,m,r" (vin)
29 : "edi"
30 );
31}