64 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s3 4define i32 @negate_nuw(i32 %x) {5; CHECK-LABEL: negate_nuw:6; CHECK: # %bb.0:7; CHECK-NEXT: xorl %eax, %eax8; CHECK-NEXT: retq9 %neg = sub nuw i32 0, %x10 ret i32 %neg11}12 13define <4 x i32> @negate_nuw_vec(<4 x i32> %x) {14; CHECK-LABEL: negate_nuw_vec:15; CHECK: # %bb.0:16; CHECK-NEXT: xorps %xmm0, %xmm017; CHECK-NEXT: retq18 %neg = sub nuw <4 x i32> zeroinitializer, %x19 ret <4 x i32> %neg20}21 22define i8 @negate_zero_or_minsigned_nsw(i8 %x) {23; CHECK-LABEL: negate_zero_or_minsigned_nsw:24; CHECK: # %bb.0:25; CHECK-NEXT: xorl %eax, %eax26; CHECK-NEXT: retq27 %signbit = and i8 %x, 12828 %neg = sub nsw i8 0, %signbit29 ret i8 %neg30}31 32define <4 x i32> @negate_zero_or_minsigned_nsw_vec(<4 x i32> %x) {33; CHECK-LABEL: negate_zero_or_minsigned_nsw_vec:34; CHECK: # %bb.0:35; CHECK-NEXT: xorps %xmm0, %xmm036; CHECK-NEXT: retq37 %signbit = shl <4 x i32> %x, <i32 31, i32 31, i32 31, i32 31>38 %neg = sub nsw <4 x i32> zeroinitializer, %signbit39 ret <4 x i32> %neg40}41 42define i8 @negate_zero_or_minsigned(i8 %x) {43; CHECK-LABEL: negate_zero_or_minsigned:44; CHECK: # %bb.0:45; CHECK-NEXT: movl %edi, %eax46; CHECK-NEXT: shlb $7, %al47; CHECK-NEXT: # kill: def $al killed $al killed $eax48; CHECK-NEXT: retq49 %signbit = shl i8 %x, 750 %neg = sub i8 0, %signbit51 ret i8 %neg52}53 54define <4 x i32> @negate_zero_or_minsigned_vec(<4 x i32> %x) {55; CHECK-LABEL: negate_zero_or_minsigned_vec:56; CHECK: # %bb.0:57; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm058; CHECK-NEXT: retq59 %signbit = and <4 x i32> %x, <i32 2147483648, i32 2147483648, i32 2147483648, i32 2147483648>60 %neg = sub <4 x i32> zeroinitializer, %signbit61 ret <4 x i32> %neg62}63 64