1*97c7e14cSRoman Lebedev; RUN: opt < %s -passes=slsr,gvn -S | FileCheck %s 20efbfa38STaWeiTu; RUN: opt < %s -passes='slsr,gvn' -S | FileCheck %s 3cee313d2SEric Christopher 4cee313d2SEric Christophertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 5cee313d2SEric Christophertarget triple = "x86_64-unknown-linux-gnu" 6cee313d2SEric Christopher 7cee313d2SEric Christopher; Do not perform SLSR on &input[s] and &input[s * 2] which fit into addressing 8cee313d2SEric Christopher; modes of X86. 9bcabf0a5SMatt Arsenaultdefine i32 @no_slsr_gep(ptr %input, i64 %s) { 10cee313d2SEric Christopher; CHECK-LABEL: @no_slsr_gep( 11cee313d2SEric Christopher ; v0 = input[0]; 12bcabf0a5SMatt Arsenault %v0 = load i32, ptr %input 13cee313d2SEric Christopher 14cee313d2SEric Christopher ; v1 = input[s]; 15bcabf0a5SMatt Arsenault %p1 = getelementptr inbounds i32, ptr %input, i64 %s 16bcabf0a5SMatt Arsenault; CHECK: %p1 = getelementptr inbounds i32, ptr %input, i64 %s 17bcabf0a5SMatt Arsenault %v1 = load i32, ptr %p1 18cee313d2SEric Christopher 19cee313d2SEric Christopher ; v2 = input[s * 2]; 20cee313d2SEric Christopher %s2 = mul nsw i64 %s, 2 21bcabf0a5SMatt Arsenault %p2 = getelementptr inbounds i32, ptr %input, i64 %s2 22bcabf0a5SMatt Arsenault; CHECK: %p2 = getelementptr inbounds i32, ptr %input, i64 %s2 23bcabf0a5SMatt Arsenault %v2 = load i32, ptr %p2 24cee313d2SEric Christopher 25cee313d2SEric Christopher ; return v0 + v1 + v2; 26cee313d2SEric Christopher %1 = add i32 %v0, %v1 27cee313d2SEric Christopher %2 = add i32 %1, %v2 28cee313d2SEric Christopher ret i32 %2 29cee313d2SEric Christopher} 30cee313d2SEric Christopher 31cee313d2SEric Christopherdefine void @no_slsr_add(i32 %b, i32 %s) { 32cee313d2SEric Christopher; CHECK-LABEL: @no_slsr_add( 33cee313d2SEric Christopher %1 = add i32 %b, %s 34cee313d2SEric Christopher; CHECK: add i32 %b, %s 35cee313d2SEric Christopher call void @foo(i32 %1) 36cee313d2SEric Christopher %s2 = mul i32 %s, 2 37cee313d2SEric Christopher; CHECK: %s2 = mul i32 %s, 2 38cee313d2SEric Christopher %2 = add i32 %b, %s2 39cee313d2SEric Christopher; CHECK: add i32 %b, %s2 40cee313d2SEric Christopher call void @foo(i32 %2) 41cee313d2SEric Christopher ret void 42cee313d2SEric Christopher} 43cee313d2SEric Christopher 44cee313d2SEric Christopherdeclare void @foo(i32 %a) 45