1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; REQUIRES: asserts 3; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(loop-simplifycfg)' -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s 4; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes=loop-simplifycfg -verify-memoryssa -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s 5 6target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" 7 8; Make sure we update MSSA properly. 9define void @test(ptr %a, ptr %b) { 10; CHECK-LABEL: @test( 11 12entry: 13 br label %for.body 14 15for.body: 16 %i = phi i32 [ 0, %entry ], [ %i.inc, %latch ] 17 br label %switch.bb 18 19switch.bb: 20 switch i2 1, label %default [ 21 i2 1, label %case 22 ] 23 24case: 25 br label %latch 26 27default: 28 unreachable 29 30latch: 31 store i32 %i, ptr %a 32 store i32 %i, ptr %b 33 %i.inc = add nsw i32 %i, 1 34 %exitcond = icmp eq i32 %i.inc, 4 35 br i1 %exitcond, label %exit, label %for.body 36 37exit: 38 ret void 39} 40