; RUN: clspv-opt --passes=replace-opencl-builtin %s -o %t.ll
; RUN: FileCheck %s < %t.ll

target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024"
target triple = "spir-unknown-unknown"

define <2 x i64> @isnormal_double2(<2 x double> %x) {
entry:
  %call = call spir_func <2 x i64> @_Z8isnormalDv2_d(<2 x double> %x)
  ret <2 x i64> %call
}

declare spir_func <2 x i64> @_Z8isnormalDv2_d(<2 x double>)

; CHECK: [[cast:%[a-zA-Z0-9_.]+]] = bitcast <2 x double> %x to <2 x i64>
; CHECK: [[abs:%[a-zA-Z0-9_.]+]] = and <2 x i64> [[cast]], splat (i64 9223372036854775807)
; CHECK: [[lt:%[a-zA-Z0-9_.]+]] = icmp ult <2 x i64> [[abs]], splat (i64 9218868437227405312)
; CHECK: [[ge:%[a-zA-Z0-9_.]+]] = icmp uge <2 x i64> [[abs]], splat (i64 4503599627370496)
; CHECK: [[and:%[a-zA-Z0-9_.]+]] = and <2 x i1> [[lt]], [[ge]]
; CHECK: [[zext:%[a-zA-Z0-9_]+]] = sext <2 x i1> [[and]] to <2 x i64>
; CHECK: ret <2 x i64> [[zext]]