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 17define spir_kernel void @foo(ptr noundef byval(%struct) %arg) { 18entry: 19 call spir_func void @bar(<2 x i32> noundef <i32 0, i32 1>) 20 ret void 21} 22 23define spir_func void @bar(<2 x i32> noundef) { 24entry: 25 ret void 26} 27