; RUN: opt -S -dxil-translate-metadata %s | FileCheck %s
target triple = "dxil-pc-shadermodel6.3-library"

; CHECK: !dx.shaderModel = !{![[SM:[0-9]+]]}
; CHECK: ![[SM]] = !{!"lib", i32 6, i32 3}