; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %} ; CHECK-DAG: %[[#BoolTy:]] = OpTypeBool ; CHECK-DAG: %[[#BoolPtrTy:]] = OpTypePointer Function %[[#BoolTy]] ; CHECK-DAG: %[[#False:]] = OpConstantFalse %[[#BoolTy]] ; CHECK: OpFunction ; CHECK: %[[#Ptr:]] = OpVariable %[[#BoolPtrTy]] Function ; CHECK: OpStore %[[#Ptr]] %[[#False]] Aligned 1 define spir_func void @foo() { entry: %bvar = alloca i1, align 1 store i1 false, ptr %bvar, align 1 ret void }