test/Transforms/VectorCombine/LoongArch/shuffle-identity-miscompile.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt < %s -S -p vector-combine -mtriple=loongarch64 -mattr=+lsx | FileCheck %s

define i32 @shuffle_different_lanes(<2 x i64> %0) local_unnamed_addr {
; CHECK-LABEL: define i32 @shuffle_different_lanes(
; CHECK-SAME: <2 x i64> [[TMP0:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    [[TMP2:%.*]] = trunc <2 x i64> [[TMP0]] to <2 x i16>
; CHECK-NEXT:    [[TMP4:%.*]] = shufflevector <2 x i64> [[TMP0]], <2 x i64> poison, <2 x i32> <i32 1, i32 1>
; CHECK-NEXT:    [[TMP5:%.*]] = trunc <2 x i64> [[TMP4]] to <2 x i16>
; CHECK-NEXT:    [[SHUFFLE_I:%.*]] = sub <2 x i16> [[TMP2]], [[TMP5]]
; CHECK-NEXT:    [[TMP3:%.*]] = bitcast <2 x i16> [[SHUFFLE_I]] to i32
; CHECK-NEXT:    ret i32 [[TMP3]]
;
entry:
  %shuffle = shufflevector <2 x i64> %0, <2 x i64> poison, <4 x i32> <i32 0, i32 0, i32 1, i32 1>
  %conv = trunc <4 x i64> %shuffle to <4 x i16>
  %vecinit4.i = shufflevector <4 x i16> %conv, <4 x i16> poison, <4 x i32> <i32 2, i32 poison, i32 2, i32 poison>
  %sub.i = sub <4 x i16> %conv, %vecinit4.i
  %shuffle.i = shufflevector <4 x i16> %sub.i, <4 x i16> poison, <2 x i32> <i32 0, i32 2>
  %1 = bitcast <2 x i16> %shuffle.i to i32
  ret i32 %1

}