xref: /llvm-project/llvm/test/CodeGen/X86/freeze-constant-fold.ll (revision 3a7c82efb8db57f0bf1cfbbd681b3905556bd049)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=i686-- | FileCheck %s --check-prefixes=CHECK,X86
3; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s --check-prefixes=CHECK,X64
4
5define i32 @fold_add_freeze_i32() {
6; CHECK-LABEL: fold_add_freeze_i32:
7; CHECK:       # %bb.0:
8; CHECK-NEXT:    movl $-1, %eax
9; CHECK-NEXT:    ret{{[l|q]}}
10  %1 = add i32 0, 0
11  %2 = freeze i32 %1
12  %3 = add i32 0, -1
13  %4 = freeze i32 %3
14  %5 = add i32 %2, %4
15  ret i32 %5
16}
17
18define <4 x i32> @fold_add_freeze_v4i32() {
19; X86-LABEL: fold_add_freeze_v4i32:
20; X86:       # %bb.0:
21; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
22; X86-NEXT:    movl $-1, 12(%eax)
23; X86-NEXT:    movl $-1, 8(%eax)
24; X86-NEXT:    movl $-1, 4(%eax)
25; X86-NEXT:    movl $-1, (%eax)
26; X86-NEXT:    retl $4
27;
28; X64-LABEL: fold_add_freeze_v4i32:
29; X64:       # %bb.0:
30; X64-NEXT:    pcmpeqd %xmm0, %xmm0
31; X64-NEXT:    retq
32  %1 = insertelement <4 x i32> poison, i32 0, i32 0
33  %2 = shufflevector <4 x i32> %1, <4 x i32> poison, <4 x i32> zeroinitializer
34  %3 = freeze <4 x i32> %2
35  %4 = insertelement <4 x i32> poison, i32 -1, i32 0
36  %5 = shufflevector <4 x i32> %4, <4 x i32> poison, <4 x i32> zeroinitializer
37  %6 = freeze <4 x i32> %5
38  %7 = add <4 x i32> %3, %6
39  ret <4 x i32> %7
40}
41