diff options
| author | Craig Topper <craig.topper@intel.com> | 2019-04-06 18:00:41 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@intel.com> | 2019-04-06 18:00:41 +0000 |
| commit | 9d7379c25031d667317d689327d4ae2907a5f1a3 (patch) | |
| tree | c8bd87fd658fd9ff80401b295cced1be0c837553 /llvm/test/CodeGen/X86/fold-and-shift.ll | |
| parent | af1cbdd3bac09a280e026a78b13bc7f61f88faf0 (diff) | |
| download | bcm5719-llvm-9d7379c25031d667317d689327d4ae2907a5f1a3.tar.gz bcm5719-llvm-9d7379c25031d667317d689327d4ae2907a5f1a3.zip | |
[X86] Autogenerate complete checks. NFC
llvm-svn: 357844
Diffstat (limited to 'llvm/test/CodeGen/X86/fold-and-shift.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/fold-and-shift.ll | 46 |
1 files changed, 30 insertions, 16 deletions
diff --git a/llvm/test/CodeGen/X86/fold-and-shift.ll b/llvm/test/CodeGen/X86/fold-and-shift.ll index 5de4acf1019..a434c1f9c1d 100644 --- a/llvm/test/CodeGen/X86/fold-and-shift.ll +++ b/llvm/test/CodeGen/X86/fold-and-shift.ll @@ -1,11 +1,14 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc < %s -mtriple=i686-- | FileCheck %s define i32 @t1(i8* %X, i32 %i) { ; CHECK-LABEL: t1: -; CHECK-NOT: and -; CHECK: movzbl -; CHECK: movl (%{{...}},%{{...}},4), -; CHECK: ret +; CHECK: # %bb.0: # %entry +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx +; CHECK-NEXT: movzbl %cl, %ecx +; CHECK-NEXT: movl (%eax,%ecx,4), %eax +; CHECK-NEXT: retl entry: %tmp2 = shl i32 %i, 2 @@ -18,10 +21,12 @@ entry: define i32 @t2(i16* %X, i32 %i) { ; CHECK-LABEL: t2: -; CHECK-NOT: and -; CHECK: movzwl -; CHECK: movl (%{{...}},%{{...}},4), -; CHECK: ret +; CHECK: # %bb.0: # %entry +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx +; CHECK-NEXT: movzwl %cx, %ecx +; CHECK-NEXT: movl (%eax,%ecx,4), %eax +; CHECK-NEXT: retl entry: %tmp2 = shl i32 %i, 1 @@ -40,10 +45,14 @@ define i32 @t3(i16* %i.ptr, i32* %arr) { ; the function, the DAG can get confusing trying to re-use both of them and ; prevent easy analysis of the mask in order to match this. ; CHECK-LABEL: t3: -; CHECK-NOT: and -; CHECK: shrl -; CHECK: addl (%{{...}},%{{...}},4), -; CHECK: ret +; CHECK: # %bb.0: # %entry +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax +; CHECK-NEXT: movzwl (%eax), %eax +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shrl $11, %edx +; CHECK-NEXT: addl (%ecx,%edx,4), %eax +; CHECK-NEXT: retl entry: %i = load i16, i16* %i.ptr @@ -59,10 +68,15 @@ define i32 @t4(i16* %i.ptr, i32* %arr) { ; A version of @t3 that has more zero extends and more re-use of intermediate ; values. This exercise slightly different bits of canonicalization. ; CHECK-LABEL: t4: -; CHECK-NOT: and -; CHECK: shrl -; CHECK: addl (%{{...}},%{{...}},4), -; CHECK: ret +; CHECK: # %bb.0: # %entry +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax +; CHECK-NEXT: movzwl (%eax), %eax +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shrl $11, %edx +; CHECK-NEXT: addl (%ecx,%edx,4), %eax +; CHECK-NEXT: addl %edx, %eax +; CHECK-NEXT: retl entry: %i = load i16, i16* %i.ptr |
