| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s |
| |
| ; With optimization at O2 we actually get the legalized function optimized |
| ; away through legalization and stack coloring, but check that we do all of |
| ; that here and don't crash during legalization. |
| |
| ; Original program: |
| ; typedef enum { A, B, C, D } P; |
| ; struct { P x[2]; } a; |
| |
| ; void fn2(); |
| ; void fn1() { |
| ; int b; |
| ; unsigned c; |
| ; for (;; c++) { |
| ; fn2(); |
| ; unsigned n; |
| ; for (; c; c++) { |
| ; b = a.x[c] == A || a.x[c] == B || a.x[c] == D; |
| ; if (b) n++; |
| ; } |
| ; if (n) |
| ; for (;;) |
| ; ; |
| ; } |
| ; } |
| |
| define void @fn1() { |
| ; CHECK-LABEL: fn1: |
| ; CHECK: # %bb.0: # %for.cond |
| ; CHECK-NEXT: .p2align 4, 0x90 |
| ; CHECK-NEXT: .LBB0_1: # %vector.body |
| ; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 |
| ; CHECK-NEXT: cmpq $8, %rax |
| ; CHECK-NEXT: jne .LBB0_1 |
| ; CHECK-NEXT: # %bb.2: # %middle.block |
| ; CHECK-NEXT: retq |
| for.cond: |
| br label %vector.body |
| |
| vector.body: ; preds = %vector.body, %for.cond |
| %x42 = bitcast <4 x i4> zeroinitializer to i16 |
| %x43 = icmp ne i16 %x42, 0 |
| %x44 = select i1 %x43, i32 undef, i32 0 |
| %x72 = bitcast <4 x i1> zeroinitializer to i4 |
| %x73 = icmp ne i4 %x72, 0 |
| %x74 = select i1 %x73, i32 %x44, i32 undef |
| %x84 = select i1 undef, i32 undef, i32 %x74 |
| %x88 = icmp eq i64 undef, 8 |
| br i1 %x88, label %middle.block, label %vector.body |
| |
| middle.block: ; preds = %vector.body |
| %0 = select i1 undef, i32 undef, i32 %x84 |
| ret void |
| } |