2012-05-10 21:48:22 +00:00
|
|
|
; Positive test for inline register constraints
|
|
|
|
|
;
|
2012-07-18 06:41:36 +00:00
|
|
|
; RUN: llc -march=mipsel < %s | FileCheck -check-prefix=CHECK_LITTLE_32 %s
|
|
|
|
|
; RUN: llc -march=mips < %s | FileCheck -check-prefix=CHECK_BIG_32 %s
|
2012-05-10 21:48:22 +00:00
|
|
|
|
2012-07-05 23:58:21 +00:00
|
|
|
%union.u_tag = type { i64 }
|
|
|
|
|
%struct.anon = type { i32, i32 }
|
|
|
|
|
@uval = common global %union.u_tag zeroinitializer, align 8
|
2012-05-10 21:48:22 +00:00
|
|
|
|
|
|
|
|
; X with -3
|
2012-07-18 06:41:36 +00:00
|
|
|
define i32 @constraint_X() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_X:
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: addi ${{[0-9]+}},${{[0-9]+}},0xfffffffffffffffd
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
|
|
|
|
tail call i32 asm sideeffect "addi $0,$1,${2:X}", "=r,r,I"(i32 7, i32 -3) ;
|
|
|
|
|
ret i32 0
|
|
|
|
|
}
|
2012-05-10 21:48:22 +00:00
|
|
|
|
2012-05-18 17:39:35 +00:00
|
|
|
; x with -3
|
2012-07-18 06:41:36 +00:00
|
|
|
define i32 @constraint_x() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_x:
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: addi ${{[0-9]+}},${{[0-9]+}},0xfffd
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
|
|
|
|
tail call i32 asm sideeffect "addi $0,$1,${2:x}", "=r,r,I"(i32 7, i32 -3) ;
|
|
|
|
|
ret i32 0
|
|
|
|
|
}
|
2012-05-18 17:39:35 +00:00
|
|
|
|
2012-05-19 00:51:56 +00:00
|
|
|
; d with -3
|
2012-07-18 06:41:36 +00:00
|
|
|
define i32 @constraint_d() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_d:
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: addi ${{[0-9]+}},${{[0-9]+}},-3
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
|
|
|
|
tail call i32 asm sideeffect "addi $0,$1,${2:d}", "=r,r,I"(i32 7, i32 -3) ;
|
|
|
|
|
ret i32 0
|
|
|
|
|
}
|
2012-05-19 00:51:56 +00:00
|
|
|
|
2012-05-30 19:05:19 +00:00
|
|
|
; m with -3
|
2012-07-18 06:41:36 +00:00
|
|
|
define i32 @constraint_m() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_m:
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: addi ${{[0-9]+}},${{[0-9]+}},-4
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
|
|
|
|
tail call i32 asm sideeffect "addi $0,$1,${2:m}", "=r,r,I"(i32 7, i32 -3) ;
|
|
|
|
|
ret i32 0
|
|
|
|
|
}
|
2012-05-30 19:05:19 +00:00
|
|
|
|
2012-06-28 01:33:40 +00:00
|
|
|
; z with -3
|
2012-07-18 06:41:36 +00:00
|
|
|
define i32 @constraint_z() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_z:
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: addi ${{[0-9]+}},${{[0-9]+}},-3
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
|
|
|
|
tail call i32 asm sideeffect "addi $0,$1,${2:z}", "=r,r,I"(i32 7, i32 -3) ;
|
2012-06-28 01:33:40 +00:00
|
|
|
|
|
|
|
|
; z with 0
|
2012-07-18 06:41:36 +00:00
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: addi ${{[0-9]+}},${{[0-9]+}},$0
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
2012-06-28 01:33:40 +00:00
|
|
|
tail call i32 asm sideeffect "addi $0,$1,${2:z}", "=r,r,I"(i32 7, i32 0) nounwind
|
2012-07-18 06:41:36 +00:00
|
|
|
ret i32 0
|
|
|
|
|
}
|
2012-06-28 01:33:40 +00:00
|
|
|
|
2012-07-02 23:35:23 +00:00
|
|
|
; a long long in 32 bit mode (use to assert)
|
2012-07-18 06:41:36 +00:00
|
|
|
define i32 @constraint_longlong() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_longlong:
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: addi ${{[0-9]+}},${{[0-9]+}},3
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
2012-07-02 23:35:23 +00:00
|
|
|
tail call i64 asm sideeffect "addi $0,$1,$2 \0A\09", "=r,r,X"(i64 1229801703532086340, i64 3) nounwind
|
2012-07-18 06:41:36 +00:00
|
|
|
ret i32 0
|
|
|
|
|
}
|
2012-07-02 23:35:23 +00:00
|
|
|
|
2012-07-05 23:58:21 +00:00
|
|
|
; D, in little endian the source reg will be 4 bytes into the long long
|
2012-07-18 06:41:36 +00:00
|
|
|
define i32 @constraint_D() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_D:
|
|
|
|
|
;CHECK_LITTLE_32: lw ${{[0-9]+}}, %got(uval)(${{[0-9,a-z]+}})
|
|
|
|
|
;CHECK_LITTLE_32: lw $[[SECOND:[0-9]+]], 4(${{[0-9]+}})
|
|
|
|
|
;CHECK_LITTLE_32: lw $[[FIRST:[0-9]+]], 0(${{[0-9]+}})
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: or ${{[0-9]+}},$[[SECOND]],${{[0-9]+}}
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
2012-07-05 23:58:21 +00:00
|
|
|
|
|
|
|
|
; D, in big endian the source reg will also be 4 bytes into the long long
|
2012-07-18 06:41:36 +00:00
|
|
|
;CHECK_BIG_32: constraint_D:
|
|
|
|
|
;CHECK_BIG_32: lw ${{[0-9]+}}, %got(uval)(${{[0-9,a-z]+}})
|
|
|
|
|
;CHECK_BIG_32: lw $[[SECOND:[0-9]+]], 4(${{[0-9]+}})
|
|
|
|
|
;CHECK_BIG_32: lw $[[FIRST:[0-9]+]], 0(${{[0-9]+}})
|
|
|
|
|
;CHECK_BIG_32: #APP
|
|
|
|
|
;CHECK_BIG_32: or ${{[0-9]+}},$[[SECOND]],${{[0-9]+}}
|
|
|
|
|
;CHECK_BIG_32: #NO_APP
|
|
|
|
|
%bosco = load i64* getelementptr inbounds (%union.u_tag* @uval, i32 0, i32 0), align 8
|
|
|
|
|
%trunc1 = trunc i64 %bosco to i32
|
|
|
|
|
tail call i32 asm sideeffect "or $0,${1:D},$2", "=r,r,r"(i64 %bosco, i32 %trunc1) nounwind
|
|
|
|
|
ret i32 0
|
|
|
|
|
}
|
Mips specific inline asm operand modifier 'L'.
Low order register of a double word register operand. Operands
are defined by the name of the variable they are marked with in
the inline assembler code. This is a way to specify that the
operand just refers to the low order register for that variable.
It is the opposite of modifier 'D' which specifies the high order
register.
Example:
main()
{
long long ll_input = 0x1111222233334444LL;
long long ll_val = 3;
int i_result = 0;
__asm__ __volatile__(
"or %0, %L1, %2"
: "=r" (i_result)
: "r" (ll_input), "r" (ll_val));
}
Which results in:
lui $2, %hi(_gp_disp)
addiu $2, $2, %lo(_gp_disp)
addiu $sp, $sp, -8
addu $2, $2, $25
sw $2, 0($sp)
lui $2, 13107
ori $3, $2, 17476 <-- Low 32 bits of ll_input
lui $2, 4369
ori $4, $2, 8738 <-- High 32 bits of ll_input
addiu $5, $zero, 3 <-- Low 32 bits of ll_val
addiu $2, $zero, 0 <-- High 32 bits of ll_val
#APP
or $3, $4, $5 <-- or i_result, high 32 ll_input, low 32 of ll_val
#NO_APP
addiu $sp, $sp, 8
jr $ra
If not direction is done for the long long for 32 bit variables results
in using the low 32 bits as ll_val shows.
There is an existing bug if 'L' or 'D' is used for the destination register
for 32 bit long longs in that the target value will be updated incorrectly
for the non-specified part unless explicitly set within the inline asm code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@160028 91177308-0d34-0410-b5e6-96231b3b80d8
2012-07-10 22:41:20 +00:00
|
|
|
|
2012-07-18 06:41:36 +00:00
|
|
|
; L, in little endian the source reg will be 0 bytes into the long long
|
|
|
|
|
define i32 @constraint_L() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_L:
|
|
|
|
|
;CHECK_LITTLE_32: lw ${{[0-9]+}}, %got(uval)(${{[0-9,a-z]+}})
|
|
|
|
|
;CHECK_LITTLE_32: lw $[[SECOND:[0-9]+]], 4(${{[0-9]+}})
|
|
|
|
|
;CHECK_LITTLE_32: lw $[[FIRST:[0-9]+]], 0(${{[0-9]+}})
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: or ${{[0-9]+}},$[[FIRST]],${{[0-9]+}}
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
|
|
|
|
; L, in big endian the source reg will be 4 bytes into the long long
|
|
|
|
|
;CHECK_BIG_32: constraint_L:
|
|
|
|
|
;CHECK_BIG_32: lw ${{[0-9]+}}, %got(uval)(${{[0-9,a-z]+}})
|
|
|
|
|
;CHECK_BIG_32: lw $[[SECOND:[0-9]+]], 4(${{[0-9]+}})
|
|
|
|
|
;CHECK_BIG_32: lw $[[FIRST:[0-9]+]], 0(${{[0-9]+}})
|
|
|
|
|
;CHECK_BIG_32: #APP
|
|
|
|
|
;CHECK_BIG_32: or ${{[0-9]+}},$[[SECOND]],${{[0-9]+}}
|
|
|
|
|
;CHECK_BIG_32: #NO_APP
|
|
|
|
|
%bosco = load i64* getelementptr inbounds (%union.u_tag* @uval, i32 0, i32 0), align 8
|
|
|
|
|
%trunc1 = trunc i64 %bosco to i32
|
|
|
|
|
tail call i32 asm sideeffect "or $0,${1:L},$2", "=r,r,r"(i64 %bosco, i32 %trunc1) nounwind
|
2012-05-10 21:48:22 +00:00
|
|
|
ret i32 0
|
|
|
|
|
}
|
2012-07-05 23:58:21 +00:00
|
|
|
|
2012-07-18 06:41:36 +00:00
|
|
|
; M, in little endian the source reg will be 4 bytes into the long long
|
|
|
|
|
define i32 @constraint_M() nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
;CHECK_LITTLE_32: constraint_M:
|
|
|
|
|
;CHECK_LITTLE_32: lw ${{[0-9]+}}, %got(uval)(${{[0-9,a-z]+}})
|
|
|
|
|
;CHECK_LITTLE_32: lw $[[SECOND:[0-9]+]], 4(${{[0-9]+}})
|
|
|
|
|
;CHECK_LITTLE_32: lw $[[FIRST:[0-9]+]], 0(${{[0-9]+}})
|
|
|
|
|
;CHECK_LITTLE_32: #APP
|
|
|
|
|
;CHECK_LITTLE_32: or ${{[0-9]+}},$[[SECOND]],${{[0-9]+}}
|
|
|
|
|
;CHECK_LITTLE_32: #NO_APP
|
|
|
|
|
; M, in big endian the source reg will be 0 bytes into the long long
|
|
|
|
|
;CHECK_BIG_32: constraint_M:
|
|
|
|
|
;CHECK_BIG_32: lw ${{[0-9]+}}, %got(uval)(${{[0-9,a-z]+}})
|
|
|
|
|
;CHECK_BIG_32: lw $[[SECOND:[0-9]+]], 4(${{[0-9]+}})
|
|
|
|
|
;CHECK_BIG_32: lw $[[FIRST:[0-9]+]], 0(${{[0-9]+}})
|
|
|
|
|
;CHECK_BIG_32: #APP
|
|
|
|
|
;CHECK_BIG_32: or ${{[0-9]+}},$[[FIRST]],${{[0-9]+}}
|
|
|
|
|
;CHECK_BIG_32: #NO_APP
|
|
|
|
|
%bosco = load i64* getelementptr inbounds (%union.u_tag* @uval, i32 0, i32 0), align 8
|
|
|
|
|
%trunc1 = trunc i64 %bosco to i32
|
|
|
|
|
tail call i32 asm sideeffect "or $0,${1:M},$2", "=r,r,r"(i64 %bosco, i32 %trunc1) nounwind
|
|
|
|
|
ret i32 0
|
|
|
|
|
}
|
