Searched refs:analyze (Results 1 – 25 of 415) sorted by relevance
12345678910>>...17
1 ; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s2 ; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s -check-prefix=DELIN18 ; CHECK: da analyze - none!19 ; CHECK: da analyze - flow [<= <>]!20 ; CHECK: da analyze - confused!21 ; CHECK: da analyze - none!22 ; CHECK: da analyze - confused!23 ; CHECK: da analyze - none!26 ; DELIN: da analyze - none!27 ; DELIN: da analyze - flow [<= <>]![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s17 ; CHECK: da analyze - none!18 ; CHECK: da analyze - consistent flow [|<]!19 ; CHECK: da analyze - confused!20 ; CHECK: da analyze - none!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - none!40 ; CHECK: da analyze - none!41 ; CHECK: da analyze - none!42 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s16 ; CHECK: da analyze - none!17 ; CHECK: da analyze - flow [<=|<]!18 ; CHECK: da analyze - confused!19 ; CHECK: da analyze - none!20 ; CHECK: da analyze - confused!21 ; CHECK: da analyze - none!53 ; CHECK: da analyze - none!54 ; CHECK: da analyze - none!55 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s16 ; CHECK: da analyze - none!17 ; CHECK: da analyze - none!18 ; CHECK: da analyze - confused!19 ; CHECK: da analyze - none!20 ; CHECK: da analyze - confused!21 ; CHECK: da analyze - none!52 ; CHECK: da analyze - none!53 ; CHECK: da analyze - consistent flow [-9]!54 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s20 ; CHECK: da analyze - none!21 ; CHECK: da analyze - flow [0|<]!22 ; CHECK: da analyze - confused!23 ; CHECK: da analyze - none!24 ; CHECK: da analyze - confused!25 ; CHECK: da analyze - none!62 ; CHECK: da analyze - none!63 ; CHECK: da analyze - flow [<>] splitable!64 ; CHECK: da analyze - split level = 1, iteration = 0![all …]
1 ; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s2 ; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s -check-prefix=DELIN19 ; CHECK: da analyze - output [* *]!20 ; CHECK: da analyze - flow [=> *|<]!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - input [* *]!23 ; CHECK: da analyze - confused!24 ; CHECK: da analyze - none!27 ; DELIN: da analyze - output [* *]!28 ; DELIN: da analyze - flow [=> *|<]![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s17 ; CHECK: da analyze - none!18 ; CHECK: da analyze - consistent flow [2]!19 ; CHECK: da analyze - confused!20 ; CHECK: da analyze - none!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - none!59 ; CHECK: da analyze - none!60 ; CHECK: da analyze - consistent flow [2]!61 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s16 ; CHECK: da analyze - none!17 ; CHECK: da analyze - flow [p<=|<]!18 ; CHECK: da analyze - confused!19 ; CHECK: da analyze - consistent input [S]!20 ; CHECK: da analyze - confused!21 ; CHECK: da analyze - none!53 ; CHECK: da analyze - none!54 ; CHECK: da analyze - flow [p<=|<]!55 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s16 ; CHECK: da analyze - consistent output [S]!17 ; CHECK: da analyze - flow [p<=|<]!18 ; CHECK: da analyze - confused!19 ; CHECK: da analyze - none!20 ; CHECK: da analyze - confused!21 ; CHECK: da analyze - none!53 ; CHECK: da analyze - consistent output [S]!54 ; CHECK: da analyze - flow [p<=|<]!55 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s17 ; CHECK: da analyze - none!18 ; CHECK: da analyze - none!19 ; CHECK: da analyze - confused!20 ; CHECK: da analyze - none!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - none!65 ; CHECK: da analyze - none!66 ; CHECK: da analyze - none!67 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s17 ; CHECK: da analyze - none!18 ; CHECK: da analyze - none!19 ; CHECK: da analyze - confused!20 ; CHECK: da analyze - none!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - none!62 ; CHECK: da analyze - none!63 ; CHECK: da analyze - none!64 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s17 ; CHECK: da analyze - none!18 ; CHECK: da analyze - consistent flow [1 -1]!19 ; CHECK: da analyze - confused!20 ; CHECK: da analyze - none!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - none!67 ; CHECK: da analyze - none!68 ; CHECK: da analyze - consistent flow [1 1 -1]!69 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s19 ; CHECK: da analyze - none!20 ; CHECK: da analyze - none!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - none!23 ; CHECK: da analyze - confused!24 ; CHECK: da analyze - none!82 ; CHECK: da analyze - none!83 ; CHECK: da analyze - none!84 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s2 ; RUN: opt < %s -analyze -basicaa -da -da-delinearize | FileCheck %s -check-prefix=DELIN22 ; CHECK: da analyze - none!23 ; CHECK: da analyze - anti [=|<]!24 ; CHECK: da analyze - none!25 ; DELIN: da analyze - none!26 ; DELIN: da analyze - anti [=|<]!27 ; DELIN: da analyze - none!
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s16 ; CHECK: da analyze - none!17 ; CHECK: da analyze - confused!18 ; CHECK: da analyze - none!34 ; CHECK: da analyze - none!35 ; CHECK: da analyze - none!36 ; CHECK: da analyze - none!57 ; CHECK: da analyze - none!58 ; CHECK: da analyze - flow [-3 -2]!59 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s19 ; CHECK: da analyze - output [0 * * S]!20 ; CHECK: da analyze - flow [-10 * * *]!21 ; CHECK: da analyze - confused!22 ; CHECK: da analyze - input [0 * S *]!23 ; CHECK: da analyze - confused!24 ; CHECK: da analyze - none!94 ; CHECK: da analyze - output [0 * * S]!95 ; CHECK: da analyze - flow [> * * *]!96 ; CHECK: da analyze - confused![all …]
1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s6 ; CHECK: da analyze - consistent input [S 0]!7 ; CHECK: da analyze - input [* 0|<]!8 ; CHECK: da analyze - none!
1 sepolicy-analyze7 sepolicy-analyze out/target/product/<board>/root/sepolicy typecmp -e28 sepolicy-analyze out/target/product/<board>/root/sepolicy typecmp -d35 sepolicy-analyze out/target/product/<board>/root/sepolicy dups49 sepolicy-analyze out/target/product/<board>/root/sepolicy permissive57 sepolicy-analyze out/target/product/<board>/root/sepolicy booleans64 sepolicy-analyze out/target/product/<board>/root/sepolicy attribute <name>69 sepolicy-analyze out/target/product/<board>/root/sepolicy neverallow \76 policy.conf file as the neverallows.conf file and sepolicy-analyze will80 no violations, sepolicy-analyze will exit successfully with no output.[all …]
1 …iple i386-apple-darwin9 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify …2 …e x86_64-apple-darwin9 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify -…
2 ; RUN: opt -regions -analyze < %s | FileCheck %s4 ; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s5 ; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s
2 ; RUN: opt -regions -analyze < %s 4 ; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s5 ; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s
2 ; RUN: opt -regions -analyze < %s | FileCheck %s3 ; RUN: opt -regions -stats -analyze < %s 2>&1 | FileCheck -check-prefix=STAT %s4 ; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s5 ; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s