1; RUN: opt -passes=gvn -S -o - %s | FileCheck %s 2; RUN: opt -passes=newgvn -S -o - %s | FileCheck %s 3; Test that the constantfolding getelementptr computation results in 4; j[5][4][1] (j+239) 5; and not [1][4][4][1] (#449) which is an incorrect out-of-range error 6target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 7target triple = "armv7-none-eabi" 8 9@f = local_unnamed_addr global i32 2, align 4 10@t6 = local_unnamed_addr global i32 1, align 4 11@j = local_unnamed_addr global [6 x [6 x [7 x i8]]] [[6 x [7 x i8]] [[7 x i8] c"\06\00\00\00\00\00\00", [7 x i8] zeroinitializer, [7 x i8] zeroinitializer, [7 x i8] zeroinitializer, [7 x i8] zeroinitializer, [7 x i8] zeroinitializer], [6 x [7 x i8]] zeroinitializer, [6 x [7 x i8]] zeroinitializer, [6 x [7 x i8]] zeroinitializer, [6 x [7 x i8]] zeroinitializer, [6 x [7 x i8]] zeroinitializer], align 1 12@p = internal global i64 0, align 8 13@y = local_unnamed_addr global ptr @p, align 4 14@b = internal unnamed_addr global i32 0, align 4 15@h = common local_unnamed_addr global i16 0, align 2 16@a = common local_unnamed_addr global i32 0, align 4 17@k = common local_unnamed_addr global i32 0, align 4 18@t11 = common local_unnamed_addr global i32 0, align 4 19 20; Function Attrs: nounwind 21define i32 @main() local_unnamed_addr { 22entry: 23 %0 = load i32, ptr @t6, align 4 24 %inc = add nsw i32 %0, 1 25 store i32 %inc, ptr @t6, align 4 26 store i16 4, ptr @h, align 2 27 %1 = load i32, ptr @a, align 4 28 %conv = trunc i32 %1 to i8 29 store i32 1, ptr @f, align 4 30 %2 = load i64, ptr @p, align 8 31 %cmp4 = icmp slt i64 %2, 2 32 %conv6 = zext i1 %cmp4 to i8 33 %3 = load i16, ptr @h, align 2 34 %conv7 = sext i16 %3 to i32 35 %add = add nsw i32 %conv7, 1 36 %f.promoted = load i32, ptr @f, align 4 37 %4 = mul i32 %conv7, 7 38 %5 = add i32 %4, 5 39 %6 = sub i32 -1, %f.promoted 40 %7 = icmp sgt i32 %6, -2 41 %smax = select i1 %7, i32 %6, i32 -2 42 %8 = sub i32 6, %smax 43 %scevgep = getelementptr [6 x [6 x [7 x i8]]], ptr @j, i32 0, i32 0, i32 %5, i32 %8 44 %9 = add i32 %f.promoted, %smax 45 %10 = add i32 %9, 2 46 call void @llvm.memset.p0.i32(ptr %scevgep, i8 %conv6, i32 %10, i1 false) 47; CHECK: call void @llvm.memset.p0.i32(ptr getelementptr inbounds nuw (i8, ptr @j, i32 239), i8 %conv6, i32 1, i1 false) 48 ret i32 0 49} 50; Function Attrs: argmemonly nounwind 51declare void @llvm.memset.p0.i32(ptr nocapture writeonly, i8, i32, i1) 52