blob: 0d533f5fc771244b2cbfc4e25cd428c1f61eb35d [file] [log] [blame]
Rafael Espindola238b6a92012-10-09 20:46:28 +00001// RUN: %clang -target mipsel-unknown-linux -S -o - -emit-llvm %s \
Jack Carter6e868672012-08-21 00:59:48 +00002// RUN: | FileCheck %s
Eric Christopher0ea61642012-04-03 01:16:32 +00003
4// This checks that the frontend will accept inline asm constraints
Jack Carterd2ab6d32013-03-04 21:36:11 +00005// c', 'l' and 'x'.
Eric Christopher0ea61642012-04-03 01:16:32 +00006
7int main()
8{
9 // 'c': 16 bit address register for Mips16, GPR for all others
10 // I am using 'c' to constrain both the target and one of the source
11 // registers. We are looking for syntactical correctness.
Bill Wendling4e1125f2013-02-22 09:10:20 +000012 // CHECK: %{{[0-9]+}} = call i32 asm sideeffect "addi $0,$1,$2 \0A\09\09", "=c,c,I"(i32 %{{[0-9]+}}, i32 %{{[0-9]+}}) [[NUW:#[0-9]+]], !srcloc !{{[0-9]+}}
Eric Christopher0ea61642012-04-03 01:16:32 +000013 int __s, __v = 17;
14 int __t;
15 __asm__ __volatile__(
16 "addi %0,%1,%2 \n\t\t"
17 : "=c" (__t)
18 : "c" (__s), "I" (__v));
19
20 // 'l': lo register
21 // We are making it clear that destination register is lo with the
22 // use of the 'l' constraint ("=l").
Bill Wendling4e1125f2013-02-22 09:10:20 +000023 // CHECK: %{{[0-9]+}} = call i32 asm sideeffect "mtlo $1 \0A\09\09", "=l,r,~{lo}"(i32 %{{[0-9]+}}) [[NUW]], !srcloc !{{[0-9]+}}
Eric Christopher0ea61642012-04-03 01:16:32 +000024 int i_temp = 44;
25 int i_result;
26 __asm__ __volatile__(
27 "mtlo %1 \n\t\t"
28 : "=l" (i_result)
29 : "r" (i_temp)
30 : "lo");
31
32 // 'x': Combined lo/hi registers
33 // We are specifying that destination registers are the hi/lo pair with the
34 // use of the 'x' constraint ("=x").
Bill Wendling4e1125f2013-02-22 09:10:20 +000035 // CHECK: %{{[0-9]+}} = call i64 asm sideeffect "mthi $1 \0A\09\09mtlo $2 \0A\09\09", "=x,r,r"(i32 %{{[0-9]+}}, i32 %{{[0-9]+}}) [[NUW]], !srcloc !{{[0-9]+}}
Eric Christopher0ea61642012-04-03 01:16:32 +000036 int i_hi = 3;
37 int i_lo = 2;
38 long long ll_result = 0;
39 __asm__ __volatile__(
40 "mthi %1 \n\t\t"
41 "mtlo %2 \n\t\t"
42 : "=x" (ll_result)
43 : "r" (i_hi), "r" (i_lo)
44 : );
Jack Carter6e868672012-08-21 00:59:48 +000045
Eric Christopher0ea61642012-04-03 01:16:32 +000046 return 0;
47}
Bill Wendling4e1125f2013-02-22 09:10:20 +000048
49// CHECK: attributes [[NUW]] = { nounwind }