blob: 636b8518f08e54b8ea6f2efe82b6365c2fc827ca [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine %s -S -o - | FileCheck %s
; ((X - Y) - Z) --> X - (Y + Z) because we prefer add's.
declare void @use8(i8)
; Basic test
define i8 @t0(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @t0(
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[Y:%.*]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = sub i8 [[X:%.*]], [[TMP1]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, %y
%r = sub i8 %i0, %z
ret i8 %r
}
; No flags are propagated
define i8 @t1_flags(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @t1_flags(
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[Y:%.*]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = sub i8 [[X:%.*]], [[TMP1]]
; CHECK-NEXT: ret i8 [[R]]
;
%o0 = sub nuw nsw i8 %x, %y
%r = sub nuw nsw i8 %o0, %z
ret i8 %r
}
; The inner sub must have single use.
define i8 @n2(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @n2(
; CHECK-NEXT: [[I0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: call void @use8(i8 [[I0]])
; CHECK-NEXT: [[R:%.*]] = sub i8 [[I0]], [[Z:%.*]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, %y ; extra use
call void @use8(i8 %i0)
%r = sub i8 %i0, %z
ret i8 %r
}
; What if some operand is constant?
define i8 @t3_c0(i8 %y, i8 %z) {
; CHECK-LABEL: @t3_c0(
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[Y:%.*]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = sub i8 42, [[TMP1]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 42, %y
%r = sub i8 %i0, %z
ret i8 %r
}
define i8 @t4_c1(i8 %x, i8 %z) {
; CHECK-LABEL: @t4_c1(
; CHECK-NEXT: [[I0:%.*]] = add i8 [[X:%.*]], -42
; CHECK-NEXT: [[R:%.*]] = sub i8 [[I0]], [[Z:%.*]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, 42
%r = sub i8 %i0, %z
ret i8 %r
}
define i8 @t5_c2(i8 %x, i8 %y) {
; CHECK-LABEL: @t5_c2(
; CHECK-NEXT: [[I0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[R:%.*]] = add i8 [[I0]], -42
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, %y
%r = sub i8 %i0, 42
ret i8 %r
}
; What if some operand is constant and there was extra use?
define i8 @t6_c0_extrause(i8 %y, i8 %z) {
; CHECK-LABEL: @t6_c0_extrause(
; CHECK-NEXT: [[I0:%.*]] = sub i8 42, [[Y:%.*]]
; CHECK-NEXT: call void @use8(i8 [[I0]])
; CHECK-NEXT: [[R:%.*]] = sub i8 [[I0]], [[Z:%.*]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 42, %y
call void @use8(i8 %i0)
%r = sub i8 %i0, %z
ret i8 %r
}
define i8 @t7_c1_extrause(i8 %x, i8 %z) {
; CHECK-LABEL: @t7_c1_extrause(
; CHECK-NEXT: [[I0:%.*]] = add i8 [[X:%.*]], -42
; CHECK-NEXT: call void @use8(i8 [[I0]])
; CHECK-NEXT: [[R:%.*]] = sub i8 [[I0]], [[Z:%.*]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, 42
call void @use8(i8 %i0)
%r = sub i8 %i0, %z
ret i8 %r
}
define i8 @t8_c2_extrause(i8 %x, i8 %y) {
; CHECK-LABEL: @t8_c2_extrause(
; CHECK-NEXT: [[I0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: call void @use8(i8 [[I0]])
; CHECK-NEXT: [[R:%.*]] = add i8 [[I0]], -42
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, %y
call void @use8(i8 %i0)
%r = sub i8 %i0, 42
ret i8 %r
}
; What if two operands are constants?
define i8 @t9_c0_c2(i8 %y, i8 %z) {
; CHECK-LABEL: @t9_c0_c2(
; CHECK-NEXT: [[R:%.*]] = sub i8 18, [[Y:%.*]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 42, %y
%r = sub i8 %i0, 24
ret i8 %r
}
define i8 @t10_c1_c2(i8 %x, i8 %z) {
; CHECK-LABEL: @t10_c1_c2(
; CHECK-NEXT: [[R:%.*]] = add i8 [[X:%.*]], -66
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, 42
%r = sub i8 %i0, 24
ret i8 %r
}
; What if two operands are constants and there was extra use?
define i8 @t11_c0_c2_extrause(i8 %y, i8 %z) {
; CHECK-LABEL: @t11_c0_c2_extrause(
; CHECK-NEXT: [[I0:%.*]] = sub i8 42, [[Y:%.*]]
; CHECK-NEXT: call void @use8(i8 [[I0]])
; CHECK-NEXT: [[R:%.*]] = sub i8 18, [[Y]]
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 42, %y
call void @use8(i8 %i0)
%r = sub i8 %i0, 24
ret i8 %r
}
define i8 @t12_c1_c2_exrause(i8 %x, i8 %z) {
; CHECK-LABEL: @t12_c1_c2_exrause(
; CHECK-NEXT: [[I0:%.*]] = add i8 [[X:%.*]], -42
; CHECK-NEXT: call void @use8(i8 [[I0]])
; CHECK-NEXT: [[R:%.*]] = add i8 [[X]], -66
; CHECK-NEXT: ret i8 [[R]]
;
%i0 = sub i8 %x, 42
call void @use8(i8 %i0)
%r = sub i8 %i0, 24
ret i8 %r
}
; PR49870
@g0 = external global i8, align 1
@g1 = external global i8, align 1
define i32 @constantexpr0(i32 %x, i8* %y) unnamed_addr {
; CHECK-LABEL: @constantexpr0(
; CHECK-NEXT: [[I0:%.*]] = add i32 [[X:%.*]], ptrtoint (i8* @g0 to i32)
; CHECK-NEXT: [[R:%.*]] = sub i32 0, [[I0]]
; CHECK-NEXT: ret i32 [[R]]
;
%i0 = add i32 %x, ptrtoint (i8* @g0 to i32)
%r = sub i32 0, %i0
ret i32 %r
}
define i32 @constantexpr1(i32 %x, i8* %y) unnamed_addr {
; CHECK-LABEL: @constantexpr1(
; CHECK-NEXT: [[I0:%.*]] = add i32 [[X:%.*]], 42
; CHECK-NEXT: [[R:%.*]] = sub i32 ptrtoint (i8* @g1 to i32), [[I0]]
; CHECK-NEXT: ret i32 [[R]]
;
%i0 = add i32 %x, 42
%r = sub i32 ptrtoint (i8* @g1 to i32), %i0
ret i32 %r
}
define i32 @constantexpr2(i32 %x, i8* %y) unnamed_addr {
; CHECK-LABEL: @constantexpr2(
; CHECK-NEXT: [[I0:%.*]] = add i32 [[X:%.*]], ptrtoint (i8* @g0 to i32)
; CHECK-NEXT: [[R:%.*]] = sub i32 ptrtoint (i8* @g1 to i32), [[I0]]
; CHECK-NEXT: ret i32 [[R]]
;
%i0 = add i32 %x, ptrtoint (i8* @g0 to i32)
%r = sub i32 ptrtoint (i8* @g1 to i32), %i0
ret i32 %r
}
define i64 @pr49870(i64 %x) {
; CHECK-LABEL: @pr49870(
; CHECK-NEXT: [[I0:%.*]] = xor i64 [[X:%.*]], -1
; CHECK-NEXT: [[R:%.*]] = add i64 [[I0]], ptrtoint (i8* @g0 to i64)
; CHECK-NEXT: ret i64 [[R]]
;
%i0 = xor i64 %x, -1
%r = add i64 %i0, ptrtoint (i8* @g0 to i64)
ret i64 %r
}