| ; Test insertions of 16-bit constants into an i64. | |
| ; | |
| ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s | |
| ; Check the lowest useful IILL value. (We use NILL rather than IILL | |
| ; to clear 16 bits.) | |
| define i64 @f1(i64 %a) { | |
| ; CHECK-LABEL: f1: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iill %r2, 1 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 18446744073709486080 | |
| %or = or i64 %and, 1 | |
| ret i64 %or | |
| } | |
| ; Check a middle value. | |
| define i64 @f2(i64 %a) { | |
| ; CHECK-LABEL: f2: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iill %r2, 32769 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, -65536 | |
| %or = or i64 %and, 32769 | |
| ret i64 %or | |
| } | |
| ; Check the highest useful IILL value. (We use OILL rather than IILL | |
| ; to set 16 bits.) | |
| define i64 @f3(i64 %a) { | |
| ; CHECK-LABEL: f3: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iill %r2, 65534 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 18446744073709486080 | |
| %or = or i64 %and, 65534 | |
| ret i64 %or | |
| } | |
| ; Check the lowest useful IILH value. | |
| define i64 @f4(i64 %a) { | |
| ; CHECK-LABEL: f4: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iilh %r2, 1 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 18446744069414649855 | |
| %or = or i64 %and, 65536 | |
| ret i64 %or | |
| } | |
| ; Check a middle value. | |
| define i64 @f5(i64 %a) { | |
| ; CHECK-LABEL: f5: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iilh %r2, 32767 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, -4294901761 | |
| %or = or i64 %and, 2147418112 | |
| ret i64 %or | |
| } | |
| ; Check the highest useful IILH value. | |
| define i64 @f6(i64 %a) { | |
| ; CHECK-LABEL: f6: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iilh %r2, 65534 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 18446744069414649855 | |
| %or = or i64 %and, 4294836224 | |
| ret i64 %or | |
| } | |
| ; Check the lowest useful IIHL value. | |
| define i64 @f7(i64 %a) { | |
| ; CHECK-LABEL: f7: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iihl %r2, 1 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 18446462603027808255 | |
| %or = or i64 %and, 4294967296 | |
| ret i64 %or | |
| } | |
| ; Check a middle value. | |
| define i64 @f8(i64 %a) { | |
| ; CHECK-LABEL: f8: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iihl %r2, 32767 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, -281470681743361 | |
| %or = or i64 %and, 140733193388032 | |
| ret i64 %or | |
| } | |
| ; Check the highest useful IIHL value. | |
| define i64 @f9(i64 %a) { | |
| ; CHECK-LABEL: f9: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iihl %r2, 65534 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 18446462603027808255 | |
| %or = or i64 %and, 281466386776064 | |
| ret i64 %or | |
| } | |
| ; Check the lowest useful IIHH value. | |
| define i64 @f10(i64 %a) { | |
| ; CHECK-LABEL: f10: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iihh %r2, 1 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 281474976710655 | |
| %or = or i64 %and, 281474976710656 | |
| ret i64 %or | |
| } | |
| ; Check a middle value. | |
| define i64 @f11(i64 %a) { | |
| ; CHECK-LABEL: f11: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iihh %r2, 32767 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 281474976710655 | |
| %or = or i64 %and, 9223090561878065152 | |
| ret i64 %or | |
| } | |
| ; Check the highest useful IIHH value. | |
| define i64 @f12(i64 %a) { | |
| ; CHECK-LABEL: f12: | |
| ; CHECK-NOT: ni | |
| ; CHECK: iihh %r2, 65534 | |
| ; CHECK: br %r14 | |
| %and = and i64 %a, 281474976710655 | |
| %or = or i64 %and, 18446181123756130304 | |
| ret i64 %or | |
| } |