; RUN: llc -O0 -mtriple=spirv64v1.3-unknown-unknown  %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64v1.3-unknown-unknown %s -o - -filetype=obj | spirv-val %}

;; kernel void test(int global *in, int global *in2) {
;;   if (!in)
;;     return;
;;   if (in == 1)
;;     return;
;;   if (in > in2)
;;     return;
;;   if (in < in2)
;;     return;
;; }

; CHECK-SPIRV: OpSpecConstantOp %[[#]] ConvertPtrToU
; CHECK-SPIRV: OpConvertPtrToU
; CHECK-SPIRV: OpINotEqual
; CHECK-SPIRV: OpConvertPtrToU
; CHECK-SPIRV: OpConvertPtrToU
; CHECK-SPIRV: OpIEqual
; CHECK-SPIRV: OpConvertPtrToU
; CHECK-SPIRV: OpConvertPtrToU
; CHECK-SPIRV: OpUGreaterThan
; CHECK-SPIRV: OpConvertPtrToU
; CHECK-SPIRV: OpConvertPtrToU
; CHECK-SPIRV: OpULessThan

define dso_local spir_kernel void @test(ptr addrspace(1) noundef %in, ptr addrspace(1) noundef %in2) {
entry:
  %in.addr = alloca ptr addrspace(1), align 8
  %in2.addr = alloca ptr addrspace(1), align 8
  store ptr addrspace(1) %in, ptr %in.addr, align 8
  store ptr addrspace(1) %in2, ptr %in2.addr, align 8
  %0 = load ptr addrspace(1), ptr %in.addr, align 8
  %tobool = icmp ne ptr addrspace(1) %0, null
  br i1 %tobool, label %if.end, label %if.then

if.then:                                          ; preds = %entry
  br label %if.end8

if.end:                                           ; preds = %entry
  %1 = load ptr addrspace(1), ptr %in.addr, align 8
  %cmp = icmp eq ptr addrspace(1) %1, inttoptr (i64 1 to ptr addrspace(1))
  br i1 %cmp, label %if.then1, label %if.end2

if.then1:                                         ; preds = %if.end
  br label %if.end8

if.end2:                                          ; preds = %if.end
  %2 = load ptr addrspace(1), ptr %in.addr, align 8
  %3 = load ptr addrspace(1), ptr %in2.addr, align 8
  %cmp3 = icmp ugt ptr addrspace(1) %2, %3
  br i1 %cmp3, label %if.then4, label %if.end5

if.then4:                                         ; preds = %if.end2
  br label %if.end8

if.end5:                                          ; preds = %if.end2
  %4 = load ptr addrspace(1), ptr %in.addr, align 8
  %5 = load ptr addrspace(1), ptr %in2.addr, align 8
  %cmp6 = icmp ult ptr addrspace(1) %4, %5
  br i1 %cmp6, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.end5
  br label %if.end8

if.end8:                                          ; preds = %if.then, %if.then1, %if.then4, %if.then7, %if.end5
  ret void
}