Optimize 64-bit shifts by constants for x86-32

tests_lit/llvm2ice_tests/shift.ll

 ; This is a test of C-level conversion operations that clang lowers
 ; into pairs of shifts.
 
 ; RUN: %if --need=target_X8632 --command %p2i --filetype=obj --disassemble \
 ; RUN:   --target x8632 -i %s --args -O2 \
 ; RUN:   | %if --need=target_X8632 --command FileCheck %s
 
 ; RUN: %if --need=target_X8632 --command %p2i --filetype=obj --disassemble \
 ; RUN:   --target x8632 -i %s --args -Om1 \
 ; RUN:   | %if --need=target_X8632 --command FileCheck %s
@@ skipping 94 matching lines @@
 ; CHECK-LABEL: ashrImmLarge
 ; CHECK: sar {{.*}},0x1
 
 define i32 @ashrImmNeg(i32 %val) {
 entry:
   %result = ashr i32 %val, -1
   ret i32 %result
 }
 ; CHECK-LABEL: ashrImmNeg
 ; CHECK: sar {{.*}},0xff
+
+define i64 @shlImm64One(i64 %val) {
+entry:
+  %result = shl i64 %val, 1
+  ret i64 %result
+}
+; CHECK-LABEL: shlImm64One
+; CHECK: shl {{.*}},1
+
+define i64 @shlImm64LessThan32(i64 %val) {
+entry:
+  %result = shl i64 %val, 4
+  ret i64 %result
+}
+; CHECK-LABEL: shlImm64LessThan32
+; CHECK: shl {{.*}},0x4
+
+define i64 @shlImm64Equal32(i64 %val) {
+entry:
+  %result = shl i64 %val, 32
+  ret i64 %result
+}
+; CHECK-LABEL: shlImm64Equal32
+; CHECK-NOT: shl
+
+define i64 @shlImm64GreaterThan32(i64 %val) {
+entry:
+  %result = shl i64 %val, 40
+  ret i64 %result
+}
+; CHECK-LABEL: shlImm64GreaterThan32
+; CHECK: shl {{.*}},0x8
+
+define i64 @lshrImm64One(i64 %val) {
+entry:
+  %result = lshr i64 %val, 1
+  ret i64 %result
+}
+; CHECK-LABEL: lshrImm64One
+; CHECK: shr {{.*}},1
+
+define i64 @lshrImm64LessThan32(i64 %val) {
+entry:
+  %result = lshr i64 %val, 4
+  ret i64 %result
+}
+; CHECK-LABEL: lshrImm64LessThan32
+; CHECK: shrd {{.*}},0x4
+; CHECK: shr {{.*}},0x4
+
+define i64 @lshrImm64Equal32(i64 %val) {
+entry:
+  %result = lshr i64 %val, 32
+  ret i64 %result
+}
+; CHECK-LABEL: lshrImm64Equal32
+; CHECK-NOT: shr
+
+define i64 @lshrImm64GreaterThan32(i64 %val) {
+entry:
+  %result = lshr i64 %val, 40
+  ret i64 %result
+}
+; CHECK-LABEL: lshrImm64GreaterThan32
+; CHECK-NOT: shrd
+; CHECK: shr {{.*}},0x8
+
+define i64 @ashrImm64One(i64 %val) {
+entry:
+  %result = ashr i64 %val, 1
+  ret i64 %result
+}
+; CHECK-LABEL: ashrImm64One
+; CHECK: shrd {{.*}},0x1
+; CHECK: sar {{.*}},1
+
+define i64 @ashrImm64LessThan32(i64 %val) {
+entry:
+  %result = ashr i64 %val, 4
+  ret i64 %result
+}
+; CHECK-LABEL: ashrImm64LessThan32
+; CHECK: shrd {{.*}},0x4
+; CHECK: sar {{.*}},0x4
+
+define i64 @ashrImm64Equal32(i64 %val) {
+entry:
+  %result = ashr i64 %val, 32
+  ret i64 %result
+}
+; CHECK-LABEL: ashrImm64Equal32
+; CHECK: sar {{.*}},0x1f
+; CHECK-NOT: shrd
+
+define i64 @ashrImm64GreaterThan32(i64 %val) {
+entry:
+  %result = ashr i64 %val, 40
+  ret i64 %result
+}
+; CHECK-LABEL: ashrImm64GreaterThan32
+; CHECK: sar {{.*}},0x1f
+; CHECK: shrd {{.*}},0x8