Mercurial > hg > CbC > CbC_llvm

comparison test/Analysis/BasicAA/phi-spec-order.ll @ 95:afa8332a0e37 LLVM3.8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.8
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 13 Oct 2015 17:48:58 +0900
parents 95c75e76d11b
children
comparison
equal deleted inserted replaced
84:f3e34b893a5f 95:afa8332a0e37
12 for.cond2.preheader: ; preds = %for.end, %entry 12 for.cond2.preheader: ; preds = %for.end, %entry
13 %nl.018 = phi i32 [ 0, %entry ], [ %inc9, %for.end ] 13 %nl.018 = phi i32 [ 0, %entry ], [ %inc9, %for.end ]
14 br label %for.body4 14 br label %for.body4
15 15
16 for.body4: ; preds = %for.body4, %for.cond2.preheader 16 for.body4: ; preds = %for.body4, %for.cond2.preheader
17 %lsr.iv4 = phi [16000 x double]* [ %i11, %for.body4 ], [ bitcast (double* getelementptr inbounds ([16000 x double]* @Y, i64 0, i64 8) 17 %lsr.iv4 = phi [16000 x double]* [ %i11, %for.body4 ], [ bitcast (double* getelementptr inbounds ([16000 x double], [16000 x double]* @Y, i64 0, i64 8)
18 to [16000 x double]*), %for.cond2.preheader ] 18 to [16000 x double]*), %for.cond2.preheader ]
19 %lsr.iv1 = phi [16000 x double]* [ %i10, %for.body4 ], [ @X, %for.cond2.preheader ] 19 %lsr.iv1 = phi [16000 x double]* [ %i10, %for.body4 ], [ @X, %for.cond2.preheader ]
20 20
21 ; CHECK: NoAlias:{{[ \t]+}}[16000 x double]* %lsr.iv1, [16000 x double]* %lsr.iv4 21 ; CHECK: NoAlias:{{[ \t]+}}[16000 x double]* %lsr.iv1, [16000 x double]* %lsr.iv4
22 22
23 %lsr.iv = phi i32 [ %lsr.iv.next, %for.body4 ], [ 16000, %for.cond2.preheader ] 23 %lsr.iv = phi i32 [ %lsr.iv.next, %for.body4 ], [ 16000, %for.cond2.preheader ]
24 %lsr.iv46 = bitcast [16000 x double]* %lsr.iv4 to <4 x double>* 24 %lsr.iv46 = bitcast [16000 x double]* %lsr.iv4 to <4 x double>*
25 %lsr.iv12 = bitcast [16000 x double]* %lsr.iv1 to <4 x double>* 25 %lsr.iv12 = bitcast [16000 x double]* %lsr.iv1 to <4 x double>*
26 %scevgep11 = getelementptr <4 x double>* %lsr.iv46, i64 -2 26 %scevgep11 = getelementptr <4 x double>, <4 x double>* %lsr.iv46, i64 -2
27 %i6 = load <4 x double>* %scevgep11, align 32 27 %i6 = load <4 x double>, <4 x double>* %scevgep11, align 32
28 %add = fadd <4 x double> %i6, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 28 %add = fadd <4 x double> %i6, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>
29 store <4 x double> %add, <4 x double>* %lsr.iv12, align 32 29 store <4 x double> %add, <4 x double>* %lsr.iv12, align 32
30 %scevgep10 = getelementptr <4 x double>* %lsr.iv46, i64 -1 30 %scevgep10 = getelementptr <4 x double>, <4 x double>* %lsr.iv46, i64 -1
31 %i7 = load <4 x double>* %scevgep10, align 32 31 %i7 = load <4 x double>, <4 x double>* %scevgep10, align 32
32 %add.4 = fadd <4 x double> %i7, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 32 %add.4 = fadd <4 x double> %i7, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>
33 %scevgep9 = getelementptr <4 x double>* %lsr.iv12, i64 1 33 %scevgep9 = getelementptr <4 x double>, <4 x double>* %lsr.iv12, i64 1
34 store <4 x double> %add.4, <4 x double>* %scevgep9, align 32 34 store <4 x double> %add.4, <4 x double>* %scevgep9, align 32
35 %i8 = load <4 x double>* %lsr.iv46, align 32 35 %i8 = load <4 x double>, <4 x double>* %lsr.iv46, align 32
36 %add.8 = fadd <4 x double> %i8, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 36 %add.8 = fadd <4 x double> %i8, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>
37 %scevgep8 = getelementptr <4 x double>* %lsr.iv12, i64 2 37 %scevgep8 = getelementptr <4 x double>, <4 x double>* %lsr.iv12, i64 2
38 store <4 x double> %add.8, <4 x double>* %scevgep8, align 32 38 store <4 x double> %add.8, <4 x double>* %scevgep8, align 32
39 %scevgep7 = getelementptr <4 x double>* %lsr.iv46, i64 1 39 %scevgep7 = getelementptr <4 x double>, <4 x double>* %lsr.iv46, i64 1
40 %i9 = load <4 x double>* %scevgep7, align 32 40 %i9 = load <4 x double>, <4 x double>* %scevgep7, align 32
41 %add.12 = fadd <4 x double> %i9, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 41 %add.12 = fadd <4 x double> %i9, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>
42 %scevgep3 = getelementptr <4 x double>* %lsr.iv12, i64 3 42 %scevgep3 = getelementptr <4 x double>, <4 x double>* %lsr.iv12, i64 3
43 store <4 x double> %add.12, <4 x double>* %scevgep3, align 32 43 store <4 x double> %add.12, <4 x double>* %scevgep3, align 32
44 44
45 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep11, <4 x double>* %scevgep7 45 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep11, <4 x double>* %scevgep7
46 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep10, <4 x double>* %scevgep7 46 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep10, <4 x double>* %scevgep7
47 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep7, <4 x double>* %scevgep9 47 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep7, <4 x double>* %scevgep9
48 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep11, <4 x double>* %scevgep3 48 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep11, <4 x double>* %scevgep3
49 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep10, <4 x double>* %scevgep3 49 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep10, <4 x double>* %scevgep3
50 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep3, <4 x double>* %scevgep9 50 ; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep3, <4 x double>* %scevgep9
51 51
52 %lsr.iv.next = add i32 %lsr.iv, -16 52 %lsr.iv.next = add i32 %lsr.iv, -16
53 %scevgep = getelementptr [16000 x double]* %lsr.iv1, i64 0, i64 16 53 %scevgep = getelementptr [16000 x double], [16000 x double]* %lsr.iv1, i64 0, i64 16
54 %i10 = bitcast double* %scevgep to [16000 x double]* 54 %i10 = bitcast double* %scevgep to [16000 x double]*
55 %scevgep5 = getelementptr [16000 x double]* %lsr.iv4, i64 0, i64 16 55 %scevgep5 = getelementptr [16000 x double], [16000 x double]* %lsr.iv4, i64 0, i64 16
56 %i11 = bitcast double* %scevgep5 to [16000 x double]* 56 %i11 = bitcast double* %scevgep5 to [16000 x double]*
57 %exitcond.15 = icmp eq i32 %lsr.iv.next, 0 57 %exitcond.15 = icmp eq i32 %lsr.iv.next, 0
58 br i1 %exitcond.15, label %for.end, label %for.body4 58 br i1 %exitcond.15, label %for.end, label %for.body4
59 59
60 for.end: ; preds = %for.body4 60 for.end: ; preds = %for.body4