llvm/test/Transforms/InstCombine/select-crash-noverify.ll

   1 ; RUN: opt < %s -disable-verify -instcombine -S | opt -S | FileCheck %s
   2 ; Formerly crashed, PR8490.
   3
   4 ; CHECK-LABEL: @test3(
   5 define i32 @test3(i1 %bool, i32 %a) {
   6 entry:
   7   %cond = or i1 %bool, true
   8   br i1 %cond, label %return, label %xpto
   9
  10 ; technically reachable, but this malformed IR may appear as a result of constant propagation
  11 xpto:
  12   %select = select i1 %bool, i32 %a, i32 %select
  13   %select2 = select i1 %bool, i32 %select2, i32 %a
  14   %sum = add i32 %select, %select2
  15   ret i32 %sum
  16
  17 return:
  18   ret i32 7
  19 }
  20
  21 define i32 @test3_logical(i1 %bool, i32 %a) {
  22 entry:
  23   %cond = select i1 %bool, i1 true, i1 true
  24   br i1 %cond, label %return, label %xpto
  25
  26 ; technically reachable, but this malformed IR may appear as a result of constant propagation
  27 xpto:
  28   %select = select i1 %bool, i32 %a, i32 %select
  29   %select2 = select i1 %bool, i32 %select2, i32 %a
  30   %sum = add i32 %select, %select2
  31   ret i32 %sum
  32
  33 return:
  34   ret i32 7
  35 }