test/Transforms/InstCombine/signext.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 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:n8:16:32:64"
   4
   5 define i32 @test1(i32 %x) {
   6         %tmp.1 = and i32 %x, 65535              ; <i32> [#uses=1]
   7         %tmp.2 = xor i32 %tmp.1, -32768         ; <i32> [#uses=1]
   8         %tmp.3 = add i32 %tmp.2, 32768          ; <i32> [#uses=1]
   9         ret i32 %tmp.3
  10 ; CHECK: @test1
  11 ; CHECK: %sext = shl i32 %x, 16
  12 ; CHECK: %tmp.3 = ashr i32 %sext, 16
  13 ; CHECK: ret i32 %tmp.3
  14 }
  15
  16 define i32 @test2(i32 %x) {
  17         %tmp.1 = and i32 %x, 65535              ; <i32> [#uses=1]
  18         %tmp.2 = xor i32 %tmp.1, 32768          ; <i32> [#uses=1]
  19         %tmp.3 = add i32 %tmp.2, -32768         ; <i32> [#uses=1]
  20         ret i32 %tmp.3
  21 ; CHECK: @test2
  22 ; CHECK: %sext = shl i32 %x, 16
  23 ; CHECK: %tmp.3 = ashr i32 %sext, 16
  24 ; CHECK: ret i32 %tmp.3
  25 }
  26
  27 define i32 @test3(i16 %P) {
  28         %tmp.1 = zext i16 %P to i32             ; <i32> [#uses=1]
  29         %tmp.4 = xor i32 %tmp.1, 32768          ; <i32> [#uses=1]
  30         %tmp.5 = add i32 %tmp.4, -32768         ; <i32> [#uses=1]
  31         ret i32 %tmp.5
  32 ; CHECK: @test3
  33 ; CHECK: %tmp.5 = sext i16 %P to i32
  34 ; CHECK: ret i32 %tmp.5
  35 }
  36
  37 define i32 @test4(i16 %P) {
  38         %tmp.1 = zext i16 %P to i32             ; <i32> [#uses=1]
  39         %tmp.4 = xor i32 %tmp.1, 32768          ; <i32> [#uses=1]
  40         %tmp.5 = add i32 %tmp.4, -32768         ; <i32> [#uses=1]
  41         ret i32 %tmp.5
  42 ; CHECK: @test4
  43 ; CHECK: %tmp.5 = sext i16 %P to i32
  44 ; CHECK: ret i32 %tmp.5
  45 }
  46
  47 define i32 @test5(i32 %x) {
  48         %tmp.1 = and i32 %x, 255                ; <i32> [#uses=1]
  49         %tmp.2 = xor i32 %tmp.1, 128            ; <i32> [#uses=1]
  50         %tmp.3 = add i32 %tmp.2, -128           ; <i32> [#uses=1]
  51         ret i32 %tmp.3
  52 ; CHECK: @test5
  53 ; CHECK: %sext = shl i32 %x, 24
  54 ; CHECK: %tmp.3 = ashr i32 %sext, 24
  55 ; CHECK: ret i32 %tmp.3
  56 }
  57
  58 define i32 @test6(i32 %x) {
  59         %tmp.2 = shl i32 %x, 16         ; <i32> [#uses=1]
  60         %tmp.4 = ashr i32 %tmp.2, 16            ; <i32> [#uses=1]
  61         ret i32 %tmp.4
  62 ; CHECK: @test6
  63 ; CHECK: %tmp.2 = shl i32 %x, 16
  64 ; CHECK: %tmp.4 = ashr i32 %tmp.2, 16
  65 ; CHECK: ret i32 %tmp.4
  66 }
  67
  68 define i32 @test7(i16 %P) {
  69   %tmp.1 = zext i16 %P to i32                     ; <i32> [#uses=1]
  70   %sext1 = shl i32 %tmp.1, 16                     ; <i32> [#uses=1]
  71   %tmp.5 = ashr i32 %sext1, 16                    ; <i32> [#uses=1]
  72   ret i32 %tmp.5
  73 ; CHECK: @test7
  74 ; CHECK: %tmp.5 = sext i16 %P to i32
  75 ; CHECK: ret i32 %tmp.5
  76 }
  77
  78 define i32 @test8(i32 %x) nounwind readnone {
  79 entry:
  80   %shr = lshr i32 %x, 5                           ; <i32> [#uses=1]
  81   %xor = xor i32 %shr, 67108864                   ; <i32> [#uses=1]
  82   %sub = add i32 %xor, -67108864                  ; <i32> [#uses=1]
  83   ret i32 %sub
  84 ; CHECK: @test8
  85 ; CHECK: %sub = ashr i32 %x, 5
  86 ; CHECK: ret i32 %sub
  87 }