| ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s | |
| ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %} | |
| %aggregate = type { i8, i32 } | |
| define %aggregate @getConstant() { | |
| ret %aggregate { i8 1, i32 2 } | |
| } | |
| ; CHECK: OpName [[GET:%.+]] "getConstant" | |
| ; CHECK-DAG: [[I8:%.+]] = OpTypeInt 8 | |
| ; CHECK-DAG: [[I32:%.+]] = OpTypeInt 32 | |
| ; CHECK-DAG: [[AGGREGATE:%.+]] = OpTypeStruct [[I8]] [[I32]] | |
| ; CHECK-DAG: [[CST_I8:%.+]] = OpConstant [[I8]] 1 | |
| ; CHECK-DAG: [[CST_I32:%.+]] = OpConstant [[I32]] 2 | |
| ; CHECK-DAG: [[CST_AGGREGATE:%.+]] = OpConstantComposite [[AGGREGATE]] [[CST_I8]] [[CST_I32]] | |
| ; CHECK: [[GET]] = OpFunction [[AGGREGATE]] | |
| ; CHECK: OpReturnValue [[CST_AGGREGATE]] | |
| ; CHECK: OpFunctionEnd |