1# Test normal conditional branches in cases where block alignments cause 2# some branches to be out of range. 3# RUN: python %s | llc -mtriple=s390x-linux-gnu -align-all-blocks=8 | FileCheck %s 4 5# Construct: 6# 7# b0: 8# conditional branch to end 9# ... 10# b<N>: 11# conditional branch to end 12# b<N+1>: 13# conditional branch to b0 14# ... 15# b<2*N>: 16# conditional branch to b0 17# end: 18# 19# with N == 256 + 4. The -align-all-blocks=8 option ensures that all blocks 20# are 256 bytes in size. The first 4 blocks and the last 4 blocks are then 21# out of range. 22# 23# CHECK: c %r4, 0(%r3) 24# CHECK: jge [[LABEL:\.L[^ ]*]] 25# CHECK: c %r4, 4(%r3) 26# CHECK: jge [[LABEL]] 27# CHECK: c %r4, 8(%r3) 28# CHECK: jge [[LABEL]] 29# CHECK: c %r4, 12(%r3) 30# CHECK: jge [[LABEL]] 31# CHECK: c %r4, 16(%r3) 32# CHECK: je [[LABEL]] 33# CHECK: c %r4, 20(%r3) 34# CHECK: je [[LABEL]] 35# CHECK: c %r4, 24(%r3) 36# CHECK: je [[LABEL]] 37# CHECK: c %r4, 28(%r3) 38# CHECK: je [[LABEL]] 39# ...lots of other blocks... 40# CHECK: c %r4, 1004(%r3) 41# CHECK: je [[LABEL:\.L[^ ]*]] 42# CHECK: c %r4, 1008(%r3) 43# CHECK: je [[LABEL]] 44# CHECK: c %r4, 1012(%r3) 45# CHECK: je [[LABEL]] 46# CHECK: c %r4, 1016(%r3) 47# CHECK: je [[LABEL]] 48# CHECK: c %r4, 1020(%r3) 49# CHECK: je [[LABEL]] 50# CHECK: c %r4, 1024(%r3) 51# CHECK: jge [[LABEL]] 52# CHECK: c %r4, 1028(%r3) 53# CHECK: jge [[LABEL]] 54# CHECK: c %r4, 1032(%r3) 55# CHECK: jge [[LABEL]] 56# CHECK: c %r4, 1036(%r3) 57# CHECK: jge [[LABEL]] 58 59from __future__ import print_function 60 61blocks = 256 + 4 62 63print('define void @f1(i8 *%base, i32 *%stop, i32 %limit) {') 64print('entry:') 65print(' br label %b0') 66print('') 67 68a, b = 1, 1 69for i in range(blocks): 70 a, b = b, a + b 71 value = a % 256 72 next = 'b%d' % (i + 1) if i + 1 < blocks else 'end' 73 other = 'end' if 2 * i < blocks else 'b0' 74 print('b%d:' % i) 75 print(' store volatile i8 %d, i8 *%%base' % value) 76 print(' %%astop%d = getelementptr i32, i32 *%%stop, i64 %d' % (i, i)) 77 print(' %%acur%d = load i32 , i32 *%%astop%d' % (i, i)) 78 print(' %%atest%d = icmp eq i32 %%limit, %%acur%d' % (i, i)) 79 print(' br i1 %%atest%d, label %%%s, label %%%s' % (i, other, next)) 80 81print('') 82print('%s:' % next) 83print(' ret void') 84print('}') 85