73 lines · plain
1; The goal of the test is to check that internal intrinsic functions for PHI's2; operand are inserted at the correct positions, and don't break rules of3; instruction domination and PHI nodes grouping at top of basic block.4 5; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s6; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}7 8; CHECK-DAG: OpName %[[#Foo:]] "foo"9; CHECK-DAG: OpName %[[#Bar:]] "bar"10; CHECK: %[[#Foo]] = OpFunction11; CHECK: OpPhi12; CHECK-NEXT: OpPhi13; CHECK-NEXT: OpPhi14; CHECK-NEXT: OpPhi15; CHECK: %[[#Bar]] = OpFunction16; CHECK: OpPhi17; CHECK-NEXT: OpPhi18; CHECK-NEXT: OpPhi19; CHECK-NEXT: OpPhi20 21%struct = type { i64, i64 }22 23define spir_kernel void @foo(i64 %arg_val, ptr addrspace(4) byval(%struct) %arg_ptr) {24entry:25 %fl = icmp eq i64 %arg_val, 026 br i1 %fl, label %ok, label %err27 28err:29 br label %ok30 31ok:32 %r1 = phi i64 [ undef, %err ], [ %arg_val, %entry ]33 %r2 = phi i64 [ undef, %err ], [ %arg_val, %entry ]34 %r3 = phi ptr addrspace(4) [ undef, %err ], [ %arg_ptr, %entry ]35 %r4 = phi ptr addrspace(4) [ undef, %err ], [ %arg_ptr, %entry ]36 br label %exit37 38exit:39 store i64 %r1, ptr @g140 store i64 %r2, ptr @g241 store ptr addrspace(4) %r3, ptr @g342 store ptr addrspace(4) %r4, ptr @g443 ret void44}45 46@g1 = internal global i64 047@g2 = internal global i64 048@g3 = internal global ptr addrspace(4) null49@g4 = internal global ptr addrspace(4) null50 51define spir_kernel void @bar(i64 %arg_val, i64 %arg_val_def, ptr addrspace(4) byval(%struct) %arg_ptr, ptr addrspace(4) %arg_ptr_def) {52entry:53 %fl = icmp eq i64 %arg_val, 054 br i1 %fl, label %ok, label %err55 56err:57 br label %ok58 59ok:60 %r1 = phi i64 [ %arg_val_def, %err ], [ %arg_val, %entry ]61 %r2 = phi i64 [ %arg_val_def, %err ], [ %arg_val, %entry ]62 %r3 = phi ptr addrspace(4) [ %arg_ptr_def, %err ], [ %arg_ptr, %entry ]63 %r4 = phi ptr addrspace(4) [ %arg_ptr_def, %err ], [ %arg_ptr, %entry ]64 br label %exit65 66exit:67 store i64 %r1, ptr @g168 store i64 %r2, ptr @g269 store ptr addrspace(4) %r3, ptr @g370 store ptr addrspace(4) %r4, ptr @g471 ret void72}73