40 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; REQUIRES: asserts3; 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 %s4; 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 %s5 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.body14 15for.body:16 %i = phi i32 [ 0, %entry ], [ %i.inc, %latch ]17 br label %switch.bb18 19switch.bb:20 switch i2 1, label %default [21 i2 1, label %case22 ]23 24case:25 br label %latch26 27default:28 unreachable29 30latch:31 store i32 %i, ptr %a32 store i32 %i, ptr %b33 %i.inc = add nsw i32 %i, 134 %exitcond = icmp eq i32 %i.inc, 435 br i1 %exitcond, label %exit, label %for.body36 37exit:38 ret void39}40