42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 42; RUN: llc < %s -mtriple=x86_64-- -mcpu=emeraldrapids | FileCheck %s3; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64 | FileCheck %s4; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v2 | FileCheck %s5; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v3 | FileCheck %s6; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v4 | FileCheck %s7 8; PR85681 - shift i1/vXi1 X, Y -> X as only Y==0 is defined9 10define i32 @shl(i32 %a0) {11; CHECK-LABEL: shl:12; CHECK: # %bb.0:13; CHECK-NEXT: movl $-1, %eax14; CHECK-NEXT: retq15 %v0 = bitcast i32 %a0 to <32 x i1>16 %s = shl <32 x i1> <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, %v017 %r = bitcast <32 x i1> %s to i3218 ret i32 %r19}20 21define i32 @lshr(i32 %a0) {22; CHECK-LABEL: lshr:23; CHECK: # %bb.0:24; CHECK-NEXT: movl $-1, %eax25; CHECK-NEXT: retq26 %v0 = bitcast i32 %a0 to <32 x i1>27 %s = lshr <32 x i1> <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, %v028 %r = bitcast <32 x i1> %s to i3229 ret i32 %r30}31 32define i32 @ashr(i32 %a0) {33; CHECK-LABEL: ashr:34; CHECK: # %bb.0:35; CHECK-NEXT: movl $-1, %eax36; CHECK-NEXT: retq37 %v0 = bitcast i32 %a0 to <32 x i1>38 %s = ashr <32 x i1> <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, %v039 %r = bitcast <32 x i1> %s to i3240 ret i32 %r41}42