1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2;RUN: llc < %s -mtriple=i686 -mattr=sse4.1 -stop-after=finalize-isel 2>&1 | FileCheck %s 3 4; This test makes sure we discard pointer info when we combine a vector load 5; and a variable extractelement into a scalar load using an index. There's also 6; a test to ensure we don't discard it for the constant index case. 7 8; CHECK: name: const_index 9; CHECK: bb.0 (%ir-block.0): 10; CHECK: [[POINTER:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0) 11; CHECK: [[LOAD:%[0-9]+]]:gr32 = MOV32rm killed [[POINTER]], 1, $noreg, 4, $noreg :: (load (s32) from %ir.v + 4) 12; CHECK: $eax = COPY [[LOAD]] 13; CHECK: RET 0, $eax 14define i32 @const_index(ptr %v) { 15 %a = load <8 x i32>, ptr %v 16 %b = extractelement <8 x i32> %a, i32 1 17 ret i32 %b 18} 19 20; CHECK: name: variable_index 21; CHECK: bb.0 (%ir-block.0): 22; CHECK: [[INDEX:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0) 23; CHECK: [[MASKED_INDEX:%[0-9]+]]:gr32_nosp = AND32ri [[INDEX]], 7, implicit-def dead $eflags 24; CHECK: [[POINTER:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.1, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.1) 25; CHECK: [[LOAD:%[0-9]+]]:gr32 = MOV32rm killed [[POINTER]], 4, killed [[MASKED_INDEX]], 0, $noreg :: (load (s32)) 26; CHECK: $eax = COPY [[LOAD]] 27; CHECK: RET 0, $eax 28define i32 @variable_index(ptr %v, i32 %i) { 29 %a = load <8 x i32>, ptr %v 30 %b = extractelement <8 x i32> %a, i32 %i 31 ret i32 %b 32} 33 34; CHECK: name: variable_index_with_addrspace 35; CHECK: bb.0 (%ir-block.0): 36; CHECK: [[INDEX:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0) 37; CHECK: [[MASKED_INDEX:%[0-9]+]]:gr32_nosp = AND32ri [[INDEX]], 7, implicit-def dead $eflags 38; CHECK: [[POINTER:%[0-9]+]]:gr32 = MOV32rm %fixed-stack.1, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.1) 39; CHECK: [[LOAD:%[0-9]+]]:gr32 = MOV32rm killed [[POINTER]], 4, killed [[MASKED_INDEX]], 0, $noreg :: (load (s32), addrspace 1) 40; CHECK: $eax = COPY [[LOAD]] 41; CHECK: RET 0, $eax 42define i32 @variable_index_with_addrspace(ptr addrspace(1) %v, i32 %i) { 43 %a = load <8 x i32>, ptr addrspace(1) %v 44 %b = extractelement <8 x i32> %a, i32 %i 45 ret i32 %b 46} 47