derek.holloway
7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
221 lines
14 KiB
LLVM
221 lines
14 KiB
LLVM
; REQUIRES: spirv-dis
|
|
; RUN: llvm-spirv %s -o %t.spv
|
|
; RUN: spirv-dis --raw-id %t.spv | FileCheck --check-prefix CHECK-SPIRV %s
|
|
; RUN: spirv-val %t.spv
|
|
; RUN: llvm-spirv -r -o %t.rev.bc %t.spv
|
|
; RUN: llvm-dis -o - %t.rev.bc | FileCheck --check-prefix CHECK-LLVM %s
|
|
; FIXME: FILECHECK_FAIL during llvm-spirv -r in llc compilation flow
|
|
|
|
target triple = "spir64-unknown-unknown"
|
|
|
|
; CHECK-SPIRV-DAG: [[ushort:%[a-z0-9_.]+]] = OpTypeInt 16 0
|
|
; CHECK-SPIRV-DAG: [[uint:%[a-z0-9_.]+]] = OpTypeInt 32 0
|
|
; CHECK-SPIRV-DAG: [[ulong:%[a-z0-9_.]+]] = OpTypeInt 64 0
|
|
; CHECK-SPIRV-DAG: [[ushort_0:%[a-z0-9_.]+]] = OpConstant [[ushort]] 0
|
|
; CHECK-SPIRV-DAG: [[uint_0:%[a-z0-9_.]+]] = OpConstant [[uint]] 0
|
|
; CHECK-SPIRV-DAG: [[ulong_0:%[a-z0-9_.]+]] = OpConstant [[ulong]] 0
|
|
; CHECK-SPIRV-DAG: [[bool:%[a-z0-9_.]+]] = OpTypeBool
|
|
; CHECK-SPIRV-DAG: [[var_4:%[a-z0-9_.]+]] = OpTypeFunction [[bool]] [[ushort]] [[ushort]]
|
|
; CHECK-SPIRV-DAG: [[_struct_9:%[a-z0-9_.]+]] = OpTypeStruct [[ushort]] [[ushort]]
|
|
; CHECK-SPIRV-DAG: [[_ptr_Function__struct_9:%[a-z0-9_.]+]] = OpTypePointer Function [[_struct_9]]
|
|
; CHECK-SPIRV-DAG: [[_struct_18:%[a-z0-9_.]+]] = OpTypeStruct [[ushort]] [[bool]]
|
|
; CHECK-SPIRV-DAG: [[var_25:%[a-z0-9_.]+]] = OpTypeFunction [[bool]] [[uint]] [[uint]]
|
|
; CHECK-SPIRV-DAG: [[_struct_30:%[a-z0-9_.]+]] = OpTypeStruct [[uint]] [[uint]]
|
|
; CHECK-SPIRV-DAG: [[_ptr_Function__struct_30:%[a-z0-9_.]+]] = OpTypePointer Function [[_struct_30]]
|
|
; CHECK-SPIRV-DAG: [[_struct_39:%[a-z0-9_.]+]] = OpTypeStruct [[uint]] [[bool]]
|
|
; CHECK-SPIRV-DAG: [[var_46:%[a-z0-9_.]+]] = OpTypeFunction [[bool]] [[ulong]] [[ulong]]
|
|
; CHECK-SPIRV-DAG: [[_struct_51:%[a-z0-9_.]+]] = OpTypeStruct [[ulong]] [[ulong]]
|
|
; CHECK-SPIRV-DAG: [[_ptr_Function__struct_51:%[a-z0-9_.]+]] = OpTypePointer Function [[_struct_51]]
|
|
; CHECK-SPIRV-DAG: [[_struct_60:%[a-z0-9_.]+]] = OpTypeStruct [[ulong]] [[bool]]
|
|
; CHECK-SPIRV-DAG: [[v4bool:%[a-z0-9_.]+]] = OpTypeVector [[bool]] 4
|
|
; CHECK-SPIRV-DAG: [[v4uint:%[a-z0-9_.]+]] = OpTypeVector [[uint]] 4
|
|
; CHECK-SPIRV-DAG: [[var_68:%[a-z0-9_.]+]] = OpTypeFunction [[v4bool]] [[v4uint]] [[v4uint]]
|
|
; CHECK-SPIRV-DAG: [[_struct_73:%[a-z0-9_.]+]] = OpTypeStruct [[v4uint]] [[v4uint]]
|
|
; CHECK-SPIRV-DAG: [[_ptr_Function__struct_73:%[a-z0-9_.]+]] = OpTypePointer Function [[_struct_73]]
|
|
; CHECK-SPIRV-DAG: [[_struct_82:%[a-z0-9_.]+]] = OpTypeStruct [[v4uint]] [[v4bool]]
|
|
; CHECK-SPIRV-DAG: [[var_19:%[a-z0-9_.]+]] = OpUndef [[_struct_18]]
|
|
; CHECK-SPIRV-DAG: [[var_40:%[a-z0-9_.]+]] = OpUndef [[_struct_39]]
|
|
; CHECK-SPIRV-DAG: [[var_61:%[a-z0-9_.]+]] = OpUndef [[_struct_60]]
|
|
; CHECK-SPIRV-DAG: [[var_80:%[a-z0-9_.]+]] = OpConstantNull [[v4uint]]
|
|
; CHECK-SPIRV-DAG: [[var_83:%[a-z0-9_.]+]] = OpUndef [[_struct_82]]
|
|
|
|
; CHECK-LLVM-DAG: [[structtype:%[a-z0-9._]+]] = type { i16, i16 }
|
|
; CHECK-LLVM-DAG: [[structtype_0:%[a-z0-9._]+]] = type { i16, i1 }
|
|
; CHECK-LLVM-DAG: [[structtype_1:%[a-z0-9._]+]] = type { i32, i32 }
|
|
; CHECK-LLVM-DAG: [[structtype_2:%[a-z0-9._]+]] = type { i32, i1 }
|
|
; CHECK-LLVM-DAG: [[structtype_3:%[a-z0-9._]+]] = type { i64, i64 }
|
|
; CHECK-LLVM-DAG: [[structtype_4:%[a-z0-9._]+]] = type { i64, i1 }
|
|
; CHECK-LLVM-DAG: [[structtype_5:%[a-z0-9._]+]] = type { <4 x i32>, <4 x i32> }
|
|
; CHECK-LLVM-DAG: [[structtype_6:%[a-z0-9._]+]] = type { <4 x i32>, <4 x i1> }
|
|
|
|
define spir_func i1 @test_uadd_with_overflow_i16(i16 %a, i16 %b) {
|
|
entry:
|
|
%res = call {i16, i1} @llvm.uadd.with.overflow.i16(i16 %a, i16 %b)
|
|
%0 = extractvalue {i16, i1} %res, 0
|
|
%1 = extractvalue {i16, i1} %res, 1
|
|
ret i1 %1
|
|
}
|
|
|
|
; CHECK-SPIRV: [[a:%[a-z0-9_.]+]] = OpFunctionParameter [[ushort]]
|
|
; CHECK-SPIRV: [[b:%[a-z0-9_.]+]] = OpFunctionParameter [[ushort]]
|
|
; CHECK-SPIRV: [[entry:%[a-z0-9_.]+]] = OpLabel
|
|
; CHECK-SPIRV: [[var_11:%[a-z0-9_.]+]] = OpVariable [[_ptr_Function__struct_9]] Function
|
|
; CHECK-SPIRV: [[var_12:%[a-z0-9_.]+]] = OpIAddCarry [[_struct_9]] [[a]] [[b]]
|
|
; CHECK-SPIRV: OpStore [[var_11]] [[var_12]]
|
|
; CHECK-SPIRV: [[var_13:%[a-z0-9_.]+]] = OpLoad [[_struct_9]] [[var_11]] Aligned 2
|
|
; CHECK-SPIRV: [[var_14:%[a-z0-9_.]+]] = OpCompositeExtract [[ushort]] [[var_13]] 0
|
|
; CHECK-SPIRV: [[var_15:%[a-z0-9_.]+]] = OpCompositeExtract [[ushort]] [[var_13]] 1
|
|
; CHECK-SPIRV: [[var_17:%[a-z0-9_.]+]] = OpINotEqual [[bool]] [[var_15]] [[ushort_0]]
|
|
; CHECK-SPIRV: [[var_20:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_18]] [[var_14]] [[var_19]] 0
|
|
; CHECK-SPIRV: [[var_21:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_18]] [[var_17]] [[var_20]] 1
|
|
; CHECK-SPIRV: [[var_22:%[a-z0-9_.]+]] = OpCompositeExtract [[ushort]] [[var_21]] 0
|
|
; CHECK-SPIRV: [[var_23:%[a-z0-9_.]+]] = OpCompositeExtract [[bool]] [[var_21]] 1
|
|
; CHECK-SPIRV: OpReturnValue [[var_23]]
|
|
|
|
; CHECK-LLVM: %0 = alloca [[structtype]], align 8
|
|
; CHECK-LLVM: %1 = call { i16, i1 } @llvm.uadd.with.overflow.i16(i16 %a, i16 %b)
|
|
; CHECK-LLVM: %2 = extractvalue { i16, i1 } %1, 0
|
|
; CHECK-LLVM: %3 = extractvalue { i16, i1 } %1, 1
|
|
; CHECK-LLVM: %4 = zext i1 %3 to i16
|
|
; CHECK-LLVM: %5 = insertvalue { i16, i16 } poison, i16 %2, 0
|
|
; CHECK-LLVM: %6 = insertvalue { i16, i16 } %5, i16 %4, 1
|
|
; CHECK-LLVM: store { i16, i16 } %6, ptr %0, align 2
|
|
; CHECK-LLVM: %7 = load %structtype, ptr %0, align 2
|
|
; CHECK-LLVM: %8 = extractvalue [[structtype]] %7, 0
|
|
; CHECK-LLVM: %9 = extractvalue [[structtype]] %7, 1
|
|
; CHECK-LLVM: %10 = icmp ne i16 %9, 0
|
|
; CHECK-LLVM: %11 = insertvalue [[structtype_0]] undef, i16 %8, 0
|
|
; CHECK-LLVM: %12 = insertvalue [[structtype_0]] %11, i1 %10, 1
|
|
; CHECK-LLVM: %13 = extractvalue [[structtype_0]] %12, 0
|
|
; CHECK-LLVM: %14 = extractvalue [[structtype_0]] %12, 1
|
|
; CHECK-LLVM: ret i1 %14
|
|
define spir_func i1 @test_uadd_with_overflow_i32(i32 %a, i32 %b) {
|
|
entry:
|
|
%res = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
|
|
%0 = extractvalue {i32, i1} %res, 0
|
|
%1 = extractvalue {i32, i1} %res, 1
|
|
ret i1 %1
|
|
}
|
|
|
|
; CHECK-SPIRV: [[a_0:%[a-z0-9_.]+]] = OpFunctionParameter [[uint]]
|
|
; CHECK-SPIRV: [[b_0:%[a-z0-9_.]+]] = OpFunctionParameter [[uint]]
|
|
; CHECK-SPIRV: [[entry_0:%[a-z0-9_.]+]] = OpLabel
|
|
; CHECK-SPIRV: [[var_32:%[a-z0-9_.]+]] = OpVariable [[_ptr_Function__struct_30]] Function
|
|
; CHECK-SPIRV: [[var_33:%[a-z0-9_.]+]] = OpIAddCarry [[_struct_30]] [[a_0]] [[b_0]]
|
|
; CHECK-SPIRV: OpStore [[var_32]] [[var_33]]
|
|
; CHECK-SPIRV: [[var_34:%[a-z0-9_.]+]] = OpLoad [[_struct_30]] [[var_32]] Aligned 4
|
|
; CHECK-SPIRV: [[var_35:%[a-z0-9_.]+]] = OpCompositeExtract [[uint]] [[var_34]] 0
|
|
; CHECK-SPIRV: [[var_36:%[a-z0-9_.]+]] = OpCompositeExtract [[uint]] [[var_34]] 1
|
|
; CHECK-SPIRV: [[var_38:%[a-z0-9_.]+]] = OpINotEqual [[bool]] [[var_36]] [[uint_0]]
|
|
; CHECK-SPIRV: [[var_41:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_39]] [[var_35]] [[var_40]] 0
|
|
; CHECK-SPIRV: [[var_42:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_39]] [[var_38]] [[var_41]] 1
|
|
; CHECK-SPIRV: [[var_43:%[a-z0-9_.]+]] = OpCompositeExtract [[uint]] [[var_42]] 0
|
|
; CHECK-SPIRV: [[var_44:%[a-z0-9_.]+]] = OpCompositeExtract [[bool]] [[var_42]] 1
|
|
; CHECK-SPIRV: OpReturnValue [[var_44]]
|
|
|
|
|
|
; CHECK-LLVM: %0 = alloca [[structtype_1]], align 8
|
|
; CHECK-LLVM: %1 = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
|
|
; CHECK-LLVM: %2 = extractvalue { i32, i1 } %1, 0
|
|
; CHECK-LLVM: %3 = extractvalue { i32, i1 } %1, 1
|
|
; CHECK-LLVM: %4 = zext i1 %3 to i32
|
|
; CHECK-LLVM: %5 = insertvalue { i32, i32 } poison, i32 %2, 0
|
|
; CHECK-LLVM: %6 = insertvalue { i32, i32 } %5, i32 %4, 1
|
|
; CHECK-LLVM: store { i32, i32 } %6, ptr %0, align 4
|
|
; CHECK-LLVM: %7 = load [[structtype_1]], ptr %0, align 4
|
|
; CHECK-LLVM: %8 = extractvalue [[structtype_1]] %7, 0
|
|
; CHECK-LLVM: %9 = extractvalue [[structtype_1]] %7, 1
|
|
; CHECK-LLVM: %10 = icmp ne i32 %9, 0
|
|
; CHECK-LLVM: %11 = insertvalue [[structtype_2]] undef, i32 %8, 0
|
|
; CHECK-LLVM: %12 = insertvalue [[structtype_2]] %11, i1 %10, 1
|
|
; CHECK-LLVM: %13 = extractvalue [[structtype_2]] %12, 0
|
|
; CHECK-LLVM: %14 = extractvalue [[structtype_2]] %12, 1
|
|
; CHECK-LLVM: ret i1 %14
|
|
define spir_func i1 @test_uadd_with_overflow_i64(i64 %a, i64 %b) {
|
|
entry:
|
|
%res = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %a, i64 %b)
|
|
%0 = extractvalue {i64, i1} %res, 0
|
|
%1 = extractvalue {i64, i1} %res, 1
|
|
ret i1 %1
|
|
}
|
|
|
|
; CHECK-SPIRV: [[a_1:%[a-z0-9_.]+]] = OpFunctionParameter [[ulong]]
|
|
; CHECK-SPIRV: [[b_1:%[a-z0-9_.]+]] = OpFunctionParameter [[ulong]]
|
|
; CHECK-SPIRV: [[entry_1:%[a-z0-9_.]+]] = OpLabel
|
|
; CHECK-SPIRV: [[var_53:%[a-z0-9_.]+]] = OpVariable [[_ptr_Function__struct_51]] Function
|
|
; CHECK-SPIRV: [[var_54:%[a-z0-9_.]+]] = OpIAddCarry [[_struct_51]] [[a_1]] [[b_1]]
|
|
; CHECK-SPIRV: OpStore [[var_53]] [[var_54]]
|
|
; CHECK-SPIRV: [[var_55:%[a-z0-9_.]+]] = OpLoad [[_struct_51]] [[var_53]] Aligned 4
|
|
; CHECK-SPIRV: [[var_56:%[a-z0-9_.]+]] = OpCompositeExtract [[ulong]] [[var_55]] 0
|
|
; CHECK-SPIRV: [[var_57:%[a-z0-9_.]+]] = OpCompositeExtract [[ulong]] [[var_55]] 1
|
|
; CHECK-SPIRV: [[var_59:%[a-z0-9_.]+]] = OpINotEqual [[bool]] [[var_57]] [[ulong_0]]
|
|
; CHECK-SPIRV: [[var_62:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_60]] [[var_56]] [[var_61]] 0
|
|
; CHECK-SPIRV: [[var_63:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_60]] [[var_59]] [[var_62]] 1
|
|
; CHECK-SPIRV: [[var_64:%[a-z0-9_.]+]] = OpCompositeExtract [[ulong]] [[var_63]] 0
|
|
; CHECK-SPIRV: [[var_65:%[a-z0-9_.]+]] = OpCompositeExtract [[bool]] [[var_63]] 1
|
|
; CHECK-SPIRV: OpReturnValue [[var_65]]
|
|
|
|
; CHECK-LLVM: %0 = alloca [[structtype_3]], align 8
|
|
; CHECK-LLVM: %1 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %a, i64 %b)
|
|
; CHECK-LLVM: %2 = extractvalue { i64, i1 } %1, 0
|
|
; CHECK-LLVM: %3 = extractvalue { i64, i1 } %1, 1
|
|
; CHECK-LLVM: %4 = zext i1 %3 to i64
|
|
; CHECK-LLVM: %5 = insertvalue { i64, i64 } poison, i64 %2, 0
|
|
; CHECK-LLVM: %6 = insertvalue { i64, i64 } %5, i64 %4, 1
|
|
; CHECK-LLVM: store { i64, i64 } %6, ptr %0, align 8
|
|
; CHECK-LLVM: %7 = load [[structtype_3]], ptr %0, align 4
|
|
; CHECK-LLVM: %8 = extractvalue [[structtype_3]] %7, 0
|
|
; CHECK-LLVM: %9 = extractvalue [[structtype_3]] %7, 1
|
|
; CHECK-LLVM: %10 = icmp ne i64 %9, 0
|
|
; CHECK-LLVM: %11 = insertvalue [[structtype_4]] undef, i64 %8, 0
|
|
; CHECK-LLVM: %12 = insertvalue [[structtype_4]] %11, i1 %10, 1
|
|
; CHECK-LLVM: %13 = extractvalue [[structtype_4]] %12, 0
|
|
; CHECK-LLVM: %14 = extractvalue [[structtype_4]] %12, 1
|
|
; CHECK-LLVM: ret i1 %14
|
|
define spir_func <4 x i1> @test_uadd_with_overflow_v4i32(<4 x i32> %a, <4 x i32> %b) {
|
|
entry:
|
|
%res = call {<4 x i32>, <4 x i1>} @llvm.uadd.with.overflow.v4i32(<4 x i32> %a, <4 x i32> %b)
|
|
%0 = extractvalue {<4 x i32>, <4 x i1>} %res, 0
|
|
%1 = extractvalue {<4 x i32>, <4 x i1>} %res, 1
|
|
ret <4 x i1> %1
|
|
}
|
|
|
|
; CHECK-SPIRV: [[a_2:%[a-z0-9_.]+]] = OpFunctionParameter [[v4uint]]
|
|
; CHECK-SPIRV: [[b_2:%[a-z0-9_.]+]] = OpFunctionParameter [[v4uint]]
|
|
; CHECK-SPIRV: [[entry_2:%[a-z0-9_.]+]] = OpLabel
|
|
; CHECK-SPIRV: [[var_75:%[a-z0-9_.]+]] = OpVariable [[_ptr_Function__struct_73]] Function
|
|
; CHECK-SPIRV: [[var_76:%[a-z0-9_.]+]] = OpIAddCarry [[_struct_73]] [[a_2]] [[b_2]]
|
|
; CHECK-SPIRV: OpStore [[var_75]] [[var_76]]
|
|
; CHECK-SPIRV: [[var_77:%[a-z0-9_.]+]] = OpLoad [[_struct_73]] [[var_75]] Aligned 16
|
|
; CHECK-SPIRV: [[var_78:%[a-z0-9_.]+]] = OpCompositeExtract [[v4uint]] [[var_77]] 0
|
|
; CHECK-SPIRV: [[var_79:%[a-z0-9_.]+]] = OpCompositeExtract [[v4uint]] [[var_77]] 1
|
|
; CHECK-SPIRV: [[var_81:%[a-z0-9_.]+]] = OpINotEqual [[v4bool]] [[var_79]] [[var_80]]
|
|
; CHECK-SPIRV: [[var_84:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_82]] [[var_78]] [[var_83]] 0
|
|
; CHECK-SPIRV: [[var_85:%[a-z0-9_.]+]] = OpCompositeInsert [[_struct_82]] [[var_81]] [[var_84]] 1
|
|
; CHECK-SPIRV: [[var_86:%[a-z0-9_.]+]] = OpCompositeExtract [[v4uint]] [[var_85]] 0
|
|
; CHECK-SPIRV: [[var_87:%[a-z0-9_.]+]] = OpCompositeExtract [[v4bool]] [[var_85]] 1
|
|
; CHECK-SPIRV: OpReturnValue [[var_87]]
|
|
|
|
; CHECK-LLVM: %0 = alloca [[structtype_5]], align 16
|
|
; CHECK-LLVM: %1 = call { <4 x i32>, <4 x i1> } @llvm.uadd.with.overflow.v4i32(<4 x i32> %a, <4 x i32> %b)
|
|
; CHECK-LLVM: %2 = extractvalue { <4 x i32>, <4 x i1> } %1, 0
|
|
; CHECK-LLVM: %3 = extractvalue { <4 x i32>, <4 x i1> } %1, 1
|
|
; CHECK-LLVM: %4 = zext <4 x i1> %3 to <4 x i32>
|
|
; CHECK-LLVM: %5 = insertvalue { <4 x i32>, <4 x i32> } poison, <4 x i32> %2, 0
|
|
; CHECK-LLVM: %6 = insertvalue { <4 x i32>, <4 x i32> } %5, <4 x i32> %4, 1
|
|
; CHECK-LLVM: store { <4 x i32>, <4 x i32> } %6, ptr %0, align 16
|
|
; CHECK-LLVM: %7 = load [[structtype_5]], ptr %0, align 16
|
|
; CHECK-LLVM: %8 = extractvalue [[structtype_5]] %7, 0
|
|
; CHECK-LLVM: %9 = extractvalue [[structtype_5]] %7, 1
|
|
; CHECK-LLVM: %10 = icmp ne <4 x i32> %9, zeroinitializer
|
|
; CHECK-LLVM: %11 = insertvalue [[structtype_6]] undef, <4 x i32> %8, 0
|
|
; CHECK-LLVM: %12 = insertvalue [[structtype_6]] %11, <4 x i1> %10, 1
|
|
; CHECK-LLVM: %13 = extractvalue [[structtype_6]] %12, 0
|
|
; CHECK-LLVM: %14 = extractvalue [[structtype_6]] %12, 1
|
|
; CHECK-LLVM: ret <4 x i1> %14
|
|
declare {i16, i1} @llvm.uadd.with.overflow.i16(i16 %a, i16 %b)
|
|
declare {i32, i1} @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
|
|
declare {i64, i1} @llvm.uadd.with.overflow.i64(i64 %a, i64 %b)
|
|
declare {<4 x i32>, <4 x i1>} @llvm.uadd.with.overflow.v4i32(<4 x i32> %a, <4 x i32> %b)
|
|
declare void @_Z17__spirv_IAddCarryii(ptr sret({i32, i32}), i32, i32)
|