1 // RUN: %clang_cc1 -triple s390x-linux-gnu -O2 -emit-llvm -o - %s | FileCheck %s
2
3 unsigned int gi;
4 unsigned long gl;
5
test_store_m(unsigned int i)6 void test_store_m(unsigned int i) {
7 asm("st %1, %0" : "=m" (gi) : "r" (i));
8 // CHECK-LABEL: define void @test_store_m(i32 zeroext %i)
9 // CHECK: call void asm "st $1, $0", "=*m,r"(i32* nonnull @gi, i32 %i)
10 }
11
test_store_Q(unsigned int i)12 void test_store_Q(unsigned int i) {
13 asm("st %1, %0" : "=Q" (gi) : "r" (i));
14 // CHECK-LABEL: define void @test_store_Q(i32 zeroext %i)
15 // CHECK: call void asm "st $1, $0", "=*Q,r"(i32* nonnull @gi, i32 %i)
16 }
17
test_store_R(unsigned int i)18 void test_store_R(unsigned int i) {
19 asm("st %1, %0" : "=R" (gi) : "r" (i));
20 // CHECK-LABEL: define void @test_store_R(i32 zeroext %i)
21 // CHECK: call void asm "st $1, $0", "=*R,r"(i32* nonnull @gi, i32 %i)
22 }
23
test_store_S(unsigned int i)24 void test_store_S(unsigned int i) {
25 asm("st %1, %0" : "=S" (gi) : "r" (i));
26 // CHECK-LABEL: define void @test_store_S(i32 zeroext %i)
27 // CHECK: call void asm "st $1, $0", "=*S,r"(i32* nonnull @gi, i32 %i)
28 }
29
test_store_T(unsigned int i)30 void test_store_T(unsigned int i) {
31 asm("st %1, %0" : "=T" (gi) : "r" (i));
32 // CHECK-LABEL: define void @test_store_T(i32 zeroext %i)
33 // CHECK: call void asm "st $1, $0", "=*T,r"(i32* nonnull @gi, i32 %i)
34 }
35
test_load_m()36 int test_load_m() {
37 unsigned int i;
38 asm("l %0, %1" : "=r" (i) : "m" (gi));
39 return i;
40 // CHECK-LABEL: define signext i32 @test_load_m()
41 // CHECK: call i32 asm "l $0, $1", "=r,*m"(i32* nonnull @gi)
42 }
43
test_load_Q()44 int test_load_Q() {
45 unsigned int i;
46 asm("l %0, %1" : "=r" (i) : "Q" (gi));
47 return i;
48 // CHECK-LABEL: define signext i32 @test_load_Q()
49 // CHECK: call i32 asm "l $0, $1", "=r,*Q"(i32* nonnull @gi)
50 }
51
test_load_R()52 int test_load_R() {
53 unsigned int i;
54 asm("l %0, %1" : "=r" (i) : "R" (gi));
55 return i;
56 // CHECK-LABEL: define signext i32 @test_load_R()
57 // CHECK: call i32 asm "l $0, $1", "=r,*R"(i32* nonnull @gi)
58 }
59
test_load_S()60 int test_load_S() {
61 unsigned int i;
62 asm("l %0, %1" : "=r" (i) : "S" (gi));
63 return i;
64 // CHECK-LABEL: define signext i32 @test_load_S()
65 // CHECK: call i32 asm "l $0, $1", "=r,*S"(i32* nonnull @gi)
66 }
67
test_load_T()68 int test_load_T() {
69 unsigned int i;
70 asm("l %0, %1" : "=r" (i) : "T" (gi));
71 return i;
72 // CHECK-LABEL: define signext i32 @test_load_T()
73 // CHECK: call i32 asm "l $0, $1", "=r,*T"(i32* nonnull @gi)
74 }
75
test_mI(unsigned char * c)76 void test_mI(unsigned char *c) {
77 asm volatile("cli %0, %1" :: "Q" (*c), "I" (100));
78 // CHECK-LABEL: define void @test_mI(i8* %c)
79 // CHECK: call void asm sideeffect "cli $0, $1", "*Q,I"(i8* %c, i32 100)
80 }
81
test_dJa(unsigned int i,unsigned int j)82 unsigned int test_dJa(unsigned int i, unsigned int j) {
83 asm("sll %0, %2(%3)" : "=d" (i) : "0" (i), "J" (1000), "a" (j));
84 return i;
85 // CHECK-LABEL: define zeroext i32 @test_dJa(i32 zeroext %i, i32 zeroext %j)
86 // CHECK: call i32 asm "sll $0, $2($3)", "=d,0,J,a"(i32 %i, i32 1000, i32 %j)
87 }
88
test_rK(unsigned long i)89 unsigned long test_rK(unsigned long i) {
90 asm("aghi %0, %2" : "=r" (i) : "0" (i), "K" (-30000));
91 return i;
92 // CHECK-LABEL: define i64 @test_rK(i64 %i)
93 // CHECK: call i64 asm "aghi $0, $2", "=r,0,K"(i64 %i, i32 -30000)
94 }
95
test_rL(unsigned long i)96 unsigned long test_rL(unsigned long i) {
97 asm("sllg %0, %1, %2" : "=r" (i) : "r" (i), "L" (500000));
98 return i;
99 // CHECK-LABEL: define i64 @test_rL(i64 %i)
100 // CHECK: call i64 asm "sllg $0, $1, $2", "=r,r,L"(i64 %i, i32 500000)
101 }
102
test_M()103 void test_M() {
104 asm volatile("#FOO %0" :: "M"(0x7fffffff));
105 // CHECK-LABEL: define void @test_M()
106 // CHECK: call void asm sideeffect "#FOO $0", "M"(i32 2147483647)
107 }
108
test_f32(float f,float g)109 float test_f32(float f, float g) {
110 asm("aebr %0, %2" : "=f" (f) : "0" (f), "f" (g));
111 return f;
112 // CHECK-LABEL: define float @test_f32(float %f, float %g)
113 // CHECK: call float asm "aebr $0, $2", "=f,0,f"(float %f, float %g)
114 }
115
test_f64(double f,double g)116 double test_f64(double f, double g) {
117 asm("adbr %0, %2" : "=f" (f) : "0" (f), "f" (g));
118 return f;
119 // CHECK-LABEL: define double @test_f64(double %f, double %g)
120 // CHECK: call double asm "adbr $0, $2", "=f,0,f"(double %f, double %g)
121 }
122
test_f128(long double f,long double g)123 long double test_f128(long double f, long double g) {
124 asm("axbr %0, %2" : "=f" (f) : "0" (f), "f" (g));
125 return f;
126 // CHECK: define void @test_f128(fp128* noalias nocapture sret [[DEST:%.*]], fp128* nocapture readonly, fp128* nocapture readonly)
127 // CHECK: %f = load fp128, fp128* %0
128 // CHECK: %g = load fp128, fp128* %1
129 // CHECK: [[RESULT:%.*]] = tail call fp128 asm "axbr $0, $2", "=f,0,f"(fp128 %f, fp128 %g)
130 // CHECK: store fp128 [[RESULT]], fp128* [[DEST]]
131 }
132