85 lines · plain
1; RUN: opt < %s -passes=instcombine -disable-output2 3; SimplifyDemandedBits should cope with pointer types.4 5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"6target triple = "x86_64-unknown-linux-gnu"7 %struct.VEC_rtx_base = type { i32, i32, [1 x ptr] }8 %struct.VEC_rtx_gc = type { %struct.VEC_rtx_base }9 %struct.block_symbol = type { [3 x %struct.rtunion], ptr, i64 }10 %struct.object_block = type { ptr, i32, i64, ptr, ptr }11 %struct.omp_clause_subcode = type { i32 }12 %struct.rtunion = type { ptr }13 %struct.rtx_def = type { i16, i8, i8, %struct.u }14 %struct.section = type { %struct.unnamed_section }15 %struct.u = type { %struct.block_symbol }16 %struct.unnamed_section = type { %struct.omp_clause_subcode, ptr, ptr, ptr }17 18define fastcc void @cse_insn(ptr %insn, ptr %libcall_insn, ptr %ptr, i1 %c1, i1 %c2, i1 %c3, i1 %c4, i1 %c5, i1 %c6, i1 %c7, i1 %c8, i1 %c9) nounwind {19entry:20 br i1 %c1, label %bb43, label %bb8821 22bb43: ; preds = %entry23 br label %bb8824 25bb88: ; preds = %bb43, %entry26 br i1 %c2, label %bb95, label %bb10727 28bb95: ; preds = %bb8829 unreachable30 31bb107: ; preds = %bb8832 %0 = load i16, ptr %ptr, align 8 ; <i16> [#uses=1]33 %1 = icmp eq i16 %0, 38 ; <i1> [#uses=1]34 %src_eqv_here.0 = select i1 %1, ptr null, ptr null ; <ptr> [#uses=1]35 br i1 %c3, label %bb127, label %bb12536 37bb125: ; preds = %bb10738 br i1 %c4, label %bb127, label %bb12639 40bb126: ; preds = %bb12541 br i1 %c5, label %bb129, label %bb13342 43bb127: ; preds = %bb125, %bb10744 unreachable45 46bb129: ; preds = %bb12647 br label %bb13348 49bb133: ; preds = %bb129, %bb12650 br i1 %c6, label %bb134, label %bb14651 52bb134: ; preds = %bb13353 unreachable54 55bb146: ; preds = %bb13356 br i1 %c7, label %bb180, label %bb18657 58bb180: ; preds = %bb14659 %2 = icmp eq ptr null, null ; <i1> [#uses=1]60 %3 = zext i1 %2 to i8 ; <i8> [#uses=1]61 %4 = icmp ne ptr %src_eqv_here.0, null ; <i1> [#uses=1]62 %5 = zext i1 %4 to i8 ; <i8> [#uses=1]63 %toBool181 = icmp ne i8 %3, 0 ; <i1> [#uses=1]64 %toBool182 = icmp ne i8 %5, 0 ; <i1> [#uses=1]65 %6 = and i1 %toBool181, %toBool182 ; <i1> [#uses=1]66 %7 = zext i1 %6 to i8 ; <i8> [#uses=1]67 %toBool183 = icmp ne i8 %7, 0 ; <i1> [#uses=1]68 br i1 %toBool183, label %bb184, label %bb18669 70bb184: ; preds = %bb18071 br i1 %c8, label %bb185, label %bb18672 73bb185: ; preds = %bb18474 br label %bb18675 76bb186: ; preds = %bb185, %bb184, %bb180, %bb14677 br i1 %c9, label %bb190, label %bb19578 79bb190: ; preds = %bb18680 unreachable81 82bb195: ; preds = %bb18683 unreachable84}85