llvm/test/Transforms/Scalarizer/order-bug-inseltpoison.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt %s -passes='function(scalarizer)' -S -o - | FileCheck %s
   3
   4 ; This input caused the scalarizer to replace & erase gathered results when
   5 ; future gathered results depended on them being alive
   6
   7 define dllexport spir_func <4 x i32> @main(float %a) {
   8 ; CHECK-LABEL: @main(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    br label [[Z:%.*]]
  11 ; CHECK:       y:
  12 ; CHECK-NEXT:    [[F_UPTO0:%.*]] = insertelement <4 x i32> poison, i32 [[B_I0:%.*]], i64 0
  13 ; CHECK-NEXT:    [[F_UPTO1:%.*]] = insertelement <4 x i32> [[F_UPTO0]], i32 [[B_I0]], i64 1
  14 ; CHECK-NEXT:    [[F_UPTO2:%.*]] = insertelement <4 x i32> [[F_UPTO1]], i32 [[B_I0]], i64 2
  15 ; CHECK-NEXT:    [[F:%.*]] = insertelement <4 x i32> [[F_UPTO2]], i32 [[B_I0]], i64 3
  16 ; CHECK-NEXT:    ret <4 x i32> [[F]]
  17 ; CHECK:       z:
  18 ; CHECK-NEXT:    [[B_I0]] = bitcast float [[A:%.*]] to i32
  19 ; CHECK-NEXT:    br label [[Y:%.*]]
  20 ;
  21 entry:
  22   %i = insertelement <4 x float> poison, float %a, i32 0
  23   br label %z
  24
  25 y:
  26   %f = shufflevector <4 x i32> %b, <4 x i32> poison, <4 x i32> zeroinitializer
  27   ret <4 x i32> %f
  28
  29 z:
  30   %b = bitcast <4 x float> %i to <4 x i32>
  31   br label %y
  32 }