1; RUN: opt < %s -disable-verify -instcombine -S | opt -S | FileCheck %s 2; Formerly crashed, PR8490. 3 4; CHECK-LABEL: @test3( 5define i32 @test3(i1 %bool, i32 %a) { 6entry: 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 11xpto: 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 17return: 18 ret i32 7 19} 20