170 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 32; RUN: llc -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4; Make sure there's no assert on an implicit-def with implicit operands5; during register allocation.6 7%struct.BlockContext = type { [32 x i8], [32 x i8], [2 x [32 x i8]], [32 x i8], [32 x i8], [32 x i8], [32 x i8], [32 x i8], [2 x [32 x i8]], [2 x [32 x i8]], [32 x i8], [32 x i8], [32 x i8], [32 x i8], [16 x i8], [32 x i8], [32 x i8] }8%struct.CdfModeContext = type { [4 x [16 x i16]], [2 x [13 x [16 x i16]]], [9 x [16 x i16]], [5 x [4 x [16 x i16]]], [6 x [16 x i16]], [2 x [16 x i16]], [16 x i16], [2 x [13 x [8 x i16]]], [3 x [13 x [8 x i16]]], [8 x i16], [8 x [8 x i16]], [8 x i16], [8 x [8 x i16]], [3 x [8 x i16]], [2 x [7 x [8 x i16]]], [2 x [7 x [5 x [8 x i16]]]], [2 x [8 x [4 x i16]]], [4 x [3 x [4 x i16]]], [22 x [4 x i16]], [4 x i16], [5 x [4 x i16]], [4 x [4 x i16]], [4 x i16], [2 x i16], [2 x i16], [7 x [2 x i16]], [7 x [2 x i16]], [4 x [2 x i16]], [22 x [2 x i16]], [6 x [2 x i16]], [2 x [2 x i16]], [6 x [2 x i16]], [3 x [2 x i16]], [4 x [2 x i16]], [5 x [2 x i16]], [5 x [2 x i16]], [6 x [2 x i16]], [6 x [2 x i16]], [9 x [2 x i16]], [6 x [3 x [2 x i16]]], [3 x [3 x [2 x i16]]], [2 x [3 x [2 x i16]]], [3 x [3 x [2 x i16]]], [7 x [3 x [2 x i16]]], [3 x [2 x i16]], [3 x [2 x i16]], [3 x [2 x i16]], [22 x [2 x i16]], [7 x [3 x [2 x i16]]], [2 x [2 x i16]], [2 x i16], [8 x i8] }9 10define i32 @decode_sb(ptr %t, i32 %bl, i32 %_msprop1966, i32 %sub.i, i64 %idxprom, i1 %cmp54) #0 {11; CHECK-LABEL: decode_sb:12; CHECK: # %bb.0: # %entry13; CHECK-NEXT: pushq %rbp14; CHECK-NEXT: .cfi_def_cfa_offset 1615; CHECK-NEXT: .cfi_offset %rbp, -1616; CHECK-NEXT: movq %rsp, %rbp17; CHECK-NEXT: .cfi_def_cfa_register %rbp18; CHECK-NEXT: pushq %r1519; CHECK-NEXT: pushq %r1420; CHECK-NEXT: pushq %r1321; CHECK-NEXT: pushq %r1222; CHECK-NEXT: pushq %rbx23; CHECK-NEXT: pushq %rax24; CHECK-NEXT: .cfi_offset %rbx, -5625; CHECK-NEXT: .cfi_offset %r12, -4826; CHECK-NEXT: .cfi_offset %r13, -4027; CHECK-NEXT: .cfi_offset %r14, -3228; CHECK-NEXT: .cfi_offset %r15, -2429; CHECK-NEXT: movl %r9d, %ebx30; CHECK-NEXT: # kill: def $edx killed $edx def $rdx31; CHECK-NEXT: movabsq $87960930222080, %r14 # imm = 0x50000000000032; CHECK-NEXT: movl 0, %r13d33; CHECK-NEXT: movl %esi, %r15d34; CHECK-NEXT: # implicit-def: $r12d35; CHECK-NEXT: testb $1, %bl36; CHECK-NEXT: jne .LBB0_637; CHECK-NEXT: # %bb.1: # %if.else38; CHECK-NEXT: movl %ecx, %r12d39; CHECK-NEXT: andl $1, %r12d40; CHECK-NEXT: movzbl 544(%r12), %r9d41; CHECK-NEXT: andl $1, %r9d42; CHECK-NEXT: movl %r14d, %r10d43; CHECK-NEXT: andl $1, %r10d44; CHECK-NEXT: andl $1, %r8d45; CHECK-NEXT: movabsq $17592186044416, %rax # imm = 0x10000000000046; CHECK-NEXT: orq %r8, %rax47; CHECK-NEXT: movl %esi, %r8d48; CHECK-NEXT: # kill: def $cl killed $cl killed $ecx49; CHECK-NEXT: shrl %cl, %r8d50; CHECK-NEXT: andl $2, %r8d51; CHECK-NEXT: testb $1, %bl52; CHECK-NEXT: cmoveq %r10, %rax53; CHECK-NEXT: orl %r9d, %edx54; CHECK-NEXT: movq %r13, %rcx55; CHECK-NEXT: orq $1, %rcx56; CHECK-NEXT: orl %esi, %r8d57; CHECK-NEXT: movl $1, %r8d58; CHECK-NEXT: je .LBB0_359; CHECK-NEXT: # %bb.2: # %if.else60; CHECK-NEXT: movl (%rax), %r8d61; CHECK-NEXT: .LBB0_3: # %if.else62; CHECK-NEXT: shlq $5, %rdx63; CHECK-NEXT: movq %r15, %rax64; CHECK-NEXT: shlq $7, %rax65; CHECK-NEXT: leaq (%rax,%rdx), %rsi66; CHECK-NEXT: addq $1248, %rsi # imm = 0x4E067; CHECK-NEXT: movq %rcx, 068; CHECK-NEXT: movq %rdi, %r1469; CHECK-NEXT: movl %r8d, (%rdi)70; CHECK-NEXT: xorl %eax, %eax71; CHECK-NEXT: xorl %edi, %edi72; CHECK-NEXT: xorl %edx, %edx73; CHECK-NEXT: callq *%rax74; CHECK-NEXT: movb $1, %al75; CHECK-NEXT: testb %al, %al76; CHECK-NEXT: je .LBB0_477; CHECK-NEXT: # %bb.5: # %bb1978; CHECK-NEXT: testb $1, %bl79; CHECK-NEXT: movq %r14, %rdi80; CHECK-NEXT: movabsq $87960930222080, %r14 # imm = 0x50000000000081; CHECK-NEXT: jne .LBB0_782; CHECK-NEXT: .LBB0_6: # %if.end6983; CHECK-NEXT: movl %r13d, 084; CHECK-NEXT: xorl %eax, %eax85; CHECK-NEXT: xorl %esi, %esi86; CHECK-NEXT: xorl %edx, %edx87; CHECK-NEXT: xorl %ecx, %ecx88; CHECK-NEXT: xorl %r8d, %r8d89; CHECK-NEXT: callq *%rax90; CHECK-NEXT: xorq %r14, %r1591; CHECK-NEXT: movslq %r12d, %rax92; CHECK-NEXT: movzbl (%r15), %ecx93; CHECK-NEXT: movb %cl, 544(%rax)94; CHECK-NEXT: .LBB0_7: # %land.lhs.true5695; CHECK-NEXT: xorl %eax, %eax96; CHECK-NEXT: addq $8, %rsp97; CHECK-NEXT: popq %rbx98; CHECK-NEXT: popq %r1299; CHECK-NEXT: popq %r13100; CHECK-NEXT: popq %r14101; CHECK-NEXT: popq %r15102; CHECK-NEXT: popq %rbp103; CHECK-NEXT: .cfi_def_cfa %rsp, 8104; CHECK-NEXT: retq105; CHECK-NEXT: .LBB0_4: # %bb106entry:107 %i = load i32, ptr null, align 8108 br i1 %cmp54, label %if.end69, label %if.else109 110if.else: ; preds = %entry111 %shr18 = and i32 %sub.i, 1112 %idxprom.i = zext i32 %shr18 to i64113 %arrayidx.i = getelementptr %struct.BlockContext, ptr null, i64 0, i32 14, i64 %idxprom.i114 %i1 = load i8, ptr %arrayidx.i, align 1115 %conv.i = zext i8 %i1 to i32116 %and.i = and i32 %conv.i, 1117 %i2 = and i64 87960930222080, 1118 %i3 = inttoptr i64 %i2 to ptr119 %i4 = load i32, ptr %i3, align 4120 %i5 = and i64 %idxprom, 1121 %i6 = or i64 %i5, 17592186044416122 %i7 = inttoptr i64 %i6 to ptr123 %i8 = load i32, ptr %i7, align 4124 %i9 = lshr i32 %bl, %sub.i125 %i10 = and i32 %i9, 2126 %i11 = or i32 %bl, %i10127 %i12 = select i1 %cmp54, i32 %i8, i32 %i4128 %add.i = or i32 %_msprop1966, %and.i129 %idxprom4 = zext i32 %bl to i64130 %idxprom24 = zext i32 %add.i to i64131 %i13 = or i32 %i, 1132 %i14 = zext i32 %i13 to i64133 %.not2329 = icmp eq i32 %i11, 0134 %i15 = select i1 %.not2329, i32 1, i32 %i12135 %arrayidx25 = getelementptr %struct.CdfModeContext, ptr null, i64 0, i32 3, i64 %idxprom4, i64 %idxprom24136 store i64 %i14, ptr null, align 8137 store i32 %i15, ptr %t, align 4138 %call53 = tail call i32 null(ptr null, ptr %arrayidx25, i64 0)139 %i16 = xor i64 %idxprom, 1140 %i17 = inttoptr i64 %i16 to ptr141 %_msld1992 = load i32, ptr %i17, align 8142 %i18 = icmp ne i32 %_msld1992, 0143 %_msprop_icmp1993 = and i1 %i18, false144 br i1 %_msprop_icmp1993, label %bb, label %bb19145 146bb: ; preds = %if.else147 unreachable148 149bb19: ; preds = %if.else150 br i1 %cmp54, label %land.lhs.true56, label %if.end69151 152land.lhs.true56: ; preds = %bb19153 ret i32 0154 155if.end69: ; preds = %bb19, %entry156 %bx8.011941201 = phi i32 [ %shr18, %bb19 ], [ undef, %entry ]157 store i32 %i, ptr null, align 8158 %call79 = tail call fastcc i32 null(ptr %t, i32 0, i32 0, i32 0, i32 0)159 %idxprom666 = zext i32 %bl to i64160 %i20 = xor i64 %idxprom666, 87960930222080161 %idxprom675 = sext i32 %bx8.011941201 to i64162 %arrayidx676 = getelementptr %struct.BlockContext, ptr null, i64 0, i32 14, i64 %idxprom675163 %i21 = inttoptr i64 %i20 to ptr164 %_msld1414 = load i8, ptr %i21, align 1165 store i8 %_msld1414, ptr %arrayidx676, align 1166 ret i32 0167}168 169attributes #0 = { "frame-pointer"="all" "target-cpu"="x86-64" }170