1 ; Test the "Q" asm constraint, which accepts addresses that have a base
2 ; and a 12-bit displacement.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu -no-integrated-as | FileCheck %s
6 ; Check the lowest range.
7 define void @f1(i64 %base) {
11 %addr = inttoptr i64 %base to ptr
12 call void asm "blah $0", "=*Q" (ptr elementtype(i64) %addr)
16 ; Check the next lowest byte.
17 define void @f2(i64 %base) {
22 %add = add i64 %base, -1
23 %addr = inttoptr i64 %add to ptr
24 call void asm "blah $0", "=*Q" (ptr elementtype(i64) %addr)
28 ; Check the highest range.
29 define void @f3(i64 %base) {
31 ; CHECK: blah 4095(%r2)
33 %add = add i64 %base, 4095
34 %addr = inttoptr i64 %add to ptr
35 call void asm "blah $0", "=*Q" (ptr elementtype(i64) %addr)
39 ; Check the next highest byte.
40 define void @f4(i64 %base) {
42 ; CHECK: aghi %r2, 4096
45 %add = add i64 %base, 4096
46 %addr = inttoptr i64 %add to ptr
47 call void asm "blah $0", "=*Q" (ptr elementtype(i64) %addr)
51 ; Check that indices aren't allowed
52 define void @f5(i64 %base, i64 %index) {
57 %add = add i64 %base, %index
58 %addr = inttoptr i64 %add to ptr
59 call void asm "blah $0", "=*Q" (ptr elementtype(i64) %addr)
63 ; Check A, O and R format flags.
64 define void @f6(i64 %base) {
68 %add = add i64 %base, 111
69 %addr = inttoptr i64 %add to ptr
70 call void asm "blah ${0:O},${0:R}${0:A}", "=*Q" (ptr elementtype(i64) %addr)