34 lines · plain
1; RUN: opt -passes=licm -verify-memoryssa -S < %s | FileCheck %s2; REQUIRES: asserts3 4target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"5target triple = "aarch64"6 7; CHECK-LABEL: @e(i1 %arg)8define void @e(i1 %arg) {9entry:10 br label %g11 12g: ; preds = %cleanup, %entry13 %0 = load i32, ptr null, align 414 %and = and i32 %0, undef15 store i32 %and, ptr null, align 416 br i1 %arg, label %if.end8, label %if.then17 18if.then: ; preds = %g19 br i1 %arg, label %k, label %cleanup20 21k: ; preds = %if.end8, %if.then22 br i1 %arg, label %if.end8, label %cleanup23 24if.end8: ; preds = %k, %g25 br i1 %arg, label %for.cond.preheader, label %k26 27for.cond.preheader: ; preds = %if.end828 unreachable29 30cleanup: ; preds = %k, %if.then31 br label %g32}33 34