test/Transforms/InstCombine/signext.ll

   1 ; RUN: opt < %s -instcombine -S | \
   2 ; RUN:    not grep {(and\|xor\|add\|shl\|shr)}
   3 ; END.
   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 }
  11
  12 define i32 @test2(i32 %x) {
  13         %tmp.1 = and i32 %x, 65535              ; <i32> [#uses=1]
  14         %tmp.2 = xor i32 %tmp.1, 32768          ; <i32> [#uses=1]
  15         %tmp.3 = add i32 %tmp.2, -32768         ; <i32> [#uses=1]
  16         ret i32 %tmp.3
  17 }
  18
  19 define i32 @test3(i16 %P) {
  20         %tmp.1 = zext i16 %P to i32             ; <i32> [#uses=1]
  21         %tmp.4 = xor i32 %tmp.1, 32768          ; <i32> [#uses=1]
  22         %tmp.5 = add i32 %tmp.4, -32768         ; <i32> [#uses=1]
  23         ret i32 %tmp.5
  24 }
  25
  26 define i32 @test4(i16 %P) {
  27         %tmp.1 = zext i16 %P to i32             ; <i32> [#uses=1]
  28         %tmp.4 = xor i32 %tmp.1, 32768          ; <i32> [#uses=1]
  29         %tmp.5 = add i32 %tmp.4, -32768         ; <i32> [#uses=1]
  30         ret i32 %tmp.5
  31 }
  32
  33 define i32 @test5(i32 %x) {
  34         %tmp.1 = and i32 %x, 254                ; <i32> [#uses=1]
  35         %tmp.2 = xor i32 %tmp.1, 128            ; <i32> [#uses=1]
  36         %tmp.3 = add i32 %tmp.2, -128           ; <i32> [#uses=1]
  37         ret i32 %tmp.3
  38 }
  39
  40 define i32 @test6(i32 %x) {
  41         %tmp.2 = shl i32 %x, 16         ; <i32> [#uses=1]
  42         %tmp.4 = ashr i32 %tmp.2, 16            ; <i32> [#uses=1]
  43         ret i32 %tmp.4
  44 }
  45