llvm/test/CodeGen/SPIRV/const-composite.ll

   1 ; This test is to ensure that OpConstantComposite reuses a constant when it's
   2 ; already created and available in the same machine function. In this test case
   3 ; it's `1` that is passed implicitly as a part of the `foo` function argument
   4 ; and also takes part in a composite constant creation.
   5
   6 ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   7 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   8
   9 ; CHECK-SPIRV: %[[#type_int32:]] = OpTypeInt 32 0
  10 ; CHECK-SPIRV: %[[#const1:]] = OpConstant %[[#type_int32]] 1
  11 ; CHECK-SPIRV: OpTypeArray %[[#]] %[[#const1:]]
  12 ; CHECK-SPIRV: %[[#const0:]] = OpConstant %[[#type_int32]] 0
  13 ; CHECK-SPIRV: OpConstantComposite %[[#]] %[[#const0]] %[[#const1]]
  14
  15 %struct = type { [1 x i64] }
  16
  17 define spir_kernel void @foo(ptr noundef byval(%struct) %arg) {
  18 entry:
  19   call spir_func void @bar(<2 x i32> noundef <i32 0, i32 1>)
  20   ret void
  21 }
  22
  23 define spir_func void @bar(<2 x i32> noundef) {
  24 entry:
  25   ret void
  26 }