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