| ; 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 |
| } |