1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -mcpu=generic -mtriple=i686-- | FileCheck %s 3 %struct._obstack_chunk = type { ptr, ptr, [4 x i8] } 4 %struct.obstack = type { i32, ptr, ptr, ptr, ptr, i32, i32, ptr, ptr, ptr, i8 } 5@stmt_obstack = external dso_local global %struct.obstack ; <ptr> [#uses=1] 6 7; This should just not crash. 8define void @test1() nounwind { 9; CHECK-LABEL: test1: 10; CHECK: # %bb.0: # %entry 11; CHECK-NEXT: testb $1, stmt_obstack+40 12; CHECK-NEXT: jne .LBB0_1 13; CHECK-NEXT: # %bb.2: # %cond_false30.i 14; CHECK-NEXT: pushl $0 15; CHECK-NEXT: calll 0 16; CHECK-NEXT: addl $4, %esp 17; CHECK-NEXT: retl 18; CHECK-NEXT: .LBB0_1: # %cond_true23.i 19; CHECK-NEXT: retl 20entry: 21 br i1 true, label %cond_true, label %cond_next 22 23cond_true: ; preds = %entry 24 %new_size.0.i = select i1 false, i32 0, i32 0 ; <i32> [#uses=1] 25 %tmp.i = load i32, ptr getelementptr (%struct.obstack, ptr @stmt_obstack, i32 0, i32 10) ; <i32> [#uses=1] 26 %tmp.i.upgrd.1 = trunc i32 %tmp.i to i8 ; <i8> [#uses=1] 27 %tmp21.i = and i8 %tmp.i.upgrd.1, 1 ; <i8> [#uses=1] 28 %tmp22.i = icmp eq i8 %tmp21.i, 0 ; <i1> [#uses=1] 29 br i1 %tmp22.i, label %cond_false30.i, label %cond_true23.i 30 31cond_true23.i: ; preds = %cond_true 32 ret void 33 34cond_false30.i: ; preds = %cond_true 35 %tmp35.i = tail call ptr null( i32 %new_size.0.i ) ; <ptr> [#uses=0] 36 ret void 37 38cond_next: ; preds = %entry 39 ret void 40} 41 42 43 44define i32 @test2(ptr %P, ptr %Q) nounwind { 45; CHECK-LABEL: test2: 46; CHECK: # %bb.0: 47; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx 48; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax 49; CHECK-NEXT: movzwl (%eax), %edx 50; CHECK-NEXT: movzbl %dl, %eax 51; CHECK-NEXT: movw %dx, (%ecx) 52; CHECK-NEXT: retl 53 %A = load i16, ptr %P, align 4 ; <i16> [#uses=11] 54 %C = zext i16 %A to i32 ; <i32> [#uses=1] 55 %D = and i32 %C, 255 ; <i32> [#uses=1] 56 br label %L 57L: 58 59 store i16 %A, ptr %Q 60 ret i32 %D 61 62 63} 64 65; rdar://10554090 66; xor in exit block will be CSE'ed and load will be folded to xor in entry. 67define i1 @test3(ptr %P, ptr %Q) nounwind { 68; CHECK-LABEL: test3: 69; CHECK: # %bb.0: # %entry 70; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax 71; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx 72; CHECK-NEXT: movl (%eax), %eax 73; CHECK-NEXT: xorl (%ecx), %eax 74; CHECK-NEXT: testl $89947, %eax # imm = 0x15F5B 75; CHECK-NEXT: je .LBB2_2 76; CHECK-NEXT: # %bb.1: 77; CHECK-NEXT: xorl %eax, %eax 78; CHECK-NEXT: # kill: def $al killed $al killed $eax 79; CHECK-NEXT: retl 80; CHECK-NEXT: .LBB2_2: # %exit 81; CHECK-NEXT: testl $-838178173, %eax # imm = 0xCE0A6A83 82; CHECK-NEXT: sete %al 83; CHECK-NEXT: # kill: def $al killed $al killed $eax 84; CHECK-NEXT: retl 85entry: 86 %0 = load i32, ptr %P, align 4 87 %1 = load i32, ptr %Q, align 4 88 %2 = xor i32 %0, %1 89 %3 = and i32 %2, 89947 90 %4 = icmp eq i32 %3, 0 91 br i1 %4, label %exit, label %land.end 92 93exit: 94 %shr.i.i19 = xor i32 %1, %0 95 %5 = and i32 %shr.i.i19, 3456789123 96 %6 = icmp eq i32 %5, 0 97 br label %land.end 98 99land.end: 100 %7 = phi i1 [ %6, %exit ], [ false, %entry ] 101 ret i1 %7 102} 103