1 ; Test the "R" asm constraint, which accepts addresses that have a base,
2 ; an index and a 12-bit displacement.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
6 ; Check the lowest range.
7 define void @f1(i64 %base) {
11 %addr = inttoptr i64 %base to i64 *
12 call void asm "blah $0", "=*R" (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 i64 *
24 call void asm "blah $0", "=*R" (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 i64 *
35 call void asm "blah $0", "=*R" (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 i64 *
47 call void asm "blah $0", "=*R" (i64 *%addr)
51 ; FIXME: at the moment the precise constraint is not passed down to
52 ; target code, so we must conservatively treat "R" as "Q".