20 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=mem2reg < %s -S | FileCheck %s3 4define void @patatino() {5; CHECK-LABEL: @patatino(6; CHECK-NEXT: ret void7; CHECK: cantreachme:8; CHECK-NEXT: [[DEC:%.*]] = add nsw i32 poison, -19; CHECK-NEXT: br label [[CANTREACHME:%.*]]10;11 %a = alloca i32, align 412 ret void13cantreachme:14 %dec = add nsw i32 %tmp, -115 store i32 %dec, ptr %a16 store i32 %tmp, ptr %a17 %tmp = load i32, ptr %a18 br label %cantreachme19}20