llvm/test/CodeGen/SPIRV/lshr-constexpr.ll

   1 ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   2
   3 ; CHECK-SPIRV-DAG: %[[#type_int32:]] = OpTypeInt 32 0
   4 ; CHECK-SPIRV-DAG: %[[#type_int64:]] = OpTypeInt 64 0
   5 ; CHECK-SPIRV:     %[[#type_vec:]] = OpTypeVector %[[#type_int32]] 2
   6 ; CHECK-SPIRV:     %[[#const1:]] = OpConstant %[[#type_int32]] 1
   7 ; CHECK-SPIRV:     %[[#vec_const:]] = OpConstantComposite %[[#type_vec]] %[[#const1]] %[[#const1]]
   8 ; CHECK-SPIRV:     %[[#const32:]] = OpConstant %[[#type_int64]] 32
   9
  10 ; CHECK-SPIRV:     %[[#bitcast_res:]] = OpBitcast %[[#type_int64]] %[[#vec_const]]
  11 ; CHECK-SPIRV:     %[[#shift_res:]] = OpShiftRightLogical %[[#type_int64]] %[[#bitcast_res]] %[[#const32]]
  12
  13 define void @foo(i64* %arg) {
  14 entry:
  15   %0 = lshr i64 bitcast (<2 x i32> <i32 1, i32 1> to i64), 32
  16   store i64 %0, i64* %arg
  17   ret void
  18 }