65 lines · plain
1; This test case checks how phi-nodes with different operand types select2; a result type. Majority of operands makes it i8* in this case.3 4; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s5; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s6 7; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown --translator-compatibility-mode %s -o - -filetype=obj | spirv-val %}8; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}9; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown --translator-compatibility-mode %s -o - -filetype=obj | spirv-val %}10; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}11 12; CHECK-DAG: %[[Char:.*]] = OpTypeInt 8 013; CHECK-DAG: %[[Long:.*]] = OpTypeInt 32 014; CHECK-DAG: %[[Array:.*]] = OpTypeArray %[[Long]] %[[#]]15; CHECK-DAG: %[[Struct:.*]] = OpTypeStruct %[[Array]]16; CHECK-DAG: %[[StructPtr:.*]] = OpTypePointer Function %[[Struct]]17; CHECK-DAG: %[[CharPtr:.*]] = OpTypePointer Function %[[Char]]18 19; CHECK: %[[Branch1:.*]] = OpLabel20; CHECK: %[[Res1:.*]] = OpVariable %[[StructPtr]] Function21; CHECK: %[[Res1Casted:.*]] = OpBitcast %[[CharPtr]] %[[Res1]]22; CHECK: OpBranchConditional %[[#]] %[[#]] %[[Branch2:.*]]23; CHECK: %[[Res2:.*]] = OpInBoundsPtrAccessChain %[[CharPtr]] %[[#]] %[[#]]24; CHECK: OpBranchConditional %[[#]] %[[#]] %[[BranchSelect:.*]]25; CHECK: %[[SelectRes:.*]] = OpSelect %[[CharPtr]] %[[#]] %[[#]] %[[#]]26; CHECK: OpLabel27; CHECK: OpPhi %[[CharPtr]] %[[Res1Casted]] %[[Branch1]] %[[Res2]] %[[Branch2]] %[[SelectRes]] %[[BranchSelect]]28 29%struct = type { %array }30%array = type { [1 x i64] }31%array3 = type { [3 x i32] }32 33define spir_kernel void @foo(ptr addrspace(1) noundef align 1 %arg1, ptr noundef byval(%struct) align 8 %arg2, i1 noundef zeroext %expected) {34entry:35 %agg = alloca %array3, align 836 %r0 = load i64, ptr %arg2, align 837 %add.ptr = getelementptr inbounds i8, ptr %agg, i64 1238 %r1 = load i32, ptr %agg, align 439 %tobool0 = icmp slt i32 %r1, 040 br i1 %tobool0, label %exit, label %sw141 42sw1: ; preds = %entry43 %incdec1 = getelementptr inbounds i8, ptr %agg, i64 444 %r2 = load i32, ptr %incdec1, align 445 %tobool1 = icmp slt i32 %r2, 046 br i1 %tobool1, label %exit, label %sw247 48sw2: ; preds = %sw149 %incdec2 = getelementptr inbounds i8, ptr %agg, i64 850 %r3 = load i32, ptr %incdec2, align 451 %tobool2 = icmp slt i32 %r3, 052 %spec.select = select i1 %tobool2, ptr %incdec2, ptr %add.ptr53 br label %exit54 55exit: ; preds = %sw2, %sw1, %entry56 %retval.0 = phi ptr [ %agg, %entry ], [ %incdec1, %sw1 ], [ %spec.select, %sw2 ]57 %add.ptr.i = getelementptr inbounds i8, ptr addrspace(1) %arg1, i64 %r058 %r4 = icmp eq ptr %retval.0, %add.ptr59 %cmp = xor i1 %r4, %expected60 %frombool6.i = zext i1 %cmp to i861 store i8 %frombool6.i, ptr addrspace(1) %add.ptr.i, align 162 %r5 = icmp eq ptr %add.ptr, %retval.063 ret void64}65