1 ; Test 16-bit atomic subtractions. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK 4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT1 5 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT2 6 7 ; Check subtraction of a variable. 8 ; - CHECK is for the main loop. 9 ; - CHECK-SHIFT1 makes sure that the negated shift count used by the second 10 ; RLL is set up correctly. The negation is independent of the NILL and L 11 ; tested in CHECK. 12 ; - CHECK-SHIFT2 makes sure that %b is shifted into the high part of the word 13 ; before being used. This shift is independent of the other loop prologue 14 ; instructions. 15 define i16 @f1(i16 *%src, i16 %b) { 16 ; CHECK-LABEL: f1: 17 ; CHECK: sllg [[SHIFT:%r[1-9]+]], %r2, 3 18 ; CHECK: nill %r2, 65532 19 ; CHECK: l [[OLD:%r[0-9]+]], 0(%r2) 20 ; CHECK: [[LABEL:\.[^:]*]]: 21 ; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0([[SHIFT]]) 22 ; CHECK: sr [[ROT]], %r3 23 ; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0({{%r[1-9]+}}) 24 ; CHECK: cs [[OLD]], [[NEW]], 0(%r2) 25 ; CHECK: jl [[LABEL]] 26 ; CHECK: rll %r2, [[OLD]], 16([[SHIFT]]) 27 ; CHECK: br %r14 28 ; 29 ; CHECK-SHIFT1-LABEL: f1: 30 ; CHECK-SHIFT1: sllg [[SHIFT:%r[1-9]+]], %r2, 3 31 ; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]] 32 ; CHECK-SHIFT1: rll 33 ; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]]) 34 ; CHECK-SHIFT1: rll 35 ; CHECK-SHIFT1: br %r14 36 ; 37 ; CHECK-SHIFT2-LABEL: f1: 38 ; CHECK-SHIFT2: sll %r3, 16 39 ; CHECK-SHIFT2: rll 40 ; CHECK-SHIFT2: sr {{%r[0-9]+}}, %r3 41 ; CHECK-SHIFT2: rll 42 ; CHECK-SHIFT2: rll 43 ; CHECK-SHIFT2: br %r14 44 %res = atomicrmw sub i16 *%src, i16 %b seq_cst 45 ret i16 %res 46 } 47 48 ; Check the minimum signed value. We add 0x80000000 to the rotated word. 49 define i16 @f2(i16 *%src) { 50 ; CHECK-LABEL: f2: 51 ; CHECK: sllg [[SHIFT:%r[1-9]+]], %r2, 3 52 ; CHECK: nill %r2, 65532 53 ; CHECK: l [[OLD:%r[0-9]+]], 0(%r2) 54 ; CHECK: [[LABEL:\.[^:]*]]: 55 ; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0([[SHIFT]]) 56 ; CHECK: afi [[ROT]], -2147483648 57 ; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0([[NEGSHIFT:%r[1-9]+]]) 58 ; CHECK: cs [[OLD]], [[NEW]], 0(%r2) 59 ; CHECK: jl [[LABEL]] 60 ; CHECK: rll %r2, [[OLD]], 16([[SHIFT]]) 61 ; CHECK: br %r14 62 ; 63 ; CHECK-SHIFT1-LABEL: f2: 64 ; CHECK-SHIFT1: sllg [[SHIFT:%r[1-9]+]], %r2, 3 65 ; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]] 66 ; CHECK-SHIFT1: rll 67 ; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]]) 68 ; CHECK-SHIFT1: rll 69 ; CHECK-SHIFT1: br %r14 70 ; 71 ; CHECK-SHIFT2-LABEL: f2: 72 ; CHECK-SHIFT2: br %r14 73 %res = atomicrmw sub i16 *%src, i16 -32768 seq_cst 74 ret i16 %res 75 } 76 77 ; Check subtraction of -1. We add 0x00010000 to the rotated word. 78 define i16 @f3(i16 *%src) { 79 ; CHECK-LABEL: f3: 80 ; CHECK: afi [[ROT]], 65536 81 ; CHECK: br %r14 82 ; 83 ; CHECK-SHIFT1-LABEL: f3: 84 ; CHECK-SHIFT1: br %r14 85 ; CHECK-SHIFT2-LABEL: f3: 86 ; CHECK-SHIFT2: br %r14 87 %res = atomicrmw sub i16 *%src, i16 -1 seq_cst 88 ret i16 %res 89 } 90 91 ; Check subtraction of 1. We add 0xffff0000 to the rotated word. 92 define i16 @f4(i16 *%src) { 93 ; CHECK-LABEL: f4: 94 ; CHECK: afi [[ROT]], -65536 95 ; CHECK: br %r14 96 ; 97 ; CHECK-SHIFT1-LABEL: f4: 98 ; CHECK-SHIFT1: br %r14 99 ; CHECK-SHIFT2-LABEL: f4: 100 ; CHECK-SHIFT2: br %r14 101 %res = atomicrmw sub i16 *%src, i16 1 seq_cst 102 ret i16 %res 103 } 104 105 ; Check the maximum signed value. We add 0x80010000 to the rotated word. 106 define i16 @f5(i16 *%src) { 107 ; CHECK-LABEL: f5: 108 ; CHECK: afi [[ROT]], -2147418112 109 ; CHECK: br %r14 110 ; 111 ; CHECK-SHIFT1-LABEL: f5: 112 ; CHECK-SHIFT1: br %r14 113 ; CHECK-SHIFT2-LABEL: f5: 114 ; CHECK-SHIFT2: br %r14 115 %res = atomicrmw sub i16 *%src, i16 32767 seq_cst 116 ret i16 %res 117 } 118 119 ; Check subtraction of a large unsigned value. We add 0x00020000 to the 120 ; rotated word. 121 define i16 @f6(i16 *%src) { 122 ; CHECK-LABEL: f6: 123 ; CHECK: afi [[ROT]], 131072 124 ; CHECK: br %r14 125 ; 126 ; CHECK-SHIFT1-LABEL: f6: 127 ; CHECK-SHIFT1: br %r14 128 ; CHECK-SHIFT2-LABEL: f6: 129 ; CHECK-SHIFT2: br %r14 130 %res = atomicrmw sub i16 *%src, i16 65534 seq_cst 131 ret i16 %res 132 } 133
