1 ; Test that memcmp won't be converted to CLC if calls are 2 ; marked with nobuiltin, eg. for sanitizers. 3 ; 4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 5 6 declare signext i32 @memcmp(i8 *%src1, i8 *%src2, i64 %size) 7 8 ; Zero-length comparisons should be optimized away. 9 define i32 @f1(i8 *%src1, i8 *%src2) { 10 ; CHECK-LABEL: f1: 11 ; CHECK-NOT: clc 12 ; CHECK: brasl %r14, memcmp 13 ; CHECK: br %r14 14 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 0) nobuiltin 15 ret i32 %res 16 } 17 18 ; Check a case where the result is used as an integer. 19 define i32 @f2(i8 *%src1, i8 *%src2) { 20 ; CHECK-LABEL: f2: 21 ; CHECK-NOT: clc 22 ; CHECK: brasl %r14, memcmp 23 ; CHECK: br %r14 24 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 2) nobuiltin 25 ret i32 %res 26 } 27 28 ; Check a case where the result is tested for equality. 29 define void @f3(i8 *%src1, i8 *%src2, i32 *%dest) { 30 ; CHECK-LABEL: f3: 31 ; CHECK-NOT: clc 32 ; CHECK: brasl %r14, memcmp 33 ; CHECK: br %r14 34 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 3) nobuiltin 35 %cmp = icmp eq i32 %res, 0 36 br i1 %cmp, label %exit, label %store 37 38 store: 39 store i32 0, i32 *%dest 40 br label %exit 41 42 exit: 43 ret void 44 } 45 46 ; Check a case where the result is tested for inequality. 47 define void @f4(i8 *%src1, i8 *%src2, i32 *%dest) { 48 ; CHECK-LABEL: f4: 49 ; CHECK-NOT: clc 50 ; CHECK: brasl %r14, memcmp 51 ; CHECK: br %r14 52 entry: 53 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 4) nobuiltin 54 %cmp = icmp ne i32 %res, 0 55 br i1 %cmp, label %exit, label %store 56 57 store: 58 store i32 0, i32 *%dest 59 br label %exit 60 61 exit: 62 ret void 63 } 64 65 ; Check a case where the result is tested via slt. 66 define void @f5(i8 *%src1, i8 *%src2, i32 *%dest) { 67 ; CHECK-LABEL: f5: 68 ; CHECK-NOT: clc 69 ; CHECK: brasl %r14, memcmp 70 ; CHECK: br %r14 71 entry: 72 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 5) nobuiltin 73 %cmp = icmp slt i32 %res, 0 74 br i1 %cmp, label %exit, label %store 75 76 store: 77 store i32 0, i32 *%dest 78 br label %exit 79 80 exit: 81 ret void 82 } 83 84 ; Check a case where the result is tested for sgt. 85 define void @f6(i8 *%src1, i8 *%src2, i32 *%dest) { 86 ; CHECK-LABEL: f6: 87 ; CHECK-NOT: clc 88 ; CHECK: brasl %r14, memcmp 89 ; CHECK: br %r14 90 entry: 91 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 6) nobuiltin 92 %cmp = icmp sgt i32 %res, 0 93 br i1 %cmp, label %exit, label %store 94 95 store: 96 store i32 0, i32 *%dest 97 br label %exit 98 99 exit: 100 ret void 101 } 102 103 ; Check the upper end of the CLC range. Here the result is used both as 104 ; an integer and for branching. 105 define i32 @f7(i8 *%src1, i8 *%src2, i32 *%dest) { 106 ; CHECK-LABEL: f7: 107 ; CHECK-NOT: clc 108 ; CHECK: brasl %r14, memcmp 109 ; CHECK: br %r14 110 entry: 111 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 256) nobuiltin 112 %cmp = icmp slt i32 %res, 0 113 br i1 %cmp, label %exit, label %store 114 115 store: 116 store i32 0, i32 *%dest 117 br label %exit 118 119 exit: 120 ret i32 %res 121 } 122 123 ; 257 bytes needs two CLCs. 124 define i32 @f8(i8 *%src1, i8 *%src2) { 125 ; CHECK-LABEL: f8: 126 ; CHECK-NOT: clc 127 ; CHECK: brasl %r14, memcmp 128 ; CHECK: br %r14 129 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 257) nobuiltin 130 ret i32 %res 131 } 132 133 ; Test a comparison of 258 bytes in which the CC result can be used directly. 134 define void @f9(i8 *%src1, i8 *%src2, i32 *%dest) { 135 ; CHECK-LABEL: f9: 136 ; CHECK-NOT: clc 137 ; CHECK: brasl %r14, memcmp 138 ; CHECK: br %r14 139 entry: 140 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 257) nobuiltin 141 %cmp = icmp slt i32 %res, 0 142 br i1 %cmp, label %exit, label %store 143 144 store: 145 store i32 0, i32 *%dest 146 br label %exit 147 148 exit: 149 ret void 150 } 151 152 ; Test the largest size that can use two CLCs. 153 define i32 @f10(i8 *%src1, i8 *%src2) { 154 ; CHECK-LABEL: f10: 155 ; CHECK-NOT: clc 156 ; CHECK: brasl %r14, memcmp 157 ; CHECK: br %r14 158 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 512) nobuiltin 159 ret i32 %res 160 } 161 162 ; Test the smallest size that needs 3 CLCs. 163 define i32 @f11(i8 *%src1, i8 *%src2) { 164 ; CHECK-LABEL: f11: 165 ; CHECK-NOT: clc 166 ; CHECK: brasl %r14, memcmp 167 ; CHECK: br %r14 168 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 513) nobuiltin 169 ret i32 %res 170 } 171 172 ; Test the largest size than can use 3 CLCs. 173 define i32 @f12(i8 *%src1, i8 *%src2) { 174 ; CHECK-LABEL: f12: 175 ; CHECK-NOT: clc 176 ; CHECK: brasl %r14, memcmp 177 ; CHECK: br %r14 178 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 768) nobuiltin 179 ret i32 %res 180 } 181 182 ; The next size up uses a loop instead. We leave the more complicated 183 ; loop tests to memcpy-01.ll, which shares the same form. 184 define i32 @f13(i8 *%src1, i8 *%src2) { 185 ; CHECK-LABEL: f13: 186 ; CHECK-NOT: clc 187 ; CHECK: brasl %r14, memcmp 188 ; CHECK: br %r14 189 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 769) nobuiltin 190 ret i32 %res 191 } 192
