1 | // RUN: %clang_cc1 %s -triple x86_64-apple-darwin -emit-llvm -o - | FileCheck %s |
2 | // Exercise various use cases for local asm "register variables". |
3 | |
4 | int foo() { |
5 | // CHECK-LABEL: define i32 @foo() |
6 | // CHECK: [[A:%[a-zA-Z0-9]+]] = alloca i32 |
7 | |
8 | register int a asm("rsi")=5; |
9 | // CHECK: store i32 5, i32* [[A]] |
10 | |
11 | asm volatile("; %0 This asm defines rsi" : "=r"(a)); |
12 | // CHECK: [[Z:%[a-zA-Z0-9]+]] = call i32 asm sideeffect "; $0 This asm defines rsi", "={rsi},~{dirflag},~{fpsr},~{flags}"() |
13 | // CHECK: store i32 [[Z]], i32* [[A]] |
14 | |
15 | a = 42; |
16 | // CHECK: store i32 42, i32* [[A]] |
17 | |
18 | asm volatile("; %0 This asm uses rsi" : : "r"(a)); |
19 | // CHECK: [[TMP:%[a-zA-Z0-9]+]] = load i32, i32* [[A]] |
20 | // CHECK: call void asm sideeffect "; $0 This asm uses rsi", "{rsi},~{dirflag},~{fpsr},~{flags}"(i32 [[TMP]]) |
21 | |
22 | return a; |
23 | // CHECK: [[TMP1:%[a-zA-Z0-9]+]] = load i32, i32* [[A]] |
24 | // CHECK: ret i32 [[TMP1]] |
25 | } |
26 | |
27 | int earlyclobber() { |
28 | // CHECK-LABEL: define i32 @earlyclobber() |
29 | // CHECK: [[A:%[a-zA-Z0-9]+]] = alloca i32 |
30 | |
31 | register int a asm("rsi")=5; |
32 | // CHECK: store i32 5, i32* [[A]] |
33 | |
34 | asm volatile("; %0 This asm defines rsi" : "=&r"(a)); |
35 | // CHECK: [[Z:%[a-zA-Z0-9]+]] = call i32 asm sideeffect "; $0 This asm defines rsi", "=&{rsi},~{dirflag},~{fpsr},~{flags}"() |
36 | // CHECK: store i32 [[Z]], i32* [[A]] |
37 | |
38 | a = 42; |
39 | // CHECK: store i32 42, i32* [[A]] |
40 | |
41 | asm volatile("; %0 This asm uses rsi" : : "r"(a)); |
42 | // CHECK: [[TMP:%[a-zA-Z0-9]+]] = load i32, i32* [[A]] |
43 | // CHECK: call void asm sideeffect "; $0 This asm uses rsi", "{rsi},~{dirflag},~{fpsr},~{flags}"(i32 [[TMP]]) |
44 | |
45 | return a; |
46 | // CHECK: [[TMP1:%[a-zA-Z0-9]+]] = load i32, i32* [[A]] |
47 | // CHECK: ret i32 [[TMP1]] |
48 | } |
49 | |