276 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3; RUN: opt -passes=debugify,instcombine -S < %s | FileCheck %s -check-prefix DBGINFO4 5 6target 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-n8:16:32"7 8define i32 @mul(i32 %x, i32 %y) {9; CHECK-LABEL: @mul(10; CHECK-NEXT: [[C:%.*]] = mul i32 [[X:%.*]], [[Y:%.*]]11; CHECK-NEXT: [[D:%.*]] = and i32 [[C]], 25512; CHECK-NEXT: ret i32 [[D]]13;14; DBGINFO-LABEL: @mul(15; DBGINFO-NEXT: #dbg_value(i32 [[X:%.*]], [[META9:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META15:![0-9]+]])16; DBGINFO-NEXT: #dbg_value(i32 [[Y:%.*]], [[META11:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META16:![0-9]+]])17; DBGINFO-NEXT: [[C:%.*]] = mul i32 [[X]], [[Y]], !dbg [[DBG17:![0-9]+]]18; DBGINFO-NEXT: [[D:%.*]] = and i32 [[C]], 255, !dbg [[DBG18:![0-9]+]]19; DBGINFO-NEXT: #dbg_value(i32 [[C]], [[META12:![0-9]+]], !DIExpression(), [[DBG17]])20; DBGINFO-NEXT: #dbg_value(i32 [[D]], [[META13:![0-9]+]], !DIExpression(), [[DBG18]])21; DBGINFO-NEXT: ret i32 [[D]], !dbg [[DBG19:![0-9]+]]22;23 24; Test that when zext is evaluated in different type25; we preserve the debug information in the resulting26; instruction.27 28 %A = trunc i32 %x to i829 %B = trunc i32 %y to i830 %C = mul i8 %A, %B31 %D = zext i8 %C to i3232 ret i32 %D33}34 35define i32 @select1(i1 %cond, i32 %x, i32 %y, i32 %z) {36; CHECK-LABEL: @select1(37; CHECK-NEXT: [[D:%.*]] = add i32 [[X:%.*]], [[Y:%.*]]38; CHECK-NEXT: [[E:%.*]] = select i1 [[COND:%.*]], i32 [[Z:%.*]], i32 [[D]]39; CHECK-NEXT: [[F:%.*]] = and i32 [[E]], 25540; CHECK-NEXT: ret i32 [[F]]41;42; DBGINFO-LABEL: @select1(43; DBGINFO-NEXT: #dbg_value(i32 [[X:%.*]], [[META22:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META28:![0-9]+]])44; DBGINFO-NEXT: #dbg_value(i32 [[Y:%.*]], [[META23:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META29:![0-9]+]])45; DBGINFO-NEXT: #dbg_value(i32 [[Z:%.*]], [[META24:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META30:![0-9]+]])46; DBGINFO-NEXT: [[D:%.*]] = add i32 [[X]], [[Y]], !dbg [[DBG31:![0-9]+]]47; DBGINFO-NEXT: #dbg_value(!DIArgList(i32 [[X]], i32 [[Y]]), [[META25:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_plus, DW_OP_stack_value), [[DBG31]])48; DBGINFO-NEXT: [[E:%.*]] = select i1 [[COND:%.*]], i32 [[Z]], i32 [[D]], !dbg [[DBG32:![0-9]+]]49; DBGINFO-NEXT: [[F:%.*]] = and i32 [[E]], 255, !dbg [[DBG33:![0-9]+]]50; DBGINFO-NEXT: #dbg_value(i32 [[E]], [[META26:![0-9]+]], !DIExpression(), [[DBG32]])51; DBGINFO-NEXT: #dbg_value(i32 [[F]], [[META27:![0-9]+]], !DIExpression(), [[DBG33]])52; DBGINFO-NEXT: ret i32 [[F]], !dbg [[DBG34:![0-9]+]]53;54 %A = trunc i32 %x to i855 %B = trunc i32 %y to i856 %C = trunc i32 %z to i857 %D = add i8 %A, %B58 %E = select i1 %cond, i8 %C, i8 %D59 %F = zext i8 %E to i3260 ret i32 %F61}62 63define i8 @select2(i1 %cond, i8 %x, i8 %y, i8 %z) {64; CHECK-LABEL: @select2(65; CHECK-NEXT: [[D:%.*]] = add i8 [[X:%.*]], [[Y:%.*]]66; CHECK-NEXT: [[E:%.*]] = select i1 [[COND:%.*]], i8 [[Z:%.*]], i8 [[D]]67; CHECK-NEXT: ret i8 [[E]]68;69; DBGINFO-LABEL: @select2(70; DBGINFO-NEXT: #dbg_value(i8 [[X:%.*]], [[META37:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value), [[META43:![0-9]+]])71; DBGINFO-NEXT: #dbg_value(i8 [[Y:%.*]], [[META38:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value), [[META44:![0-9]+]])72; DBGINFO-NEXT: #dbg_value(i8 [[Z:%.*]], [[META39:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value), [[META45:![0-9]+]])73; DBGINFO-NEXT: [[D:%.*]] = add i8 [[X]], [[Y]], !dbg [[DBG46:![0-9]+]]74; DBGINFO-NEXT: #dbg_value(!DIArgList(i8 [[X]], i8 [[Y]]), [[META40:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_plus, DW_OP_stack_value), [[DBG46]])75; DBGINFO-NEXT: #dbg_value(i32 poison, [[META41:![0-9]+]], !DIExpression(), [[META47:![0-9]+]])76; DBGINFO-NEXT: [[F:%.*]] = select i1 [[COND:%.*]], i8 [[Z]], i8 [[D]], !dbg [[META47]]77; DBGINFO-NEXT: #dbg_value(i8 [[F]], [[META42:![0-9]+]], !DIExpression(), [[META48:![0-9]+]])78; DBGINFO-NEXT: ret i8 [[F]], !dbg [[DBG49:![0-9]+]]79;80 %A = zext i8 %x to i3281 %B = zext i8 %y to i3282 %C = zext i8 %z to i3283 %D = add i32 %A, %B84 %E = select i1 %cond, i32 %C, i32 %D85 %F = trunc i32 %E to i886 ret i8 %F87}88 89; The next 3 tests could be handled in instcombine, but evaluating values90; with multiple uses may be very slow. Let some other pass deal with it.91 92define i32 @eval_trunc_multi_use_in_one_inst(i32 %x) {93; CHECK-LABEL: @eval_trunc_multi_use_in_one_inst(94; CHECK-NEXT: [[A:%.*]] = add i32 [[X:%.*]], 1595; CHECK-NEXT: [[T:%.*]] = mul i32 [[A]], [[A]]96; CHECK-NEXT: ret i32 [[T]]97;98; DBGINFO-LABEL: @eval_trunc_multi_use_in_one_inst(99; DBGINFO-NEXT: #dbg_value(i32 [[X:%.*]], [[META52:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 64, DW_ATE_unsigned, DW_OP_stack_value), [[META57:![0-9]+]])100; DBGINFO-NEXT: [[A:%.*]] = add i32 [[X]], 15, !dbg [[DBG58:![0-9]+]]101; DBGINFO-NEXT: #dbg_value(i32 [[X]], [[META54:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 64, DW_ATE_unsigned, DW_OP_plus_uconst, 15, DW_OP_stack_value), [[DBG58]])102; DBGINFO-NEXT: [[M:%.*]] = mul i32 [[A]], [[A]], !dbg [[DBG59:![0-9]+]]103; DBGINFO-NEXT: #dbg_value(!DIArgList(i32 [[X]], i32 [[X]]), [[META55:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 64, DW_ATE_unsigned, DW_OP_plus_uconst, 15, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 64, DW_ATE_unsigned, DW_OP_plus_uconst, 15, DW_OP_mul, DW_OP_stack_value), [[DBG59]])104; DBGINFO-NEXT: #dbg_value(i32 [[M]], [[META56:![0-9]+]], !DIExpression(), [[META60:![0-9]+]])105; DBGINFO-NEXT: ret i32 [[M]], !dbg [[DBG61:![0-9]+]]106;107 %z = zext i32 %x to i64108 %a = add nsw nuw i64 %z, 15109 %m = mul i64 %a, %a110 %t = trunc i64 %m to i32111 ret i32 %t112}113 114define i32 @eval_zext_multi_use_in_one_inst(i32 %x) {115; CHECK-LABEL: @eval_zext_multi_use_in_one_inst(116; CHECK-NEXT: [[T:%.*]] = trunc i32 [[X:%.*]] to i16117; CHECK-NEXT: [[A:%.*]] = and i16 [[T]], 5118; CHECK-NEXT: [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]]119; CHECK-NEXT: [[R:%.*]] = zext nneg i16 [[M]] to i32120; CHECK-NEXT: ret i32 [[R]]121;122; DBGINFO-LABEL: @eval_zext_multi_use_in_one_inst(123; DBGINFO-NEXT: [[T:%.*]] = trunc i32 [[X:%.*]] to i16, !dbg [[DBG69:![0-9]+]]124; DBGINFO-NEXT: #dbg_value(i16 [[T]], [[META64:![0-9]+]], !DIExpression(), [[DBG69]])125; DBGINFO-NEXT: [[A:%.*]] = and i16 [[T]], 5, !dbg [[DBG70:![0-9]+]]126; DBGINFO-NEXT: #dbg_value(i16 [[A]], [[META66:![0-9]+]], !DIExpression(), [[DBG70]])127; DBGINFO-NEXT: [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]], !dbg [[DBG71:![0-9]+]]128; DBGINFO-NEXT: #dbg_value(i16 [[M]], [[META67:![0-9]+]], !DIExpression(), [[DBG71]])129; DBGINFO-NEXT: [[R:%.*]] = zext nneg i16 [[M]] to i32, !dbg [[DBG72:![0-9]+]]130; DBGINFO-NEXT: #dbg_value(i32 [[R]], [[META68:![0-9]+]], !DIExpression(), [[DBG72]])131; DBGINFO-NEXT: ret i32 [[R]], !dbg [[DBG73:![0-9]+]]132;133 %t = trunc i32 %x to i16134 %a = and i16 %t, 5135 %m = mul nuw nsw i16 %a, %a136 %r = zext i16 %m to i32137 ret i32 %r138}139 140define i32 @eval_sext_multi_use_in_one_inst(i32 %x) {141; CHECK-LABEL: @eval_sext_multi_use_in_one_inst(142; CHECK-NEXT: [[A:%.*]] = and i32 [[X:%.*]], 14143; CHECK-NEXT: [[M:%.*]] = mul nuw nsw i32 [[A]], [[A]]144; CHECK-NEXT: [[R:%.*]] = or disjoint i32 [[M]], -32768145; CHECK-NEXT: ret i32 [[R]]146;147; DBGINFO-LABEL: @eval_sext_multi_use_in_one_inst(148; DBGINFO-NEXT: #dbg_value(i32 [[X:%.*]], [[META76:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 16, DW_ATE_unsigned, DW_OP_stack_value), [[META81:![0-9]+]])149; DBGINFO-NEXT: [[A:%.*]] = and i32 [[X]], 14, !dbg [[DBG82:![0-9]+]]150; DBGINFO-NEXT: #dbg_value(i32 [[X]], [[META77:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 16, DW_ATE_unsigned, DW_OP_constu, 14, DW_OP_and, DW_OP_stack_value), [[DBG82]])151; DBGINFO-NEXT: [[M:%.*]] = mul nuw nsw i32 [[A]], [[A]], !dbg [[DBG83:![0-9]+]]152; DBGINFO-NEXT: #dbg_value(!DIArgList(i32 [[X]], i32 [[X]]), [[META78:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 16, DW_ATE_unsigned, DW_OP_constu, 14, DW_OP_and, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 16, DW_ATE_unsigned, DW_OP_constu, 14, DW_OP_and, DW_OP_mul, DW_OP_stack_value), [[DBG83]])153; DBGINFO-NEXT: [[O:%.*]] = or disjoint i32 [[M]], -32768, !dbg [[DBG84:![0-9]+]]154; DBGINFO-NEXT: #dbg_value(!DIArgList(i32 [[X]], i32 [[X]]), [[META79:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 16, DW_ATE_unsigned, DW_OP_constu, 14, DW_OP_and, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 16, DW_ATE_unsigned, DW_OP_constu, 14, DW_OP_and, DW_OP_mul, DW_OP_constu, 18446744073709518848, DW_OP_or, DW_OP_stack_value), [[DBG84]])155; DBGINFO-NEXT: #dbg_value(i32 [[O]], [[META80:![0-9]+]], !DIExpression(), [[META85:![0-9]+]])156; DBGINFO-NEXT: ret i32 [[O]], !dbg [[DBG86:![0-9]+]]157;158 %t = trunc i32 %x to i16159 %a = and i16 %t, 14160 %m = mul nuw nsw i16 %a, %a161 %o = or i16 %m, 32768162 %r = sext i16 %o to i32163 ret i32 %r164}165 166; If we have a transform to shrink the above 3 cases, make sure it's not167; also trying to look through multiple uses in this test and crashing.168 169define void @PR36225(i32 %a, i32 %b, i1 %c1, i3 %v1, i3 %v2) {170; CHECK-LABEL: @PR36225(171; CHECK-NEXT: entry:172; CHECK-NEXT: br label [[WHILE_BODY:%.*]]173; CHECK: while.body:174; CHECK-NEXT: br i1 [[C1:%.*]], label [[FOR_BODY3_US:%.*]], label [[FOR_BODY3:%.*]]175; CHECK: for.body3.us:176; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[B:%.*]], 0177; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i8 0, i8 4178; CHECK-NEXT: switch i3 [[V1:%.*]], label [[EXIT:%.*]] [179; CHECK-NEXT: i3 0, label [[FOR_END:%.*]]180; CHECK-NEXT: i3 -1, label [[FOR_END]]181; CHECK-NEXT: ]182; CHECK: for.body3:183; CHECK-NEXT: switch i3 [[V2:%.*]], label [[EXIT]] [184; CHECK-NEXT: i3 0, label [[FOR_END]]185; CHECK-NEXT: i3 -1, label [[FOR_END]]186; CHECK-NEXT: ]187; CHECK: for.end:188; CHECK-NEXT: [[H:%.*]] = phi i8 [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ 0, [[FOR_BODY3]] ], [ 0, [[FOR_BODY3]] ]189; CHECK-NEXT: [[CONV:%.*]] = zext nneg i8 [[H]] to i32190; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], [[CONV]]191; CHECK-NEXT: br i1 [[CMP]], label [[EXIT]], label [[EXIT2:%.*]]192; CHECK: exit2:193; CHECK-NEXT: unreachable194; CHECK: exit:195; CHECK-NEXT: unreachable196;197; DBGINFO-LABEL: @PR36225(198; DBGINFO-NEXT: entry:199; DBGINFO-NEXT: br label [[WHILE_BODY:%.*]], !dbg [[DBG94:![0-9]+]]200; DBGINFO: while.body:201; DBGINFO-NEXT: #dbg_value(i32 [[B:%.*]], [[META89:![0-9]+]], !DIExpression(DW_OP_lit0, DW_OP_eq, DW_OP_stack_value), [[META95:![0-9]+]])202; DBGINFO-NEXT: br i1 [[C1:%.*]], label [[FOR_BODY3_US:%.*]], label [[FOR_BODY3:%.*]], !dbg [[DBG96:![0-9]+]]203; DBGINFO: for.body3.us:204; DBGINFO-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[B]], 0, !dbg [[META95]]205; DBGINFO-NEXT: #dbg_value(i1 [[TOBOOL]], [[META89]], !DIExpression(), [[META95]])206; DBGINFO-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i8 0, i8 4, !dbg [[DBG97:![0-9]+]]207; DBGINFO-NEXT: #dbg_value(i8 [[SPEC_SELECT]], [[META90:![0-9]+]], !DIExpression(), [[DBG97]])208; DBGINFO-NEXT: switch i3 [[V1:%.*]], label [[EXIT:%.*]] [209; DBGINFO-NEXT: i3 0, label [[FOR_END:%.*]]210; DBGINFO-NEXT: i3 -1, label [[FOR_END]]211; DBGINFO-NEXT: ], !dbg [[DBG98:![0-9]+]]212; DBGINFO: for.body3:213; DBGINFO-NEXT: switch i3 [[V2:%.*]], label [[EXIT]] [214; DBGINFO-NEXT: i3 0, label [[FOR_END]]215; DBGINFO-NEXT: i3 -1, label [[FOR_END]]216; DBGINFO-NEXT: ], !dbg [[DBG99:![0-9]+]]217; DBGINFO: for.end:218; DBGINFO-NEXT: [[H:%.*]] = phi i8 [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ 0, [[FOR_BODY3]] ], [ 0, [[FOR_BODY3]] ], !dbg [[DBG100:![0-9]+]]219; DBGINFO-NEXT: #dbg_value(i8 [[H]], [[META91:![0-9]+]], !DIExpression(), [[DBG100]])220; DBGINFO-NEXT: [[CONV:%.*]] = zext nneg i8 [[H]] to i32, !dbg [[DBG101:![0-9]+]]221; DBGINFO-NEXT: #dbg_value(i32 [[CONV]], [[META92:![0-9]+]], !DIExpression(), [[DBG101]])222; DBGINFO-NEXT: [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], [[CONV]], !dbg [[DBG102:![0-9]+]]223; DBGINFO-NEXT: #dbg_value(i1 [[CMP]], [[META93:![0-9]+]], !DIExpression(), [[DBG102]])224; DBGINFO-NEXT: br i1 [[CMP]], label [[EXIT]], label [[EXIT2:%.*]], !dbg [[DBG103:![0-9]+]]225; DBGINFO: exit2:226; DBGINFO-NEXT: unreachable, !dbg [[DBG104:![0-9]+]]227; DBGINFO: exit:228; DBGINFO-NEXT: unreachable, !dbg [[DBG105:![0-9]+]]229;230entry:231 br label %while.body232 233while.body:234 %tobool = icmp eq i32 %b, 0235 br i1 %c1, label %for.body3.us, label %for.body3236 237for.body3.us:238 %spec.select = select i1 %tobool, i8 0, i8 4239 switch i3 %v1, label %exit [240 i3 0, label %for.end241 i3 -1, label %for.end242 ]243 244for.body3:245 switch i3 %v2, label %exit [246 i3 0, label %for.end247 i3 -1, label %for.end248 ]249 250for.end:251 %h = phi i8 [ %spec.select, %for.body3.us ], [ %spec.select, %for.body3.us ], [ 0, %for.body3 ], [ 0, %for.body3 ]252 %conv = sext i8 %h to i32253 %cmp = icmp sgt i32 %a, %conv254 br i1 %cmp, label %exit, label %exit2255 256exit2:257 unreachable258 259exit:260 unreachable261}262 263; Check that we don't drop debug info when a zext is removed.264define i1 @foo(i1 zeroext %b) {265; CHECK-LABEL: @foo(266; CHECK-NEXT: ret i1 [[B:%.*]]267;268; DBGINFO-LABEL: @foo(269; DBGINFO-NEXT: #dbg_value(i1 [[B:%.*]], [[META108:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 1, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META109:![0-9]+]])270; DBGINFO-NEXT: ret i1 [[B]], !dbg [[DBG110:![0-9]+]]271;272 273 %frombool = zext i1 %b to i8274 ret i1 %b275}276