1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=slp-vectorizer,dce -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s 3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 5target triple = "x86_64-unknown-linux-gnu" 6 7@a = common global ptr null, align 8 8 9; Function Attrs: nounwind uwtable 10define i32 @fn1() { 11; CHECK-LABEL: @fn1( 12; CHECK-NEXT: entry: 13; CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr @a, align 8 14; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds i64, ptr [[TMP0]], i64 1 15; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[ADD_PTR]] to i64 16; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i64, ptr [[TMP0]], i64 2 17; CHECK-NEXT: store i64 [[TMP1]], ptr [[ARRAYIDX]], align 8 18; CHECK-NEXT: [[TMP2:%.*]] = ptrtoint ptr [[ARRAYIDX]] to i64 19; CHECK-NEXT: store i64 [[TMP2]], ptr [[ADD_PTR]], align 8 20; CHECK-NEXT: ret i32 undef 21; 22entry: 23 %0 = load ptr, ptr @a, align 8 24 %add.ptr = getelementptr inbounds i64, ptr %0, i64 1 25 %1 = ptrtoint ptr %add.ptr to i64 26 %arrayidx = getelementptr inbounds i64, ptr %0, i64 2 27 store i64 %1, ptr %arrayidx, align 8 28 %2 = ptrtoint ptr %arrayidx to i64 29 store i64 %2, ptr %add.ptr, align 8 30 ret i32 undef 31} 32 33define void @PR43799() { 34; CHECK-LABEL: @PR43799( 35; CHECK-NEXT: entry: 36; CHECK-NEXT: br label [[BODY:%.*]] 37; CHECK: body: 38; CHECK-NEXT: br label [[BODY]] 39; CHECK: epilog: 40; CHECK-NEXT: ret void 41; 42entry: 43 br label %body 44 45body: 46 %p.1.i19 = phi ptr [ undef, %entry ], [ %incdec.ptr.i.7, %body ] 47 %lsr.iv17 = phi ptr [ undef, %entry ], [ %scevgep113.7, %body ] 48 %incdec.ptr.i.7 = getelementptr inbounds i8, ptr undef, i32 1 49 %scevgep113.7 = getelementptr i8, ptr undef, i64 1 50 br label %body 51 52epilog: 53 ret void 54} 55