1; RUN: llc -O0 -mtriple=spirv64v1.3-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV 2; 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: OpConvertPtrToU 16; CHECK-SPIRV: OpConvertPtrToU 17; CHECK-SPIRV: OpINotEqual 18; CHECK-SPIRV: OpConvertPtrToU 19; CHECK-SPIRV: OpConvertPtrToU 20; CHECK-SPIRV: OpIEqual 21; CHECK-SPIRV: OpConvertPtrToU 22; CHECK-SPIRV: OpConvertPtrToU 23; CHECK-SPIRV: OpUGreaterThan 24; CHECK-SPIRV: OpConvertPtrToU 25; CHECK-SPIRV: OpConvertPtrToU 26; CHECK-SPIRV: OpULessThan 27 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 8 31 %in2.addr = alloca i32 addrspace(1)*, align 8 32 store i32 addrspace(1)* %in, i32 addrspace(1)** %in.addr, align 8 33 store i32 addrspace(1)* %in2, i32 addrspace(1)** %in2.addr, align 8 34 %0 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 8 35 %tobool = icmp ne i32 addrspace(1)* %0, null 36 br i1 %tobool, label %if.end, label %if.then 37 38if.then: ; preds = %entry 39 br label %if.end8 40 41if.end: ; preds = %entry 42 %1 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 8 43 %cmp = icmp eq i32 addrspace(1)* %1, inttoptr (i64 1 to i32 addrspace(1)*) 44 br i1 %cmp, label %if.then1, label %if.end2 45 46if.then1: ; preds = %if.end 47 br label %if.end8 48 49if.end2: ; preds = %if.end 50 %2 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 8 51 %3 = load i32 addrspace(1)*, i32 addrspace(1)** %in2.addr, align 8 52 %cmp3 = icmp ugt i32 addrspace(1)* %2, %3 53 br i1 %cmp3, label %if.then4, label %if.end5 54 55if.then4: ; preds = %if.end2 56 br label %if.end8 57 58if.end5: ; preds = %if.end2 59 %4 = load i32 addrspace(1)*, i32 addrspace(1)** %in.addr, align 8 60 %5 = load i32 addrspace(1)*, i32 addrspace(1)** %in2.addr, align 8 61 %cmp6 = icmp ult i32 addrspace(1)* %4, %5 62 br i1 %cmp6, label %if.then7, label %if.end8 63 64if.then7: ; preds = %if.end5 65 br label %if.end8 66 67if.end8: ; preds = %if.then, %if.then1, %if.then4, %if.then7, %if.end5 68 ret void 69} 70