llvm/test/Transforms/InstCombine/apint-cast.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   5
   6 ; Tests to make sure elimination of casts is working correctly
   7
   8 define i17 @test1(i17 %a) {
   9 ; CHECK-LABEL: @test1(
  10 ; CHECK-NEXT:    [[C:%.*]] = lshr i17 [[A:%.*]], 8
  11 ; CHECK-NEXT:    [[D:%.*]] = shl i17 [[A]], 8
  12 ; CHECK-NEXT:    [[E:%.*]] = or i17 [[C]], [[D]]
  13 ; CHECK-NEXT:    ret i17 [[E]]
  14 ;
  15   %b = zext i17 %a to i37    ; <i37> [#uses=2]
  16   %c = lshr i37 %b, 8        ; <i37> [#uses=1]
  17   %d = shl i37 %b, 8         ; <i37> [#uses=1]
  18   %e = or i37 %c, %d         ; <i37> [#uses=1]
  19   %f = trunc i37 %e to i17   ; <i17> [#uses=1]
  20   ret i17 %f
  21 }
  22
  23 define i167 @test2(i167 %a) {
  24 ; CHECK-LABEL: @test2(
  25 ; CHECK-NEXT:    [[C:%.*]] = lshr i167 [[A:%.*]], 9
  26 ; CHECK-NEXT:    [[D:%.*]] = shl i167 [[A]], 8
  27 ; CHECK-NEXT:    [[E:%.*]] = or i167 [[C]], [[D]]
  28 ; CHECK-NEXT:    ret i167 [[E]]
  29 ;
  30   %b = zext i167 %a to i577   ; <i577> [#uses=2]
  31   %c = lshr i577 %b, 9        ; <i577> [#uses=1]
  32   %d = shl i577 %b, 8         ; <i577> [#uses=1]
  33   %e = or i577 %c, %d         ; <i577> [#uses=1]
  34   %f = trunc i577 %e to i167  ; <i167> [#uses=1]
  35   ret i167 %f
  36 }