1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
; 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: movb $0, -{{[0-9]+}}(%rsp)
; 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
}
|
