70 lines · plain
1; RUN: llc -O0 -mtriple=spirv64v1.3-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64v1.3-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4;; kernel void test(int global *in, int global *in2) {5;; if (!in)6;; return;7;; if (in == 1)8;; return;9;; if (in > in2)10;; return;11;; if (in < in2)12;; return;13;; }14 15; CHECK-SPIRV: OpSpecConstantOp %[[#]] ConvertPtrToU16; CHECK-SPIRV: OpConvertPtrToU17; CHECK-SPIRV: OpINotEqual18; CHECK-SPIRV: OpConvertPtrToU19; CHECK-SPIRV: OpConvertPtrToU20; CHECK-SPIRV: OpIEqual21; CHECK-SPIRV: OpConvertPtrToU22; CHECK-SPIRV: OpConvertPtrToU23; CHECK-SPIRV: OpUGreaterThan24; CHECK-SPIRV: OpConvertPtrToU25; CHECK-SPIRV: OpConvertPtrToU26; CHECK-SPIRV: OpULessThan27 28define dso_local spir_kernel void @test(i32 addrspace(1)* noundef %in, i32 addrspace(1)* noundef %in2) {29entry:30 %in.addr = alloca i32 addrspace(1)*, align 831 %in2.addr = alloca i32 addrspace(1)*, align 832 store i32 addrspace(1)* %in, i32 addrspace(1)** %in.addr, align 833 store i32 addrspace(1)* %in2, i32 addrspace(1)** %in2.addr, align 834 %0 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 835 %tobool = icmp ne i32 addrspace(1)* %0, null36 br i1 %tobool, label %if.end, label %if.then37 38if.then: ; preds = %entry39 br label %if.end840 41if.end: ; preds = %entry42 %1 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 843 %cmp = icmp eq i32 addrspace(1)* %1, inttoptr (i64 1 to i32 addrspace(1)*)44 br i1 %cmp, label %if.then1, label %if.end245 46if.then1: ; preds = %if.end47 br label %if.end848 49if.end2: ; preds = %if.end50 %2 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 851 %3 = load i32 addrspace(1)*, i32 addrspace(1)** %in2.addr, align 852 %cmp3 = icmp ugt i32 addrspace(1)* %2, %353 br i1 %cmp3, label %if.then4, label %if.end554 55if.then4: ; preds = %if.end256 br label %if.end857 58if.end5: ; preds = %if.end259 %4 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 860 %5 = load i32 addrspace(1)*, i32 addrspace(1)** %in2.addr, align 861 %cmp6 = icmp ult i32 addrspace(1)* %4, %562 br i1 %cmp6, label %if.then7, label %if.end863 64if.then7: ; preds = %if.end565 br label %if.end866 67if.end8: ; preds = %if.then, %if.then1, %if.then4, %if.then7, %if.end568 ret void69}70