|  | ; 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 | 
|  | } |