Commit 5389ca7a authored by Huihui Zhang's avatar Huihui Zhang
Browse files

[ConstantFold][NFC] Move scalable vector unit tests under vscale.ll

parent 64871f77

llvm/test/Analysis/ConstantFolding/bitcast.ll

deleted100644 → 0
+0 −12
Original line number Diff line number Diff line 
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py

; RUN: opt < %s -constprop -S -verify | FileCheck %s



define <vscale x 4 x float> @bitcast_scalable_constant() {

; CHECK-LABEL: @bitcast_scalable_constant(

; CHECK-NEXT:    ret <vscale x 4 x float> bitcast (<vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0), <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer) to <vscale x 4 x float>)

;

  %i1 = insertelement <vscale x 4 x i32> undef, i32 1, i32 0

  %i2 = shufflevector <vscale x 4 x i32> %i1, <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer

  %i3 = bitcast <vscale x 4 x i32> %i2 to <vscale x 4 x float>

  ret <vscale x 4 x float> %i3

}

llvm/test/Analysis/ConstantFolding/insertelement.ll

deleted100644 → 0
+0 −19
Original line number Diff line number Diff line 
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py

; RUN: opt < %s -constprop -S | FileCheck %s





define <4 x i32> @insertelement_fixedlength_constant() {

; CHECK-LABEL: @insertelement_fixedlength_constant(

; CHECK-NEXT:    ret <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef>

;

  %i = insertelement <4 x i32> undef, i32 1, i32 0

  ret <4 x i32> %i

}



define <vscale x 4 x i32> @insertelement_scalable_constant() {

; CHECK-LABEL: @insertelement_scalable_constant(

; CHECK-NEXT:    ret <vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0)

;

  %i = insertelement <vscale x 4 x i32> undef, i32 1, i32 0

  ret <vscale x 4 x i32> %i

}

llvm/test/Analysis/ConstantFolding/shufflevector.ll

deleted100644 → 0
+0 −11
Original line number Diff line number Diff line 
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py

; RUN: opt < %s -constprop -S | FileCheck %s



define <vscale x 4 x i32> @shufflevector_scalable_constant() {

; CHECK-LABEL: @shufflevector_scalable_constant(

; CHECK-NEXT:    ret <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0), <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer)

;

  %i = insertelement <vscale x 4 x i32> undef, i32 1, i32 0

  %i2 = shufflevector <vscale x 4 x i32> %i, <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer

  ret <vscale x 4 x i32> %i2

}

llvm/test/Analysis/ConstantFolding/vscale.ll

+35 −1
Original line number Diff line number Diff line 
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py

; RUN: opt < %s -constprop -S | FileCheck %s

; RUN: opt < %s -constprop -S -verify | FileCheck %s



;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;; Unary Operations
@@ -165,6 +165,40 @@ define <vscale x 4 x i32> @xor() { 
  ret <vscale x 4 x i32> %r

}



;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;; Vector Operations

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;



define <vscale x 4 x i32> @insertelement() {

; CHECK-LABEL: @insertelement(

; CHECK-NEXT:    ret <vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0)

;

  %i = insertelement <vscale x 4 x i32> undef, i32 1, i32 0

  ret <vscale x 4 x i32> %i

}



define <vscale x 4 x i32> @shufflevector() {

; CHECK-LABEL: @shufflevector(

; CHECK-NEXT:    ret <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0), <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer)

;

  %i = insertelement <vscale x 4 x i32> undef, i32 1, i32 0

  %i2 = shufflevector <vscale x 4 x i32> %i, <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer

  ret <vscale x 4 x i32> %i2

}

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;; Conversion Operations

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;



define <vscale x 4 x float> @bitcast() {

; CHECK-LABEL: @bitcast(

; CHECK-NEXT:    ret <vscale x 4 x float> bitcast (<vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0), <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer) to <vscale x 4 x float>)

;

  %i1 = insertelement <vscale x 4 x i32> undef, i32 1, i32 0

  %i2 = shufflevector <vscale x 4 x i32> %i1, <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer

  %i3 = bitcast <vscale x 4 x i32> %i2 to <vscale x 4 x float>

  ret <vscale x 4 x float> %i3

}



;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;; Other Operations

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;