1; RUN: llc < %s -march=r600 -mcpu=verde -verify-machineinstrs | FileCheck %s
2
3; Use a 64-bit value with lo bits that can be represented as an inline constant
4; CHECK: @i64_imm_inline_lo
5; CHECK: S_MOV_B32 [[LO:s[0-9]+]], 5
6; CHECK: V_MOV_B32_e32 v[[LO_VGPR:[0-9]+]], [[LO]]
7; CHECK: BUFFER_STORE_DWORDX2 v{{\[}}[[LO_VGPR]]:
8define void @i64_imm_inline_lo(i64 addrspace(1) *%out) {
9entry:
10  store i64 1311768464867721221, i64 addrspace(1) *%out ; 0x1234567800000005
11  ret void
12}
13
14; Use a 64-bit value with hi bits that can be represented as an inline constant
15; CHECK: @i64_imm_inline_hi
16; CHECK: S_MOV_B32 [[HI:s[0-9]+]], 5
17; CHECK: V_MOV_B32_e32 v[[HI_VGPR:[0-9]+]], [[HI]]
18; CHECK: BUFFER_STORE_DWORDX2 v{{\[[0-9]+:}}[[HI_VGPR]]
19define void @i64_imm_inline_hi(i64 addrspace(1) *%out) {
20entry:
21  store i64 21780256376, i64 addrspace(1) *%out ; 0x0000000512345678
22  ret void
23}
24