llvm/test/Transforms/InstCombine/pr51824.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 ; OSS-Fuzz: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=38057
   5 define void @PR51824() {
   6 ; CHECK-LABEL: @PR51824(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    br label [[BB:%.*]]
   9 ; CHECK:       BB:
  10 ; CHECK-NEXT:    br i1 undef, label [[BB]], label [[BB1:%.*]]
  11 ; CHECK:       BB1:
  12 ; CHECK-NEXT:    ret void
  13 ;
  14 entry:
  15   %C7 = icmp sgt i1 false, true
  16   %B2 = lshr i16 -32768, 0
  17   %C1 = icmp uge i16 %B2, %B2
  18   %E9 = extractelement <4 x i16> zeroinitializer, i16 %B2
  19   %I2 = insertelement <4 x i16> undef, i16 %E9, i16 0
  20   %i = sext <4 x i16> %I2 to <4 x i32>
  21   %i1 = getelementptr inbounds i64, i64* null, <4 x i32> %i
  22   %i2 = ptrtoint <4 x i64*> %i1 to <4 x i32>
  23   %E2 = extractelement <4 x i32> %i2, i16 0
  24   br label %BB
  25
  26 BB:                                               ; preds = %BB, %entry
  27   %A15 = alloca <4 x i32>, align 16
  28   %L2 = load <4 x i32>, <4 x i32>* %A15, align 16
  29   %G1 = getelementptr i64, i64* null, i32 %E2
  30   %i3 = getelementptr inbounds i64, i64* %G1, <4 x i16> undef
  31   %i4 = ptrtoint <4 x i64*> %i3 to <4 x i32>
  32   %E22 = extractelement <4 x i32> %L2, i1 false
  33   %E8 = extractelement <4 x i32> %i4, i1 false
  34   %I10 = insertelement <4 x i32> undef, i32 undef, i32 %E8
  35   %I19 = insertelement <4 x i32> %I10, i32 %E22, i16 0
  36   %S7 = shufflevector <4 x i32> %I19, <4 x i32> %L2, <4 x i32> undef
  37   %I8 = insertelement <4 x i32> %I19, i32 0, i1 %C1
  38   %E10 = extractelement <4 x i32> %I8, i1 undef
  39   store i32 %E10, i32* undef, align 4
  40   br i1 undef, label %BB, label %BB1
  41
  42 BB1:                                              ; preds = %BB
  43   %S8 = shufflevector <4 x i32> %I10, <4 x i32> %S7, <4 x i32> undef
  44   store <4 x i32> %S8, <4 x i32>* undef, align 16
  45   ret void
  46 }