32 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}6 7; CHECK-DAG: %[[#F32:]] = OpTypeFloat 328; CHECK-DAG: %[[#F64:]] = OpTypeFloat 649; CHECK-DAG: OpConstant %[[#F32]] 0.5{{$}}10; CHECK-DAG: OpConstant %[[#F64]] 0.5{{$}}11; CHECK-DAG: OpConstant %[[#F32]] 1.0000016166037976e-39{{$}}12; CHECK-DAG: OpConstant %[[#F32]] 0x1p+128{{$}}13; CHECK-DAG: OpConstant %[[#F32]] -0x1p+128{{$}}14; CHECK-DAG: OpConstant %[[#F32]] 0x1.8p+128{{$}}15 16define void @main() {17entry:18 %f = alloca float, align 419 store float 5.000000e-01, ptr %f, align 420 %d = alloca double, align 821 store double 5.000000e-01, ptr %d, align 822 %hexf = alloca float, align 423 store float 0x37D5C73200000000, ptr %hexf, align 424 %inf = alloca float, align 425 store float 0x7FF0000000000000, ptr %inf, align 426 %ninf = alloca float, align 427 store float 0xFFF0000000000000, ptr %ninf, align 428 %nan = alloca float, align 429 store float 0x7FF8000000000000, ptr %nan, align 430 ret void31}32