| ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s |
| ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} |
| |
| ; CHECK-LABEL: Begin function original_testcase |
| define fastcc void @original_testcase() { |
| top: |
| ; CHECK: OpCompositeInsert |
| %0 = insertvalue [1 x ptr] zeroinitializer, ptr poison, 0 |
| ret void |
| } |
| |
| ; CHECK-LABEL: Begin function additional_testcases |
| define fastcc void @additional_testcases() { |
| top: |
| ; Test with different pointer types |
| ; CHECK: OpCompositeInsert |
| %1 = insertvalue [1 x ptr] zeroinitializer, ptr undef, 0 |
| ; CHECK-NEXT: OpCompositeInsert |
| %2 = insertvalue {ptr, i32} zeroinitializer, ptr poison, 0 |
| ; CHECK-NEXT: OpCompositeInsert |
| %3 = insertvalue {ptr, ptr} undef, ptr null, 0 |
| |
| ; Test with undef aggregate |
| ; CHECK-NEXT: OpCompositeInsert |
| %4 = insertvalue [1 x ptr] undef, ptr undef, 0 |
| |
| ret void |
| } |
