Lines Matching refs:SCEV

1 …-evolution>,print<scalar-evolution>' -disable-output 2>&1 | FileCheck -check-prefixes CHECK-SCEV %s
2 …oop-rotate),print<scalar-evolution>' -disable-output 2>&1 | FileCheck -check-prefixes CHECK-SCEV %s
12 ; Verify that we get the same SCEV expressions after loop-rotate, regardless
19 ; CHECK-SCEV: Classifying expressions for: @test_function
20 ; CHECK-SCEV:   %wide = load i32, i32* @offset, align 1
21 ; CHECK-SCEV:   -->  %wide U: full-set S: full-set          Exits: <<Unknown>>              LoopDis…
22 ; CHECK-SCEV:   %narrow = trunc i32 %wide to i16
23 ; CHECK-SCEV:   -->  (trunc i32 %wide to i16) U: full-set S: full-set               Exits: <<Unknow…
24 ; CHECK-SCEV:   %iv = phi i16 [ %narrow, %loop.inner.ph ], [ %iv.plus, %loop.inner ]
25 ; CHECK-SCEV:   -->  {(trunc i32 %wide to i16),+,1}<%loop.inner> U: full-set S: full-set           …
27 ; CHECK-SCEV: Classifying expressions for: @test_function
28 ; CHECK-SCEV:   %wide1 = load i32, i32* @offset, align 1
29 ; CHECK-SCEV:   -->  %wide1 U: full-set S: full-set
30 ; CHECK-SCEV:   %wide2 = phi i32 [ %wide1, %loop.inner.ph.lr.ph ], [ %wide, %loop.outer.latch ]
31 ; CHECK-SCEV:   -->  %wide2 U: full-set S: full-set         Exits: <<Unknown>>              LoopDis…
32 ; CHECK-SCEV:   %narrow = trunc i32 %wide2 to i16
33 ; CHECK-SCEV:   -->  (trunc i32 %wide2 to i16) U: full-set S: full-set               Exits: <<Unkno…
34 ; CHECK-SCEV:   %iv = phi i16 [ %narrow, %loop.inner.ph ], [ %iv.plus, %loop.inner ]
35 ; CHECK-SCEV:   -->  {(trunc i32 %wide2 to i16),+,1}<%loop.inner> U: full-set S: full-set          …