test/Transforms/InstCombine/apint-cast.ll

   1 ; Tests to make sure elimination of casts is working correctly
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 define i17 @test1(i17 %a) {
   5         %tmp = zext i17 %a to i37               ; <i37> [#uses=2]
   6         %tmp21 = lshr i37 %tmp, 8               ; <i37> [#uses=1]
   7 ; CHECK: %tmp21 = lshr i17 %a, 8
   8         %tmp5 = shl i37 %tmp, 8         ; <i37> [#uses=1]
   9 ; CHECK: %tmp5 = shl i17 %a, 8
  10         %tmp.upgrd.32 = or i37 %tmp21, %tmp5            ; <i37> [#uses=1]
  11 ; CHECK: %tmp.upgrd.32 = or i17 %tmp21, %tmp5
  12         %tmp.upgrd.3 = trunc i37 %tmp.upgrd.32 to i17   ; <i17> [#uses=1]
  13         ret i17 %tmp.upgrd.3
  14 ; CHECK: ret i17 %tmp.upgrd.32
  15 }
  16
  17 define i167 @test2(i167 %a) {
  18         %tmp = zext i167 %a to i577               ; <i577> [#uses=2]
  19         %tmp21 = lshr i577 %tmp, 9               ; <i577> [#uses=1]
  20 ; CHECK: %tmp21 = lshr i167 %a, 9
  21         %tmp5 = shl i577 %tmp, 8         ; <i577> [#uses=1]
  22 ; CHECK: %tmp5 = shl i167 %a, 8
  23         %tmp.upgrd.32 = or i577 %tmp21, %tmp5            ; <i577> [#uses=1]
  24 ; CHECK: %tmp.upgrd.32 = or i167 %tmp21, %tmp5
  25         %tmp.upgrd.3 = trunc i577 %tmp.upgrd.32 to i167  ; <i167> [#uses=1]
  26         ret i167 %tmp.upgrd.3
  27 ; CHECK: ret i167 %tmp.upgrd.32
  28 }