test/Transforms/InstCombine/AddOverflow.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 ; CHECK-LABEL: @ripple(
   7 ; CHECK: add nsw i16 %tmp1, 1
   8 define i32 @ripple(i16 signext %x) {
   9 bb:
  10   %tmp = sext i16 %x to i32
  11   %tmp1 = and i32 %tmp, -5
  12   %tmp2 = trunc i32 %tmp1 to i16
  13   %tmp3 = sext i16 %tmp2 to i32
  14   %tmp4 = add i32 %tmp3, 1
  15   ret i32 %tmp4
  16 }
  17
  18 ; CHECK-LABEL: @ripplenot(
  19 ; CHECK: add i32 %tmp3, 4
  20 define i32 @ripplenot(i16 signext %x) {
  21 bb:
  22   %tmp = sext i16 %x to i32
  23   %tmp1 = and i32 %tmp, -3
  24   %tmp2 = trunc i32 %tmp1 to i16
  25   %tmp3 = sext i16 %tmp2 to i32
  26   %tmp4 = add i32 %tmp3, 4
  27   ret i32 %tmp4
  28 }
  29
  30 ; CHECK-LABEL: @oppositesign(
  31 ; CHECK: add nsw i16 %tmp1, 4
  32 define i32 @oppositesign(i16 signext %x) {
  33 bb:
  34   %tmp = sext i16 %x to i32
  35   %tmp1 = or i32 %tmp, 32768
  36   %tmp2 = trunc i32 %tmp1 to i16
  37   %tmp3 = sext i16 %tmp2 to i32
  38   %tmp4 = add i32 %tmp3, 4
  39   ret i32 %tmp4
  40 }
  41
  42 ; CHECK-LABEL: @ripplenot_var(
  43 ; CHECK: add i32 %tmp6, %tmp7
  44 define i32 @ripplenot_var(i16 signext %x, i16 signext %y) {
  45 bb:
  46   %tmp = sext i16 %x to i32
  47   %tmp1 = and i32 %tmp, -5
  48   %tmp2 = trunc i32 %tmp1 to i16
  49   %tmp3 = sext i16 %y to i32
  50   %tmp4 = or i32 %tmp3, 2
  51   %tmp5 = trunc i32 %tmp4 to i16
  52   %tmp6 = sext i16 %tmp5 to i32
  53   %tmp7 = sext i16 %tmp2 to i32
  54   %tmp8 = add i32 %tmp6, %tmp7
  55   ret i32 %tmp8
  56 }