test/Analysis/ScalarEvolution/2009-04-22-TruncCast.ll

   1 ; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
   2
   3 ; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test1'
   4 ; CHECK-NOT: (trunc i{{.*}}ext
   5
   6 define i16 @test1(i8 %x) {
   7   %A = sext i8 %x to i32
   8   %B = trunc i32 %A to i16
   9   ret i16 %B
  10 }
  11
  12 ; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test2'
  13 ; CHECK-NOT: (trunc i{{.*}}ext
  14
  15 define i8 @test2(i16 %x) {
  16   %A = sext i16 %x to i32
  17   %B = trunc i32 %A to i8
  18   ret i8 %B
  19 }
  20
  21 ; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test3'
  22 ; CHECK-NOT: (trunc i{{.*}}ext
  23
  24 define i16 @test3(i16 %x) {
  25   %A = sext i16 %x to i32
  26   %B = trunc i32 %A to i16
  27   ret i16 %B
  28 }
  29
  30 ; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test4'
  31 ; CHECK-NOT: (trunc i{{.*}}ext
  32
  33 define i16 @test4(i8 %x) {
  34   %A = zext i8 %x to i32
  35   %B = trunc i32 %A to i16
  36   ret i16 %B
  37 }
  38
  39 ; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test5'
  40 ; CHECK-NOT: (trunc i{{.*}}ext
  41
  42 define i8 @test5(i16 %x) {
  43   %A = zext i16 %x to i32
  44   %B = trunc i32 %A to i8
  45   ret i8 %B
  46 }
  47
  48 ; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test6'
  49 ; CHECK-NOT: (trunc i{{.*}}ext
  50
  51 define i16 @test6(i16 %x) {
  52   %A = zext i16 %x to i32
  53   %B = trunc i32 %A to i16
  54   ret i16 %B
  55 }