84 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S < %s -aa-pipeline=basic-aa -passes='require<loops>,jump-threading' | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"5target triple = "x86_64-unknown-linux-gnu"6 7@global = external global ptr8 9define i32 @wibble() {10; CHECK-LABEL: @wibble(11; CHECK-NEXT: bb19:12; CHECK-NEXT: [[TMP20:%.*]] = getelementptr i8, ptr undef, i64 1613; CHECK-NEXT: [[TMP21:%.*]] = load atomic ptr, ptr @global unordered, align 814; CHECK-NEXT: [[TMP22:%.*]] = getelementptr inbounds i8, ptr [[TMP21]], i64 93615; CHECK-NEXT: br label [[BB3:%.*]]16; CHECK: bb2:17; CHECK-NEXT: br label [[BB3]]18; CHECK: bb3:19; CHECK-NEXT: [[TMP:%.*]] = phi ptr [ [[TMP22]], [[BB19:%.*]] ], [ undef, [[BB2:%.*]] ]20; CHECK-NEXT: [[TMP4:%.*]] = phi ptr [ [[TMP21]], [[BB19]] ], [ undef, [[BB2]] ]21; CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 84822; CHECK-NEXT: br label [[BB11:%.*]]23; CHECK: bb11:24; CHECK-NEXT: [[TMP12:%.*]] = load atomic ptr, ptr [[TMP6]] unordered, align 825; CHECK-NEXT: [[TMP13:%.*]] = icmp eq ptr [[TMP12]], null26; CHECK-NEXT: br i1 [[TMP13]], label [[BB17:%.*]], label [[BB16:%.*]]27; CHECK: bb16:28; CHECK-NEXT: store atomic i64 undef, ptr [[TMP]] unordered, align 829; CHECK-NEXT: br label [[BB11]]30; CHECK: bb17:31; CHECK-NEXT: ret i32 undef32;33bb:34 br label %bb135 36bb1: ; preds = %bb37 br label %bb1838 39bb2: ; No predecessors!40 br label %bb341 42bb3: ; preds = %bb19, %bb243 %tmp = phi ptr [ %tmp22, %bb19 ], [ undef, %bb2 ]44 %tmp4 = phi ptr [ %tmp21, %bb19 ], [ undef, %bb2 ]45 %tmp6 = getelementptr inbounds i8, ptr %tmp4, i64 84846 br label %bb1147 48bb11: ; preds = %bb16, %bb349 %tmp12 = load atomic ptr, ptr %tmp6 unordered, align 850 %tmp13 = icmp eq ptr %tmp12, null51 br i1 %tmp13, label %bb17, label %bb1452 53bb14: ; preds = %bb1154 br label %bb1555 56bb15: ; preds = %bb1457 br label %bb1658 59bb16: ; preds = %bb1560 store atomic i64 undef, ptr %tmp unordered, align 861 br label %bb1162 63bb17: ; preds = %bb1164 ret i32 undef65 66bb18: ; preds = %bb167 br label %bb1968 69bb19: ; preds = %bb1870 %tmp20 = getelementptr i8, ptr undef, i64 1671 %tmp21 = load atomic ptr, ptr @global unordered, align 872 %tmp22 = getelementptr inbounds i8, ptr %tmp21, i64 93673 br label %bb374}75 76define void @zot(ptr align 8 dereferenceable_or_null(16) %arg, i32 %arg1) {77; CHECK-LABEL: @zot(78; CHECK-NEXT: bb:79; CHECK-NEXT: ret void80;81bb:82 ret void83}84