1598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# Test 64-bit COMPARE IMMEDIATE AND BRANCH in cases where the sheer number of 2598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# instructions causes some branches to be out of range. 3598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# RUN: python %s | llc -mtriple=s390x-linux-gnu | FileCheck %s 4598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford 5598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# Construct: 6598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# 7598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# before0: 8598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# conditional branch to after0 9598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# ... 10598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# beforeN: 11598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# conditional branch to after0 12598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# main: 13598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# 0xffcc bytes, from MVIY instructions 14598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# conditional branch to main 15598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# after0: 16598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# ... 17598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# conditional branch to main 18598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# afterN: 19598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# 20598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# Each conditional branch sequence occupies 12 bytes if it uses a short 21598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# branch and 16 if it uses a long one. The ones before "main:" have to 22598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# take the branch length into account, which is 6 for short branches, 23598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# so the final (0x34 - 6) / 12 == 3 blocks can use short branches. 24598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# The ones after "main:" do not, so the first 0x34 / 12 == 4 blocks 25598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# can use short branches. The conservative algorithm we use makes 26598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# one of the forward branches unnecessarily long, as noted in the 27598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# check output below. 28598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# 29598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 30598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 50 31598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL:\.L[^ ]*]] 32598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 33598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 51 34598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 35598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 36598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 52 37598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 38598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 39598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 53 40598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 41598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 42598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 54 43598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 44598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# ...as mentioned above, the next one could be a CGIJL instead... 45598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 46598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 55 47598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 48598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 49598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cgijl [[REG]], 56, [[LABEL]] 50598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 51598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cgijl [[REG]], 57, [[LABEL]] 52598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# ...main goes here... 53598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 54598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cgijl [[REG]], 100, [[LABEL:\.L[^ ]*]] 55598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 56598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cgijl [[REG]], 101, [[LABEL]] 57598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 58598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cgijl [[REG]], 102, [[LABEL]] 59598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 60598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cgijl [[REG]], 103, [[LABEL]] 61598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 62598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 104 63598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 64598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 65598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 105 66598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 67598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 68598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 106 69598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 70598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: lgb [[REG:%r[0-5]]], 0(%r3) 71598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: cghi [[REG]], 107 72598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford# CHECK: jgl [[LABEL]] 73598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford 74598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordbranch_blocks = 8 75598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordmain_size = 0xffcc 76598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford 77598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordprint 'define void @f1(i8 *%base, i8 *%stop) {' 78598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordprint 'entry:' 79598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordprint ' br label %before0' 80598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordprint '' 81598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford 82598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordfor i in xrange(branch_blocks): 83598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford next = 'before%d' % (i + 1) if i + 1 < branch_blocks else 'main' 84598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print 'before%d:' % i 854c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar print ' %%bcur%d = load i8 , i8 *%%stop' % i 86598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print ' %%bext%d = sext i8 %%bcur%d to i64' % (i, i) 87598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print ' %%btest%d = icmp slt i64 %%bext%d, %d' % (i, i, i + 50) 88598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print ' br i1 %%btest%d, label %%after0, label %%%s' % (i, next) 89598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print '' 90598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford 91598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordprint '%s:' % next 92598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiforda, b = 1, 1 93598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordfor i in xrange(0, main_size, 6): 94598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford a, b = b, a + b 95598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford offset = 4096 + b % 500000 96598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford value = a % 256 974c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar print ' %%ptr%d = getelementptr i8, i8 *%%base, i64 %d' % (i, offset) 98598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print ' store volatile i8 %d, i8 *%%ptr%d' % (value, i) 99598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford 100598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordfor i in xrange(branch_blocks): 1014c5e43da7792f75567b693105cc53e3f1992ad98Pirama Arumuga Nainar print ' %%acur%d = load i8 , i8 *%%stop' % i 102598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print ' %%aext%d = sext i8 %%acur%d to i64' % (i, i) 103598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print ' %%atest%d = icmp slt i64 %%aext%d, %d' % (i, i, i + 100) 104598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print ' br i1 %%atest%d, label %%main, label %%after%d' % (i, i) 105598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print '' 106598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford print 'after%d:' % i 107598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandiford 108598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordprint ' ret void' 109598377060d7c070bfc623f1bbf577b8e47ae130fRichard Sandifordprint '}' 110