1*9880d681SAndroid Build Coastguard Worker; RUN: opt -gvn -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workertarget datalayout = "E-m:e-i64:64-n32:64" 4*9880d681SAndroid Build Coastguard Workertarget triple = "powerpc64-unknown-linux-gnu" 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker;; Make sure we use correct bit shift based on storage size for 7*9880d681SAndroid Build Coastguard Worker;; loads reusing a load value. 8*9880d681SAndroid Build Coastguard Workerdefine i64 @test1({ i1, i8 }* %predA, { i1, i8 }* %predB) { 9*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1 10*9880d681SAndroid Build Coastguard Worker; CHECK: [[V1:%.*]] = load i16, i16* %{{.*}} 11*9880d681SAndroid Build Coastguard Worker; CHECK: [[V2:%.*]] = lshr i16 [[V1]], 8 12*9880d681SAndroid Build Coastguard Worker; CHECK: trunc i16 [[V2]] to i1 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Worker %valueLoadA.fca.0.gep = getelementptr inbounds { i1, i8 }, { i1, i8 }* %predA, i64 0, i32 0 15*9880d681SAndroid Build Coastguard Worker %valueLoadA.fca.0.load = load i1, i1* %valueLoadA.fca.0.gep, align 8 16*9880d681SAndroid Build Coastguard Worker %valueLoadB.fca.0.gep = getelementptr inbounds { i1, i8 }, { i1, i8 }* %predB, i64 0, i32 0 17*9880d681SAndroid Build Coastguard Worker %valueLoadB.fca.0.load = load i1, i1* %valueLoadB.fca.0.gep, align 8 18*9880d681SAndroid Build Coastguard Worker %isTrue = and i1 %valueLoadA.fca.0.load, %valueLoadB.fca.0.load 19*9880d681SAndroid Build Coastguard Worker %valueLoadA.fca.1.gep = getelementptr inbounds { i1, i8 }, { i1, i8 }* %predA, i64 0, i32 1 20*9880d681SAndroid Build Coastguard Worker %valueLoadA.fca.1.load = load i8, i8* %valueLoadA.fca.1.gep, align 1 21*9880d681SAndroid Build Coastguard Worker %isNotNullA = icmp ne i8 %valueLoadA.fca.1.load, 0 22*9880d681SAndroid Build Coastguard Worker %valueLoadB.fca.1.gep = getelementptr inbounds { i1, i8 }, { i1, i8 }* %predB, i64 0, i32 1 23*9880d681SAndroid Build Coastguard Worker %valueLoadB.fca.1.load = load i8, i8* %valueLoadB.fca.1.gep, align 1 24*9880d681SAndroid Build Coastguard Worker %isNotNullB = icmp ne i8 %valueLoadB.fca.1.load, 0 25*9880d681SAndroid Build Coastguard Worker %isNotNull = and i1 %isNotNullA, %isNotNullB 26*9880d681SAndroid Build Coastguard Worker %isTrueAndNotNull = and i1 %isTrue, %isNotNull 27*9880d681SAndroid Build Coastguard Worker %ret = zext i1 %isTrueAndNotNull to i64 28*9880d681SAndroid Build Coastguard Worker ret i64 %ret 29*9880d681SAndroid Build Coastguard Worker} 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Worker;; And likewise for loads reusing a store value. 32*9880d681SAndroid Build Coastguard Workerdefine i1 @test2(i8 %V, i8* %P) { 33*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2 34*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: lshr 35*9880d681SAndroid Build Coastguard Worker store i8 %V, i8* %P 36*9880d681SAndroid Build Coastguard Worker %P2 = bitcast i8* %P to i1* 37*9880d681SAndroid Build Coastguard Worker %A = load i1, i1* %P2 38*9880d681SAndroid Build Coastguard Worker ret i1 %A 39*9880d681SAndroid Build Coastguard Worker} 40*9880d681SAndroid Build Coastguard Worker 41