72 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn -S < %s | FileCheck %s3 4%struct.zot = type { ptr }5%struct.wombat = type { ptr }6%struct.baz = type { i8, ptr }7 8@global = hidden unnamed_addr constant ptr @quux9 10declare ptr @f()11 12define hidden void @eggs(ptr %arg, i1 %arg2, ptr %arg3, i32 %arg4, ptr %arg5) unnamed_addr align 2 {13; CHECK-LABEL: define hidden void @eggs(14; CHECK-SAME: ptr [[ARG:%.*]], i1 [[ARG2:%.*]], ptr [[ARG3:%.*]], i32 [[ARG4:%.*]], ptr [[ARG5:%.*]]) unnamed_addr align 2 {15; CHECK-NEXT: [[BB:.*:]]16; CHECK-NEXT: [[TMP:%.*]] = alloca [[STRUCT_WOMBAT:%.*]], align 817; CHECK-NEXT: store ptr @global, ptr [[ARG]], align 8, !invariant.group [[META0:![0-9]+]]18; CHECK-NEXT: br i1 [[ARG2]], label %[[BB4:.*]], label %[[BB2:.*]]19; CHECK: [[BB2]]:20; CHECK-NEXT: [[TMP3:%.*]] = atomicrmw sub ptr [[ARG3]], i32 [[ARG4]] acq_rel, align 421; CHECK-NEXT: br label %[[BB4]]22; CHECK: [[BB4]]:23; CHECK-NEXT: [[TMP5:%.*]] = load ptr, ptr [[ARG5]], align 824; CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds [[STRUCT_BAZ:%.*]], ptr [[TMP5]], i64 0, i32 125; CHECK-NEXT: br i1 [[ARG2]], label %[[BB9:.*]], label %[[BB7:.*]]26; CHECK: [[BB7]]:27; CHECK-NEXT: [[TMP8:%.*]] = tail call ptr @f()28; CHECK-NEXT: br label %[[BB9]]29; CHECK: [[BB9]]:30; CHECK-NEXT: tail call void @quux(ptr [[ARG]], i1 [[ARG2]])31; CHECK-NEXT: [[TMP17:%.*]] = load ptr, ptr [[TMP]], align 832; CHECK-NEXT: [[TMP18:%.*]] = icmp eq ptr [[TMP17]], null33; CHECK-NEXT: ret void34;35bb:36 %tmp = alloca %struct.wombat, align 837 store ptr @global, ptr %arg, align 8, !invariant.group !038 br i1 %arg2, label %bb4, label %bb239 40bb2: ; preds = %bb41 %tmp3 = atomicrmw sub ptr %arg3, i32 %arg4 acq_rel, align 442 br label %bb443 44bb4: ; preds = %bb2, %bb45 %tmp5 = load ptr, ptr %arg5, align 846 %tmp6 = getelementptr inbounds %struct.baz, ptr %tmp5, i64 0, i32 147 br i1 %arg2, label %bb9, label %bb748 49bb7: ; preds = %bb450 %tmp8 = tail call ptr @f()51 br label %bb952 53bb9: ; preds = %bb7, %bb454 %tmp10 = load ptr, ptr %arg5, align 855 %tmp13 = load ptr, ptr %arg, align 8, !invariant.group !056 %tmp15 = load ptr, ptr %tmp13, align 857 tail call void %tmp15(ptr %arg, i1 %arg2)58 %tmp17 = load ptr, ptr %tmp, align 859 %tmp18 = icmp eq ptr %tmp17, null60 ret void61}62 63; Function Attrs: nounwind willreturn64declare hidden void @quux(ptr, i1) unnamed_addr #0 align 265 66attributes #0 = { nounwind willreturn }67 68!0 = !{}69;.70; CHECK: [[META0]] = !{}71;.72