1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 3 2; RUN: llc < %s -mtriple=aarch64 -aarch64-enable-sink-fold=true -global-isel | FileCheck %s 3 4target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" 5target triple = "arm64-apple-macosx13.5.0" 6 7; Check we don't crash here with a use-after-free. 8 9define i32 @nsis_BZ2_bzDecompress(ptr %pos.i, i1 %cmp661.not3117.i, i1 %exitcond.not.i) { 10; CHECK-LABEL: nsis_BZ2_bzDecompress: 11; CHECK: // %bb.0: // %entry 12; CHECK-NEXT: mov x8, xzr 13; CHECK-NEXT: b .LBB0_2 14; CHECK-NEXT: .LBB0_1: // %while.end671.i 15; CHECK-NEXT: // in Loop: Header=BB0_2 Depth=1 16; CHECK-NEXT: strb w9, [x0] 17; CHECK-NEXT: tbnz w2, #0, .LBB0_4 18; CHECK-NEXT: .LBB0_2: // %for.body653.i 19; CHECK-NEXT: // =>This Inner Loop Header: Depth=1 20; CHECK-NEXT: ldrb w9, [x0] 21; CHECK-NEXT: tbnz w1, #0, .LBB0_1 22; CHECK-NEXT: // %bb.3: // %while.body663.i 23; CHECK-NEXT: // in Loop: Header=BB0_2 Depth=1 24; CHECK-NEXT: ldrb w10, [x8] 25; CHECK-NEXT: strb wzr, [x0, x10] 26; CHECK-NEXT: b .LBB0_1 27; CHECK-NEXT: .LBB0_4: // %for.end677.i 28; CHECK-NEXT: mov w0, wzr 29; CHECK-NEXT: ret 30entry: 31 br label %for.body653.i 32 33for.body653.i: ; preds = %while.end671.i, %entry 34 %0 = load i8, ptr null, align 1 35 %idxprom657.i2 = zext i8 %0 to i64 36 %1 = load i8, ptr %pos.i, align 1 37 br i1 %cmp661.not3117.i, label %while.end671.i, label %while.body663.i 38 39while.body663.i: ; preds = %for.body653.i 40 %arrayidx669.i = getelementptr [6 x i8], ptr %pos.i, i64 0, i64 %idxprom657.i2 41 store i8 0, ptr %arrayidx669.i, align 1 42 br label %while.end671.i 43 44while.end671.i: ; preds = %while.body663.i, %for.body653.i 45 store i8 %1, ptr %pos.i, align 1 46 br i1 %exitcond.not.i, label %for.end677.i, label %for.body653.i 47 48for.end677.i: ; preds = %while.end671.i 49 ret i32 0 50} 51 52