1; RUN: llc -march=x86 < %s | FileCheck %s
2
3@Te0 = external global [256 x i32]		; <[256 x i32]*> [#uses=5]
4@Te1 = external global [256 x i32]		; <[256 x i32]*> [#uses=4]
5@Te3 = external global [256 x i32]		; <[256 x i32]*> [#uses=2]
6
7define void @t(i8* nocapture %in, i8* nocapture %out, i32* nocapture %rk, i32 %r) nounwind ssp {
8entry:
9	%0 = load i32, i32* %rk, align 4		; <i32> [#uses=1]
10	%1 = getelementptr i32, i32* %rk, i64 1		; <i32*> [#uses=1]
11	%2 = load i32, i32* %1, align 4		; <i32> [#uses=1]
12	%tmp15 = add i32 %r, -1		; <i32> [#uses=1]
13	%tmp.16 = zext i32 %tmp15 to i64		; <i64> [#uses=2]
14	br label %bb
15; CHECK: jmp
16; CHECK-NEXT: align
17
18bb:		; preds = %bb1, %entry
19	%indvar = phi i64 [ 0, %entry ], [ %indvar.next, %bb1 ]		; <i64> [#uses=3]
20	%s1.0 = phi i32 [ %2, %entry ], [ %56, %bb1 ]		; <i32> [#uses=2]
21	%s0.0 = phi i32 [ %0, %entry ], [ %43, %bb1 ]		; <i32> [#uses=2]
22	%tmp18 = shl i64 %indvar, 4		; <i64> [#uses=4]
23	%rk26 = bitcast i32* %rk to i8*		; <i8*> [#uses=6]
24	%3 = lshr i32 %s0.0, 24		; <i32> [#uses=1]
25	%4 = zext i32 %3 to i64		; <i64> [#uses=1]
26	%5 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %4		; <i32*> [#uses=1]
27	%6 = load i32, i32* %5, align 4		; <i32> [#uses=1]
28	%7 = lshr i32 %s1.0, 16		; <i32> [#uses=1]
29	%8 = and i32 %7, 255		; <i32> [#uses=1]
30	%9 = zext i32 %8 to i64		; <i64> [#uses=1]
31	%10 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %9		; <i32*> [#uses=1]
32	%11 = load i32, i32* %10, align 4		; <i32> [#uses=1]
33	%ctg2.sum2728 = or i64 %tmp18, 8		; <i64> [#uses=1]
34	%12 = getelementptr i8, i8* %rk26, i64 %ctg2.sum2728		; <i8*> [#uses=1]
35	%13 = bitcast i8* %12 to i32*		; <i32*> [#uses=1]
36	%14 = load i32, i32* %13, align 4		; <i32> [#uses=1]
37	%15 = xor i32 %11, %6		; <i32> [#uses=1]
38	%16 = xor i32 %15, %14		; <i32> [#uses=3]
39	%17 = lshr i32 %s1.0, 24		; <i32> [#uses=1]
40	%18 = zext i32 %17 to i64		; <i64> [#uses=1]
41	%19 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %18		; <i32*> [#uses=1]
42	%20 = load i32, i32* %19, align 4		; <i32> [#uses=1]
43	%21 = and i32 %s0.0, 255		; <i32> [#uses=1]
44	%22 = zext i32 %21 to i64		; <i64> [#uses=1]
45	%23 = getelementptr [256 x i32], [256 x i32]* @Te3, i64 0, i64 %22		; <i32*> [#uses=1]
46	%24 = load i32, i32* %23, align 4		; <i32> [#uses=1]
47	%ctg2.sum2930 = or i64 %tmp18, 12		; <i64> [#uses=1]
48	%25 = getelementptr i8, i8* %rk26, i64 %ctg2.sum2930		; <i8*> [#uses=1]
49	%26 = bitcast i8* %25 to i32*		; <i32*> [#uses=1]
50	%27 = load i32, i32* %26, align 4		; <i32> [#uses=1]
51	%28 = xor i32 %24, %20		; <i32> [#uses=1]
52	%29 = xor i32 %28, %27		; <i32> [#uses=4]
53	%30 = lshr i32 %16, 24		; <i32> [#uses=1]
54	%31 = zext i32 %30 to i64		; <i64> [#uses=1]
55	%32 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %31		; <i32*> [#uses=1]
56	%33 = load i32, i32* %32, align 4		; <i32> [#uses=2]
57	%exitcond = icmp eq i64 %indvar, %tmp.16		; <i1> [#uses=1]
58	br i1 %exitcond, label %bb2, label %bb1
59
60bb1:		; preds = %bb
61	%ctg2.sum31 = add i64 %tmp18, 16		; <i64> [#uses=1]
62	%34 = getelementptr i8, i8* %rk26, i64 %ctg2.sum31		; <i8*> [#uses=1]
63	%35 = bitcast i8* %34 to i32*		; <i32*> [#uses=1]
64	%36 = lshr i32 %29, 16		; <i32> [#uses=1]
65	%37 = and i32 %36, 255		; <i32> [#uses=1]
66	%38 = zext i32 %37 to i64		; <i64> [#uses=1]
67	%39 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %38		; <i32*> [#uses=1]
68	%40 = load i32, i32* %39, align 4		; <i32> [#uses=1]
69	%41 = load i32, i32* %35, align 4		; <i32> [#uses=1]
70	%42 = xor i32 %40, %33		; <i32> [#uses=1]
71	%43 = xor i32 %42, %41		; <i32> [#uses=1]
72	%44 = lshr i32 %29, 24		; <i32> [#uses=1]
73	%45 = zext i32 %44 to i64		; <i64> [#uses=1]
74	%46 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %45		; <i32*> [#uses=1]
75	%47 = load i32, i32* %46, align 4		; <i32> [#uses=1]
76	%48 = and i32 %16, 255		; <i32> [#uses=1]
77	%49 = zext i32 %48 to i64		; <i64> [#uses=1]
78	%50 = getelementptr [256 x i32], [256 x i32]* @Te3, i64 0, i64 %49		; <i32*> [#uses=1]
79	%51 = load i32, i32* %50, align 4		; <i32> [#uses=1]
80	%ctg2.sum32 = add i64 %tmp18, 20		; <i64> [#uses=1]
81	%52 = getelementptr i8, i8* %rk26, i64 %ctg2.sum32		; <i8*> [#uses=1]
82	%53 = bitcast i8* %52 to i32*		; <i32*> [#uses=1]
83	%54 = load i32, i32* %53, align 4		; <i32> [#uses=1]
84	%55 = xor i32 %51, %47		; <i32> [#uses=1]
85	%56 = xor i32 %55, %54		; <i32> [#uses=1]
86	%indvar.next = add i64 %indvar, 1		; <i64> [#uses=1]
87	br label %bb
88
89bb2:		; preds = %bb
90	%tmp10 = shl i64 %tmp.16, 4		; <i64> [#uses=2]
91	%ctg2.sum = add i64 %tmp10, 16		; <i64> [#uses=1]
92	%tmp1213 = getelementptr i8, i8* %rk26, i64 %ctg2.sum		; <i8*> [#uses=1]
93	%57 = bitcast i8* %tmp1213 to i32*		; <i32*> [#uses=1]
94	%58 = and i32 %33, -16777216		; <i32> [#uses=1]
95	%59 = lshr i32 %29, 16		; <i32> [#uses=1]
96	%60 = and i32 %59, 255		; <i32> [#uses=1]
97	%61 = zext i32 %60 to i64		; <i64> [#uses=1]
98	%62 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %61		; <i32*> [#uses=1]
99	%63 = load i32, i32* %62, align 4		; <i32> [#uses=1]
100	%64 = and i32 %63, 16711680		; <i32> [#uses=1]
101	%65 = or i32 %64, %58		; <i32> [#uses=1]
102	%66 = load i32, i32* %57, align 4		; <i32> [#uses=1]
103	%67 = xor i32 %65, %66		; <i32> [#uses=2]
104	%68 = lshr i32 %29, 8		; <i32> [#uses=1]
105	%69 = zext i32 %68 to i64		; <i64> [#uses=1]
106	%70 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %69		; <i32*> [#uses=1]
107	%71 = load i32, i32* %70, align 4		; <i32> [#uses=1]
108	%72 = and i32 %71, -16777216		; <i32> [#uses=1]
109	%73 = and i32 %16, 255		; <i32> [#uses=1]
110	%74 = zext i32 %73 to i64		; <i64> [#uses=1]
111	%75 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %74		; <i32*> [#uses=1]
112	%76 = load i32, i32* %75, align 4		; <i32> [#uses=1]
113	%77 = and i32 %76, 16711680		; <i32> [#uses=1]
114	%78 = or i32 %77, %72		; <i32> [#uses=1]
115	%ctg2.sum25 = add i64 %tmp10, 20		; <i64> [#uses=1]
116	%79 = getelementptr i8, i8* %rk26, i64 %ctg2.sum25		; <i8*> [#uses=1]
117	%80 = bitcast i8* %79 to i32*		; <i32*> [#uses=1]
118	%81 = load i32, i32* %80, align 4		; <i32> [#uses=1]
119	%82 = xor i32 %78, %81		; <i32> [#uses=2]
120	%83 = lshr i32 %67, 24		; <i32> [#uses=1]
121	%84 = trunc i32 %83 to i8		; <i8> [#uses=1]
122	store i8 %84, i8* %out, align 1
123	%85 = lshr i32 %67, 16		; <i32> [#uses=1]
124	%86 = trunc i32 %85 to i8		; <i8> [#uses=1]
125	%87 = getelementptr i8, i8* %out, i64 1		; <i8*> [#uses=1]
126	store i8 %86, i8* %87, align 1
127	%88 = getelementptr i8, i8* %out, i64 4		; <i8*> [#uses=1]
128	%89 = lshr i32 %82, 24		; <i32> [#uses=1]
129	%90 = trunc i32 %89 to i8		; <i8> [#uses=1]
130	store i8 %90, i8* %88, align 1
131	%91 = lshr i32 %82, 16		; <i32> [#uses=1]
132	%92 = trunc i32 %91 to i8		; <i8> [#uses=1]
133	%93 = getelementptr i8, i8* %out, i64 5		; <i8*> [#uses=1]
134	store i8 %92, i8* %93, align 1
135	ret void
136}
137