1*afa13ba1Sserge-sans-paille; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2*afa13ba1Sserge-sans-paille; RUN: opt < %s -S -passes='move-auto-init' -verify-memoryssa | FileCheck %s 3*afa13ba1Sserge-sans-paille 4*afa13ba1Sserge-sans-pailletarget datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 5*afa13ba1Sserge-sans-paille 6*afa13ba1Sserge-sans-pailledefine void @foo(i32 %x) { 7*afa13ba1Sserge-sans-paille; CHECK-LABEL: @foo( 8*afa13ba1Sserge-sans-paille; CHECK-NEXT: entry: 9*afa13ba1Sserge-sans-paille; CHECK-NEXT: [[VAL:%.*]] = alloca i32, align 4 10*afa13ba1Sserge-sans-paille; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[X:%.*]], 0 11*afa13ba1Sserge-sans-paille; CHECK-NEXT: br i1 [[TOBOOL]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] 12*afa13ba1Sserge-sans-paille; CHECK: if.then: 13*afa13ba1Sserge-sans-paille; CHECK-NEXT: store i32 -1431655766, ptr [[VAL]], align 4, !annotation !0 14*afa13ba1Sserge-sans-paille; CHECK-NEXT: call void @dump(ptr [[VAL]]) 15*afa13ba1Sserge-sans-paille; CHECK-NEXT: br label [[IF_END]] 16*afa13ba1Sserge-sans-paille; CHECK: if.end: 17*afa13ba1Sserge-sans-paille; CHECK-NEXT: ret void 18*afa13ba1Sserge-sans-paille; 19*afa13ba1Sserge-sans-paille 20*afa13ba1Sserge-sans-pailleentry: 21*afa13ba1Sserge-sans-paille %val = alloca i32, align 4 22*afa13ba1Sserge-sans-paille store i32 -1431655766, ptr %val, align 4, !annotation !0 23*afa13ba1Sserge-sans-paille %tobool = icmp ne i32 %x, 0 24*afa13ba1Sserge-sans-paille br i1 %tobool, label %if.then, label %if.end 25*afa13ba1Sserge-sans-paille 26*afa13ba1Sserge-sans-pailleif.then: ; preds = %entry 27*afa13ba1Sserge-sans-paille call void @dump(ptr %val) 28*afa13ba1Sserge-sans-paille br label %if.end 29*afa13ba1Sserge-sans-paille 30*afa13ba1Sserge-sans-pailleif.end: ; preds = %if.then, %entry 31*afa13ba1Sserge-sans-paille ret void 32*afa13ba1Sserge-sans-paille} 33*afa13ba1Sserge-sans-paille 34*afa13ba1Sserge-sans-pailledeclare void @dump(ptr) 35*afa13ba1Sserge-sans-paille 36*afa13ba1Sserge-sans-paille!0 = !{!"auto-init"} 37